# Extraspecial commutator-in-center subgroup is central factor

From Groupprops

Revision as of 21:45, 7 July 2008 by Vipul (talk | contribs) (New page: ==Statement== ===Statement with symbols=== Let <math>G</math> be a finite <math>p</math>-group, i.e. a group of prime power order. Suppose <math>H</math> is a subgroup of <math>G</mat...)

## Statement

### Statement with symbols

Let be a finite -group, i.e. a group of prime power order. Suppose is a subgroup of satisfying the following two conditions:

- is an extraspecial group

Then , i.e., is a central factor of .