Construction de Z/nZ par morphisme
dans Arithmétique
Bonjour,
petite question (sûrement bête). On sait que tout les sous-groupes de $(\Z,+)$ sont de la forme $n\Z$ et ont le bon goût d’être distingués dans $\Z$. Donc on a une unique structure de groupe sur $\Z/n\Z$ telle que la surjection canonique soit un morphisme. Ma question est : peut-on définir $\Z/n\Z$ avec le premier théorème d'isomorphisme ?
Merci.
Bon dimanche.
petite question (sûrement bête). On sait que tout les sous-groupes de $(\Z,+)$ sont de la forme $n\Z$ et ont le bon goût d’être distingués dans $\Z$. Donc on a une unique structure de groupe sur $\Z/n\Z$ telle que la surjection canonique soit un morphisme. Ma question est : peut-on définir $\Z/n\Z$ avec le premier théorème d'isomorphisme ?
Merci.
Bon dimanche.
Réponses
-
Le premier théorème d'isomorphisme te donne, comme son nom l'indique, l'existence d'un isomorphisme entre deux structures, ici des groupes. Autrement dit, ça te dit quelque chose du style "ce groupe est le même que celui-ci". Ça ne ressemble pas vraiment à quelque chose qui permet de définir un "nouveau" groupe.
-
Ok merci, c'est ce qu'il me semblait.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres