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).

#1 14-09-2019 00:44:28

Simo20
Membre
Inscription : 14-09-2019
Messages : 2

Famille génératrice d'un groupe

Bonjour les gars,
Je me demande si pour un G groupe abelien généré par une famille (x1,...,xr) minimale , si l'écriture d'un élément x de G par cette famille serait unique.

Hors ligne

#2 15-09-2019 21:22:48

Maenwe
Membre confirmé
Inscription : 06-09-2019
Messages : 409

Re : Famille génératrice d'un groupe

Bonsoir,

Le résultat est faux si l'on se place dans le cas d'un groupe G abélien fini (qui est donc nécessairement de type fini), car les ordres de tous les éléments de G sont finis, donc pour $x \in G$ si on note n son ordre, alors pour tout entier k on a : $x^{n+k} = x^{k}$ et pourtant on aura pas forcément $n+k=k$, et tu fais la mêmes choses avec tous les éléments d'une famille génératrice de G et verras que la décomposition n'est pas unique.

Et même si on rajoute l'hypothèse de "modulo l'ordre" ça ne marchera pas non plus en prenant le cas du groupe des permutations de $\{1, ...,n\}$, en effet, toute permutation peut se décomposer en une composition de transpositions (échange de 2 éléments) mais qui n'est pas nécessairement unique si l'on ne se donne pas de conditions : (2 4 1) = (2 4)(2 1) = (4 1)(4 2) et pour toute transposition $\tau_{i,j}=(i \hspace{2mm} j)$ on a :
$\tau_{i,j}^{2} = Id$
Cordialement

Dernière modification par Maenwe (15-09-2019 21:46:01)

Hors ligne

#3 15-09-2019 22:56:38

Simo20
Membre
Inscription : 14-09-2019
Messages : 2

Re : Famille génératrice d'un groupe

Maenwe a écrit :

Bonsoir,

Le résultat est faux si l'on se place dans le cas d'un groupe G abélien fini (qui est donc nécessairement de type fini), car les ordres de tous les éléments de G sont finis, donc pour $x \in G$ si on note n son ordre, alors pour tout entier k on a : $x^{n+k} = x^{k}$ et pourtant on aura pas forcément $n+k=k$, et tu fais la mêmes choses avec tous les éléments d'une famille génératrice de G et verras que la décomposition n'est pas unique.

Et même si on rajoute l'hypothèse de "modulo l'ordre" ça ne marchera pas non plus en prenant le cas du groupe des permutations de $\{1, ...,n\}$, en effet, toute permutation peut se décomposer en une composition de transpositions (échange de 2 éléments) mais qui n'est pas nécessairement unique si l'on ne se donne pas de conditions : (2 4 1) = (2 4)(2 1) = (4 1)(4 2) et pour toute transposition $\tau_{i,j}=(i \hspace{2mm} j)$ on a :
$\tau_{i,j}^{2} = Id$
Cordialement

le groupe des permutation n'est pas abelien....(j'ai oublié de rajouter la condition de l'ordre )

Hors ligne

#4 15-09-2019 23:07:05

Maenwe
Membre confirmé
Inscription : 06-09-2019
Messages : 409

Re : Famille génératrice d'un groupe

Autant pour moi, désolé pour l'erreur d’inattention...

Et à défaut de donner une vrai réponse... Je propose une piste pour éviter de se farcir tous les cas :
On peut se réduire à l'étude de savoir si on a unicité d'écriture de l'élément neutre dans cette famille génératrice.
Autrement dit on cherche les $n_{i}$ tels que $x_{1}^{n_{1}}...x_{r}^{n_{r}}=e$ et on veut montrer qu'ils sont tous égaux à 0. Et on peut de plus remarquer que tous les $n_{i}$ sont différents de 1 ou -1 car sinon cela contredit le fait que la famille est minimale.

Dernière modification par Maenwe (15-09-2019 23:19:28)

Hors ligne

Pied de page des forums