Group extension problem: Difference between revisions

Revision as of 19:05, 23 December 2012

Statement

The group extension problem for two groups $N$ and $Q$ , is the problem of finding all groups $G$ with $N$ as a normal subgroup of $G$ , and the quotient group $G / N$ isomorphic to $Q$ .

Congruence classes formulation

In this formulation, we're thinking of $N$ and $Q$ as specific groups, and looking at short exact sequences:

$1 \to N \to G \to Q \to 1$

where two short exact sequences:

$1 \to N \to G_{1} \to Q \to 1$

and:

$1 \to N \to G_{2} \to Q \to 1$

are equivalent if there is an isomorphism from $G_{1}$ to $G_{2}$ that induces the identity map on $N$ and on $Q$ .

Group extensions that are equivalent in this fashion are called congruent group extensions and the equivalence classes are called congruence classes of group extensions.

Formulation upto automorphisms, or "pseudo-congruence"

This is a more general formulation, where we declare two short exact sequences:

$1 \to N \to G_{1} \to Q \to 1$

and:

$1 \to N \to G_{2} \to Q \to 1$

are equivalent if there is an isomorphism from $G_{1}$ to $G_{2}$ that induces an automorphism on $N$ and an automorphism on $Q$ .

Group extensions that are equivalent in this fashion are called congruent group extensions and the equivalence classes are called congruence classes of group extensions.

Classifying group extensions for an abelian normal subgroup

If $N$ is an abelian group, then the following is a procedure to classify all group extensions with normal subgroup $N$ .

Finding a list of possible actions

The first step is to note that the quotient group acts on the normal subgroup. In other words, given any group $G$ with a specified normal subgroup $N$ and a quotient group $Q$ , there is a homomorphism:

$φ : Q \to A u t (N)$

This automorphism is determined by the congruence class of the extensions, so we can partition all congruence classes of extensions as a disjoint union of congruence classes of extensions corresponding to elements of $H o m (Q, A u t (N))$ .

If we're looking at extensions modulo equivalence upto automorphisms, then an extension doesn't define a unique map $φ : Q \to A u t (N)$ . Rather, the map is defined uniquely up to pre-composition with automorphisms of $Q$ and conjugation by automorphisms of $N$ . Thus, when classifying equivalence classes of extensions in this fashion, it suffices to consider equivalence classes of elements in $H o m (Q, A u t (N))$ .

Finding all congruence classes for a given action

Having fixed a homomorphism:

$φ : Q \to A u t (N)$

the next step is to find all congruence classes of extensions that give rise to this homomorphism. This is, in fact, described using the second cohomology group $H_{φ}^{2} (Q; N)$ . There are a number of shortcuts to computing this group when $Q$ or $N$ have special structure (for instance second cohomology group for trivial group action of finite cyclic group on finite cyclic group).

Finding all pseudo-congruence classes for a given action

Multiple congruence classes of extensions may again be equivalent up to automorphisms (i.e., they may be pseudo-congruent). The set of pseudo-congruence classes of extensions for a given action can be obtained from the set of congruence classes as follows: take the equivalence classes under the natural action of the following subgroup of $A u t (N) \times A u t (Q)$ : $C_{A u t (N)} (φ (Q)) \times W$ where $W$ is the subgroup of $A u t (Q)$ comprising those automorphisms that do not affect the image under $φ$ , i.e., $W = {σ \in A u t (Q) ∣ φ (σ (q)) = φ (q) \forall q \in Q}$ .

Note in particular that if $φ$ is trivial, then the acting group is the entire group $A u t (N) \times A u t (Q)$ .

Classifying group extensions for an arbitrary normal subgroup

As before, we denote the normal subgroup as $N$ and the quotient group as $Q$ .

Finding a list of outer actions

The first step is to note that quotient group maps to outer automorphism group of normal subgroup. Thus, for any group extension with normal subgroup identified with $N$ and quotient group identified with $Q$ , we can construct a homomorphism:

