Scheda di revisione: Structures fondamentales en algèbre

📋 Plan du Cours

1. Corps et anneaux
2. Théorème de Lagrange
3. Théorème de Bézout
4. Systèmes linéaires
5. Anneau quotient
6. Anneau des entiers modulo n
7. Inverse dans ℤ/nℤ
8. Caractéristique d’un anneau
9. Corps des fractions
10. Diviseurs de zéro
11. Théorème chinois

📖 1. Corps et anneaux

🔑 Notions clés & Définitions

• Corps : ****(source : définition standard)**. Un ensemble 𝐾 muni de deux lois (+, ×) est un corps si (𝐾, +, ×) est un anneau unitaire et si (𝐾∗, ×) est un groupe, c’est-à-dire que tout élément non nul possède un inverse multiplicatif.
• Sous-corps : (source : définition standard). Partie 𝐾 d’un corps 𝐿 qui est un sous-anneau de 𝐿, contenant 1, et fermée par inversion pour tout élément non nul.
• Anneau quotient : (source : définition standard). Structure formée par l’ensemble des classes d’un anneau 𝐴 par rapport à un idéal bilatère 𝐼, avec opérations bien définies, formant un nouvel anneau, souvent noté 𝐴/𝐼.
• Corps des fractions : (source : définition standard). Pour un anneau intègre 𝐴, le corps 𝐹𝑟(𝐴) est constitué des fractions 𝑎/𝑏 avec 𝑎 ∈ 𝐴 et 𝑏 ∈ 𝐴∗, construit via une relation d’équivalence sur 𝐴 × (𝐴 \ {0𝐴}) (voir construction détaillée).
• Propriété : Un corps est un anneau unitaire et intègre, où chaque élément non nul est inversible, ce qui implique que 𝒰(𝐾) = 𝐾∗ (source : proposition).
• Exemples : ℂ, ℚ, ℝ sont des corps. ℚ et ℝ sont des sous-corps de ℂ (source : exemples).

📝 Points essentiels

• La définition d’un corps repose sur la propriété que (𝐾, +, ×) est un anneau unitaire et que (𝐾∗, ×) est un groupe, ce qui implique que tout élément non nul est inversible (AUTEUR : définition standard).
• Un sous-corps de 𝐿 est un sous-ensemble 𝐾 qui est un sous-anneau contenant 1 et fermé par inversion pour tout x ∈ 𝐾∗ (AUTEUR : définition standard).
• La construction du corps des fractions 𝐹𝑟(𝐴) d’un anneau intègre 𝐴 repose sur la relation d’équivalence (a, b) ℛ (c, d) ⇔ ad = bc, permettant d’étendre 𝐴 en un corps (source : construction détaillée).
• La propriété que tout corps est un anneau intègre et que tout élément non nul possède un inverse est fondamentale pour la théorie des corps, notamment pour la construction des corps de fractions (source : proposition).
• ℂ, ℚ, ℝ sont des exemples classiques de corps, avec ℚ et ℝ étant des sous-corps de ℂ (source : exemples).

💡 À retenir

Un corps est un anneau unitaire et intègre dans lequel chaque élément non nul possède un inverse multiplicatif, permettant la construction de corps de fractions à partir d’anneaux intègres. Les sous-corps sont des sous-ensembles fermés par inversion, essentiels pour l’étude des extensions.

📖 2. Théorème de Lagrange

🔑 Notions clés & Définitions

