# Difference between revisions of "Classification of finite non-abelian groups in which every proper subgroup is abelian"

(New page: ==Statement== The goal of this article is to classify all the finite non-Abelian groups in which every proper subgroup is Abelian. ==Related facts== Here are some easier-to-prove facts...) |
(→Related facts) |
||

(One intermediate revision by the same user not shown) | |||

Line 6: | Line 6: | ||

==Related facts== | ==Related facts== | ||

− | Here are some easier-to-prove facts about these finite non- | + | Here are some easier-to-prove facts about these finite non-abelian groups. The easier-to-prove facts are not used directly in our proof but the proof ideas for those facts are extended here. Note that these easier facts do not require a knowledge of Frobenius groups: |

− | * [[Finite non- | + | * [[Finite non-abelian and every proper subgroup is abelian implies not simple]] |

− | * [[Finite non- | + | * [[Finite non-abelian and every proper subgroup is abelian implies metabelian]] |

+ | * [[Slender nilpotent and every proper subgroup is abelian implies Frattini-in-center]] | ||

==Facts used== | ==Facts used== |

## Latest revision as of 19:25, 5 January 2010

## Contents

## Statement

The goal of this article is to classify all the finite non-Abelian groups in which every proper subgroup is Abelian.

## Related facts

Here are some easier-to-prove facts about these finite non-abelian groups. The easier-to-prove facts are not used directly in our proof but the proof ideas for those facts are extended here. Note that these easier facts do not require a knowledge of Frobenius groups:

- Finite non-abelian and every proper subgroup is abelian implies not simple
- Finite non-abelian and every proper subgroup is abelian implies metabelian
- Slender nilpotent and every proper subgroup is abelian implies Frattini-in-center

## Facts used

- Center is normal
- Fourth isomorphism theorem
- Abelianness is quotient-closed
- Maximal implies normal or self-normalizing
- The theorem about the equivalent definitions of Frobenius group.
- Cyclic over central implies Abelian

## Proof

### First step: establishing properties of the inner automorphism group

We shall prove that the inner automorphism group, i.e., the quotient of the group by its center, must be either an Abelian group of a Frobenius group. If it is an Abelian group, the problem reduces to classifying all groups of nilpotence class two in which every proper subgroup is Abelian. We can also tackle the case of the Frobenius group.

**Given**: A finite non-Abelian group in which every proper subgroup is Abelian. is the center of , and is non-Abelian.

**To prove**: is a Frobenius group.

**Proof**:

- If are two distinct maximal subgroups of containing , then : By assumption, both and are Abelian, so is centralized by both and . Hence, is centralized by . Thus, . On the other hand, we have by assumption, so . Thus, .
- In the quotient group , any two distinct maximal subgroups intersect trivially: This follows from step (1) and fact (2) (the fourth isomorphism theorem).
- There exists a maximal subgroup that is not normal: If every maximal subgroup is normal, we have two possibilities: either there is a unique maximal subgroup, or there are two distinct maximal normal subgroups.
- If there is a unique maximal subgroup, then any element outside the maximal subgroup generates the whole group, and hence itself is cyclic, and in particular, is non-Abelian.
- If there are two distinct maximal normal subgroups, we get two normal subgroups of that intersect trivially (step (1)) and generate the whole group; moreover, by fact (3), they are both images of Abelian subgroups and hence Abelian. Thus, is a direct product of two Abelian subgroups, and is Abelian, a contradiction.

- Suppose is a maximal subgroup of that is not normal. Then is a Frobenius complement in : Since is maximal and not normal, is self-normalizing (fact (4)). In particular, is self-centralizing, and thus, does not equal its conjugate by any element outside . By step (1), we conclude that intersects its conjugate by any other element trivially, fulfilling the conditions for a Frobenius complement.

### Classification of the nilpotent groups

We now consider the case of a finite non-Abelian group of nilpotence class two in which every proper subgroup is Abelian.

- is a group of prime power order, where we denote the prime by : Any finite nilpotent group is a direct product of its Sylow subgroups. If the order of has more than one prime factor, then all its Sylow subgroups are proper subgroups, and by assumption, each of the Sylow subgroups is Abelian. Thus, is a direct product of Abelian groups, and is Abelian, contradicting the assumption.
- If is such that is elementary Abelian of order , then : Since is elementary Abelian, is the intersection of two maximal subgroups of , both of which are Abelian by assumption. The intersection of these maximal subgroups is centralized by

both of them, and hence, is centralized by .

- The center of has index at least : Since is non-Abelian, the center has index at least . If the index is , fact (6) yields that since the group is cyclic over its center, it is Abelian, again a contradiction. Thus, the center has index at least .
- has index : If has index , then has a unique maximal subgroup, hence is cyclic (on any element outside the maximal subgroup) and therefore Abelian by assumption. Thus, has index at least . If the index of is greater than , then there are multiple subgroups of with quotient elementary Abelian of order , and all of these are in the center of by step (2). This forces the center to have index less than , contradicting step (3). Thus, the index of is . Again by step (2), this gives , and step (3) yields .
- The commutator subgroup is cyclic of prime order: The commutator subgroup is the image of under the commutator map, which is an alternating bilinear map. Since the vector space in question is two-dimensional, we see that has dimension at most one (another way of saying this is that it suffices to know the commutator of any two distinct basis vectors of ). Since is non-Abelian, we obtain that is one-dimensional as a vector space over the field of elements, yielding that is cyclic of order .

We now have enough background information to guess at a classification, that we will then prove.