Extraspecial implies Camina
This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., extraspecial group) must also satisfy the second group property (i.e., Camina group)
View all group property implications | View all group property non-implications
Get more facts about extraspecial group|Get more facts about Camina group
Statement
Any extraspecial group is a Camina group. In other words, if is a group of prime power order (or more generally, a possibly infinite p-group) such that the center, Frattini subgroup, and commutator subgroup of
all coincide and are cyclic of prime order, then
is a Camina group.
Proof
Given: A -group
such that
is cyclic of prime order.
To prove: Every coset of other than
itself is a conjugacy class.
Proof: Since is of order
, so is every coset of it. Each coset of
is a union of conjugacy classes (since nay two conjugate elements are in the same coset of
. Thus, the size of each conjugacy class is at most
. On the other hand, the conjugacy class of
is in bijection with the coset space of
. Since
is a
-group, any subgroup of finite index has index a power of
, so the size of every conjugacy class is a power of
. Thus, the only possible sizes of conjugacy classes are
and
.
However, since , no element outside
has a conjugacy class of size one, forcing all conjugacy classes outside to have size
. Hence, for any element outside
, its conjugacy class equals its
-coset.