ATLAS Ouvrir dans l'atlas →

ExerciceMaster — Théorie de Galois · Chapitre 5 - Séparabilité, normalité, corps finis

Exercice 29

Calcul

1. Déterminer tous les sous-corps de 𝔽64\mathbb{F}_{64}, et tracer le treillis correspondant.

2. Même question pour 𝔽312\mathbb{F}_{3^{12}}.

Corrigé

1. 64=2664=2^{6} et les diviseurs de 66 sont 11, 22, 33, 66 : 𝔽2⊂𝔽4⊂𝔽64et𝔽2⊂𝔽8⊂𝔽64, avec 𝔽4⊈𝔽8.\boxed{\mathbb{F}_{2} \subset \mathbb{F}_{4} \subset \mathbb{F}_{64} \quad\text{et}\quad \mathbb{F}_{2} \subset \mathbb{F}_{8} \subset \mathbb{F}_{64}, \text{ avec } \mathbb{F}_{4} \not\subseteq \mathbb{F}_{8}.} Le treillis reproduit celui des diviseurs de 66.

2. Les diviseurs de 1212 sont au nombre de six : 𝔽3,  𝔽32,  𝔽33,  𝔽34,  𝔽36,  𝔽312\boxed{\mathbb{F}_{3}, \; \mathbb{F}_{3^{2}}, \; \mathbb{F}_{3^{3}}, \; \mathbb{F}_{3^{4}}, \; \mathbb{F}_{3^{6}}, \; \mathbb{F}_{3^{12}}}

Dans l'édifice

Thèmes

correspondance de galois

Ouvrir dans l'atlas interactif →