A.
1) Quels sont les carrés de Z/4Z?
2) Montrer que si un nombre premier impair est somme de deux carrés, alors p
est congru à 1 modulo 4.
3) Question de cours : montrer que l’anneau Z[i]des entiers de Gauss est principal.
4) Montrer que si pest congru à 3 modulo 4, alors pest premier dans Z[i].
On pourra utiliser la norme.
B. On suppose ici que la décomposition en facteurs premiers de ndans Zest
donnée par n=p1· · · pk, où les pi,1≤i≤k, sont des nombres premiers deux à
deux distincts, non congrus à 3 modulo 4.
1) Montrer que −1est un carré de Z/piZpour tout i,1≤i≤k.
2) En déduire que −1est un carré dans Z/nZ. Combien −1possède-t-il de racines
carrées dans Z/nZ?
On distinguera deux cas. . .
On notera dans la suite ωune racine carrée de −1dans Z/nZ.
3) Montrer que Z/nZest doté d’une structure de Z[X]-module par
P.u =P(ω)u, P ∈Z[X], u ∈Z/nZ.
4) En déduire une structure de Z[i]-module sur Z/nZet montrer que ce module
est alors engendré par 1∈Z/nZ.
C. Soit mun entier positif et φun morphisme injectif de Z-module de Zmdans
lui-même.
1) Enoncer le théorème de la base adaptée et montrer qu’il existe deux bases du
Z-module libre Zm(une de départ et une d’arrivée) pour lesquelles la matrice de
φest diagonale.
2) En déduire que le cardinal du module quotient Zm/Imφvaut |det(φ)|.
3) On suppose dans les questions 3) et 4) que nest comme dans B. Donner une
présentation du Z[i]-module Z/nZpar des Z[i]-modules libres de rang 1 et un
morphisme φde multiplication par un entier de Gauss (a+ib).
4) En déduire une présentation du Z-module Z/nZpar des Z-modules libres de
rang 2, puis, par un argument de cardinalité, que n=a2+b2.
5) Montrer que si la p-valuation νp(n)est paire dès que pest un nombre premier
congru à 3 modulo 4, alors ns’écrit comme une somme de deux carrés d’entiers.
D.
1) Montrer qu’un nombre premier preste premier dans Z[i]si et seulement si p
est congru à 3 modulo 4.
2) Montrer que si pest premier, avec p=a2+b2, alors a+ib et a−ib sont
premiers dans Z[i].
3) Soit nun entier positif tel que nse décompose en somme de deux carrés
d’entiers. Montrer que νp(n)est paire dès que pest un nombre premier congru à
3 modulo 4.
On pourra comparer deux décompositions de ndans Z[i]dont la décomposition
en facteurs premiers.
2