• Aucun résultat trouvé

Th´ eorie des Nombres - TD7

N/A
N/A
Protected

Academic year: 2022

Partager "Th´ eorie des Nombres - TD7"

Copied!
2
0
0

Texte intégral

(1)

Universit´e Pierre & Marie Curie Master de math´ematiques 1

Ann´ee 2013-2014 Module 4M020

Th´ eorie des Nombres - TD7

Compl´ ements sur les extensions (multi)quadratiques

Exercice 1 : Soitk/Qun corps quadratique r´eel, i.e. de la formek=Q(√

d), avecd≥2 entier sans facteur carr´e.

a) Donner l’anneau des entiers Zk et la structure du groupe des unit´e Zk.

b) Montrer que les ´el´ements de Zk sont en bijection avec les solutions enti`eres de l’´equation de Pell-Fermatx2−dy2 =±1 (resp.x2−dy2 =±4) sid≡2,3 [4] (resp. sid≡1 [4]).

c) Soit η := a+b√

d∈Zk telle queη > 1 et a >0. Montrer que η est une unit´e fondamentale si et seulement si aest minimal parmi toutes les unit´es η0 = a0+b0

d∈ Zk telles que η0 > 1 et a0 >0. En d´eduire un algorithme pour d´eterminer explicitementZk.

d) D´eterminer explicitement Zk pour d= 2,3,5,6,7,10,11,13,14,15,17,19.

Exercice 2 : Soient m, n ∈ Z\ {0; 1} distincts sans facteur carr´e. On note K := Q(√ m,√

n) et k:= pgcd(m,n)mn 2. L’objectif de cet exercice est de calculer ZK.

a) Montrer que (1,√ m,√

n,√

k) est une Q-base de K.

b) Soit α ∈ K. Montrer que α ∈ ZK si et seulement si TrK/Q(m)(α) et NK/Q(m)(α) sont des entiers alg´ebriques dans Q(√

m).

c) On suppose que m ≡ 3 [4] et n ≡ 2 [4]. Montrer que tout ´el´ement α ∈ ZK s’´ecrit α =

a+b m+c

n+d k

2 avec a, b, c, d ∈ Z. Puis montrer que a et b sont pairs, et que c ≡ d[2]. En d´eduire qu’uneZ-base de ZK est donn´ee par

1,√ m,√

n,

√n+√ k 2

! .

d) On suppose que m ≡ 1 [4] et n ≡ 2 ou 3 [4]. Montrer que tout ´el´ement α ∈ ZK s’´ecrit α =

a+b m+c

n+d k

2 avec a, b, c, d∈ Z. Puis montrer que a≡b [2] et c ≡ d[2]. En d´eduire qu’une Z-base deZK est donn´ee par

1,1 +√ m 2 ,√

n,

√n+√ k 2

! .

e) On suppose que m ≡n≡1 [4]. Montrer que tout ´el´ement α ∈ZK s’´ecrit α = a+b

m+c n+d

k 4

avec a, b, c, d∈Zde mˆeme parit´e. En d´eduire qu’uneZ-base de ZK est donn´ee par 1,1 +√

m

2 ,1 +√ n

2 ,(1 +√

n)(1 +√ k) 4

! .

f) Conclure en r´ecapitulant dans tous les cas possibles quel est l’anneau ZK.

Exercice 3 : Soient m, n ∈Z\ {0; 1} distincts sans facteur carr´e, tels que m≡n ≡1 [8]. On note K:=Q(√

m,√

n),α := 1+

n

2 etβ := 1+

m 2 . a) Montrer que ZK =Z[α, β].

b) Montrer que l’anneauZK/2ZK est isomorphe `a l’anneau A:=F2[X, Y]/(X2−X, Y2−Y).

1

(2)

c) Montrer qu’il existe au moins quatre morphismes d’anneaux distinctsA→Z/2Z. d) Montrer que pour tout polynˆome P ∈F2[X],A n’est pas isomorphe `aF2[X]/(P).

e) Montrer qu’il n’existe pas d’entier x∈ZK tel queZK =Z[x].

Exercice 4 : Soient d1, . . . , dk des entiers positifs non carr´es, multiplicativement ind´ependants dans Q/(Q)2. On note K :=Q(√

d1, . . . ,√ dk).

a) Montrer que dans un corps quadratique r´eel, le conjugu´e d’une unit´eu est ´egal `a ±u−1. b) Identifier le groupe de Galois de K/Q.

c) Calculer le rang de ZK.

d) Pour toute partie non vide I ⊂ {1, . . . , k}, on pose dI := Q

i∈Idi et on note uI une unit´e fondamentale deQ(√

dI). Montrer que le sous-groupe de ZK engendr´e par lesuI est d’indice fini dansZK.

[Indication : on pourra montrer par r´ecurrence surkque lesuIsont multiplicativement ind´ependants.]

e) On consid`ereK =Q(√ 2,√

3). Calculer les unit´es fondamentales des sous-corps quadratiques de K/Qet montrer que le sous-groupe engendr´e par celles-ci dansZK n’est pasZK tout entier.

[Indication : on pourra par exemple montrer que deux de ces unit´es quadratiques sont des carr´es dansZK.]

2

Références

Documents relatifs

Les documents

[r]

9/ Indiquer comment construire la table des caract` eres irr´ eductibles de G.

R´esoudre le probl`eme dual sous forme standard (DS) par la m´ethode du simplexe, choix du crit`ere naturel.. En d´eduire, en se basant sur les prix marginaux de la solution optimale

2.. Un virus peut exister sous N formes diff´ erentes.. Quel est le temps moyen n´ ecessaire pour retourner dans son sommet de d´ epart ? Exercice 14. a) On consid` ere la CM

Dans cette premi` ere partie, on va rappeler les diff´ erents points de syntaxe Scilab permettant de d´ efinir et de repr´ esenter graphiquement des fonctions d’une variable.. (a)

Universit´ e Pierre et Marie Curie Licence de Math´ ematiques LM 383 Ann´ ee universitaire 2006-2007. Premi` ere s´

Les r´ esultats des questions (a) et (d) ne servent pas ` a la r´ esolution des autres questions (a) Montrer que la fonction cos(t) est la fonction caract´ eristique d’une variable