Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
236 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes

Envoyé par marwanus 
Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
Bonjour,

Avec hésitation, ma réponse à la question est oui: $\mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$ et $\mathbb{Z}/9\mathbb{Z}$ sont isomorphes.
Ce qui me fait penser cela c'est que tout groupe fini de cardinal $n$ est isomorphe à $\mathbb{Z}/n\mathbb{Z}$ et il me semble que $\mathbb{Z}/3\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$ est de cardinal 9.

J'ai envie de le démontrer en considérant ce morphisme de groupes :
$f: \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}\rightarrow \mathbb{Z}/9\mathbb{Z}$
$(\overline{i},\overline{j}) \rightarrow \overline{3i+j}$

Mais avant je voulais vous demander d'abord si cette démarche est juste?

Merci beaucoup pour votre aide!



Edité 2 fois. La dernière correction date de il y a deux semaines et a été effectuée par marwanus.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Citation
marwanus :
Ce qui me fait penser cela c'est que tout groupe fini de cardinal $n$ est isomorphe à $\mathbb Z/n\mathbb ?$...

Le groupe $\mathfrak S_3$ a six éléments, et il n'est pas commutatif.

Bruno

L'homme n'est ni ange ni bête, et le malheur veut que qui veut faire l'ange fait la bête.



Edité 1 fois. La dernière correction date de il y a deux semaines et a été effectuée par Bruno.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
En effet,
Si $\mathfrak S_3$ était isomorphe à $\mathbb{Z}/6\mathbb{Z}$, $\mathfrak S_3$ serarit abélien.

Merci Bruno, au temps pour moi!
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Pas de problème grinning smiley.

Bruno

L'homme n'est ni ange ni bête, et le malheur veut que qui veut faire l'ange fait la bête.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
Peux-tu me montrer un élément d'ordre 9 dans $\Z/3\Z\times \Z/3\Z$ ?
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
Merci GaBuZoMeu,

Je n'en trouve pas, j'ai l'impression que tous les éléments différents du neutre dans $\Z/3\Z\times \Z/3\Z$ sont d'ordre 3 pour l'addition.
Donc s'il n'y a pas d'éléments d'ordre 9, ceci impliquerait que $\Z/3\Z\times \Z/3\Z$ et $\Z/9\Z$ ne sont pas isomorphes.

Est-ce qu'elle porte un nom cette propriété?
Merci beaucoup



Edité 2 fois. La dernière correction date de il y a deux semaines et a été effectuée par marwanus.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Ces deux groupes ne sont pas isomorphes car 3 et 3 ne sont pas premiers entre eux.

Considère maintenant les groupes $\mathbb{Z}/6\mathbb{Z}$ et $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/3\mathbb{Z}$
sont-ils isomorphes?

Et plus généralement,

Considère maintenant les groupes $\mathbb{Z}/mn\mathbb{Z}$ et $\mathbb{Z}/m\mathbb{Z}\times \mathbb{Z}/n\mathbb{Z}$ avec $m,n$ deux entiers naturels>1, premiers entre eux.
sont-ils isomorphes?

PS:
Cette propriété est un cas particulier d'un résultat d'algèbre.

Une théorie nouvelle ne triomphe jamais. Ses détracteurs finissent par mourir.



Edité 2 fois. La dernière correction date de il y a deux semaines et a été effectuée par Fin de partie.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Tu peux essayer d’écrire une table d’addition pour ces deux groupes, tu vas vite voir.

Le café est un breuvage qui fait dormir,
quand on n’en prend pas.
-+- Alphonse Allais -+-
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Citation
Fin de Partie
Ces deux groupes ne sont pas isomorphes car 3 et 3 ne sont pas premiers entre eux.
Quelle propriété utilises-tu pour affirmer cela?

--
Objectivement, je suis subjectif.
Subjectivement, je suis objectif.
Donc objectivement, je suis objectif.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
@shah : Il y a une réciproque peu connue du théorème chinois !

@marwanus : il est complètement faux de penser que tout groupe d'ordre $n$, même abélien, est isomorphe à $\mathbb Z/n \mathbb Z$. Si c'était vrai, on ne se donnerait pas tant de mal à étudier les groupes finis. Il peut y avoir beaucoup de groupes d'ordre $n$ différents à isomorphisme près. Par exemple (d'après wikipedia [en.wikipedia.org]) il y a $2328$ groupes d'ordre $128$ à isomorphisme près !
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Oui, mais je n'étais pas bien sûr que c'est ce à quoi pensait FdP (je me souviens encore de "tout nombre n'est pas la somme de deux carrés, puisque le théorème affirme que tout nombre est la somme de quatre carrés", ou quelque chose comme ça).

--
Objectivement, je suis subjectif.
Subjectivement, je suis objectif.
Donc objectivement, je suis objectif.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
Je vous remercie pour votre aide.

@Fin de partie:
Je ne comprends pas pourquoi le fait que $3$ et $3$ ne sont pas premiers entre engendre le non isomorphisme?
Je connais le lemme chinois et un corollaire du premier théorème d'isomorphisme mais ils concernent plutôt la réciproque.
ferais-tu référence comme soulignait Poirot à cette : réciproque du lemme chinois ?

@Nicolas:
En effet j'ai écrit la table d'addition et je trouve 9 éléments différents mais cela ne m'avance pas pour prouver le non isomorphisme, je me trompe ?

