Structures Algébriques Usuelles
(Niveau : Prépa)
Structures Algébriques : Le Squelette des Maths
Ce chapitre est fondamental. Il formalise toutes les manipulations que vous faites depuis des années sur les nombres et les polynômes. C’est le « vocabulaire » que les concepteurs de sujets utilisent pour tester votre rigueur.
On revoit les groupes (générateurs, ordre), on approfondit les anneaux avec la notion capitale d’idéal et on applique tout ça à l’arithmétique modulaire ($\mathbb{Z}/n\mathbb{Z}$) et aux polynômes.
1. Compléments sur les Groupes
On rappelle qu’un groupe $(G, *)$ possède une loi associative, un élément neutre $e$, et surtout que tout élément admet un inverse.
1.1 Intersection et Générateurs
C’est cette propriété qui permet de définir le sous-groupe engendré par une partie $A$, noté $\langle A \rangle$. C’est le « plus petit » sous-groupe contenant $A$, ou encore l’ensemble des produits finis d’éléments de $A$ et de leurs inverses.
1.2 Groupes Monogènes et Cycliques
- Monogène : Groupe engendré par un seul élément ($G = \langle a \rangle$). C’est le cas le plus simple.
- Cyclique : Un groupe monogène qui est fini.
- Tout groupe monogène infini se comporte exactement comme $(\mathbb{Z}, +)$.
- Tout groupe monogène fini d’ordre $n$ se comporte exactement comme $(\mathbb{Z}/n\mathbb{Z}, +)$.
1.3 Ordre d’un élément
L’ordre de $x$ est le cardinal du sous-groupe $\langle x \rangle$. Si cet ordre est fini ($d$), c’est le plus petit entier $k>0$ tel que $x^k = e$.
Si vous cherchez à prouver que $x^n = e$, montrez que l’ordre de $x$ divise $n$.
2. Compléments sur les Anneaux
Un anneau $(A, +, \times)$ possède deux lois. La notion centrale de 2ème année est celle d’Idéal.
2.1 La notion d’Idéal
Une partie $I$ de $A$ est un idéal si :
- $(I, +)$ est un sous-groupe de $(A, +)$.
- Stabilité par multiplication externe (Propriété Absorbante) : $\forall a \in A, \forall x \in I \implies ax \in I$.
2.2 Divisibilité et Idéaux
L’idéal engendré par $a$, noté $(a)$, est l’ensemble des multiples de $a$ : $\{ax \mid x \in A\}$.
Dire que $a$ divise $b$ ($a|b$) revient exactement à dire que l’idéal $(b)$ est inclus dans l’idéal $(a)$. $$(b) \subset (a)$$
3. Les Idéaux de $\mathbb{Z}$
L’anneau $\mathbb{Z}$ est dit principal : tous ses idéaux sont de la forme $n\mathbb{Z}$. C’est une structure très forte et très simple.
Le lien avec le PGCD est immédiat : le PGCD de $a$ et $b$ est le générateur positif de l’idéal somme $a\mathbb{Z} + b\mathbb{Z}$.
4. Les Anneaux $\mathbb{Z}/n\mathbb{Z}$
C’est l’ensemble des classes de congruences modulo $n$.
4.1 Structure (Anneau vs Corps)
$(\mathbb{Z}/n\mathbb{Z}, +, \times)$ est toujours un anneau commutatif unitaire. Mais attention :
- Un élément $k$ est inversible si et seulement si $k$ est premier avec $n$ ($k \wedge n = 1$).
- Pour que $\mathbb{Z}/n\mathbb{Z}$ soit un CORPS (où l’on peut diviser), il faut et il suffit que $n$ soit PREMIER. On le note alors $\mathbb{F}_p$.
4.2 Théorèmes Arithmétiques Importants
Si $m$ et $n$ sont premiers entre eux ($m \wedge n = 1$), alors on a l’isomorphisme d’anneaux : $$\mathbb{Z}/mn\mathbb{Z} \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$$
À connaître aussi :
- Indicatrice d’Euler $\varphi(n)$ : C’est le nombre d’éléments inversibles dans l’anneau, c’est-à-dire le nombre d’entiers $< n$ premiers avec $n$.
- Petit Théorème de Fermat : Si $p$ est premier, $\forall a \in \mathbb{Z}, a^p \equiv a \pmod p$.
5. Anneaux de Polynômes $\mathbb{K}[X]$
L’anneau des polynômes ressemble énormément à $\mathbb{Z}$.
- C’est un anneau principal : tout idéal est engendré par un unique polynôme.
- Décomposition unique : Tout polynôme se décompose de façon unique en produit de polynômes irréductibles (les « nombres premiers » des polynômes).
6. Les Algèbres
Une $\mathbb{K}$-algèbre est une structure hybride « tout-en-un ». C’est un ensemble $E$ muni de trois opérations $(+, \cdot, \times)$ tel que :
- $(E, +, \cdot)$ est un Espace Vectoriel (on peut additionner et multiplier par un scalaire).
- $(E, +, \times)$ est un Anneau (on peut multiplier les éléments entre eux).
- $\mathbb{K}[X]$ (Les Polynômes)
- $\mathcal{M}_n(\mathbb{K})$ (Les Matrices Carrées)
- $\mathcal{L}(E)$ (Les Endomorphismes)