**Problem**. Let and let be the dihedral group of order Find the center of

**Solution**. If or then is abelian and hence Now, suppose By definition, we have where is an element of order 2, is an element of order and are related by the relation It then follows that and in general

for all integers Now, since and together generate an element of is in the center if and only if it commutes with both and So if and only if and The condition gives us and thus

Clearly we can have in (2) but can we have ? The answer is no because if then (2) gives and we know from (1) that But then and so which is not possible because So and thus The condition then becomes and hence, by (1), Therefore

Hence, since we get from (3) that Thus either or because If then If then is even and So we have proved

In the very end, for even n, centre should be {1,r^n} instead of {1,r^(n/2)} which is correct if you are using D_n notation but rather you are using D_2n notation.

No, is correct; read the solution again.

This is a very useful proof.

Thanks mate, good stuff, easy to follow

really great

this is very good proof…