Group extension problem: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
The '''group extension problem''' for two groups <math>N</math> and <math>H</math>, is the problem of finding all groups <math>G</math> with <math>N</math> as a normal subgroup of <math>G</math>, and the quotient group <math>G/N</math> isomorphic to <math>H</math>. | The '''group extension problem''' for two groups <math>N</math> and <math>H</math>, is the problem of finding all groups <math>G</math> with <math>N</math> as a normal subgroup of <math>G</math>, and the quotient group <math>G/N</math> isomorphic to <math>H</math>. | ||
===Congruence classes formulation=== | |||
In this formulation, we're thinking of <math>N</math> and <math>H</math> as specific groups, and looking at ''short exact sequences'': | |||
<math>1 \to N \to G \to H \to 1</math> | |||
===Formulation upto automorphisms=== | |||
==Classifying group extensions for an Abelian normal subgroup== | ==Classifying group extensions for an Abelian normal subgroup== | ||
If <math>N</math> is an [[Abelian group]], then there is a procedure to classify all group extensions with normal subgroup <math>N</math> and | If <math>N</math> is an [[Abelian group]], then there is a procedure to classify all group extensions with normal subgroup <math>N</math> and | ||
Revision as of 17:01, 10 July 2008
Statement
The group extension problem for two groups and , is the problem of finding all groups with as a normal subgroup of , and the quotient group isomorphic to .
Congruence classes formulation
In this formulation, we're thinking of and as specific groups, and looking at short exact sequences:
Formulation upto automorphisms
Classifying group extensions for an Abelian normal subgroup
If is an Abelian group, then there is a procedure to classify all group extensions with normal subgroup and