Changes

Jump to: navigation, search
no edit summary
==Statement==
Suppose <math>G</math> is an [[fact about::odd-order cyclic group]]: a [[fact about::cyclic group]] of odd order. Then, <math>G</math> equals the [[fact about::commutator subgroup]] of the [[fact about::holomorph of a group|holomorph]] <math>G \rtimes \operatorname{Aut}(G)</math>.
==Related facts==
 
===Breakdown at the prime two===
 
The analogous statement is not true for all groups of even order. In fact, the commutator subgroup of a cyclic group of even order is the subgroup comprising the squares in that group, which has index two in the group.
===Corollaries===
Bureaucrats, emailconfirmed, Administrators
38,924
edits

Navigation menu