• Théorème de Lagrange (corollaire) : Dans un groupe fini 𝐺 d’ordre 𝑛, l’ordre de tout élément 𝑥 ∈ 𝐺 divise 𝑛. En conséquence, pour tout 𝑥 dans 𝐺, on a 𝑥^𝑛 = 𝑒, où 𝑒 est l’élément neutre de 𝐺.
• Isomorphisme de groupes : Soit 𝑓 : 𝐺 → 𝐻 un morphisme de groupes. Alors, le quotient 𝐺 / ker 𝑓 est isomorphe à l’image Im(𝑓), c’est-à-dire 𝐺 / ker 𝑓 ≅ Im(𝑓).
• Ordre d’un élément : La plus petite puissance positive 𝑘 telle que 𝑥^𝑘 = 𝑒 dans un groupe 𝐺. Selon le théorème de Lagrange, cet ordre divise l’ordre total du groupe.
• Noyau d’un morphisme : L’ensemble ker 𝑓 = {𝑥 ∈ 𝐺 | 𝑓(𝑥) = 𝑒} est un sous-groupe normal de 𝐺, appelé noyau de 𝑓.
• Image d’un morphisme : Im(𝑓) = {𝑓(𝑥) | 𝑥 ∈ 𝐺}, un sous-groupe de 𝐻. La relation d’isomorphisme relie le quotient du groupe par le noyau à l’image.

📝 Points essentiels

• Le théorème de Lagrange établit que dans un groupe fini, l’ordre de chaque élément divise l’ordre total du groupe, ce qui implique que 𝑥^𝑛 = 𝑒 pour tout 𝑥 dans un groupe d’ordre 𝑛.
• La propriété x^n = e est une conséquence directe du théorème, permettant de déterminer la structure des éléments dans un groupe fini.
• L’isomorphisme de groupes (voir section 3) montre que le quotient 𝐺 / ker 𝑓 est structurellement identique à l’image Im(𝑓), ce qui permet de relier la structure du groupe à celle de ses sous-groupes et morphismes.
• La démonstration du théorème repose sur la propriété que le noyau d’un morphisme est un sous-groupe normal, et que le groupe quotient par ce noyau est isomorphe à l’image, ce qui est une version du théorème fondamental de l’isomorphisme.
• La notion d’ordre d’un élément est centrale pour comprendre la cyclicité et la structure des groupes finis.

💡 À retenir

Le théorème de Lagrange indique que dans un groupe fini, l’ordre de chaque élément divise l’ordre total du groupe, ce qui permet de déduire des propriétés fondamentales sur la structure des groupes finis et leurs éléments.

📖 3. Théorème de Bézout

🔑 Notions clés & Définitions

• Théorème de Bézout : Dès que deux entiers naturels m et n sont premiers entre eux, il existe des entiers u et v tels que mu + nv = 1. Ce résultat établit une relation d’égalité linéaire entre deux nombres premiers entre eux, permettant de représenter leur plus grand commun diviseur (PGCD) sous forme d’une combinaison linéaire.
• Lien avec l’algorithme d’Euclide : L’algorithme d’Euclide permet de calculer efficacement les coefficients u et v mentionnés dans le théorème de Bézout, en utilisant une procédure itérative basée sur la division euclidienne.
• Existence d’entiers u, v : Pour deux entiers m et n premiers entre eux, il existe nécessairement des entiers u et v tels que mu + nv = 1, ce qui implique que leur PGCD est égal à 1.
• Application dans la résolution de systèmes linéaires : La formule mu + nv = 1 est fondamentale pour résoudre certains systèmes linéaires dans les anneaux, notamment dans la construction d’inverses modulo n, en particulier dans l’anneau ℤ/nℤ.
• Propriété fondamentale : Le théorème garantit que si m et n sont premiers entre eux, alors leur PGCD est 1, et il existe une combinaison linéaire de m et n qui donne 1.

📝 Points essentiels

• Le théorème de Bézout établit une relation d’existence entre deux entiers premiers entre eux, en affirmant que mu + nv = 1 pour certains u, v ∈ ℤ.
• La preuve de ce théorème repose sur l’algorithme d’Euclide, qui permet de déterminer ces coefficients u et v de façon systématique.
• Ce résultat est crucial pour la théorie des nombres, notamment pour démontrer que dans ℤ/nℤ, un élément est inversible si et seulement si son PGCD avec n est égal à 1.
• La relation mu + nv = 1 est également appelée relation de Bézout, et elle est utilisée pour calculer des inverses modulaires dans l’arithmétique modulaire.
• Le théorème est une consequence directe de l’algorithme d’Euclide, qui fournit une méthode constructive pour trouver u et v.

