Produit semi-direct

Produit semi-direct

Dans la théorie des groupes, le produit semi-direct permet de définir un groupe G à partir de deux groupes H et K, et généralise la notion de produit direct de deux groupes.

Sommaire

Produit semi-direct interne

Un groupe G est produit semi-direct interne d'un sous-groupe distingué H par un sous-groupe K si et seulement si l'une des définitions équivalentes suivantes est vérifiée :

  • H\cap K=\{1\} \text{ et } G=HK (en d'autres termes, H et K sont compléments l'un de l'autre dans G)
  • \forall x \in G, \exists ! (x_1, x_2) \in H \times K \ / \ x = x_1 x_2
(Tout élément de G s'écrit de manière unique comme produit d'un élément de H et d'un élément de K)


La décomposition des éléments de G comme produit d'un élément de H et d'un élément de K est d'une certaine façon compatible avec la loi de composition du groupe. Soit en effet

g_1 = h_1k_1 \text{ et } g_2 = h_2k_2\

deux éléments de G ainsi décomposés. On a :

g_1g_2 = h_1k_1h_2k_2 = (h_1k_1h_2k_1^{-1})(k_1k_2)\

décomposé en un élément h_1k_1h_2k_1^{-1} de H (on utilise ici le fait que H est distingué), et un élément k1k2 de K.

Dans ce cas, le groupe K agit par conjugaison sur H, et le groupe G est donc isomorphe au produit semi-direct externe, c'est-à-dire au groupe défini par le produit cartésien de H par K muni de la loi :

(h_1,k_1)(h_2,k_2)=(h_1(k_1h_2k_1^{-1}),k_1k_2)

Pour tout k \in K, l'application

\quad f(k) : H \to H : h \mapsto khk^{-1}

est un automorphisme de H. En outre l'application

f : K \to Aut(H) : k \mapsto f(k)

est un morphisme de groupes.

Produit semi-direct externe

On est donc amené à poser la définition plus générale suivante. Deux groupes, \scriptstyle H et \scriptstyle K, et un morphisme \scriptstyle f de \scriptstyle K dans le groupe \scriptstyle {\rm Aut}(H) des automorphismes de \scriptstyle H, étant donnés, on peut définir le produit semi-direct externe \scriptstyle G de \scriptstyle H et \scriptstyle K suivant \scriptstyle f comme le produit cartésien de \scriptstyle H et \scriptstyle K muni de la loi de groupe :

(h_1,k_1)(h_2,k_2)=(h_1f(k_1)(h_2),k_1k_2)~

où l'inverse d'un élément \scriptstyle \left(h,k\right) est \scriptstyle \left(f(k^{-1})(h^{-1}),\ k^{-1}\right)~.

On peut injecter \scriptstyle H dans \scriptstyle G par l'application \scriptstyle h\ \mapsto\ (h, e_K), et injecter \scriptstyle K dans \scriptstyle G par l'application \scriptstyle k\ \mapsto\ (e_H, k)~. On vérifie alors que \scriptstyle G est le produit semi-direct interne de \scriptstyle H par \scriptstyle K au sens donné en début d'article. On vérifie également que l'automorphisme \scriptstyle f(k) est l'automorphisme de conjugaison par \scriptstyle k. On note :

G = H \rtimes_f K ou tout simplement G = H \times_f K

Le cas où \scriptstyle f est le morphisme trivial de groupe (ie f(k1)(h2) = h2 ) correspond au produit direct.

Exemples

  • Le groupe diédral Dn peut par exemple être considéré comme produit semi-direct d'un groupe cyclique Cn d'ordre n par un groupe cyclique C2 d'ordre 2, où l'unité de C2 agit sur Cn comme l'application identique et l'autre élément de C2 agit sur Cn par inversion. Explicitement:
\text {si} \quad C_n=<x>, C_2=<y> \text { alors}\quad f(1)(x^k)=x^k, f(y)(x^k)=x^{-k} \quad \forall k \in \{0,1,2,..., n-1\}.

Géométriquement, le groupe Cn est engendré par une rotation, le groupe C2 par une réflexion.

  • Le groupe affine est le produit semi-direct du groupe additif formé de l'espace vectoriel E sous-jacent à l'espace affine (isomorphe au groupe des translations), par le groupe linéaire de cet espace vectoriel. Si on identifie l'espace affine à son espace vectoriel E, un élément f du groupe affine est de la forme f(v) = u + φ(v) où φ est un élément du groupe linéaire et u un vecteur de E. f est donc défini par la donnée du couple (u,φ). La composée des applications affines se traduira alors par la loi de groupe semi-direct suivante :
(u,\varphi)(v,\psi) = (u + \varphi(v), \varphi \circ \psi).
  • En particulier, le groupe des isométries affines est le produit semi-direct du groupe des translations par le groupe des isométries laissant invariant un point donné.
  • L'holomorphe d'un groupe G peut être défini comme le produit semi-direct de G par Aut(G) (groupe des automorphismes de G) relativement à l'opération naturelle de Aut(G) sur G.

Articles connexes



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit semi-direct de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Produit direct (groupes) — En mathématiques, et plus particulièrement en théorie des groupes, le produit direct d une famille de groupes est une structure de groupe qui se définit naturellement sur le produit cartésien des ensembles sous jacents à ces groupes. Sommaire 1… …   Wikipédia en Français

  • Produit — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Produit », sur le Wiktionnaire (dictionnaire universel) Le mot produit peut avoir plusieurs… …   Wikipédia en Français

  • semi- — ♦ Élément inv., du lat. semi « à demi », servant à former de nombreux adjectifs et des noms. ⇒ demi . ● semi Préfixe, du latin semi, à moitié, exprimant l idée de « à moitié », « partiellement ». ● semi (homonymes) semis nom masculin semi Préfixe …   Encyclopédie Universelle

  • produit — [ prɔdɥi ] n. m. • 1554; p. p. subst. de produire I ♦ LE PRODUIT (DE). 1 ♦ Nombre qui est le résultat d une multiplication. Produit de plusieurs facteurs. Produit d un nombre multiplié par lui même. ⇒ carré. L espace parcouru est égal au produit… …   Encyclopédie Universelle

  • semi-conserve — [ səmikɔ̃sɛrv ] n. f. • mil. XXe; de semi et conserve ♦ Techn. Conserve partiellement stérilisée à la chaleur. Semi conserves de poissons à conserver au frais. Procédé de préparation de ces produits. ● semi conserve, semi conserves nom féminin… …   Encyclopédie Universelle

  • Semi-conducteur — Un semi conducteur est un matériau qui a les caractéristiques électriques d un isolant, mais pour lequel la probabilité qu un électron puisse contribuer à un courant électrique, quoique faible, est suffisamment importante. En d autres termes, la… …   Wikipédia en Français

  • Produit scalaire — En géométrie vectorielle, le produit scalaire est une opération algébrique s ajoutant aux lois s appliquant aux vecteurs. À deux vecteurs elle associe leur produit, qui est un nombre réel (ou scalaire). Elle permet d exploiter les notions de la… …   Wikipédia en Français

  • Produit tensoriel de deux modules — Le produit tensoriel de deux modules est une construction en théorie des modules qui à deux modules sur un même anneau assigne un module. C est une construction abstraite qui est plus simple à assimiler en se limitant dans un premier temps au cas …   Wikipédia en Français

  • Algebre semi-simple — Algèbre semi simple En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est… …   Wikipédia en Français

  • Algèbre Semi-simple — En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est présente dans de… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”