Center of Dihedral Group

Theorem
Let $n \in \N$ be a natural number such that $n \ge 3$.

Let $D_n$ be the dihedral group of order $2 n$, given by:


 * $D_n = \gen {\alpha, \beta: \alpha^n = \beta^2 = e, \beta \alpha \beta = \alpha^{−1} }$

Let $\map Z {D_n}$ denote the center of $D_n$.

Then:
 * $\map Z {D_n} = \begin{cases} e & : n \text { odd} \\ \set {e, \alpha^{n / 2} } & : n \text { even} \end{cases}$

Proof
By definition, the center of $D_n$ is:
 * $\map Z {D_n} = \set {g \in D_n: g x = x g, \forall x \in D_n}$

For $n \le 2$ we have that $\order {D_n} \le 4$ and so by Group of Order less than 6 is Abelian $D_n$ is abelian for $n < 3$.

Hence by Group equals Center iff Abelian $\map Z {D_n} = D_n$ for $n < 3$.

So, let $n \ge 3$.

By Generator of Dihedral Group:


 * $D_n = \gen {\alpha, \beta: \alpha^n = \beta^2 = e, \beta \alpha \beta = \alpha^{−1} }$

From Product of Generating Elements of Dihedral Group:


 * $\beta \alpha^k = \alpha^{n - k} \beta$

for all $k \in \Z_{\ge 0}$.

We have that $D_n$ is generated by $\alpha$ and $\beta$.

Thus:
 * $x \in \map Z {D_n} \iff x \alpha = \alpha x \land x \beta = \beta x$

Let $x \in \map Z {D_n}$.

We have that $x$ can be expressed in the form:
 * $x = \alpha^i \beta^j$

As $x \in \map Z {D_n}$, we have:

But for $j = 1$ this means:

But the order of $\alpha$ is $n$ and $n > 2$, and hence:


 * $\alpha^2 \ne e$

So if $x \in \map Z {D_n}$ it follows that $x$ has to be in the form:
 * $x = \alpha^i$

for some $i \in \Z_{\ge 0}$.

Again, as $x \in \map Z {D_n}$, we have:

So either $i = 0$ or $n = 2 i$, as $0 \le i \le n$.

If $i = 0$ then $x = \alpha^0 = e$.

If $2 i = n$ then $n$ is even and so:
 * $x = \alpha^{n / 2}$

Hence the result.