💡 À retenir

Le théorème de Bézout affirme que deux entiers premiers entre eux peuvent toujours être exprimés comme une combinaison linéaire donnant 1, ce qui permet notamment de calculer des inverses dans ℤ/nℤ et de résoudre des équations diophantiennes.

📖 4. Systèmes linéaires

🔑 Notions clés & Définitions

• Théorème de Cramer : (date non précisée). Un système linéaire $A\mathbf{X} = \mathbf{B}$ admet une solution unique si et seulement si la matrice $A$ est inversible. La solution est donnée par la formule explicite $x_i = \frac{\det(A_i)}{\det(A)}$, où $A_i$ est la matrice obtenue en remplaçant la $i$-ème colonne de $A$ par $\mathbf{B}$. La solution existe alors de manière unique, liée à l'inversibilité de la matrice dans l'anneau considéré.

• Inversibilité d’une matrice : (date non précisée). Une matrice $A$ est inversible si et seulement si son déterminant $\det(A)$ est inversible dans l’anneau (par exemple, dans un corps comme $\mathbb{R}$ ou $\mathbb{C}$). L’inverse $A^{-1}$ est alors donnée par la formule $A^{-1} = \frac{\operatorname{adj}(A)}{\det(A)}$.

• Lien entre inversibilité et inverse dans l’anneau : (date non précisée). La matrice $A$ est inversible dans un anneau si et seulement si $\det(A)$ est inversible dans cet anneau. La propriété fondamentale est que l’inversibilité de la matrice est équivalente à l’existence d’un inverse dans l’anneau, ce qui garantit la solution unique du système.

📝 Points essentiels

• La unicité de la solution d’un système linéaire est assurée par l’inversibilité de la matrice $A$. Si $\det(A) \neq 0$ dans un corps, alors $A$ est inversible et la solution est donnée par la formule de Cramer.

• La formule explicite de la solution repose sur le calcul des déterminants des matrices $A_i$, obtenues en remplaçant la $i$-ème colonne de $A$ par le vecteur $\mathbf{B}$. La solution est alors $x_i = \frac{\det(A_i)}{\det(A)}$.

• La relation entre inversibilité de la matrice et l’existence d’un inverse dans l’anneau est fondamentale : dans un corps, $\det(A)$ doit être non nul (et donc inversible) pour que $A$ soit inversible.

• La formule de Cramer ne s’applique que si $\det(A)$ est inversible, ce qui garantit l’unicité et l’existence de la solution.

💡 À retenir

Le théorème de Cramer établit que la solution unique d’un système linéaire est liée à l’inversibilité de la matrice, condition vérifiée par la non-nullité de son déterminant dans un corps. La formule explicite permet de calculer directement chaque variable à partir des déterminants des matrices modifiées.

📖 5. Anneau quotient

🔑 Notions clés & Définitions

• Anneau quotient (A/I) : Pour un anneau unitaire A et un idéal bilatère I, l’ensemble des classes de congruence modulo I, noté A/I, est muni d’une loi de composition interne (multiplication quotient) définie par :
  $\forall a, b \in A, \quad \overline{a} \times \overline{b} = \overline{a \times b}$
  où $\overline{a}$ désigne la classe de a modulo I. La structure (A/I, +, ×) est un anneau quotient de A par I.

• Projection canonique (φ : A → A/I) : Morphisme d’anneaux surjectif défini par :
  $\forall x \in A, \quad \phi(x) = \overline{x}$
  dont le noyau est précisément I, c’est-à-dire $\ker \phi = I$.

• Théorème d’isomorphisme (A/ker φ ≅ Im φ) : Si φ : A → B est un morphisme d’anneaux, alors il existe un isomorphisme d’anneaux entre le quotient A/ker φ et l’image Im φ, formellement :
  $A / \ker \phi \cong \operatorname{Im} \phi$
  (voir aussi la référence à la propriété universelle).

📝 Points essentiels

