##  [Construction du Produit Semi‑Direct](/fr/node/63339) 

 Définition

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

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

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

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

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

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

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 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

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.