TOPICS
Search

Semidirect Product


A "split" extension G of groups N and F which contains a subgroup F^_ isomorphic to F with G=F^_N^_ and F^_ intersection N^_={e} (Ito 1987, p. 710). Then the semidirect product of a group G by a group H, denoted H×AdjustmentBox[│, BoxMargins -> {{-0.27, 0.13913}, {-0.5, 0.5}}]G (or sometimes H:G) with homomorphism T is given by

 (g,h)(g^',h^')=(gg^',(h(g^'T))h^'),

where g,g^' in G, h,h^' in H, and T in Hom(G,Aut(H)) (Suzuki 1982, p. 67; Scott 1987, p. 213). Note that the semidirect product of two groups is not uniquely defined.

The semidirect product of a group G by a group H can also be defined as a group S=GH which is the product of its subgroups G and H, where H is normal in S and G intersection H={1}. If G is also normal in S, then the semidirect product becomes a group direct product (Shmel'kin 1988, p. 247).


See also

Action, Group Direct Product, Subgroup

Explore with Wolfram|Alpha

References

Itô, K. (Ed.). 'Extensions." §190.N in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 2. Cambridge, MA: MIT Press, p. 710, 1987.Kurosh, A. G. The Theory of Groups, 2nd ed., 2 vols. New York: Chelsea, 1960.Scott, W. R. "Semi-Direct Products." §9.2 in Group Theory. New York: Dover, pp. 212-217, 1987.Shmel'kin, A. L. "Semi-Direct Product." In Vol. 8 of Encyclopaedia of Mathematics: An Updated and Annotated Translation of the Soviet "Mathematical Encyclopaedia" (Managing Ed. M. Hazewinkel). Dordrecht, Netherlands: Reidel, p. 247, 1988.Suzuki, M. Group Theory, Vol. 1. New York: Springer-Verlag, 1982.

Referenced on Wolfram|Alpha

Semidirect Product

Cite this as:

Weisstein, Eric W. "Semidirect Product." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/SemidirectProduct.html

Subject classifications