Corps fini d'ordre $p^2$

Aide à la résolution d'exercices ou de problèmes de niveau supérieur au baccalauréat.

Modérateur : gdm_sco

Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
woodoo
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 125
Inscription : lundi 12 novembre 2012, 20:13

Corps fini d'ordre $p^2$

Message par woodoo »

Bonsoir,

encore un problème d'algèbre.
Soit $p > 2$.
1. Montrer que $\mathbb{F}_{p^2}^\times$ contient un élément d'ordre 8.
Je coince la dessus... :(

Pour l'instant j'ai déterminé les choses basiques. Tout d'abord, comme $p > 2$, on a $|\mathbb{F}_{p^2}^\times| = p^2 - 1 \geq 8$. De plus, on sait que $\mathbb{F}_{p^2}^\times$ est cyclique. Il existe donc un élément $x \in \mathbb{F}_{p^2}^\times$ tel que $\mathbb{F}_{p^2}^\times = \{1, x, x^2, \dots, x^{p^2-2}\}$. Ce que j'aimerais montrer, c'est que comme l'ordre d'un élément divise l'ordre du groupe, $p^2 - 1 \equiv 0 \pmod 8 \Leftrightarrow p^2 \equiv 1 \pmod 8$.
Je n'arrive pas à construire un élément d'ordre 8, et je ne sais pas trop quoi faire d'autre.

Merci d'avance.

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3936
Inscription : mercredi 02 janvier 2008, 23:18

Re: Corps fini d'ordre $p^2$

Message par balf »

Vous pouvez appliquer le théorème chinois au groupe mumltiplicatif F$_{\!\mathsf{p^2}}^{\!\times}$ pour trouver un élément dont l'ordre est une puissance de 2. Cette puissance (r) est forcément au moins égale à 3, et si vous avez un élément d'ordre 2$^{\mathsf r}$, il n'est pas très difficile d'en trouver un d'ordre 8.

Si les théorèmes de Sylow font partie de votre outillage, c'est encore plus court.

B.A.

woodoo
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 125
Inscription : lundi 12 novembre 2012, 20:13

Re: Corps fini d'ordre $p^2$

Message par woodoo »

Je connais les théorèmes de Sylow, mais je ne vois pas vraiment comment ils peuvent m'aider?

Pour l'instant, ce que j'ai c'est que comme $ p > 2$, on a que $ p^2 - 1$ est pair, donc divisible au mois une fois par 2. Ce qui fait qu'il existe un élément d'ordre 2 dans $G$. Mais je n'avance pas :/

EDIT: $p^2-1 = (p-1)(p+1)$, donc p-1 et p+1 sont divisibles par 2 car p≥3, donc $p^2 - 1$ est divisible par 4. Il me reste à trouver un facteur 2.

woodoo
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 125
Inscription : lundi 12 novembre 2012, 20:13

Re: Corps fini d'ordre $p^2$

Message par woodoo »

Voici comment je l'ai montré:

Comme $p \geq 3$, on a que $p = 2k + 1$ pour un certain $k \in \N$.
J'ai montré par récurrence que 8 divise $p^2-1$, ça c'est facile.

Par les théorèmes de Sylow il existe donc un sous-groupe d'ordre 8. Comme $G$ (le groupe multiplicatif) est cyclique, le sous-groupe de Sylow est cyclique aussi, donc engendré par un seul élément, qui est d'ordre 8.

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3936
Inscription : mercredi 02 janvier 2008, 23:18

Re: Corps fini d'ordre $p^2$

Message par balf »

Vous savez seulement qu'il existe un 2-Sylow qui sera d'ordre 2^r, r >=3. Il est cyclique, comme vous le faites remarquer. Après, il n'est pas très difficile d'en déduire un élément d'ordre 8 exactement.

Ou alors, de façon plus élémentaire, le groupe est isomorphe à Z/(p² - 1)Z, qui par le théorème chinois possède un facteur direct isomorphe à Z/2^rZ, lequel contient un élément d'ordre 8, d'où un élément d'ordre 8 dans Z/(p² - 1)Z.

B.A.

woodoo
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 125
Inscription : lundi 12 novembre 2012, 20:13

Re: Corps fini d'ordre $p^2$

Message par woodoo »

balf a écrit :Vous savez seulement qu'il existe un 2-Sylow qui sera d'ordre 2^r, r >=3. Il est cyclique, comme vous le faites remarquer. Après, il n'est pas très difficile d'en déduire un élément d'ordre 8 exactement.
Arf oui juste ça m'est sorti de la tête. Du coup j'ai conclut comme suit: comme $\mathbb{F}_{p^2}^\times$ est cyclique et d'ordre $p^2 - 1$, il existe $x \in \mathbb{F}_{p^2}^\times$ tel que $\mathbb{F}_{p^2}^\times = \{1 = x^{p^2-1}, x, x^2, \dots, x^{p^2-2}\}$. Comme 8 divise $p^2 - 1$, un élément d'ordre 8 est $x^{\frac{p^2-1}{8}}$.
balf a écrit :Ou alors, de façon plus élémentaire, le groupe est isomorphe à Z/(p² - 1)Z, qui par le théorème chinois possède un facteur direct isomorphe à Z/2^rZ, lequel contient un élément d'ordre 8, d'où un élément d'ordre 8 dans Z/(p² - 1)Z.
Je n'ai pas vu en cours le théorème chinois, et je n'ai pas bien compris comment il marche, alors je ne vais pas utiliser cette méthode, même si elle a l'air plus courte!

Merci pour votre aide!

rebouxo
Modérateur global
Modérateur global
Messages : 6962
Inscription : mercredi 15 février 2006, 13:18
Localisation : le havre

Re: Corps fini d'ordre $p^2$

Message par rebouxo »

Le théorème des restes chinois c'est de l'arithmétique élémentaire. Tu l'as peut-être vu en terminale.

Olivier
A line is a point that went for a walk. Paul Klee.
Par solidarité, pas de MP.