3-TD 4
3-TD 4
3-TD 4
Nous traiterons dans l'ordre les exercices 1, 2, 5, 7 et 9. Vous pouvez naviguer librement parmi les exercices
restants ou parmi ceux de votre polycopié. Les exercices les plus délicats de la feuille sont marqués d'un .
Je reste disponible pour toute question concernant le TD, des maths, ou toute autre chose
au bureau T13 (j'y suis à coups sûrs les mardis et vendredis juste avant le TD). Vous pouvez
également m'envoyer un mail à [email protected].
1 Groupes abéliens
Exercice 1. Échauement ?
Quelques questions avec des nombres précis pour pratiquer la structure des groupes abéliens de type ni.
1. Trouver tous les groupes abéliens d'ordre 8 à isomorphisme près, puis d'ordre 500.
×
2. Donner les facteurs invariants du groupe abélien (Z/392Z) .
1. Démontrer qu'il existe une unique famille (np,k )p∈P, k≥1 d'entiers presque tous nuls tels que
np,k
G∼
Y Y
= Z/pk Z .
p∈P k≥1
2. Soit d un entier divisant |G|. Démontrer qu'il existe un sous-groupe d'ordre d dans G.
1. Démontrer qu'il n'existe qu'un nombre ni de classes d'isomorphismes de groupes de cardinal inférieur
à N.
2. Démontrer qu'il n'existe qu'un nombre ni de classes d'isomorphismes de groupes abéliens de type
ni possédant moins de N automorphismes.
Page 1
Algèbre 1 ENS, année 2023-2024
G → Q ⊗ G, g 7→ [(g, 1)]
Q⊗G
Exercice 5. Vrai/Faux
Soit G un groupe abélien de type ni. Les armations suivantes examinent ce que donnent les notions de
famille libre et de famille génératrice. Pour chacune des armations suivantes, démontrer qu'elle est vraie
ou trouver un contre-exemple. Attention, minimale ou maximale concernera toujours l'ordre de l'inclusion
et non le cardinal.
1. Une famille génératrice minimale est libre.
2. Si G est sans torsion, une famille génératrice minimale est libre.
1. Ceci signie que si g ∼ g ′ et h ∼ h′ alors g + g ′ ∼ h + h′ .
2. Ce passage est possible précisément car nous avons démontrer que la loi étant invariante.
3. Un groupe H est uniquement divisible si ∀h ∈ H, n ≥ 1, ∃!h′ ∈ H, h = nh′ .
4. Cette hypothèse de type ni n'est en réalité pas nécessaire.
Page 2
Algèbre 1 ENS, année 2023-2024
Exercice 6. Sous-groupes de Rn
Nous xons dans cet exercice un entier naturel n. Nous cherchons à comprendre davantage les sous-
groupes de Rn . Nous commençons par traiter le cas où le sous-groupe G considéré est discret, i.e. pour tout
g ∈ G, il existe un voisinage U de g tel que U ∩ G = {g}. Nous chercherons à montrer qu'il existe un unique
entier m ≥ n tel que G ∼ = Zm .
1. Démontrer que pour tout compact K de Rn , l'intersection K ∩ G est nie.
2. Se ramener au cas où Vect(G) = Rn .
Nous posons alors (ei )1≤i≤n une base de Rn incluse dans G.
3. Soit j ∈ J1, nK. Nous écrivons tout élément g ∈ G comme
n
X
g= xi,g ei .
i=1
Démontrer que {x1,g | g ∈ G} est un sous-groupe de R qui s'écrit αZ pour un certain α ∈]0, 1].
4. Conclure par récurrence que G =∼ Zn .
Indication : on pourra considérer g1 tel que x1,g1 = α.
Nous nous intéressons ensuite au cas d'un sous-groupe fermé, puis au cas général.
5. Soit G un sous-groupe fermé de Rn . Démontrer qu'il existe un unique sous-R-espace vectoriel V de
Rn , un supplémentaire W de V et un sous-groupe discret Γ ⊂ W tel que
G = V ⊕ Γ.
G = G̃ ⊕ Γ.
2 Caractères
Page 3
Algèbre 1 ENS, année 2023-2024
Exercice 8. Coniques de Fp
Le but de cet exercice est d'étudier le nombre de points sur les coniques de Fp . Puisqu'ils s'agit d'équation
polynomiales, nous préférerions la notation Fp pour désigner l'anneau Z/pZ, mais nous garderons cette notation
plus proche de votre cours pour cet exercice. Soit p un nombre premier impair.
×
1. Soit χ ∈ (Z\
/pZ) non trivial. Démontrer que la somme de Jacobi J(χ, χ−1 ) vaut −χ(−1).
×
2. Soient α, β ∈ (Z/pZ) . Nous considérons la conique
n o
2
C = (x, y) ∈ (Z/pZ) | αx2 + βy 2 = 1 .
Démontrer que
−αβ
|C| = p −
p
où ·
p dénote le symbole de Legendre.
3. Démontrer qu'il existe (p ± 1)/4 carrés x dans Z/pZ tels que x + 1 n'est pas un carré, le signe dépendant
de la congruence de p modulo 4.
3 Inclassés
Nous nous intéressons ensuite aux groupes d'exposant ni. Nous rappelons que pour un groupe dont tous
les éléments sont d'ordre ni, l'exposant est déni comme le ppcm des ordres de ses éléments 6 .
3. Trouver les entiers naturels N ≥ 1 tel que tout groupe d'exposant N est abélien.
Page 4
Algèbre 1 ENS, année 2023-2024
Nous posons également yi,j ∈ Z(G) tels que xi xj = xl(i,j) yi,j et Y (G, x) = ⟨yi,j | 1 ≤ i, j ≤ m⟩.
Nous posons wi un élément engendrant un groupe cyclique d'ordre Ωi m et dénissons
Q
G∗ = (G × ⟨wi ⟩)/wim = vi .
4. Démontrer que les automorphismes de Z(G) qui xent Y (G, x) se relèvent des automorphismes dis-
tincts de G.
5. Démontrer que Z(G∗) = ⟨wi ⟩ et que la famille (xi ) est encore une famille de représentants de G /Z(G∗ ).
∗
Q −1/m
6. Nous posons x∗i = xi × j yi,j où la puissance 1/m-ième dénote le choix d'une racine m-ième. Dé-
montrer que les x∗i forment encore une famille de représentants et que Y (G∗ , x∗ ) obtenu est d'exposant
m.
7. Soit 1 ≤ i ≤ k et un entier s tel que pgcd(1 + sm, Ωi ) = 1. Démontrer que l'automorphisme α(s, i) de
Z(G∗ ) déni par α(s, i)(wi ) = wi1+sm et α(s, i)(wj ) = wj si j ̸= i se relève en un automorphisme de
G∗ qui laisse stable G.
8. En examinant quelles restrictions des α(s, i) à G coïncident, démontrer que les Ωi sont bornés par
une constante de dépendant que de N .
Nous savons pour l'instant que les groupes cycliques dans la décomposition de Z(G) sont petits. Il pourrait
cependant y en avoir beaucoup. Il nous reste simplement à démontrer que la p-composante Zp de Z(G) est
de cardinal borné par une constante ne dépendant que de N . Nous rappelons que le théorème de strcuture
des groupes abéliens de type ni démontre en particulier que les inclusions induisent un isomorphisme
Zp ∼
Y
= Z(G).
p
Page 5
Algèbre 1 ENS, année 2023-2024
Page 6