# Difference between revisions of "Odd-order cyclic group equals derived subgroup of holomorph"

## Statement

Suppose $G$ is a Cyclic group (?) of odd order. Then, $G$ equals the Commutator subgroup (?) of the holomorph $G \rtimes \operatorname{Aut}(G)$.

## Facts used

1. Cyclic implies Aut-Abelian: The automorphism group of a cyclic group is Abelian.
2. Inverse map is automorphism iff Abelian: For an Abelian group, the map sending every element to its inverse is an automorphism.
3. kth power map is bijective iff k is relatively prime to the order

## Proof

Given: A cyclic group $G$ of odd order.

To prove: $G$ equals the commutator subgroup of the holomorph of $G$: the semidirect product $K = G \rtimes \operatorname{Aut}(G)$.

Proof:

1. $G$ contains the commutator subgroup of $K$: By fact (1), $\operatorname{Aut}(G)$ is Abelian, so $K/G \cong \operatorname{Aut}(G)$ is Abelian. Thus, $G$ contains the commutator subgroup $[K,K]$.
2. The commutator subgroup of $K$ contains $G$: For this, note (fact (2)) that the inverse map is an automorphism of $G$, say, denoted by an element $\sigma \in \operatorname{Aut}(G)$. The commutator between any $g \in G$ and $\sigma$ is $g^2$, so the set of squares of elements of $G$ is in $[K,K]$. By fact (3), every element of $G$ is the square of an element of $G$, so $G$ is contained in $[K,K]$.