To consider some examples, if G = H × K, then G is an extension of both H and K. More generally, if G is a semidirect product of K and H, then G is an extension of K by H, so such products as the wreath product provide further examples of extensions.
The question of what groups G are extensions of K is called the extension problem, and has been studied heavily since the late nineteenth century. As to its motivation, consider that the composition series of a finite group is a finite sequence of subgroups {A_{i}}, where each A_{i+1} is an extension of A_{i} by some simple group. The classification of finite simple groups gives us a complete list of finite simple groups; so the solution to the extension problem gives us enough information to construct and classify all finite groups in general.
We can use the language of diagrams to provide a more flexible definition of extension: a group G is an extension of a group K by a group H if and only if there is an exact sequence:
where 1 denotes the trivial group with a single element. This definition is more general in that it does not require that K be a subgroup of G; instead, K is isomorphic to a normal subgroup K^{*} of G, and H is isomorphic to G/K^{*}.
Search Encyclopedia

Featured Article
