Une construction de groupe qui fabrique un groupe G comme produit semi‑direct N ⋊φ H à partir d’un sous‑groupe normal N, d’un sous‑groupe H et d’un homomorphisme φ: H → Aut(N) spécifiant l’action de H sur N ; la multiplication est (n1,h1)(n2,h2) = (n1 φ(h1)(n2), h1h2).

Principe

Combiner un sous‑groupe normal interne et un sous‑groupe complémentaire avec une action spécifiée de sorte que l’extension se scinde : le groupe total est le produit ensembliste de N et H avec l’action croisée donnée par l’homomorphisme vers Aut(N) ; la construction encode les extensions scindées et montre comment des actions non triviales donnent des structures semi‑directes non triviales.

Démonstration

Le groupe diédral d’ordre 2n s’écrit Z_n ⋊ Z_2 où Z_2 agit sur Z_n par inversion ; concrètement, prendre N = groupe cyclique des rotations, H = {1, réflexion}, et φ(réflexion) = automorphisme d’inversion, donnant les relations r^n = 1, s^2 = 1, srs = r^{−1}.

Mauvaise application

Supposer que toute extension de groupes est un produit semi‑direct (c’est‑à‑dire scindée) : de nombreuses extensions ne se scindent pas et ne peuvent être réalisées comme N ⋊ H sans choisir une section ; de même considérer la décomposition semi‑directe comme unique conduit à des erreurs car différentes actions peuvent produire des produits semi‑directs non isomorphes pour les mêmes N et H.

Conséquence

Permet la réalisation explicite et la classification des extensions scindées ; fournit une description concrète des groupes possédant un sous‑groupe normal prescrit et un sous‑groupe complémentaire, et constitue un outil principal pour construire des exemples et analyser la structure de groupes via actions et automorphismes.

Inversion

Le produit direct est le cas particulier où l’action φ est triviale, donnant N × H ; oublier l’action ramène les produits semi‑directs aux produits directs et perd l’information sur la façon dont H tord N.

Limite

Nécessite un choix d’action φ: H → Aut(N) et la présence d’un sous‑groupe normal N et d’un sous‑groupe H dont le produit est l’ensemble entier et dont l’intersection est triviale pour l’interprétation interne en produit semi‑direct ; toutes les suites exactes courtes 1 → N → G → H → 1 ne se scindent pas, donc les produits semi‑directs n’exhaussent pas toutes les extensions.

Tension sémantique

On confond souvent extensions scindées (produits semi‑directs) et extensions de groupes quelconques classifiées par la cohomologie ; la construction du produit semi‑direct est concrète et constructive, tandis que l’existence et la classification d’extensions non scindées sont cohomologiques et peuvent manquer de réalisations semi‑directes explicites.

Synthèse

La construction du produit semi‑direct réunit un sous‑groupe normal et un sous‑groupe complémentaire en spécifiant une action de ce dernier sur le premier par automorphismes ; elle réalise concrètement les extensions scindées et paramètre nombre de combinaisons non abéliennes de deux groupes donnés par le choix de l’action.