Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#26 10-04-2020 06:02:50

Tmota
Membre
Inscription : 18-12-2019
Messages : 111

Re : Sous-groupe d'un corps commutatif

Bonjour Fred,

j'essaye de suivre le raisonnement.

Fred a écrit :

Tu aurais pu dire que le groupe des inversibles de $\mathbb Z/4\mathbb Z$ admet uniquement deux éléments

Oui, car $\phi(4)=2$

Fred a écrit :

donc est (isomorphe à) $\mathbb Z/2\mathbb Z$

Oui aussi car $(\mathbb{Z}/4\mathbb{Z})^\times$ et $\mathbb Z/2\mathbb Z$ sont deux ensembles finis à deux éléments donc équipotent.

Fred a écrit :

dont les sous-groupes sont $\{0\}$ et lui-même.

Là, je ne fais pas le lien.
Est-ce qu'il existe un résultat pour déterminer directement les sous-groupes de $\mathbb Z/2\mathbb Z$, et plus généralement de $\mathbb Z/n\mathbb Z$ ?

Encore merci pour l'aide

Hors ligne

#27 10-04-2020 08:26:32

Fred
Administrateur
Inscription : 26-09-2005
Messages : 5 670

Re : Sous-groupe d'un corps commutatif

Oui, il y a un résultat, mais là, c'est vraiment trivial : c'est le groupe à deux éléments!

Hors ligne

#28 10-04-2020 12:06:29

Tmota
Membre
Inscription : 18-12-2019
Messages : 111

Re : Sous-groupe d'un corps commutatif

On cherche les sous-groupes $H$ du groupe $(\mathbb{Z}/2\mathbb{Z},+)$.

Alors il y a toujours les triviaux : $H=\{\bar{1}\}$ et $H=\mathbb{Z}/2\mathbb{Z}$.

Est-ce qu'il en existe un autre ?

On sait que $\mathbb{Z}/2\mathbb{Z}=\{\bar{0},\bar{1}\}$.

S'il en existait un autre, ce serait $H=\{\bar{0}\}$, ce qui ne se peut car il ne contient pas le neutre pour la loi $+$.

Dernière modification par Tmota (10-04-2020 12:07:02)

Hors ligne

#29 10-04-2020 15:59:20

Fred
Administrateur
Inscription : 26-09-2005
Messages : 5 670

Re : Sous-groupe d'un corps commutatif

Je dirais plutôt $H=\{\bar 0\}$ et $H=\{\bar 1\}$.

Hors ligne

#30 10-04-2020 17:01:15

Tmota
Membre
Inscription : 18-12-2019
Messages : 111

Re : Sous-groupe d'un corps commutatif

Je fatigue !
Je vérifie, cela vaut mieux.
$H=\{\bar{0}\}$ est un sous-groupe :
1. Il contient le neutre pour la loi + (à savoir $\bar{0}\in H$)
2. Il est stable pour l'addition (à savoir $\bar{0}+\bar{0}=\bar{0}\in H$)
3. Il est stable par passage à l'inverse (à savoir $\bar{0}^{-1}=\bar{0}\in H$)

$H=\{\bar{1}\}$ n'est pas un sous-groupe :
Il ne contient pas le neutre pour la loi + (à savoir $\bar{0}\not\in H$)

$H=\{\bar{0},\bar{1}\}$ est un sous-groupe :
1. Il contient le neutre pour la loi + (à savoir $\bar{0}$)
2. Il est stable pour l'addition (car $\bar{0}+\bar{0}=\bar{0}$ ; $\bar{1}+\bar{0}=\bar{0}+\bar{1}=\bar{1}$ ; $\bar{1}+\bar{1}=\bar{0}$)
3. Et il est stable par passage à l'inverse (à savoir $\bar{1}^{-1}=\bar{1}$ et $\bar{0}^{-1}=\bar{0}$)

Les sous-groupes triviaux sont $H=\{\bar{0}\}$ et $H=\{\bar{0},\bar{1}\}$

Da manière générale, ce sont $H=\{e\}$ et $H=G$.

Dernière modification par Tmota (10-04-2020 17:06:53)

Hors ligne

#31 20-04-2020 08:41:49

Tmota
Membre
Inscription : 18-12-2019
Messages : 111

Re : Sous-groupe d'un corps commutatif

Bonjour,

Ai-je écris une bêtise ?
Les groupes triviaux sont les groupes extrêmes au sens de l'inclusion, non ?

Hors ligne

#32 20-04-2020 10:36:23

Fred
Administrateur
Inscription : 26-09-2005
Messages : 5 670

Re : Sous-groupe d'un corps commutatif

Non pas de bêtises...

Hors ligne

Pied de page des forums