• La construction de l’anneau quotient A/I repose sur la définition de classes de congruence : deux éléments a et b de A sont congrus modulo I si a - b ∈ I.
• La loi de multiplication quotient est bien définie grâce à la propriété que I est un idéal bilatère, ce qui garantit que le produit de classes ne dépend pas du représentant choisi.
• La projection canonique φ est un morphisme d’anneaux surjectif, dont le noyau est exactement I, ce qui permet d’établir un isomorphisme entre A/ker φ et Im φ (théorème d’isomorphisme).
• Si A est commutatif, alors A/I est aussi commutatif (vérification immédiate).
• La structure de l’anneau quotient permet de "réduire" A en "regroupant" ses éléments selon la relation d’équivalence modulo I, tout en conservant une structure d’anneau.

💡 À retenir

L’anneau quotient A/I, construit à partir d’un idéal bilatère I, est un outil fondamental permettant d’étudier la structure d’un anneau en "modulant" par I, avec un morphisme canonique surjectif dont le noyau est I, et un théorème d’isomorphisme garantissant la correspondance entre A/ker φ et l’image de φ.

📖 6. Anneau des entiers modulo n

🔑 Notions clés & Définitions

• ℤ/nℤ = ℤ quotient nℤ : L’anneau des entiers modulo n est défini comme le quotient de ℤ par l’idéal nℤ, c’est-à-dire l’ensemble des classes d’équivalence modulo n, où deux entiers x et y sont équivalents si x ≡ y (mod n).
• Structure additive de ℤ/nℤ comme groupe cyclique d’ordre n : L’ensemble ℤ/nℤ, muni de l’addition modulo n, forme un groupe cyclique d’ordre n, généré par la classe de 1, notée 1̅. La loi additionnelle est définie par (x̅ + y̅) = (x + y)̅.
• Caractérisation des éléments inversibles dans ℤ/nℤ par pgcd(x,n)=1 : Un élément x̅ dans ℤ/nℤ est inversible si et seulement si le pgcd de x et n est égal à 1, c’est-à-dire que x est premier avec n. Dans ce cas, il existe un y̅ tel que x̅ × y̅ = 1̅.
• Exemples de calculs dans ℤ/nℤ : Calculs d’additions, soustractions, multiplications, et inverses dans ℤ/nℤ, notamment en utilisant le théorème de Bézout pour déterminer l’existence d’un inverse (voir section 7).

📝 Points essentiels

• Définition formelle : ℤ/nℤ est l’ensemble des classes d’équivalence modulo n, avec la relation x ≡ y (mod n) si et seulement si n divise (x - y). La classe de 0 est notée 0̅, celle de 1 est 1̅.
• Groupe cyclique : (ℤ/nℤ, +) est un groupe cyclique d’ordre n, généré par 1̅. La structure est abélienne, et chaque élément peut s’écrire comme une puissance de 1̅.
• Inversibilité : Un élément x̅ est inversible dans ℤ/nℤ si et seulement si pgcd(x, n) = 1. Son inverse y̅ peut être trouvé via l’algorithme d’Euclide et le théorème de Bézout, en cherchant u,v tels que mu + nv = 1.
• Calcul d’un inverse : Si pgcd(x, n) = 1, alors l’inverse de x̅ est y̅, où y est une solution de l’équation de Bézout, c’est-à-dire que y̅ × x̅ = 1̅.
• Exemples :
  • Dans ℤ/15ℤ, 8̅ est inversible car pgcd(8,15)=1, et son inverse peut être calculé.
  • Dans ℤ/23ℤ, tous les éléments sauf 0̅ sont inversibles, car 23 est premier.

💡 À retenir

L’anneau ℤ/nℤ est un groupe cyclique pour l’addition, et ses éléments inversibles sont précisément ceux premiers avec n. Son étude repose sur la compréhension du pgcd et l’utilisation du théorème de Bézout pour le calcul d’inverses.

📖 7. Inverse dans ℤ/nℤ

🔑 Notions clés & Définitions

