Théorèmes

Théorème de Rouché-Fontené Contexte : Systèmes d’Équations Linéaires Considérons un système de $m$ équations linéaires à $n$ inconnues, qui peut s’écrire sous forme matricielle : $$ AX = B $$ $A$ est la matrice des coefficients, de taille $m \times n$. $X$ est le vecteur colonne des $n$ inconnues. $B$ est le vecteur colonne des…

Théorème du Rang Contexte : Noyau, Image et Rang Soit $f: E \to F$ une application linéaire entre deux K-espaces vectoriels. Le noyau de $f$, noté $Ker(f)$, est le sous-espace de $E$ des vecteurs envoyés sur le vecteur nul de $F$. Sa dimension mesure à quel point l’application « écrase » l’espace de départ. L’image de $f$,…

Théorème de la Base Incomplète Contexte : Familles Libres et Génératrices Dans un espace vectoriel, une famille libre est un ensemble de vecteurs dont aucun ne peut s’écrire comme une combinaison linéaire des autres. Une famille génératrice est un ensemble de vecteurs à partir duquel on peut construire n’importe quel autre vecteur de l’espace par…

Théorème Fondamental de la Théorie de Galois Contexte : Extensions de Galois et Correspondance Soit $L/K$ une extension de Galois, c’est-à-dire une extension finie, normale et séparable. Le groupe de Galois de l’extension, noté $Gal(L/K)$, est le groupe de tous les automorphismes de $L$ qui laissent le corps de base $K$ invariant. Un corps intermédiaire…

Théorème de l’Élément Primitif Contexte : Extensions de Corps En algèbre, une extension de corps $L/K$ est une situation où $K$ est un sous-corps de $L$. $L$ peut alors être vu comme un espace vectoriel sur $K$. Une extension est dite finie si $L$ est un espace vectoriel de dimension finie sur $K$. Une extension…

Théorème de Wedderburn (sur les corps finis) Contexte : Corps, Corps Gauches et Finitude En algèbre, la structure de corps est fondamentale. Elle généralise les propriétés de l’addition, de la soustraction, de la multiplication et de la division que l’on connaît pour les nombres rationnels ou réels. Un corps (commutatif) est un anneau dans lequel…

Théorème de Structure d’Artin-Wedderburn Contexte : Anneaux et Modules Simples et Semi-simples Ce théorème s’applique à une classe d’anneaux (non nécessairement commutatifs) appelés anneaux semi-simples. Module Simple : Un module (l’équivalent d’un espace vectoriel sur un anneau) est dit simple s’il n’est pas nul et si ses seuls sous-modules sont le module nul et lui-même….

Théorème de Krull Contexte : Idéaux dans les Anneaux En algèbre, un anneau commutatif unitaire est une structure comme l’anneau des entiers $\mathbb{Z}$ ou l’anneau des polynômes $K[X]$. Un idéal $I$ d’un anneau $A$ est un sous-ensemble stable par addition et par multiplication par n’importe quel élément de $A$. Un idéal $I$ est dit propre…

Théorème de la Base de Hilbert Contexte : Anneaux Noethériens et Idéaux Pour comprendre ce théorème, il est essentiel de définir la notion d’anneau noethérien. Soit $A$ un anneau commutatif. Les conditions suivantes sont équivalentes, et si l’une d’elles est vérifiée, l’anneau $A$ est dit noethérien : Condition des chaînes ascendantes : Toute suite croissante…

Théorème des Zéros de Hilbert (Nullstellensatz) Contexte : Algèbre et Géométrie Considérons un corps $K$ algébriquement clos (comme $\mathbb{C}$) et l’anneau des polynômes à $n$ variables $K[X_1, \dots, X_n]$. Côté Géométrique : Un ensemble algébrique (ou variété algébrique affine) $V$ est l’ensemble des points de $K^n$ qui annulent simultanément tous les polynômes d’un ensemble $S…