dihedral group and its generators I try to improve my understanding of the dihedral group. One way of presentation of the dihedral group $D_n$ of order $2n$ is
$$\langle a,b : a^2=b^2=(ab)^n=1 \rangle.$$
After a moment of thought it seemed pretty 'obvious' to me that the set of all group elements could be written as $G= \lbrace (ab)^k, (ab)^ka:k=0,...,n-1
 \rbrace$. It was easy to show that G is a group. Unfortunately I could not prove that the set $G$ indeed represents the full group $D_n$.
Mor precisely I have trouble to show that all elements in the above set $G$ are pairwise different and that there are no other elements of $D_n$ not contained in G.
E.g. why is it not possible that $(ab)^k=1$ for some $k=1,...,n-1$? 
 A: Recall that when we say that $G = \langle a, b \, | \, a^2 = b^2 = (ab)^n = 1\rangle$, what we mean is that $G$ is the quotient of the free group $\langle a, b\rangle$ by the normal subgroup $N$ generated by $a^2, b^2, (ab)^n$. Now, let's concretely view $D_n$ as the group of rotations and reflections of the regular $n$-gon which preserve the vertices. I'll assume you're familiar with this group.
We can define a group homomorphism $\varphi :\langle a,b\rangle \to D_n$ by sending $a$ and $b$ to "adjacent" reflections. By this, I simply mean that $\varphi(ab) = \varphi(a)\varphi(b)$ should be a rotation of order $n$. Using our knowledge of $D_n$, it's easy to confirm that $a^2, b^2$ and $(ab)^n$ are in the kernel of $\varphi$. Therefore all of $N$ is contained in the kernel. It follows that there is an induced group homomorphism $$\overline{\varphi}: \langle a, b \, | \, a^2 = b^2 = (ab)^n = 1\rangle \to D_n$$ by the univeral property of the quotient. Moreover, you have shown that the domain of the map has at most $2n$ elements, and by construction $\overline{\varphi}$ is surjective (since $\varphi$ is). Since $|D_n| = 2n$ as well, $\overline{\varphi}$ must be bijective, so we're done.
A: A concrete way of showing that a lower power of $ab$ could not be the identity is by constructing an action of the group by symmetries of a regular $n$-gon. Then a lower power of $ab$ will correspond to a nontrivial rotation, so certainly could not be the identity of the group.