$α : Q \to O u t (N)$

where the group on the right is the outer automorphism group of $N$ . In the case that $N$ is abelian, this reduces to the situation discussed earlier, because in that case the outer automorphism group is identified with the automorphism group.

Thus, a first step to classifying all the group extensions with normal subgroup $N$ and quotient group $Q$ is to determine the set $H o m (Q, O u t (N))$ of all possible group homomorphisms from $Q$ to $O u t (N)$ . Then, for each such homomorphism, we will determine all the possible group extensions whose corresponding homomorphism is that homomorphism. The overall set of congruence classes of group extensions is thus a disjoint union over $H o m (Q, O u t (N))$ of the set of group extensions for each element therein.

Finding all congruence classes for a given outer action

What we're trying to do: Given a homomorphism
$α : Q \to O u t (N)$
, find all the possible congruence classes of group extensions with normal subgroup
$N$
, quotient group
$Q$
, and induced outer action
$α$
.

There is a canonical homomorphism associated with the group $N$ as an abstract group (see outer automorphism group maps to automorphism group of center):

$π : O u t (N) \to A u t (Z (N))$

where $Z (N)$ denotes the center of $N$ .

We define the composite homomorphism $φ = π \circ α$ . Thus, $φ \in H o m (Q, A u t (Z (N))$ . Now, consider the group $H_{φ}^{2} (Q, Z (N))$ .

First, we note that the group $H_{φ}^{2} (Q, Z (N))$ acts canonically on the set of group extensions with normal subgroup $N$ , quotient group $Q$ , and outer action $α$ .

Our claim is that there are two possibilities:

There are no group extensions with normal subgroup $N$ , quotient group $Q$ , and outer action $α$ .
The canonical action of $H_{φ}^{2} (Q, Z (N))$ on the set of group extensions with normal subgroup $N$ , quotient group $Q$ , and outer action $α$ is equivalent to the regular group action, i.e., it is transitive with a single orbit.

To figure out whether case (1) or case (2) is operative, we need to compute a specific element of the third cohomology group. PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

Finding all pseudo-congruence classes for a given outer action

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

@@ Line 1: / Line 1: @@
 ==Statement==
-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>Q</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>Q</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'':
+In this formulation, we're thinking of <math>N</math> and <math>Q</math> as specific groups, and looking at ''short exact sequences'':
-<math>1 \to N \to G \to H \to 1</math>
+<math>1 \to N \to G \to Q \to 1</math>
 where two short exact sequences:
-<math>1 \to N \to G_1 \to H \to 1</math>
+<math>1 \to N \to G_1 \to Q \to 1</math>
 and:
-<math>1 \to N \to G_2 \to H \to 1</math>
+<math>1 \to N \to G_2 \to Q \to 1</math>
-are equivalent if there is an isomorphism from <math>G_1</math> to <math>G_2</math> that induces the identity map on <math>N</math> and on <math>H</math>.
+are equivalent if there is an isomorphism from <math>G_1</math> to <math>G_2</math> that induces the identity map on <math>N</math> and on <math>Q</math>.
 Group extensions that are equivalent in this fashion are called [[congruent group extension]]s and the equivalence classes are called ''congruence classes of group extensions''.
@@ Line 25: / Line 25: @@
 This is a more general formulation, where we declare two short exact sequences:
-<math>1 \to N \to G_1 \to H \to 1</math>
+<math>1 \to N \to G_1 \to Q \to 1</math>
 and:
-<math>1 \to N \to G_2 \to H \to 1</math>
+<math>1 \to N \to G_2 \to Q \to 1</math>
-are equivalent if there is an isomorphism from <math>G_1</math> to <math>G_2</math> that induces an automorphism on <math>N</math> and an automorphism on <math>H</math>.
+are equivalent if there is an isomorphism from <math>G_1</math> to <math>G_2</math> that induces an automorphism on <math>N</math> and an automorphism on <math>Q</math>.
 Group extensions that are equivalent in this fashion are called [[congruent group extension]]s and the equivalence classes are called ''congruence classes of group extensions''.
@@ Line 37: / Line 37: @@
 ==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>.
+If <math>N</math> is an [[abelian group]], then the following is a procedure to classify all group extensions with normal subgroup <math>N</math>.
 ===Finding a list of possible actions===
-The first step is to note that [[quotient group acts on Abelian normal subgroup|the quotient group acts on the normal subgroup]]. In other words, given any group <math>G</math> with a specified normal subgroup <math>N</math> and a quotient group <math>H</math>, there is a homomorphism:
+The first step is to note that [[quotient group acts on Abelian normal subgroup|the quotient group acts on the normal subgroup]]. In other words, given any group <math>G</math> with a specified normal subgroup <math>N</math> and a quotient group <math>Q</math>, there is a homomorphism:
-<math>\varphi:H \to \operatorname{Aut}(N)</math>
+<math>\varphi:Q \to \operatorname{Aut}(N)</math>
-This automorphism is determined by the congruence class of the extensions, so we can partition all congruence classes of extensions as a disjoint union of congruence classes of extensions corresponding to elements of <math>\operatorname{Hom}(H,\operatorname{Aut}(N))</math>.
+This automorphism is determined by the congruence class of the extensions, so we can partition all congruence classes of extensions as a disjoint union of congruence classes of extensions corresponding to elements of <math>\operatorname{Hom}(Q,\operatorname{Aut}(N))</math>.
-If we're looking at extensions modulo equivalence upto automorphisms, then an extension doesn't define a unique map <math>\varphi:H \to \operatorname{Aut}(N)</math>. Rather, the map is defined uniquely up to pre-composition with automorphisms of <math>H</math> and conjugation by automorphisms of <math>N</math>. Thus, when classifying equivalence classes of extensions in this fashion, it suffices to consider equivalence classes of elements in <math>\operatorname{Hom}(H,\operatorname{Aut}(N))</math>.
+If we're looking at extensions modulo equivalence upto automorphisms, then an extension doesn't define a unique map <math>\varphi:Q \to \operatorname{Aut}(N)</math>. Rather, the map is defined uniquely up to pre-composition with automorphisms of <math>Q</math> and conjugation by automorphisms of <math>N</math>. Thus, when classifying equivalence classes of extensions in this fashion, it suffices to consider equivalence classes of elements in <math>\operatorname{Hom}(Q,\operatorname{Aut}(N))</math>.
 ===Finding all congruence classes for a given action===
@@ Line 53: / Line 53: @@
 Having fixed a homomorphism:
-<math>\varphi:H \to \operatorname{Aut}(N)</math>
+<math>\varphi:Q \to \operatorname{Aut}(N)</math>
-the next step is to find all congruence classes of extensions that give rise to this homomorphism. This is, in fact, described using the second cohomology group <math>H^2(H;N)</math>. There are a number of shortcuts to computing this group when <math>H</math> or <math>N</math> have special structure (for instance [[second cohomology group for trivial group action of finite cyclic group on finite cyclic group]]).
+the next step is to find all congruence classes of extensions that give rise to this homomorphism. This is, in fact, described using the second cohomology group <math>H^2_\varphi(Q;N)</math>. There are a number of shortcuts to computing this group when <math>Q</math> or <math>N</math> have special structure (for instance [[second cohomology group for trivial group action of finite cyclic group on finite cyclic group]]).
-Multiple congruence classes of extensions may again be equivalent upto automorphisms, so the set of equivalence classes of extensions is not necessarily a group.
+===Finding all pseudo-congruence classes for a given action===
+Multiple congruence classes of extensions may again be equivalent up to automorphisms (i.e., they may be ''pseudo-congruent''). The set of pseudo-congruence classes of extensions for a given action can be obtained from the set of congruence classes as follows: take the equivalence classes under the natural action of the following subgroup of <math>\operatorname{Aut}(N) \times \operatorname{Aut}(Q)</math>: <math>C_{\operatorname{Aut}(N)}(\varphi(Q)) \times W</math> where <math>W</math> is the subgroup of <math>\operatorname{Aut}(Q)</math> comprising those automorphisms that do not affect the image under <math>\varphi</math>, i.e., <math>W = \{ \sigma \in \operatorname{Aut}(Q) \mid \varphi(\sigma(q)) = \varphi(q) \ \forall \ q \in Q \}</math>.
+Note in particular that if <math>\varphi</math> is trivial, then the acting group is the entire group <math>\operatorname{Aut}(N) \times \operatorname{Aut}(Q)</math>.
+==Classifying group extensions for an arbitrary normal subgroup==
+As before, we denote the normal subgroup as <math>N</math> and the quotient group as <math>Q</math>.
+===Finding a list of outer actions===
+The first step is to note that [[quotient group maps to outer automorphism group of normal subgroup]]. Thus, for any group extension with normal subgroup identified with <math>N</math> and quotient group identified with <math>Q</math>, we can construct a homomorphism:
+<math>\alpha:Q \to \operatorname{Out}(N)</math>
+where the group on the right is the [[outer automorphism group]] of <math>N</math>. In the case that <math>N</math> is abelian, this reduces to the situation discussed earlier, because in that case the outer automorphism group is identified with the automorphism group.
+Thus, a first step to classifying all the group extensions with normal subgroup <math>N</math> and quotient group <math>Q</math> is to determine the set <math>\operatorname{Hom}(Q,\operatorname{Out}(N))</math> of all possible [[homomorphism of groups|group homomorphisms]] from <math>Q</math> to <math>\operatorname{Out}(N)</math>. Then, for each such homomorphism, we will determine all the possible group extensions whose corresponding homomorphism is that homomorphism. The overall set of congruence classes of group extensions is thus a disjoint union over <math>\operatorname{Hom}(Q,\operatorname{Out}(N))</math> of the set of group extensions for each element therein.
+===Finding all congruence classes for a given outer action===
+{{quotation|'''What we're trying to do''': Given a homomorphism <math>\alpha: Q \to \operatorname{Out}(N)</math>, find all the possible congruence classes of group extensions with normal subgroup <math>N</math>, quotient group <math>Q</math>, and induced outer action <math>\alpha</math>.}}
+There is a canonical homomorphism associated with the group <math>N</math> as an abstract group (see [[outer automorphism group maps to automorphism group of center]]):
+<math>\pi: \operatorname{Out}(N) \to \operatorname{Aut}(Z(N))</math>
+where <math>Z(N)</math> denotes the [[center]] of <math>N</math>.
+We define the composite homomorphism <math>\varphi = \pi \circ \alpha</math>. Thus, <math>\varphi \in \operatorname{Hom}(Q,\operatorname{Aut}(Z(N))</math>. Now, consider the group <math>H^2_\varphi(Q,Z(N))</math>.
+First, we note that the group <math>H^2_\varphi(Q,Z(N))</math> acts canonically on the set of group extensions with normal subgroup <math>N</math>, quotient group <math>Q</math>, and outer action <math>\alpha</math>.
+Our claim is that there are two possibilities:
+# There are no group extensions with normal subgroup <math>N</math>, quotient group <math>Q</math>, and outer action <math>\alpha</math>.
+# The canonical action of <math>H^2_\varphi(Q,Z(N))</math> on the set of group extensions with normal subgroup <math>N</math>, quotient group <math>Q</math>, and outer action <math>\alpha</math> is equivalent to the [[regular group action]], i.e., it is transitive with a single orbit.
+To figure out whether case (1) or case (2) is operative, we need to compute a specific element of the third cohomology group. {{fillin}}
+===Finding all pseudo-congruence classes for a given outer action===
+{{fillin}}