# 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.