2
$\begingroup$

I want to show that $\langle x,y \mid x^3=y^2=(xy)^3=e\rangle$ is isomorphic to $\mathfrak{A}_4$. I've already done most of the proof. The remaining and probably hardest part is to show that $\langle x,y \mid x^3=y^2=(xy)^3=e\rangle$ has at most $12$ elements.

For this I have a hint: Show that the conjugates of $y$, together with the identity element form a normal subgroup of order $\leq 4$ and index $\leq 3$.

I suspect that the conjugates of $y$ are just $y$, $xyx^{-1}$ and $x^2yx^{-2}$, but I really don't know how to prove this. Can somebody help me?

  • 0
    @Geoff: Thanks for the hint. I think I can do the proof from here. I'll write an answer then.2012-02-25

1 Answers 1

2

It is easy to show that $(123)$ and $(12)(34)$ generate $\mathfrak{A}_4$ and satisfy the given relations with $(123)$ in place of $x$ and $(12)(34)$ in place of $y$. So there exists a group homomorphism of $G:=\langle x,y|x^3=y^2=(xy)^3=e\rangle$ onto $\mathfrak{A}_4$. If we can show that $G$ cannot have more than $12$ elements, the proof is finished.

We have $y(xyx^{-1})(x^2yx^{-2})=(yx)^3x^{-3}=(yx)^3=(y(xy)y^{-1})^3=(xy)^3=e.$ Since $y$ is equal to its own inverse, the same is true for its conjugates. This information allows us to play around with the equation above to conclude that $H:=\{e,y,xyx^{-1},x^2yx^{-2}\}$ is indeed a subgroup.

There exists a homomorphism $f$ of $G$ onto $\mathbf{Z}/3\mathbf{Z}$ mapping $x$ to $1$ and $y$ to $0$. We show that $\text{Ker}(f)=H$ and thereby $[G:H]=3$, which implies $|G|\leq 12$.

Let $\phi$ be the homomorphism of the free monoid $\text{Mo}(\xi,\eta)$ onto $G$ mapping $\xi$ to $x$ and $\eta$ to $y$. Then $\phi(w)\in\text{Ker}(f)$ if and only if the number of occurences of $\xi$ in $w$ is a multiple of $3$. For $i\in\mathbf{N}$, let $M_i$ be the set of elements of $\text{Mo}(\xi,\eta)$ with $i$ occurences of $\xi$. We show by induction on $n$ that $\phi(M_{3n})\subset H$ for all $n\in\mathbf{N}$.

Obviously, $\phi(M_0)=\{e,y\}\subset H$. If $n\geq 1$ and $w\in M_{3n}$, then there exists w'\in M_3 and w''\in M_{3(n-1)} such that w=w'w''. Since \phi(w'')\in H by induction, it is left to show that $\phi(M_3)\subset H$. Let $w\in M_3$. Then $w=\eta^i\xi\eta^j\xi\eta^k\xi\eta^l$ with $i,j,k,l\in\mathbf{N}$. So $\phi(w)=y^ixy^jxy^kxy^l$. It remains to show that $xy^jxy^kx\in H$ for all $j,k\in\mathbf{N}$.

There are four cases:

$j$ and $k$ are even $\Rightarrow$ $xy^jxy^kx=x^3=e\in H$.

$j$ is even and $k$ is odd $\Rightarrow$ $xy^jxy^kx=x^2yx=x^2yx^{-2}\in H$

$j$ is odd and $k$ is even $\Rightarrow$ $xy^jxy^kx=xyx^2=xyx^{-1}\in H$

$j$ and $k$ are odd $\Rightarrow$ $xy^jxy^kx=xyxyx=(xy)^3y=y\in H$.