Francais | English | Espanõl

From Wikipedia, the free encyclopedia

In mathematics, for G a group, G′ is an extension of G if there is an exact sequence

<math>0\rightarrow H\rightarrow G'\rightarrow G\rightarrow 0.</math>

This situation is sometimes described by saying that G′ is an extension of G by H.

In other words: G' is a group, H is a normal subgroup of G' and the quotient group G'/H is isomorphic to group G. In contexts where the extension nomenclature is used, G and H are known and the properties of G' are to be determined.

One extension, the direct product, is immediately obvious. Several other general classes of extensions are known but no theory exists which treats all the possible extensions at one time. Group extension is usually described as a "hard" problem.

[edit] See also

• Central extension
• Extension problem
• Field extension
• Ring extension