• Caractérisation des inversibles dans ℤ/nℤ : Un élément 𝑥̅ ∈ ℤ/nℤ est inversible si et seulement si 𝑝𝑔𝑐𝑑(𝑥, n) = 1. Cela signifie que le plus grand commun diviseur entre 𝑥 et n est 1, ce qui garantit l’existence d’un inverse modulo n (voir section 6).

• Groupe des unités 𝒰(ℤ/nℤ) : L’ensemble des éléments inversibles de ℤ/nℤ, noté 𝒰(ℤ/nℤ), forme un groupe abélien d’ordre φ(n), où φ est la fonction indicatrice d’Euler. Selon Euler (18e siècle), ce groupe est constitué de tous les classes 𝑥̅ où 𝑥 est premier avec n.

• Méthode de calcul d’inverse : L’inverse de 𝑥̅ dans ℤ/nℤ peut être déterminé en utilisant le théorème de Bézout, qui affirme que si 𝑝𝑔𝑐𝑑(𝑥, n) = 1, alors il existe des entiers u, v tels que 𝑥u + nv = 1. La valeur u (modulo n) est l’inverse de 𝑥̅, calculée via l’algorithme d’Euclide (voir section 3).

• Théorème de Bézout : Selon Bézout (18e siècle), pour deux entiers m, n premiers entre eux, il existe u, v ∈ ℤ tels que m u + n v = 1. Cet u peut être trouvé par l’algorithme d’Euclide et sert à calculer l’inverse modulaire.

• Algorithme d’Euclide : Procédé itératif permettant de déterminer u, v tels que m u + n v = 1, en utilisant la division euclidienne répétée. Il est essentiel pour calculer efficacement l’inverse dans ℤ/nℤ.

📝 Points essentiels

• La caractérisation des inversibles dans ℤ/nℤ repose sur la condition pgcd(x, n) = 1 (voir section 6). Si cette condition est remplie, alors 𝑥̅ possède un inverse dans ℤ/nℤ.

• Le groupe des unités 𝒰(ℤ/nℤ) est d’ordre φ(n), où φ(n) est la fonction d’Euler, qui compte le nombre d’entiers positifs inférieurs à n et premiers avec n. Euler (18e siècle) a introduit cette fonction pour étudier la structure multiplicative des entiers.

• Le calcul de l’inverse s’effectue en résolvant l’équation de Bézout 𝑥u + nv = 1, ce qui garantit l’existence de u (mod n) tel que 𝑥̅ u̅ = 1̅. La méthode la plus courante est l’algorithme d’Euclide étendu, qui permet de déterminer u et v en un nombre fini d’étapes.

• La méthode de Bézout et l’algorithme d’Euclide sont fondamentaux pour effectuer des calculs d’inverses dans ℤ/nℤ, notamment dans les applications cryptographiques comme RSA.

💡 À retenir

Un élément est inversible dans ℤ/nℤ si et seulement si il est premier avec n, et son inverse peut être calculé efficacement à l’aide du théorème de Bézout et de l’algorithme d’Euclide. Le groupe des unités 𝒰(ℤ/nℤ) est d’ordre φ(n), reflétant la structure multiplicative de ces éléments.

📖 8. Caractéristique d’un anneau

🔑 Notions clés & Définitions

• Caractéristique d’un anneau : L’unique entier n ∈ ℕ tel que le noyau du morphisme ℤ → A, défini par k ↦ k·1_A, est égal à nℤ. Autrement dit, c’est le plus petit entier n pour lequel n·1_A = 0 dans A.
• Propriété : La caractéristique de ℤ est 0, c’est-à-dire que le noyau du morphisme ℤ → ℤ est {0}.
• Caractéristique d’un anneau quotient ℤ/nℤ : Elle est égale à n. Autrement dit, car(ℤ/nℤ) = n.
• Caractéristique d’un anneau intègre : Elle est soit 0, soit un nombre premier. Selon PERROUX (date), cela découle du fait que tout anneau intègre possède une caractéristique qui est soit nulle (si le morphisme ℤ → A est injectif), soit un nombre premier (si le noyau est nℤ avec n premier).

