\documentclass{article}
\usepackage{amssymb}
\usepackage{latexsym}
\title{Group Theory: Math30038, Sheet 2}
\author{GCS}
\date{}
\begin{document}
\maketitle

{\it The course web site is available via
{\tt http://www.bath.ac.uk/$\sim$masgcs/}}

\begin{enumerate}

\item Let $G$ be a finite group of even order. Show that $G$ must
contain an element of order 2.

\item Suppose that $G$ is a cyclic group and that $|G| = 12$.
Make a list of all the subgroups of $G$, and draw a ``Hasse diagram''.
This is a diagram of dots and lines (as shown in a lecture), where
the inclusion $A \leq B$ is indicated by a line or sequence
of lines going up from 
the dot labelled $A$ to the dot labelled $B$. You can label the lines
with corresponding indices. Stare at your diagram, and think about the
following set: $\{ d \in \mathbb N \mid d \mbox{ divides } 12\}.$

\item Suppose that $G$ is a group and that $|G| = 4$. By considering
the orders of the elements of $G$ (or otherwise), prove that $G$ must be
abelian.

\item Suppose that $G$ is a group and that $|G| = 6$.
\begin{enumerate}
\item Show that if $G$ is abelian, then $G$ must be cyclic.
\item Show that if $G$ is nonabelian, then $G$ must contain
an element $x$ of order 2 and an element $y$ of order 3,
and moreover it must be the case that $xyx = y^{-1}.$
\end{enumerate}

\item Consider a cube in Euclidean space. The group $R$ of all rigid
motions
of the cube (reflections not allowed) has order 24. Paint the
vertices black and white so that if two vertices are joined by
an edge, then they have opposite colour. Let $G$ be the subgroup
of $R$ consisting of those rigid motions which preserve the colouring
(black corners go to black corners and white corners to white ones).
Describe the 12 elements of $G$. Show that $G$ has no subgroup
of order 6.


\item Let $\Omega = \mathbb Z$. Let $\mbox{Sym}(\Omega)$ denote
the group of all bijections from $\Omega$ to $\Omega$ under
composition of maps. Let $\alpha \in \mbox{Sym}(\Omega)$ be
such that $(x)\alpha = x+2\ \forall x \in \mathbb Z$ and 
let $\beta$ be the bijection which swaps $0$ and $1$, but fixes
all other integers. Let $G = \langle \alpha, \beta \rangle$,
so $G$ is a finitely generated subgroup of $\mbox{Sym}(\Omega)$.
Let $X = \{ \alpha^{-i} \beta \alpha^i \mid  i \in \mathbb Z \}.$
Let $H = \langle X \rangle$. Show that $H$ is not finitely generated
(i.e. there does not exist a finite subset $Y$ of $H$ such that
$H = \langle Y \rangle$). {\em Hint: the } support {\em of a bijection
is the set of elements which are not fixed by the bijection. Show 
that all elements of $H$ have finite support, and think about the
consequences of this.}

\item Consider the group of bijections from $\mathbb R^3$ to $\mathbb R^3$
under composition of maps. Let $i$ denote the bijection which is clockwise
rotation through $\pi/2$ about the $x$ axis, and $j$ denote the bijection which is clockwise
rotation through $\pi/2$ about the $y$ axis. Let $k = ij$. Describe
$k$ geometrically. Discuss the group $\langle i, j \rangle$ : what is its order 
and what does its multiplication table look like?
\end{enumerate}
\end{document}