Anneau Exposé
Anneau Exposé
Anneau Exposé
LYDEX
Labrag Ali
2021/2022
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
√ √
1 Montrer que : Z[ 2] = {a + b 2/a, b ∈ Z} est un
sous-anneau de (R, +, ×).
2 Montrer que : L’ensemble des entiers de Gauss,
Z[i] = {a + ib/a, b ∈ Z}
1. Montrer que (Z [i] , +, ×) est un anneau
2. Pour z = a + ib ∈ Z [i] ,on pose N (z) = a2 + b2
3. (a) Vérifier que N (zz ′ ) = N (z)N (z ′ ),
(b) En déduire que UZ [i]) = {1, −1, i, −i}
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
f : (Z[i], +, ×) → (Z[i], +, ×) .
z 7→ z
Pour tout espace vectoriel E de dimension n ∈ N∗ , et toute base B de E,
l’application ϕ : L(E) → Mn (K)
f 7→ MB (f )
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
car ai ∈ I et aj ∈ J puisque I et J sont des idéaux de A.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
car ai ∈ I et aj ∈ J puisque I et J sont des idéaux de A.
On déduit que I + J est un idéal de A.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
car ai ∈ I et aj ∈ J puisque I et J sont des idéaux de A.
On déduit que I + J est un idéal de A.
Soit x ∈ I ∩ J et a ∈ A donc ax ∈ I ∩ J
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
car ai ∈ I et aj ∈ J puisque I et J sont des idéaux de A.
On déduit que I + J est un idéal de A.
Soit x ∈ I ∩ J et a ∈ A donc ax ∈ I ∩ J
car ax ∈ I et ax ∈ J puisque I et J sont des idéaux A.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
car ai ∈ I et aj ∈ J puisque I et J sont des idéaux de A.
On déduit que I + J est un idéal de A.
Soit x ∈ I ∩ J et a ∈ A donc ax ∈ I ∩ J
car ax ∈ I et ax ∈ J puisque I et J sont des idéaux A.
On déduit que I ∩ J est un idéal de A.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a I et J deux idéaux de A
donc I et J sont deux sous-groupes de A
d’où I ∩ J et I + J sont deux sous-groupes de A.
Soit i ∈ I, j ∈ J, a ∈ A
donc a a(i + j) = ai + aj ∈ I + J
car ai ∈ I et aj ∈ J puisque I et J sont des idéaux de A.
On déduit que I + J est un idéal de A.
Soit x ∈ I ∩ J et a ∈ A donc ax ∈ I ∩ J
car ax ∈ I et ax ∈ J puisque I et J sont des idéaux A.
On déduit que I ∩ J est un idéal de A.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit A un anneauintègre.
∀a, b ∈ A, ab = 0 ⇐⇒ a = 0 ou b = 0.
Tout élément non nul de A est régulier.
∀a, b ∈ A, (a|b et b|a) ⇐⇒ (∃u ∈ A inversible , b = ua).
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit a, b ∈ Z.
∃!d ∈ N, aZ + bZ = dZ. d s’appelle le PGCD de a et b et on
le note a ∧ b.
∃!m ∈ N, aZ ∩ bZ = mZ. m s’appelle le PPCM de a et b et
on le note a ∨ b.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a
120 = 5 × 23 + 5
23 = 4×5 + 3
5 = 1×3 + 2
3 = 1×2 + 1
2 = 2×1 + 0
∧ 23 = 23 ∧ 5 = 5 ∧ 3 = 3 ∧ 2 = 2 ∧ 1 = 1 ∧ 0 = 1.
donc 120
120 = 5 × 23 + 5
23 = 4 × 5 + 3
On a
5 = 1×3 + 2
3 = 1×2 + 1
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
1 = 3 − 1×2
2 = 5 − 1×3
donc
3
= 23 − 4 × 5
5 = 120 − 5 × 23
1 = 3 − 1 × (5 − 1 × 3)
donc 3 = 23 − 4 × 5
5 = 120 − 5 × 23
1 = 2×3 − 1×5
donc 3 = 23 − 4×5
5 = 120 − 5 × 23
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
1 = 2 × (23 − 4 × 5) − 1 × 5
donc
5 = 120 − 5 × 23
1 = 2 × 23 − 9 × 5
donc
5 = 120 − 5 × 23
d’où 1 = 2 × 23 − 9 × (120 − 5 × 23) = −9 × 120 + 47 × 23.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Si a, b ∈ Z et d, m ∈ N alors:
(
d|a et d|b
d=a∧b⇔ .
∀n ∈ Z, (n|a et n|b) ⇒ n|d
(
a|m et b|m
m=a∨b⇔ .
∀n ∈ Z, (a|n et b|n) ⇒ m|n
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
d’où n|d.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
d’où n|d.
⇐ ) On a d|a et d|b
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
d’où n|d.
⇐ ) On a d|a et d|b donc aZ ⊂ dZ et bZ ⊂ dZ
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
d’où n|d.
⇐ ) On a d|a et d|b donc aZ ⊂ dZ et bZ ⊂ dZ
donc (a ∧ b)Z = aZ + bZ ⊂ dZ d’où d|(a ∧ b).
On a aZ + bZ = (a ∧ b)Z donc aZ ⊂ (a ∧ b)Z et bZ ⊂ (a ∧ b)Z
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
d’où n|d.
⇐ ) On a d|a et d|b donc aZ ⊂ dZ et bZ ⊂ dZ
donc (a ∧ b)Z = aZ + bZ ⊂ dZ d’où d|(a ∧ b).
On a aZ + bZ = (a ∧ b)Z donc aZ ⊂ (a ∧ b)Z et bZ ⊂ (a ∧ b)Z
donc (a ∧ b)|a et (a ∧ b)|b d’où (a ∧ b)|d.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
⇒ ) On a d = a ∧ b donc aZ + bZ = dZ donc aZ ⊂ dZ et
bZ ⊂ dZ d’où d|a et d|b.
Soit n ∈ Z tel que n|a et n|b donc aZ ⊂ nZ et bZ ⊂ nZ
donc dZ = aZ + bZ ⊂ nZ
d’où n|d.
⇐ ) On a d|a et d|b donc aZ ⊂ dZ et bZ ⊂ dZ
donc (a ∧ b)Z = aZ + bZ ⊂ dZ d’où d|(a ∧ b).
On a aZ + bZ = (a ∧ b)Z donc aZ ⊂ (a ∧ b)Z et bZ ⊂ (a ∧ b)Z
donc (a ∧ b)|a et (a ∧ b)|b d’où (a ∧ b)|d.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit a, b ∈ Z alors on a :
a ∧ b = 1 ⇔ ∃u, v ∈ Z, au + bv = 1
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
On a
a∧b = 1 ⇔ aZ+bZ = Z ⇔ 1 ∈ aZ+bZ ⇔ ∃u, v ∈ Z, au+bv = 1.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
∗
n ∈ N et a, b,c, d ∈ Z alors
Si
a ≡ b[n] a + c ≡ b + d[n]
⇒ .
c ≡ d[n] ac ≡ bd[n]
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit n ∈ N∗ .
m̄ ∈ Z/nZ est inversible si, et seulement si, m ∧ n = 1.
Z/nZ est un corps ⇔ Z/nZ est intègre ⇔ n premier.
π : Z → Z/nZ
L’application est un morphisme
m 7→ m̄
d’anneaux surjectif. On l’appelle la surjection canonique de Z
vers Z/nZ.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Propriété :
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
a inversible ⇔ ∃b ∈ Z/ a × b = 1
⇔ ∃b ∈ Z, ∃k ∈ Z/ ab = 1 + kn
⇔ ∃(u, v) ∈ Z2 / au + vn = 1
⇔ a et n sont premiers entre eux (d’après le théorème de Bézout).
. . . . . . . . . . . . . . . . . . . .
Si n est premier, tout entier k de J1, n − 1K est premier à n et donc, pour tout
n élément de J2, n − 1K, k n’est pas premier à n et donc k n’est pas inversible
Ainsi, il existe une classe non nulle qui n’est pas un inversible de l’anneau
(Z/nZ, +, ×) c-à-d l’anneau (Z/nZ, +, ×) n’est pas un . . corps.
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
∀n ∈ N∗ , 1 ∧ n = 1 donc ∀n ∈ N∗ , φ(n) ≥ 1.
∀n ≥ 2, φ(n) ≤ n − 1 avec égalité si, et seulement si, n est
premier.
∀n ∈ N∗ , φ(n) = n ⇔ n = 1.
Soit n ∈ N∗ . φ(n) est le nombre des éléments inversibles de
l’anneau (Z/nZ, +, ×). C’est encore l’ordre du groupe
(Z/nZ)× des unités de l’anneau (Z/nZ, +, ×).
Soit n ∈ N∗ . Si G est un groupe cyclique d’ordre n alors φ(n)
est le nombre des générateurs de G. En particulier, φ(n) est le
nombre des générateurs de chacun des groupes (Z/nZ, +) et
(Un , ×).
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit n ∈ N premier.
∀a ∈ Z, a ∧ n = 1 ⇒ an−1 ≡ 1[n].
∀a ∈ Z, an ≡ a[n].
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
X
∀n ∈ N∗ , n = φ(d).
d|n
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit P, Q ∈ K[X].
(P) = (Q) si, et seulement si, il existe λ ∈ K∗ tel que
P = λQ. En particulier, deg P = deg Q.
Si P et Q sont unitaires alors (P) = (Q) si, et seulement si,
P = Q.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Soit P, Q ∈ K[X].
∃!D ∈ K[X] unitaire ou nul tel que PK[X] + QK[X] = DK[X].
D s’appelle le PGCD de P et Q et on le note P ∧ Q.
∃!M ∈ K[X] unitaire ou nul tel que PK[X] ∩ QK[X] = MK[X].
M s’appelle le PPCM de P et Q et on le note P ∨ Q.
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
P|QR
∀P, Q, R ∈ K[X], ⇒ P|R.
P∧Q=1
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .