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 the ambient 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.