Encyclopedia > Extension problem

  Article Content

Extension problem

In group theory, if the factor group G/K is isomorphic to H, one says that G is an extension of K by H.

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 {Ai}, where each Ai+1 is an extension of Ai 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:

1 → KGH → 1

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

mention Ext functor; mention that extensions are known

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
696 BC

... 696 BC Centuries: 8th century BC - 7th century BC - 6th century BC Decades: 740s BC 730s BC 720s BC 710s BC 700s BC - 690s BC - 680s BC 670s BC 660s BC 650s BC 640s ...