@Poirot:
Excuse-moi de te faire répéter, je ne comprends pas : Il peut y avoir beaucoup de groupes d'ordre $n$ différents à isomorphisme près.
Comment ces groupes sont différents alors qu'ils sont isomorphes?
Dans ma compréhension, deux groupes isomorphes sont quelque part semblables, voire identiques, comment pourraient-ils être différents?

Par ailleurs, est-ce qu'il serait faux aussi de le penser pour le cas de n premier ?

Je vous remercie!
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Tu vois bien que les deux tables n’ont pas la même tête.

Le café est un breuvage qui fait dormir,
quand on n’en prend pas.
-+- Alphonse Allais -+-
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
@ marwanus
Sais-tu ce qu'est un isomorphisme ?
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
@Chaurien,

un isomorphisme est un morphisme bijectif et je sais ce que c'est qu'un morphisme.

Je te remercie.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Il y a une vaste infinité (une classe propre, en fait) de groupes d'ordre $n$ isomorphes les uns aux autres. Par contre il y a un nombre fini mais grand de classes d'isomorphie de groupes d'ordre $n$.

--
Objectivement, je suis subjectif.
Subjectivement, je suis objectif.
Donc objectivement, je suis objectif.



Edité 2 fois. La dernière correction date de il y a deux semaines et a été effectuée par Shah d'Ock.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
@Shah d'Ock

Je te remercie! J'ai l'impression que je manque de littérature ou d'outils pour comprendre cette notion de classes d'isomorphismes...
Je vais me renseigner la dessus.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
Si deux groupes sont isomorphes, un isomorphisme envoie un élément de l'un sur un élément de l'autre qui est de même ordre. Même moi qui n'ai pratiquement pas fait d'algèbre « moderne » depuis quarante ans je sais ça. On en vient à l'indication fondamentale de GBMZ : si tes deux groupes étaient isomorphes, alors dans $ \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z} $ il y aurait un générateur, autrement dit un élément d'ordre $9$ comme dans $ \mathbb{Z}/9\mathbb{Z} $.
Pas besoin que cette observation triviale ait un nom, pas besoin de la réciproque du théorème des restes chinois - qui peut être utile à connaître par ailleurs.
Alors tu regardes les ordres des éléments de $ \mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/3\mathbb{Z}$, ou même seulement de la moitié, et basta.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Ou même sans en regarder un seul, tu observes que si $x$ est d'ordre $n$ dans G et $y$ est d'ordre $m$ dans $H$ alors $(x,y)$ est d'ordre ... dans $G \times H$. Or un élément de $\Z / 3\Z$ ne peut être que d'ordre ... ou ...
Pour mon message sur les classes d'isomorphie, c'était largement du hors-sujet.

--
Objectivement, je suis subjectif.
Subjectivement, je suis objectif.
Donc objectivement, je suis objectif.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
avatar
Shah d'Ock:

Tu viens d'écrire la réponse que je voulais te faire.

et je me souviens aussi que $\text{PGCD}(a,b)\times \text{PPCM(a,b)}=ab$ avec $a,b$ des entiers naturels non nuls.

Une théorie nouvelle ne triomphe jamais. Ses détracteurs finissent par mourir.
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
@marwanus : ce que je voulais dire est qu'en général, on identifie des groupes isomorphes entre eux. En ce sens, il peut y avoir beaucoup de groupes différents d'ordre $n$. Par exemple il y a deux groupes d'ordre $4$ (à isomorphisme près) : il s'agit de $\mathbb Z/4 \mathbb Z$ et $\mathbb Z/2 \mathbb Z \times \mathbb Z/2 \mathbb Z$. Ces groupes ne sont pas isomorphes, et tout groupe d'ordre $4$ est isomorphe à l'un d'eux. Et dans mon message précédent, je disais (en citant wikipedia) qu'il y a $2328$ groupes différents d'ordre $128$ (encore une fois, à isomorphisme près).
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
@Poirot:
J'ai bien compris cette notion d'isomorphisme près qui m'échappait, merci!

@Shah d'Ock:
Pour remplir les vides: si $x$ est d'ordre $n$ dans $G$ et $y$ est d'ordre $m$ dans $H$ alors (x,y) est d'ordre $PPCM(mn)$ dans $G×H$. Or un élément de Z/3Z ne peut être que d'ordre 1 ou 3(les diviseurs de 3) et j'imagine qu'ensuite tu te bases sur le fait que l'isomorphisme conserve l'ordre d'un élément.

@Chaurien:
Je suis content d'avoir enfin un commentaire de ta part non lié à des erreurs de français :)
Cette propriété que tu appelles observation triviale n'en est pas une pour le pauvre débutant que je suis. Alors je me la suis démontrée.

Merci à tous pour votre aide!
Re: Z/3ZxZ/3Z et Z/9Z sont-ils isomorphes
il y a deux semaines
Le nombre de groupes abéliens d'ordre $N= \prod_{j=1}^l p_j^{e_j}$ c'est $\prod_{j=1}^l P(e_j)$ où $P$ est la fonction qui compte le nombre de partitions : $P(3) =3 $ parce que $3 = 2+1 = 1+1+1$

Preuve : n'importe quel groupe abélien est un produit direct de groupes cycliques d'ordre $p^d \ \mid \ |G|$.

Quand on compte le nombre de groupes abéliens et non-abéliens, ça devient beaucoup plus compliqué.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 124 420, Messages: 1 188 096, Utilisateurs: 19 587.
Notre dernier utilisateur inscrit Grg57.


Ce forum
Discussions: 14 987, Messages: 145 219.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page