📝 Points essentiels

• La caractéristique d’un anneau est le plus petit entier n tel que n·1_A = 0.
• La caractéristique de ℤ est 0, ce qui signifie que ℤ est infini et sans torsion.
• La caractéristique de ℤ/nℤ est n, ce qui montre que ℤ/nℤ est un anneau de caractéristique n.
• Pour un anneau intègre, la caractéristique est soit 0, soit un nombre premier, ce qui reflète la structure de ses sous-anneaux (voir PERROUX).
• La caractéristique est liée à la propriété que dans ℤ/nℤ, n·1 = 0, ce qui implique que n est la plus petite telle valeur.

💡 À retenir

La caractéristique d’un anneau est le plus petit entier n tel que n·1 = 0, elle est nulle pour ℤ et un nombre premier pour tout anneau intègre non trivial.

📖 9. Corps des fractions

🔑 Notions clés & Définitions

• Construction du corps des fractions Fr(A) : Pour un anneau intègre A, le corps des fractions Fr(A) est construit en considérant l’ensemble X = A × (A \ {0A}) et en le munissant d’une relation d’équivalence ℛ définie par (a, b) ℛ (c, d) ⇔ ad = bc, permettant d’identifier deux fractions si leur « produit en croix » est égal.
• Relation d’équivalence (a, b) ℛ (c, d) : Deux fractions sont équivalentes si et seulement si ad = bc, ce qui garantit que les fractions représentées sont égales dans le corps des fractions.
• Définition des opérations + et × sur Fr(A) : La somme de deux fractions (a, b) et (c, d) est donnée par (ad + bc, bd), et leur produit par (a, b) × (c, d) = (ac, bd). Ces opérations sont bien définies grâce à la relation d’équivalence et respectent la structure d’un corps.
• Propriété universelle : Fr(A) est le plus petit corps contenant A, c’est-à-dire qu’il possède la propriété suivante : tout morphisme d’anneaux de A vers un corps B se prolonge de manière unique en un morphisme de Fr(A) vers B.
• Identification de A comme sous-anneau de Fr(A) : L’application a ↦ a/1 permet d’identifier A à un sous-ensemble de Fr(A), où chaque élément de A est représenté par la fraction a/1. Cette injection est un morphisme d’anneaux injectif, faisant de A un sous-anneau de Fr(A).

📝 Points essentiels

• La construction du corps des fractions Fr(A) repose sur la relation d’équivalence (ad = bc), qui garantit que deux fractions sont égales si leur « produit en croix » est identique.
• La définition des opérations + et × sur Fr(A) est compatible avec cette relation, ce qui permet de faire de Fr(A) un corps commutatif.
• La propriété universelle affirme que Fr(A) est le plus petit corps contenant A, ce qui justifie son rôle fondamental en algèbre pour étendre un anneau intègre à un corps.
• L’injection a ↦ a/1 permet d’identifier A comme sous-anneau de Fr(A), assurant que A est intégré dans son corps des fractions.
• La construction est valable pour tout anneau intègre, et notamment pour ℤ, ℚ, ou encore pour des anneaux de polynômes comme 𝕂[X], permettant de former leur corps des fractions.
• La relation d’équivalence et les opérations sont définies de manière à rendre Fr(A) une structure cohérente, indépendante du choix des représentants, grâce à la propriété d’intégrité de A.

💡 À retenir

Le corps des fractions Fr(A) d’un anneau intègre A est la structure la plus petite contenant A, construite via une relation d’équivalence sur le produit cartésien A × (A \ {0A}), permettant d’étendre A en un corps où chaque élément non nul possède un inverse.

📖 10. Diviseurs de zéro

🔑 Notions clés & Définitions

• Diviseur de zéro : Dans un anneau A, un élément 𝑎 ≠ 0 est un diviseur de zéro si il existe un 𝑏 ≠ 0 tel que 𝑎×𝑏 = 0. (Source : Chapitre 2, Corps et Anneaux)

