Catalogue Licence
L1 • Algèbre Générale
Fondation L1
Accès Libre

Structures algébriques : groupes, anneaux et corps

Lois internes, sous-groupes, morphismes, arithmétique de et le corps

Fils Rouges :Fil 2 — Structure, morphisme et quotient
Point d'entrée intuitif

Qu'ont exactement en commun l'addition des entiers, la composition des rotations d'un carré, et la multiplication des matrices inversibles — au point qu'un seul théorème puisse parler des trois à la fois ?

Idée en une phrase :
On cesse de regarder ce que sont les objets pour ne regarder que les règles auxquelles obéit l'opération qui les combine.
Généalogie historique du concept :

Le concept naît d'un échec : pendant trois siècles, on cherche une formule par radicaux pour l'équation de degré . Lagrange (1770) remarque que ce qui gouverne la résolubilité n'est pas l'équation elle-même, mais la façon dont ses racines peuvent être PERMUTÉES sans altérer les relations qu'elles vérifient. Galois (1830) transforme cette remarque en théorie : à chaque équation il associe un groupe, et la résolubilité par radicaux devient une propriété de ce groupe. L'objet d'étude a changé de nature — on n'étudie plus des nombres, on étudie des symétries.

Pourquoi CETTE définition formelle :

Pourquoi exiger exactement quatre axiomes pour un groupe — loi interne, associativité, neutre, symétrique — et pas la commutativité ? Parce que les exemples les plus importants ne commutent pas : la composition de deux rotations dans l'espace, le produit de deux matrices, la composition de deux permutations. Imposer la commutativité aurait exclu la théorie de Galois, la cristallographie et la mécanique quantique. Inversement, retirer l'associativité rendrait l'écriture ambiguë et détruirait tout calcul.

Images Mentales & Modèles d'Intuition (3)

Modèle #1

Un groupe est un catalogue de mouvements réversibles : chaque élément est une action, la loi est « faire ceci puis cela », le neutre est « ne rien faire », et le symétrique est « annuler ».

Ce qu'elle capture :

L'associativité devient évidente : enchaîner trois mouvements ne dépend pas du parenthésage. L'existence du symétrique traduit la réversibilité. La non-commutativité devient visible : tourner puis retourner un livre n'est pas retourner puis tourner.

⚠️ Où l'analogie ment :

L'image suggère qu'un groupe agit toujours sur quelque chose. C'est faux dans la définition abstraite — un groupe existe sans support. Le théorème de Cayley rétablit partiellement l'image en montrant que tout groupe se plonge dans un groupe de permutations, mais ce n'est pas une évidence, c'est un théorème.

Modèle #2

est le cadran d'une horloge à heures : on additionne normalement, puis on ne retient que la position finale de l'aiguille.

Ce qu'elle capture :

Le quotient est un OUBLI organisé : on décide que deux entiers différant d'un multiple de sont désormais le même objet. La classe n'est pas un nombre, c'est un ensemble d'entiers.

⚠️ Où l'analogie ment :

L'image porte bien l'addition, mais elle n'explique pas pourquoi la multiplication se comporte si différemment : sur un cadran à heures, sans qu'aucun des deux facteurs ne soit nul. Aucune horloge ne rend cette anomalie intuitive — c'est l'arithmétique, pas la géométrie, qui l'explique.

Modèle #3

Un anneau est un monde où l'on peut additionner, soustraire et multiplier ; un corps est un anneau où l'on peut EN PLUS diviser par tout élément non nul.

Ce qu'elle capture :

La hiérarchie se lit comme un enrichissement progressif des opérations autorisées.

⚠️ Où l'analogie ment :

L'image suggère que « pouvoir diviser » est une commodité de calcul. C'est en réalité une propriété structurelle aux conséquences massives : dans un corps, une équation polynomiale de degré a au plus racines. Dans , l'équation en a quatre.

Les Pièges Conceptuels Classiques

1
Un sous-ensemble stable pour la loi est un sous-groupe.

Correction :

est stable pour l'addition dans et n'est pas un sous-groupe : aucun élément non nul n'y admet d'opposé. Il faut vérifier trois choses : non-vacuité, stabilité par la loi, stabilité par passage au symétrique — ce que résume le critère .

2
entraîne ou .

Correction :

C'est la propriété d'INTÉGRITÉ, et elle est fausse en général. Dans : . Conséquence pratique immédiate : on n'a pas le droit de « simplifier par » dans une équation modulaire, et l'équation y possède deux solutions, et .

3
Tout anneau fini non nul est un corps.

Correction :

Faux : est fini et n'est pas un corps. Le bon énoncé, remarquable, est : tout anneau INTÈGRE fini est un corps. C'est l'intégrité, et non la finitude, qui fait le travail — et c'est l'exercice 7 de ce module.

4
Un morphisme de groupes doit préserver le neutre par hypothèse.

Correction :

Inutile : , et en simplifiant par — licite dans un groupe — on obtient . La préservation du neutre et celle des inverses sont des CONSÉQUENCES, non des axiomes. C'est un premier exemple d'économie axiomatique.

Glossaire des Notations Mathématiques

classe de a modulo n

l'ensemble $\{a + kn \mid k \in \mathbb{Z}\}$, et non un entier

H sous-groupe de G

$H$ hérite de la structure de $G$ par restriction de la loi

groupe des inversibles

les classes $\bar a$ avec $\pgcd(a,n) = 1$ ; son cardinal est $\varphi(n)$

corps à p éléments

notation réservée à $\mathbb{Z}/p\mathbb{Z}$ lorsque $p$ est premier