\documentclass[12pt]{article}
\usepackage{amssymb,amsmath,amsthm}
\usepackage{color}
\usepackage{verbatim}
%%% Margins
\setlength{\topmargin}{0pt}
\setlength{\headheight}{0pt}
\setlength{\headsep}{0pt}
\setlength{\topskip}{0pt}
\setlength{\footskip}{0pt}
\setlength{\oddsidemargin}{-20pt}
\setlength{\textheight}{9in}
\setlength{\textwidth}{6.7in}
\setlength{\parindent}{0pt}
\setlength{\parskip}{4ex}
%%% Environments %%%
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{claim}[theorem]{Claim}
\theoremstyle{definition}
\newtheorem{define}{Definition}
\newtheorem{remark}[define]{Remark}
\newtheorem{example}{Example}
\newtheorem{question}{Question}
\newtheorem{algorithm}{Algorithm}
\numberwithin{equation}{section}
%%% Macros %%%
% Some macros to get you started
\DeclareMathOperator{\Vol}{Vol}
\DeclareMathOperator{\im}{im}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\QQ}{\mathbb{Q}}
\begin{document}
\pagestyle{empty}
\begin{center}
{\large MATH 108 Winter 2019 \ - \ {\bf Problem Set 8}}
% Put your name and section here.
{\large due March 15}
\end{center}
\begin{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item \label{GH}
\begin{enumerate}
\item Given that $G = \{e,u,v,w\}$ is a group of order 4 with identity $e$, $u^2 = v$ and $v^2 = e$, construct the operation table for $G$.
\item Given that $H = \{a,b,c,d\}$ is a group of order 4 with identity $a$ and $b^2 = c^2 = d^2 = a$, construct the operation table for $H$.
\end{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item Find all subgroups of the symmetric group on three elements, $\mathfrak{S}_3$.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item Let $G$ be the symmetry group of a square. Let $e \in G$ be the identity element. Let $r \in G$ denote a $90^\circ$ counter-clockwise rotation of the square. Let $s \in G$ denote a reflection of the square across a vertical line through the center. List the eight elements of $G$ in terms of $r$ and $s$ and find the order of each element. (You can physically model $G$ by rotating and flipping a square of paper.)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item Let $f:\RR \to \RR$ be defined by $f(x) = x^3$.
\begin{enumerate}
\item Is $f:(\RR,+) \to (\RR,+)$ a group homomorphism? Justify your answer.
\item Is $f:(\RR\setminus\{0\},\cdot) \to (\RR\setminus\{0\},\cdot)$ a group homomorphism? Justify your answer.
\end{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item Let $G$ be a group (represented multiplicatively) and $H$ a subgroup of $G$. Define a relation $\sim$ on $G$ by $a \sim b$ if and only if $ab^{-1} \in H$.
\begin{enumerate}
\item Prove that $\sim$ is an equivalence relation.
\item Suppose that $G$ is finite. Prove that every equivalence class of $\sim$ has size $|H|$. Conclude that $|H|$ divides $|G|$.
\end{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item For each pair of groups, demonstrate an isomorphism between them or prove that they are not isomorphic.
\begin{enumerate}
\item $(\ZZ/4\ZZ, +)$ and $(\{1,-1,i,-i\},\cdot)$.
\item $\mathfrak{S}_3$ and $(\ZZ/6\ZZ, +)$.
\item $G$ and $H$ defined in Problem \ref{GH}.
\item $(\ZZ/7\ZZ \setminus \{\overline{0}\},\cdot)$ and $(\ZZ/6\ZZ, +)$.
\end{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\item Let $G$ and $H$ be groups with $e$ the identity element of $H$. For group homomorphism $f:G \to H$, the {\em kernel} of $f$, denoted $\ker(f)$, is defined as
\[ \ker(f) = \{ g\in G \mid f(g) = e \}. \]
Prove that $\ker(f)$ is a subgroup of $G$.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{enumerate}
\end{document}