• Diviseurs de zéro dans ℤ/nℤ : Les classes d’entiers 𝑑̅ telles que 𝑑|𝑛, avec 1 < 𝑑 < 𝑛, sont précisément les diviseurs de zéro dans ℤ/nℤ. Autrement dit, 𝑑̅ est un diviseur de zéro si et seulement si 𝑑 divise n. (Source : Propriétés de ℤ/nℤ)

• Lien avec la non-intégrité : ℤ/nℤ n’est pas un anneau intègre si et seulement si n n’est pas premier, car dans ce cas, il existe des diviseurs de zéro. La présence de diviseurs de zéro est donc équivalente à la non-structure d’intégrité. (Source : Théorème fondamental, caractérisation des corps)

📝 Points essentiels

• La définition de diviseur de zéro dans un anneau est fondamentale pour comprendre la structure de cet anneau, notamment sa propriété d’intégrité. La présence de diviseurs de zéro indique que l’anneau n’est pas un corps, ni un anneau intègre.

• Dans ℤ/nℤ, les classes d’entiers divisant n (strictement entre 1 et n) sont exactement les diviseurs de zéro. Cela permet de caractériser facilement ces éléments : si 𝑑̅ est un diviseur de zéro, alors 𝑑|𝑛, et vice versa.

• La non-existence de diviseurs de zéro dans ℤ/nℤ est équivalente à ce que n soit premier, ce qui implique que ℤ/nℤ est alors un corps. La présence de diviseurs de zéro est donc directement liée à la non-primarité de n.

💡 À retenir

Les diviseurs de zéro dans ℤ/nℤ sont précisément les classes d’entiers divisant n, et leur existence est la signature que ℤ/nℤ n’est pas un anneau intègre, ce qui se produit lorsque n n’est pas premier.

📖 11. Théorème chinois

🔑 Notions clés & Définitions

• Isomorphisme (voir section 4) : Morphisme bijectif entre deux structures algébriques, ici entre anneaux ou groupes, qui conserve les opérations.
• ℤ/nℤ (anneau des entiers modulo n) : Anneau quotient de ℤ par l'idéal nℤ, constitué des classes d’équivalence modulo n.
• Morphisme d’anneaux : Fonction entre deux anneaux qui préserve addition, multiplication, et l’élément unité.
• Noyau d’un morphisme (voir section 5) : Ensemble des éléments envoyés sur l’élément neutre dans le codomaine, ici 0 dans ℤ/mℤ × ℤ/nℤ.
• Surjectivité (voir section 5) : Propriété d’un morphisme dont l’image est l’ensemble entier du codomaine.
• Premiers entre eux (voir section 1) : Deux entiers n et m tels que leur pgcd (plus grand commun diviseur) est 1.

📝 Points essentiels

• Énoncé du théorème chinois : Si n et m sont premiers entre eux, alors il existe un isomorphisme d’anneaux entre ℤ/nmℤ et le produit direct (ℤ/nℤ) × (ℤ/mℤ).
• Construction du morphisme f : Défini par f : ℤ → (ℤ/mℤ) × (ℤ/nℤ), x ↦ (x̅, ẋ), où x̅ et ẋ sont les classes de x modulo m et n respectivement.
• Identification du noyau : Le noyau de f est l’idéal nℤ + mℤ, qui, lorsque n et m sont premiers entre eux, est égal à n m ℤ.
• Surjectivité de f : Grâce au théorème de Bézout, pour tout couple (a̅, ḃ), il existe un entier x tel que x ≡ a̅ mod m et x ≡ ḃ mod n, ce qui montre que f est surjective.
• Application pratique : La décomposition d’un problème modulo n m en deux problèmes plus simples modulo n et m, notamment dans la résolution de systèmes congruences ou dans la construction de nombres premiers.

💡 À retenir

Le théorème chinois établit que, lorsque deux modules sont premiers entre eux, leur produit peut être représenté de façon isomorphe par le produit direct de leurs anneaux, permettant ainsi de décomposer et simplifier la résolution de problèmes modulaires.

