L3 (Math) - Algèbre 1 Université Paris Cité

Année 2023-2024 Campus des Grands Moulins

PARTIEL
SAMEDI 18 NOVEMBRE 2023
DURÉE : 2 HEURES

Toutes les réponses doivent être rigoureusement justifiées. Le barème est indicatif.

Exercice 1 - 4 points
On note G le groupe additif R × Z et on pose
 
1
H = ( y, y), y ∈ Z .
2
1. Montrer que H est un sous-groupe de G.
2. En considérant l’application f de G dans R définie par f (x, y) = 2x − y, montrer
que le groupe G/H est isomorphe au groupe additif R.

Exercice 2 - 7 points
Pour tout n ∈ N∗ et pour tout k ∈ Z on note [k]n la classe de k dans Z/nZ.
1. Combien y a-t-il d’éléments inversibles dans l’anneau Z/13Z ?
2. Calculer [2]313 et [2]613 .
En déduire l’ordre de [2]13 dans le groupe multiplicatif (Z/13Z)× .
3. Déterminer un isomorphisme de groupes entre (Z/12Z, +) et ((Z/13Z)× , ·).
4. Donner tous les éléments d’ordre 4 du groupe additif (Z/12Z, +).
Combien le groupe (Z/13Z)× possède-t-il d’éléments d’ordre 4 ?
5. Soit g ∈ (Z/13Z)× un élément d’ordre 4. On note H le sous-groupe de (Z/13Z)×
engendré par g. Quel est l’ordre du groupe quotient (Z/13Z)× /H.

Exercice 3 - 11 points
Soit ω ∈ C une racine du trinôme X 2 + X + 24 ∈ C[X]. Ainsi ω n’est pas un nombre
réel et ω vérifie ω 2 = −ω − 24.
On pose Z[ω] = {a + bω ∈ C, a, b ∈ Z}.
1. Montrer que Z[ω] est un sous-anneau de C.
2. Montrer que si a, b ∈ Z sont tels que a + bω = 0, alors a = b = 0.
3. Pour tout a ∈ Z on note a la classe de a dans Z/26Z. On considère l’application
φ : Z[ω] −→ Z/26Z
a + bω 7−→ a + b.
(a) Montrer que φ est un morphisme d’anneaux.
(b) Montrer que φ est surjectif.
(c) On note (ω − 1)Z[ω] l’idéal de Z[ω] engendré par (ω − 1).
Montrer que (ω − 1)Z[ω] ⊂ ker(φ).
(d) Montrer que (1 − ω)(2 + ω) = 26. En déduire que ker(φ) = (ω − 1)Z[ω].
(e) On note Π : Z[ω] −→ Z[ω]/(ω − 1)Z[ω] l’application quotient.
Montrer que φ induit un isomorphisme d’anneaux :
f : Z[ω]/(ω − 1)Z[ω] → Z/26Z vérifiant φ = f ◦ Π.
TSVP ▶
L3 (Math) - Algèbre 1 Université Paris Cité
Année 2023-2024 Campus des Grands Moulins

4. Soit f : Z[ω]/(ω − 1)Z[ω] → Z/26Z l’isomorphisme d’anneaux de la question

précédente. Pour tout x ∈ Z[ω], on note x
e la classe de x dans Z[ω]/(ω − 1)Z[ω].
(a) Que vaut f (e
3) ?
(b) Quel est le reste de la division euclidienne de 2023 par 3 ? En déduire que
32023 est congru à 3 modulo 26.
(c) Que vaut e 32023 dans Z[ω]/(ω − 1)Z[ω] ?