Auteur/autrice : zu6vi

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…

Théorème Fondamental de l’Algèbre Contexte : Racines des Polynômes Un problème central en algèbre est la recherche des racines d’un polynôme, c’est-à-dire les valeurs qui annulent ce polynôme. Dans l’ensemble des nombres réels $\mathbb{R}$, certains polynômes n’ont pas de racine. L’exemple le plus simple est $P(x) = x^2 + 1$. L’introduction des nombres complexes $\mathbb{C}$…

Théorème de Nielsen-Schreier Contexte : Groupes Libres et Sous-groupes Un groupe libre sur un ensemble de générateurs $S$ est, de manière informelle, le groupe le plus général que l’on puisse construire avec ces générateurs. Ses éléments sont des « mots » formés par les générateurs et leurs inverses (ex: $a \cdot b \cdot a^{-1} \cdot c$), et…