# Abelian normal subgroup of group of prime power order

From Groupprops

This article describes a property that arises as the conjunction of a subgroup property: abelian normal subgroup with a group property imposed on theambient group: group of prime power order

View a complete list of such conjunctions | View a complete list of conjunctions where the group property is imposed on the subgroup

## Definition

Suppose is a group and is a subgroup of . We say that is an **abelian normal subgroup of group of prime power order** if is an abelian normal subgroup of and is a group of prime power order (i.e., a finite p-group for some prime number ).

## Facts

### Existence, congruence conditions, and replacement

In the points below, is a prime number.

- It turns out that for any , there exists some large enough such that for , any group of order contains an abelian normal subgroup of order . Specifically, we can choose , though smaller values of may also work.
`Further information: Existence of abelian normal subgroups of small prime power order` - In many cases, if an abelian subgroup of a given order exists, the number of abelian normal subgroups of that order in a finite -group is congruent to modulo . For odd, this holds for order , in any -group that contains at least one abelian normal subgroup of order . This is the Jonah-Konvisser congruence condition on number of abelian subgroups of small prime power order. For , the result holds for , though it is open for . In such situations, we say that the collection of abelian groups of that particular order is a collection of groups satisfying a universal congruence condition.
- In an even wider range of cases, if an abelian subgroup of a given order exists, so does an abelian normal subgroup. In this case, we say that the abelian groups of that particular order satisfy a weak normal replacement condition. A stronger version is that an abelian normal subgroup exists that is contained in the normal closure of the original abelian subgroup. In this case, we say that the abelian groups of that particular order satisfy a strong normal replacement condition.
- There is a wide range of results called replacement theorems, that aim to replace one abelian subgroup by another, the latter often being normal.