Une construction qui combine deux objets algébriques (typiquement un objet normal N et un complément H) en un nouvel objet N ⋊_φ H en utilisant une action spécifiée φ: H → Aut(N) ; l'ensemble sous-jacent est souvent N × H avec une loi de composition tordue par l'action de H qui agit par automorphismes sur N.

Principe

Coder une extension scindée : fournir un morphisme de H vers les automorphismes de N de sorte que l'objet combiné conserve la structure de N tandis que H permute N selon φ ; cela réalise certaines extensions semi-directes et les distingue des produits directs par une action non triviale.

Démonstration

Le groupe diédral D_{2n} s'identifie à Z_n ⋊ Z_2 où Z_2 agit sur Z_n par inversion ; explicitement les éléments (r^a, s^b) se multiplient avec s agissant sur r via r ↦ r^{-1}, donnant les relations usuelles de réflexion et rotation.

Mauvaise application

Considérer que toute extension avec un sous-groupe normal est un produit semi-direct méconnaît la nécessité d'un morphisme de scindage choisi ; toutes les extensions ne se scindent pas, donc supposer l'existence de φ et d'une décomposition semi-directe peut être faux.

Conséquence

Quand une décomposition semi-directe existe, la classification de l'extension se ramène à l'homomorphisme d'action H → Out(N) (ou Aut(N)), ce qui permet des descriptions explicites et le calcul d'automorphismes, de représentations et de structures de sous-groupes.

Inversion

Si l'action φ est triviale (envoie H sur l'automorphisme identité), le produit semi-direct se réduit au produit direct N × H ; l'inversion du concept consiste à supprimer l'action, obtenant des facteurs indépendants.

Limite

S'applique aux catégories disposant d'une notion de groupe d'automorphismes et de produit semi-direct (groupes, certains anneaux, algèbres de Lie) ; exclut les extensions non scindées et les cas où aucun morphisme d'action approprié n'est fourni ou où la normalité échoue.

Tension sémantique

Tension entre considérer un objet comme produit semi-direct et comme simple extension ; le produit semi-direct affirme un scindage choisi et une action explicite, tandis que la théorie des extensions étudie des classes d'équivalence d'extensions où le scindage peut ne pas exister.

Synthèse

La construction de produit semi-direct fabrique un objet combiné explicite à partir d'une partie normale et d'un complément agissant via un homomorphisme vers les automorphismes ; elle réalise les extensions scindées et sépare la structure en un cœur invariant et une action paramétrisée.