The ``split'' extension of Groups and which contains a Subgroup isomorphic to with and .
References
Iyanaga, S. and Kawada, Y. (Eds.). Encyclopedic Dictionary of Mathematics. Cambridge, MA: MIT Press, p. 613, 1980.