📊 Tableaux de Synthèse

Thème	Notions clés	Définition / Propriétés	Auteur / Référence
Corps	Ensemble avec deux lois (+,×), tout élément non nul inversible	Un anneau unitaire et intègre où (𝐾∗,×) est un groupe	Définition standard
Sous-corps	Partie d’un corps fermée par 1 et inversion	Sous-ensemble d’un corps contenant 1 et fermé par inversion	Définition standard
Anneau quotient	Classes d’un anneau par rapport à un idéal	Structure formée par A/I, avec opérations bien définies	Définition standard
Corps des fractions	Fractions a/b avec a, b dans un anneau intègre, b ≠ 0	Construction via relation d’équivalence (a, b) ~ (c, d) si ad = bc	Standard
Théorème de Lagrange	Dans un groupe fini, ordre d’un élément divise l’ordre du groupe	Si	G
Théorème de Bézout	Si m et n premiers entre eux, ∃ u,v ∈ ℤ tels que mu + nv=1	Relation d’égalité linéaire, calculée via algorithme d’Euclide	Bézout, Euclide
Systèmes linéaires	Solution unique si det(A) inversible	Solution donnée par Cramer : x_i= det(A_i)/det(A)	Définition standard

⚠️ Pièges & Confusions Fréquentes

1. Confondre anneau et corps : un corps est un anneau où tout élément non nul est inversible, pas seulement un anneau unitaire.
2. Oublier que dans un anneau, la propriété d’inversibilité ne s’applique qu’aux éléments non nuls dans un corps ou dans un anneau intègre.
3. Confusion entre sous-anneau et sous-corps : un sous-corps doit contenir 1 et être fermé par inversion.
4. Mal interpréter le théorème de Lagrange : il concerne l’ordre des éléments dans un groupe fini, pas la structure de sous-groupes.
5. Confondre PGCD et relation de Bézout : la relation mu + nv=1 ne garantit pas que m et n soient premiers, mais qu’ils sont premiers entre eux.
6. Erreur dans la formule de Cramer : utiliser det(A) non inversible dans un anneau non-commutatif ou sans unité.
7. Oublier que dans ℤ/nℤ, un élément est inversible si et seulement si PGCD avec n est 1, selon Bézout.

✅ Checklist Examen

1. Connaître la définition d’un corps selon la propriété que (𝐾, +,×) est un anneau unitaire et que (𝐾∗,×) est un groupe, avec tout élément non nul inversible.
2. Savoir que tout sous-corps d’un corps est un sous-ensemble contenant 1, fermé par inversion et addition.
3. Maîtriser la construction du corps des fractions 𝐹𝑟(𝐴) d’un anneau intègre, en utilisant la relation d’équivalence (a, b) ~ (c, d).
4. Connaître que ℂ, ℚ, ℝ sont des exemples classiques de corps, avec ℚ et ℝ sous-corps de ℂ.
5. Savoir que dans un groupe fini, l’ordre de tout élément divise l’ordre total du groupe (théorème de Lagrange).
6. Comprendre que x^n= e dans un groupe fini si n est divisible par l’ordre de x, selon le théorème de Lagrange.
7. Maîtriser la relation mu + nv=1 du théorème de Bézout, et que m et n premiers entre eux impliquent PGCD=1.
8. Savoir que l’algorithme d’Euclide permet de calculer u,v tels que mu+nv=1.
9. Connaître la formule de Cramer pour résoudre un système linéaire : x_i= det(A_i)/det(A), sous condition que det(A) soit inversible.
10. Savoir qu’une matrice A est inversible si et seulement si det(A) est inversible dans l’anneau considéré.
11. Comprendre que dans ℤ/nℤ, un élément est inversible si et seulement si PGCD avec n est 1, selon le théorème de Bézout.
12. Vérifier que la solution d’un système linéaire est unique si et seulement si la matrice associée est inversible dans l’anneau ou corps considéré.