Theorem: Groups of Order 30/C 3 x D 5

Let $G$ be a group of order $30$.
Let $G$ have the group presentation:
:$\gen {x, y: x^{15} = e = y^2, y x y^{-1} = x^4}$
Then $G$ is isomorphic to the group direct product of the cyclic group $C_3$ and the dihedral group $D_5$:
:$G \cong C_3 \times D_5$

Proof:
Let $G$ be defined by its group presentation:
:$G = \gen {x, y: x^{15} = e = y^2, y x y^{-1} = x^4}$
Let $z$ denote $x^5$.
Then:
{{begin-eqn}}
{{eqn | l = y z y^{-1}
      | r = y x^5 y^{-1}
      | c = 
}}
{{eqn | r = \paren {y x y^{-1} }^5
      | c = Power of Conjugate equals Conjugate of Power
}}
{{eqn | r = \paren {x^4}^5
      | c = from Group Presentation
}}
{{eqn | r = x^{20}
      | c = Powers of Group Elements: Product of Indices
}}
{{eqn | r = x^{15} x^5
      | c = Powers of Group Elements: Sum of Indices
}}
{{eqn | r = e \cdot x^5
      | c = from Group Presentation
}}
{{eqn | r = x^5
      | c = {{Group-axiom|2}}
}}
{{eqn | r = z
      | c = Definition of $z$
}}
{{eqn | ll= \leadsto
      | l = y z
      | r = z y
      | c = Product of both sides with $y$
}}
{{end-eqn}}
So $z$ commutes with $y$.
As $z$ is a power of $x$, $z$ also commutes with $x$.
Hence by definition of center:
:$z \in \map Z G$
It follows that $\gen z$ is a normal subgroup of order $3$.
Let $N$ be the subgroup of $G$ generated by $x^3$ and $y$.
Note that:
{{begin-eqn}}
{{eqn | l = y x^3 y^{-1}
      | r = \paren {y x y^{-1} }^3
      | c = Power of Conjugate equals Conjugate of Power
}}
{{eqn | r = \paren {x^4}^5
      | c = from Group Presentation
}}
{{eqn | r = x^{12}
      | c = Powers of Group Elements: Product of Indices
}}
{{eqn | r = x^{-3}
      | c = as $x^{15} = e$
}}
{{end-eqn}}
Hence the generator of $N$ satisfies:
:$\paren{x^3}^5 = e = y^2$
and:
:$y x^3 y^{-1} = x^{-3}$
Let $w := x^3$.
Then $N$ is generated by $w$ and $y$ where:
:$w^5 = 1 = y^2$
and:
:$w y = y w^4 = y w^{-1}$
and it is seen that $N$ is isomorphic to the dihedral group $D_5$.
It is now to be shown that $G$ is an internal group direct product of $N$ and $\gen z$.
We have that $N \cap \gen z = \set e$.
From the Internal Direct Product Theorem, we need to prove only that $N$ is a normal subgroup of $G$.
We have that:
:$\order N = 10$
where $\order N$ denotes the order of $N$.
We also have that $N$ is a subgroup of its normalizer $\map {N_G} N$.
Hence by Lagrange's Theorem:
:$10 \divides \order {\map {N_G} N}$
where $\divides$ denotes divisibility.
Again by Lagrange's Theorem:
:$\order {\map {N_G} N} \divides 30$
We have:
{{begin-eqn}}
{{eqn | l = x w x^{-1}
      | r = x x^3 x^{-1}
      | c = Definition of $w$
}}
{{eqn | r = x^3
      | c = 
}}
{{eqn | r = w
      | c = 
}}
{{end-eqn}}
demonstrating that $x$ is conjugate to $w$.
Then:
{{begin-eqn}}
{{eqn | l = x y x^{-1}
      | r = x y^{-1} x^{-1}
      | c = as $y^2 = e$
}}
{{eqn | r = y x^4 x^{-1}
      | c = from Group Presentation: $y x y^{-1} = x^4$
}}
{{eqn | r = y x^3
      | c = 
}}
{{eqn | r = y w
      | c = 
}}
{{eqn | o = \in
      | r = N
      | c = 
}}
{{end-eqn}}
demonstrating that $x$ is conjugate to $y$.
Thus $x \in \map {N_G} N$ and so $\order {\map {N_G} N} > 10$.
As $10 \divides \order {\map {N_G} N}$ and $\order {\map {N_G} N} \divides 30$, it follows that:
:$\map {N_G} N = G$
and so $N$ is normal in $G$.
Thus:
: $N$ and $\gen z$ are normal in $G$
: $N \cap \gen z = \set e$
: $N \gen z = G$
and it therefore follows from the  Internal Direct Product Theorem that:
:$G = C_3 \times D_5$
{{qed}}