Xrfgtjtk

So I have a group of order $2m$ with these elements:
$$(overline{0},overline{0}),(overline{1},overline{0})...(overline{m-1},overline{0})$$
$$(overline{0},overline{1})(overline{-1},overline{1})...(overline{-(m-1)},overline{1})$$

Dihedral group $D_m$ has these elements:
$$(r^0s^0)(r^1s^0)...(r^{m-1}s^0)$$
$$(r^0s^1)(r^1s^1)...(r^{m-1}s^1)$$

I want write that it is isomorphic to the dihedral group of order m. It is so obvious to me that I'm not sure how to prove it.

Thanks for the help

As you want to show an isomorphism with a dihedral group, how about constructing a faithful action of your group on the regular $m$-gon? This yields an injection into $D_m$, and because they are both groups of order $2m$ this must be an isomorphism.

Given that the group is constructed as a semidirect product, another approach is to take subgroups $T,Ssubset D_m$ such that $TcongBbb{Z}_m$ and $ScongBbb{Z}_2$. And show that $D_m=Trtimes_{psi}S$ where $psi: S longrightarrow operatorname{Aut}T$ is the map obtained from $varphi$ through the isomorphisms $TcongBbb{Z}_m$ and $ScongBbb{Z}_2$. Of course you want $psi$ to turn out to be the conjugation action of $S$ on $T$.

Probably the easiest way to see is to show you have 2 generators, $r$ and $s$ with orders n and 2 respectively. Furthermore, $sr^{-1}=rs$. Hence, it is the dihedral group with 2n elements.