Vocabulaire sur les groupes (extension / suite exacte)
Salut,
Question pas très profonde car il s'agit de vocabulaire mais je la pose quand même.
Lorsqu'on dispose d'une suite exacte courte de groupes ($G$, $H$ et $K$ sont des groupes donnés) de la forme :
$$1\longrightarrow H \overset {i}{\longrightarrow} G \overset {p}{\longrightarrow} K \longrightarrow 1$$
on dit selon les ouvrages que :
Parce qu'instinctivement, je dirais que comme $i$ est injectif et $p$ surjectif, $H$ est "plus petit" que $G$ et $K$ "plus grand" que $G$ donc on "grandit" en allant vers $K$ donc (ii) semble plus logique (même si j'aurais alors dit "extension de $H$ vers $K$" ahah).
Merci pour vos éclaircissements !
Question pas très profonde car il s'agit de vocabulaire mais je la pose quand même.
Lorsqu'on dispose d'une suite exacte courte de groupes ($G$, $H$ et $K$ sont des groupes donnés) de la forme :
$$1\longrightarrow H \overset {i}{\longrightarrow} G \overset {p}{\longrightarrow} K \longrightarrow 1$$
on dit selon les ouvrages que :
- (i) $G$ est une extension de $K$ par $H$ ;
- (ii) $G$ est une extension de $H$ par $K$.
Parce qu'instinctivement, je dirais que comme $i$ est injectif et $p$ surjectif, $H$ est "plus petit" que $G$ et $K$ "plus grand" que $G$ donc on "grandit" en allant vers $K$ donc (ii) semble plus logique (même si j'aurais alors dit "extension de $H$ vers $K$" ahah).
Merci pour vos éclaircissements !
Réponses
-
On ne peut pas dire que $K$ est "plus grand" que $G$ dans la mesure que (si la suite est exacte) $G = H \times K$. C'est une "façon géométrique" d'expliciter les histoires de noyau, image et/ou les théorèmes d'isomorphismes.
-
Pour que $G$ soit extension de $K$ par $H$, il faut et il suffit que $G$ inclue un sous-groupe distingué $H'$ isomorphe à $H$, tel que le groupe quotient $G/H'$ soit isomorphe à $G$.
Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême). -
@Area 51 : bonjour. Ne ferais-tu pas allusion aux extensions triviales ?
Le chat ouvrit les yeux, le soleil y entra. Le chat ferma les yeux, le soleil y resta. Voilà pourquoi le soir, quand le chat se réveille, j'aperçois dans le noir deux morceaux de soleil. (Maurice Carême). -
Bonjour,Dans la page wikipedia en anglais :$$1\longrightarrow N\longrightarrow G\longrightarrow Q\longrightarrow 1$$Warning on terminologyIn general in mathematics, an extension of a structure $K$ is usually regarded as a structure $L$ of which $K$ is a substructure. See for example field extension. However, in group theory the opposite terminology has crept in, partly because of the notation $\mathrm{Ext}(Q , N )$, which reads easily as extensions of $Q$ by $N$, and the focus is on the group $Q$.
-
Merci.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 65 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres