Sous-groupe distingué
Salut
En voyant d'une autre façon cette notion, je souhaite démontrer cette liste d'équivalences. Toutefois, je bloque pour l'implication (xi) $\implies$ (xii), même si je sais que le fait que $H$ soit un noyau assure qu'il est distingué dans $G$, mais dans le sens de ces implications, ça ne me semble pas "ergonomique".
Réponses
-
Par analyse synthèse : l'unique façon est de définir l'opération $\ast$ sur $G/H$ par $xH\ast yH:=f(x)f(y)$.
-
Sauf que $f$ n'est a priori pas à valeurs dans $G/H$, non ?
-
Oui j'ai raconté des salades. C'est $xH\ast yH:=xyH$ tout simplement. Il reste à montrer que cette structure est bien définie (facile vu la définition de $H$) et qu'elle est unique.
-
@topopot
Ce n'est qu'un problème d'interprétation. Quand on dit un morphisme f et un groupe G' tu peux les appeler respectivement, h et K, ou tout autre dénomination.
L'énoncé peut se lire ainsi:
Montrer qu'il existe un groupe K et un morphisme h ....
Ainsi K=G/ker et le morphisme est la surjection canonique qui est surjective par def. -
Merci c'est bon. Les 16 implications sont désormais démontrées.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres