\documentclass[12pt]{article}
\usepackage{fancyhdr,fancybox,amssymb,epsfig, amsmath, latexsym}
\usepackage[all]{xy}
\usepackage{tikz}
\usetikzlibrary{arrows}
\usetikzlibrary{decorations.markings}
\usetikzlibrary{decorations.pathreplacing}
\usetikzlibrary{patterns}
\usetikzlibrary{shapes.geometric}
%\usepackage{tikz-3dplot}
\usepackage{tkz-graph}
\usepackage{tikz-cd}
\usepackage{enumerate}
\usepackage{multicol}
\usepackage{bm}

\topmargin=-.5in
\headsep=0.2in
\oddsidemargin=0in
\textwidth=6.7in
\textheight=9.2in
\footskip=.5in


% Useful math macros
\def\ds{\displaystyle}
\def\bold{\bm}     % Change ``bm'' to ''mathbf'' for upright boldface.

\newcommand{\vv}[2]{\begin{bmatrix} #1 \\ #2 \end{bmatrix}}
\newcommand{\vvv}[3]{\begin{bmatrix} #1 \\ #2 \\ #3 \end{bmatrix}}
\newcommand{\vvvv}[4]{\begin{bmatrix} #1 \\ #2 \\ #3 \\ #4 \end{bmatrix}}
\newcommand{\vvvvv}[5]{\begin{bmatrix} #1 \\ #2 \\ #3 \\ #4 \\ #5 \end{bmatrix}}
\def\<{\langle}
\def\>{\rangle}
\newcommand{\ceil}[1] {\left\lceil #1 \right\rceil}
\newcommand{\floor}[1] {\left\lfloor #1 \right\rfloor}
\def\normal{\lhd}
\def\normaleq{\unlhd}
\def\nnormal{\ntriangleleft}
\def\nnormaleq{\ntrianglelefteq}
\def\Dot{\bm{.}}

%\def\subgroup{\leqslant}
%\def\nsubgroup{\nleqslant}
%\def\normal{\leqslant}
%\def\nnormal{\nleqslant}

\newcommand{\rddots}{\rotatebox{90}{$\ddots$}}
\def\setmin{-}

\def\Sum{\sum\limits}
\def\Prod{\prod\limits}
\def\Cap{\mathop\cap\limits}
\def\Cup{\mathop\cup\limits}
\def\Times{\mathop\times\limits}
\def\Oplus{\mathop\oplus\limits}
\def\Lim{\mathop\lim\limits}

\def\And{\wedge}
\def\Or{\vee}
\def\Not{\neg}

\def\longto{\longrightarrow}
\def\into{\hookrightarrow}
\def\longinto{\longhookrightarrow}

\def\A{\mathbb{A}}
\def\C{\mathbb{C}}
\def\F{\mathbb{F}}
\def\HH{\mathbb{H}}
\def\N{\mathbb{N}}
\def\Q{\mathbb{Q}}
\def\R{\mathbb{R}}
\def\Z{\mathbb{Z}}

\DeclareMathOperator{\Id}{Id}
\DeclareMathOperator{\Lcm}{lcm}
\DeclareMathOperator{\del}{\nabla}
\DeclareMathOperator{\Trace}{tr}
\DeclareMathOperator{\Span}{Span}
\DeclareMathOperator{\Image}{Im}
\DeclareMathOperator\Perm{Perm}
\DeclareMathOperator\Char{char}
\DeclareMathOperator\Aut{Aut}
\DeclareMathOperator\Inn{Inn}
\DeclareMathOperator\Out{Out}
\DeclareMathOperator\Orb{Orb}
\DeclareMathOperator\Stab{Stab}
\DeclareMathOperator\Fix{Fix}
\DeclareMathOperator\Syl{Syl}
\DeclareMathOperator\Pre{Pre}
\DeclareMathOperator\Ker{Ker}
\DeclareMathOperator\Sym{Sym}
\DeclareMathOperator\Mat{Mat}
\DeclareMathOperator{\cl}{cl}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\SL}{SL}
\DeclareMathOperator\PGL{PGL}
\DeclareMathOperator\PSL{PSL}
\DeclareMathOperator\PSU{PSU}
\DeclareMathOperator\PSP{PsP}
\DeclareMathOperator\Heis{Heis}
\DeclareMathOperator\Dih{D}
\DeclareMathOperator\Dic{Dic}
\DeclareMathOperator\SD{SD}
\DeclareMathOperator\Mod{Mod}
\DeclareMathOperator\Gal{Gal}
\DeclareMathOperator\Deg{Deg}

\DeclareMathOperator\Rect{\mathbf{Rect}}
\DeclareMathOperator\Tri{\mathbf{Tri}}
\DeclareMathOperator\Coin{\mathbf{Coin}}
\DeclareMathOperator\BOX{\mathbf{Box}}
\DeclareMathOperator\Light{\mathbf{Light}}
\DeclareMathOperator\Sq{\mathbf{Sq}}

% Colors 
\usepackage{xcolor}
\usepackage{color}
\definecolor{darkblue}{rgb}{0, 0, .6}
\definecolor{grey}{rgb}{.7, .7, .7}
\newcommand{\balert}[1]{\textcolor{blue}{#1}}
\newcommand{\galert}[1]{\textcolor{darkgreen}{#1}}
\newcommand{\palert}[1]{\textcolor{amethyst}{#1}}
\newcommand{\Alert}[1]{\textcolor{Red}{#1}}
\newcommand{\Balert}[1]{\textcolor{Blue}{#1}}
\newcommand{\Galert}[1]{\textcolor{darkgreen}{#1}}

%\hypersetup{colorlinks=true,linkcolor=darkblue,anchorcolor=darkblue,
%  citecolor=darkblue,pagecolor=darkblue,urlcolor=darkblue,
%  pdftitle={},pdfauthor={}
%}                               %% THIS CAUSES COMPILER ERROR
\colorlet{lightred}{red!30!white}
\colorlet{lightblue}{blue!30!white}
\colorlet{lightyellow}{yellow!30!white}
\colorlet{keylime}{green!10!white}
\colorlet{darkgreen}{green!50!black}
\colorlet{midgreen}{green!70!black}
\colorlet{lightgreen}{darkgreen!30!white}
\colorlet{lightpurple}{violet!60!white}
\colorlet{darkgrey}{black!70}
\colorlet{midgrey}{black!50}
\definecolor{Red}{rgb}{.9,0,0}
\definecolor{Blue}{rgb}{0,0,.9}
\definecolor{Green}{rgb}{0,.9,0}

\definecolor{conj-purple}{HTML}{E4B7FF}
\definecolor{conj-orange}{HTML}{FFD4B7}

\colorlet{lred}{red!50!white}
\definecolor{lblue}{rgb}{0.60, 0.75, 1}
\colorlet{lgreen}{green!40!white}
\colorlet{lyellow}{yellow!30!white}
%\definecolor{lpurple}{rgb}{0.6 0.35 0.8}
\definecolor{lpurple}{rgb}{0.7 0.45 0.9}
\colorlet{lorange}{orange!50!white}
\definecolor{lightgrey}{rgb}{.85, .85, .85}
\definecolor{faded}{rgb}{.75,.75,.75}
\definecolor{midgrey}{rgb}{.5,.5,.5}
%\definecolor{midgrey}{rgb}{.35, .35, .35}
%\definecolor{amethyst}{rgb}{0.6 0.4 0.8}
\definecolor{amethyst}{rgb}{0.54 0.17 0.89}
\definecolor{amber}{rgb}{1.0 0.49 0.0}

\colorlet{lightestblue}{blue!15!white}
\colorlet{midblue}{blue!45!white}

\colorlet{lightestred}{red!15!white}
\colorlet{midred}{red!45!white}


% COLORS FOR MULTIPLICATION TABLES  
\colorlet{tred}{red!70!white}
\colorlet{tblue}{blue!60!white}     %(higher number is more faded)
\colorlet{tgreen}{green!75!black}   %(higher number is brighter)
\colorlet{tyellow}{yellow!60!white}
\colorlet{tlime}{green!80!white}
\colorlet{tpink}{pink}
\colorlet{tpurple}{lpurple}
\colorlet{torange}{orange}

\newcommand*{\n}{5}   % counter for Cayley tables

%% CAYLEY DIAGRAM GLOBAL DEFAULTS
\tikzstyle{v} = [circle, draw, fill=lightgrey,inner sep=0pt, 
  minimum size=6mm]
\tikzstyle{r} = [draw, very thick, Red, -stealth]        % Red --->
\tikzstyle{b} = [draw, very thick, Blue, -stealth]       % Blue --->
\tikzstyle{g} = [draw, very thick, darkgreen, -stealth]  % Green --->
\tikzstyle{p} = [draw, very thick, amethyst, -stealth]     % Purple --->
\tikzstyle{rr} = [draw, very thick, Red]                 % Red ----
\tikzstyle{bb} = [draw, very thick, Blue]                % Blue ----
\tikzstyle{gg} = [draw, very thick, darkgreen]           % Green ----
\tikzstyle{oo} = [draw, very thick, orange]           % Purple ----

\tikzstyle{R} = [draw, very thick, Red, -stealth']        % Red --->
\tikzstyle{B} = [draw, very thick, Blue, -stealth']       % Blue --->
\tikzstyle{G} = [draw, very thick, darkgreen, -stealth']  % Green --->

\tikzset{r/.style={draw, very thick, Red, -stealth}}        % Red --->
\tikzset{R/.style={draw, very thick, Red, -stealth'}}        % Red --->

\tikzset{v/.style={circle, draw, fill=lightgrey,inner sep=0pt, 
  minimum size=6mm}}

\renewcommand\labelitemi{\rule[0.12em]{0.4em}{0.4em}}
\renewcommand\labelitemii{\normalfont\bfseries \rule[0.15em]{0.3em}{0.3em}}
\renewcommand\labelitemiii{\textasteriskcentered}
\renewcommand\labelitemiv{\textperiodcentered}

\renewcommand{\footrulewidth}{1pt}
\newenvironment{proof}[1][Proof.]{\smallskip\begin{trivlist}
    \item[\hskip \labelsep {\sffamily #1}]}{\qed\end{trivlist}\bigskip}
\newenvironment{sol}[1][Solution.]{\smallskip\begin{trivlist}
    \item[\hskip \labelsep {\sffamily #1}]}{\qed\end{trivlist}\bigskip}
\newenvironment{fminipage}%
{\setlength{\fboxsep}{15pt}\begin{Sbox}\begin{minipage}}%
{\end{minipage}\end{Sbox}\fbox{\TheSbox}}
\newcommand{\qed}{\hfill \ensuremath{\Box}}
\newcommand{\disp}{\displaystyle}


\pagestyle{fancy} \lhead{{\sf Homework 6 $|$ Due February 23 (Friday)
}} \rhead{\thepage} \cfoot{{\sf Math 4120/6120 $|$ Visual Algebra $|$
    Spring 2024 $|$ M.~Macauley}}

\begin{document}

%$\;$

\begin{enumerate}

\item Below are three Cayley diagrams of $A_4$, each highlighting the left
  cosets of a different subgroup. We can take $a=(123)$, $b=(134)$,
  $x=(12)(34)$, and $z=(13)(24)$. \vspace{-5mm}
  
  \tikzstyle{v-small} = [circle, draw, fill=lightgrey,inner sep=0pt,
  minimum size=5mm]
  \[
  \hspace*{-3mm}
  \begin{tikzpicture}[scale=1.05]
    \tikzstyle{every node}=[font=\scriptsize]
    \begin{scope}[shift={(0,-1.1)},scale=.7] 
      \draw[lightestblue, fill=lightestblue] (.75,.75) circle (15mm);
      \draw[lightestblue, fill=lightestblue] (4.25,.75) circle (15mm);
      \draw[lightestblue, fill=lightestblue] (2.5,3.75) circle (15mm);
      \node (e) at (1.75,4.5) [v-small] {$e$};
      \node (x) at (3.25,4.5) [v-small] {$x$};
      \node (z) at (1.75,3) [v-small] {$z$};
      \node (y) at (3.25,3) [v-small] {$y$};
      \node (a) at (3.5,1.5) [v-small] {$a$};
      \node (c) at (5,1.5) [v-small] {$c$};
      \node (d) at (3.5,0) [v-small] {$d$};
      \node (b) at (5,0) [v-small] {$b$};
      \node (dd) at (1.5,0) [v-small] {$d^2$};
      \node (bb) at (1.5,1.5) [v-small] {$b^2$};
      \node (aa) at (0,1.5) [v-small] {$a^2$};
      \node (cc) at (0,0) [v-small] {$c^2$};
      \draw [r] (x) to [bend left=50] (b);
      \draw [r] (e) to [bend left=60] (a);
      \draw [r] (z) to [bend left=60] (c);
      \draw [r] (y) to [bend left=60] (d);
      \draw [r] (a) to [bend left] (aa);
      \draw [r] (b) to [bend left=35] (cc);
      \draw [r] (c) to [bend left=65] (dd);
      \draw [r] (d) to [bend left=40] (bb);
      \draw [r] (aa) to [bend left] (e);
      \draw [r] (bb) to [bend left=40] (y);
      \draw [r] (cc) to [bend left=25] (x);
      \draw [r] (dd) to [bend left] (z);
      \node at (1.75,4.5) [v-small] {$e$};
      \node at (.85,4.5) {\normalsize$\bm{N}$};
      \draw [bb] (e) to (x);
      \draw [bb] (z) to (y);
      \draw [gg] (e) to (z);
      \draw [gg] (x) to (y);
      \draw [bb] (a) to (c);
      \draw [bb] (d) to (b);
      \draw [gg] (a) to (d);
      \draw [gg] (c) to (b);
      \draw [bb] (aa) to (bb);
      \draw [bb] (cc) to (dd);
      \draw [gg] (aa) to (cc);
      \draw [gg] (bb) to (dd);
    \end{scope}
    %%
    \begin{scope}[shift={(12.5,0)},scale=.6]
      \draw[lightestblue, fill=lightestblue] (0,1.625) ellipse (.7 and 1.05);
      \draw[color=lightestred,fill=lightestred] (-1.407,-.8125)
      circle [x radius=.7cm, y radius=1.05cm, rotate=-60];
      \draw[color=lightestred,fill=lightestred] (1.407,-.8125)
      circle [x radius=.7cm, y radius=1.05cm, rotate=60];
      \draw[lightestblue, fill=lightestblue] (0,-2.5) ellipse (3.3 and .85);
      \draw[color=lightestred,fill=lightestred] (2.273,1.3125)
      circle [x radius=.9cm, y radius=3.3cm, rotate=30];
      \draw[color=lightestred,fill=lightestred] (-2.273,1.3125)
      circle [x radius=.9cm, y radius=3.3cm, rotate=-30];
      \node (l1) at (0,2.25) [v-small] {$x$};
      \node (l2) at (-.866,3.75) [v-small] {$b$};
      \node (t1) at (0,1) [v-small] {$e$};
      \node (t2) at (-.866,-.5) [v-small] {$a^2$};
      \node (t3) at (.866,-.5) [v-small] {$a$};
      \node (l3) at (.866,3.75) [v-small] {$c^2$};
      \node (r1) at (3.68,-1.125) [v-small] {$d^2$};
      \node (r2) at (2.814,-2.5) [v-small] {$z$};
      \node (r3) at (1.948,-1.125) [v-small] {$c$};
      \node (m2) at (-1.948,-1.125) [v-small] {$b^2$};
      \node (m1) at (-3.68,-1.125) [v-small] {$d$};
      \node (m3) at (-2.814,-2.5) [v-small] {$y$};
      \node at (.7,1.625) {\normalsize$\bm{K}$};
      \draw [bb] (l2) to (m1);
      \draw [bb] (m2) to (t2);
      \draw [bb] (r2) to (m3);
      \draw [bb] (l1) to (t1);
      \draw [bb] (l3) to (r1);
      \draw [bb] (r3) to (t3);
      \draw [r] (l1) to (l2);
      \draw [r] (l2) to (l3);
      \draw [r] (l3) to (l1);
      \draw [r] (t1) to (t3);
      \draw [r] (t2) to (t1);
      \draw [r] (t3) to (t2);
      \draw [r] (r1) to (r2);
      \draw [r] (r2) to (r3);
      \draw [r] (r3) to (r1);
      \draw [r] (m1) to (m2);
      \draw [r] (m2) to (m3);
      \draw [r] (m3) to (m1);
      %\node at (0,-.2.25) {};
    \end{scope}
    %%
    \begin{scope}[shift={(7.25,.3)},scale=.65]
      \draw[lightestblue, fill=lightestblue] (-1.2,0) circle (1.2);
      \draw[lightestred, fill=lightestred] (1.2,0) circle (1.2);
      \draw[lightestred, fill=lightestred] (0,2.7) ellipse (3.4 and 1.05);
      \draw[lightestred, fill=lightestred] (0,-2.7) ellipse (3.4 and 1.05);
      \node (a2) at (45:1) [v-small] {$b$};
      \node (a4) at (135:1) [v-small] {$e$}; %{$\tiny *$};
      \node (a6) at (225:1) [v-small] {$a$};
      \node (a8) at (315:1) [v-small] {$x$};
      \node (b1) at (0:2) [v-small] {$c^2$};
      \node (b3) at (90:2) [v-small] {$b^2$};
      \node (b5) at (180:2) [v-small] {$a^2$};
      \node (b7) at (270:2) [v-small] {$d^2$};
      \node (c2) at (45:4) [v-small] {$d$};
      \node (c4) at (135:4) [v-small] {$y$};
      \node (c6) at (225:4) [v-small] {$c$};
      \node (c8) at (315:4) [v-small] {$z$};
      \node at (-1.4,1.2) {\normalsize$\bm{H}$};
      \draw [r] (b1) to (a8); \draw [r] (a8) to (a2); \draw [r] (a2) to (b1);
      \draw [r] (a4) to (a6); \draw [r] (a6) to (b5); \draw [r] (b5) to (a4);
      \draw [r] (c2) to (b3); \draw [r] (b3) to (c4); \draw [r] (c4) to (c2);
      \draw [r] (c6) to (b7); \draw [r] (b7) to (c8); \draw [r] (c8) to (c6);
      \draw [p] (b1) to (c2); \draw [p] (c2) to (c8); \draw [p] (c8) to (b1);
      \draw [p] (b5) to (c6); \draw [p] (c6) to (c4); \draw [p] (c4) to (b5);
      \draw [p] (b3) to (a2); \draw [p] (a2) to (a4); \draw [p] (a4) to (b3);
      \draw [p] (a6) to (a8); \draw [p] (a8) to (b7); \draw [p] (b7) to (a6);
    \end{scope}
    %%
  \end{tikzpicture}
  \]
  \begin{enumerate}
    \item For each subgroup shown above, partition $A_4$ into its right
      cosets. Write them as subsets of $A_4$, consisting of permutations
      in cycle notation. Also, highlight them by colors on a fresh
      copy of the Cayley diagrams.
    \item For each left coset $gH$, illustrate the construction of the
      conjugate subgroup $gHg^{-1}$ on a fresh copy of the Cayley
      diagram. Repeat this for $N$ and $K$.
  \end{enumerate}
 
  %%-------------------------------------------------------------------


\item Show that $A\times\{1_B\}$ is a normal subgroup of $A\times B$,
  where $1_B$ is the identity element of $B$. That is, show first that
  it is a subgroup, and then that it is normal. 

  %%-------------------------------------------------------------------
  
\item Let $G$ be a group, not necessarily finite, and $H\leq G$.
  \begin{enumerate}
  \item Show that for any fixed $x\in G$, we have an equality
    $\{gx\mid g\in G\}=G$ of sets.
  \item Show that the subgroup
    \begin{equation*}\label{eqn:largest-normal}
    N:=\bigcap_{x\in G} xHx^{-1}
    \end{equation*}
    is normal in $G$.
  \item Show that \emph{every} normal subgroup $K\normaleq G$ contained
    in $H$ is contained in $N$. In other words, $N$ is the
    \emph{largest normal subgroup} of $G$ contained in $H$.


    
%    the intersection of
%    all subgroups conjugate to $H$ is the \emph{largest} normal
%    subgroup it contains.
  \end{enumerate}
  
    
    
  
  %%-------------------------------------------------------------------
  
\item Shown below is a Cayley diagram for $G=C_4\rtimes C_4=\<a,b\>$,
  and the construction of the conjugate subgroup $aBa^{-1}$, where
  $B=\<b\>$.
  \[
  \hspace*{-1em}
  \tikzstyle{v} = [circle, draw, fill=lightgrey,inner sep=0pt, 
    minimum size=7mm]
  \tikzstyle{v-r} = [circle, draw, fill=lightred,inner sep=0pt, 
    minimum size=7mm]
  \tikzstyle{v-b} = [circle, draw, fill=lightblue,inner sep=0pt, 
    minimum size=7mm]
  \tikzstyle{v-g} = [circle, draw, fill=grey,inner sep=0pt, 
    minimum size=7mm]
  \tikzstyle{b-faded} = [draw, very thick, lightblue, -stealth]
  \tikzstyle{r-faded} = [draw, very thick, lightred, -stealth]
  \begin{tikzpicture}[scale=1.2]
    %%
    \begin{scope}[shift={(-4.65,0)}]
      \tikzstyle{every node}=[font=\footnotesize]
      \node at (0,3.75) {\normalsize $\Balert{B}$};
      \node (e) at (0,3) [v-b] {$1$};
      \node (b) at (0,2) [v-b] {$b$};
      \node (b2) at (0,1) [v-b] {$b^2$};
      \node (b3) at (0,0) [v-b] {$b^3$};
      \node (a) at (1,3) [v] {$a$};
      \node (ab) at (1,2) [v] {$ab$};
      \node (ab2) at (1,1) [v] {$ab^2$};
      \node (ab3) at (1,0) [v] {$ab^3$};
      \node (a2) at (2,3) [v] {$a^2$};
      \node (a2b) at (2,2) [v] {$a^2b$};
      \node (a2b2) at (2,1) [v] {$a^2\!b^2$};
      \node (a2b3) at (2,0) [v] {$a^2\!b^3$};
      \node (a3) at (3,3) [v] {$a^3$};
      \node (a3b) at (3,2) [v] {$a^3b$};
      \node (a3b2) at (3,1) [v] {$a^3\!b^2$};
      \node (a3b3) at (3,0) [v] {$a^3\!b^3$};
      \draw [r-faded] (e) to (a);
      \draw [r-faded] (a) to (a2);
      \draw [r-faded] (a2) to (a3);
      \draw [r-faded] (a3) to [bend right=25] (e);
      \draw [r-faded] (a3b) to (a2b);
      \draw [r-faded] (a2b) to (ab);
      \draw [r-faded] (ab) to (b);
      \draw [r-faded] (b) to [bend left=25] (a3b);
      \draw [r-faded] (b2) to (ab2);
      \draw [r-faded] (ab2) to (a2b2);
      \draw [r-faded] (a2b2) to (a3b2);
      \draw [r-faded] (a3b2) to [bend left=25] (b2);
      \draw [r-faded] (a3b3) to (a2b3);
      \draw [r-faded] (a2b3) to (ab3);
      \draw [r-faded] (ab3) to (b3);
      \draw [r-faded] (b3) to [bend right=25] (a3b3);
      \draw [b] (e) to (b);
      \draw [b] (b) to (b2);
      \draw [b] (b2) to (b3);
      \draw [b] (b3) to [bend left=25] (e);
      \draw [b-faded] (a) to (ab);
      \draw [b-faded] (ab) to (ab2);
      \draw [b-faded] (ab2) to (ab3);
      \draw [b-faded] (ab3) to [bend left=25] (a);
      \draw [b-faded] (a2) to (a2b);
      \draw [b-faded] (a2b) to (a2b2);
      \draw [b-faded] (a2b2) to (a2b3);
      \draw [b-faded] (a2b3) to [bend right=25] (a2);
      \draw [b-faded] (a3) to (a3b);
      \draw [b-faded] (a3b) to (a3b2);
      \draw [b-faded] (a3b2) to (a3b3);
      \draw [b-faded] (a3b3) to [bend right=25] (a3);
      %\node at (-1,3) {$\color{Blue}aB$};
    \end{scope}
    %%
    \begin{scope}[shift={(0,0)}]
      \tikzstyle{every node}=[font=\footnotesize]
      \node at (1,3.75) {\normalsize $\color{Blue}aB$};
      \node (e) at (0,3) [v-g] {$1$};
      \node (b) at (0,2) [v] {$b$};
      \node (b2) at (0,1) [v] {$b^2$};
      \node (b3) at (0,0) [v] {$b^3$};
      \node (a) at (1,3) [v-b] {$a$};
      \node (ab) at (1,2) [v-b] {$ab$};
      \node (ab2) at (1,1) [v-b] {$ab^2$};
      \node (ab3) at (1,0) [v-b] {$ab^3$};
      \node (a2) at (2,3) [v] {$a^2$};
      \node (a2b) at (2,2) [v] {$a^2b$};
      \node (a2b2) at (2,1) [v] {$a^2\!b^2$};
      \node (a2b3) at (2,0) [v] {$a^2\!b^3$};
      \node (a3) at (3,3) [v] {$a^3$};
      \node (a3b) at (3,2) [v] {$a^3b$};
      \node (a3b2) at (3,1) [v] {$a^3\!b^2$};
      \node (a3b3) at (3,0) [v] {$a^3\!b^3$};
      \draw [r] (e) to (a);
      \draw [r-faded] (a) to (a2);
      \draw [r-faded] (a2) to (a3);
      \draw [r-faded] (a3) to [bend right=25] (e);
      \draw [r-faded] (a3b) to (a2b);
      \draw [r-faded] (a2b) to (ab);
      \draw [r-faded] (ab) to (b);
      \draw [r-faded] (b) to [bend left=25] (a3b);
      \draw [r-faded] (b2) to (ab2);
      \draw [r-faded] (ab2) to (a2b2);
      \draw [r-faded] (a2b2) to (a3b2);
      \draw [r-faded] (a3b2) to [bend left=25] (b2);
      \draw [r-faded] (a3b3) to (a2b3);
      \draw [r-faded] (a2b3) to (ab3);
      \draw [r-faded] (ab3) to (b3);
      \draw [r-faded] (b3) to [bend right=25] (a3b3);
      \draw [b-faded] (e) to (b);
      \draw [b-faded] (b) to (b2);
      \draw [b-faded] (b2) to (b3);
      \draw [b-faded] (b3) to [bend left=25] (e);
      \draw [b] (a) to (ab);
      \draw [b] (ab) to (ab2);
      \draw [b] (ab2) to (ab3);
      \draw [b] (ab3) to [bend left=25] (a);
      \draw [b-faded] (a2) to (a2b);
      \draw [b-faded] (a2b) to (a2b2);
      \draw [b-faded] (a2b2) to (a2b3);
      \draw [b-faded] (a2b3) to [bend right=25] (a2);
      \draw [b-faded] (a3) to (a3b);
      \draw [b-faded] (a3b) to (a3b2);
      \draw [b-faded] (a3b2) to (a3b3);
      \draw [b-faded] (a3b3) to [bend right=25] (a3);
      %\node at (-1,3) {$\color{Blue}aB$};
        \end{scope}
        %%
    \begin{scope}[shift={(4.65,0)}]
      \tikzstyle{every node}=[font=\footnotesize]
      \node at (0,3.75) {\normalsize ${\color{Blue}aB}{\color{Blue}a^{-1}}$};
      \node (e) at (0,3) [v-b] {$1$};
      \node (b) at (0,2) [v] {$b$};
      \node (b2) at (0,1) [v-b] {$b^2$};
      \node (b3) at (0,0) [v] {$b^3$};
      \node (a) at (1,3) [v-g] {$a$};
      \node (ab) at (1,2) [v-g] {$ab$};
      \node (ab2) at (1,1) [v-g] {$ab^2$};
      \node (ab3) at (1,0) [v-g] {$ab^3$};
      \node (a2) at (2,3) [v] {$a^2$};
      \node (a2b) at (2,2) [v-b] {$a^2b$};
      \node (a2b2) at (2,1) [v] {$a^2\!b^2$};
      \node (a2b3) at (2,0) [v-b] {$a^2\!b^3$};
      \node (a3) at (3,3) [v] {$a^3$};
      \node (a3b) at (3,2) [v] {$a^3b$};
      \node (a3b2) at (3,1) [v] {$a^3\!b^2$};
      \node (a3b3) at (3,0) [v] {$a^3\!b^3$};
      \draw [r] (e) to (a);
      \draw [r-faded] (a) to (a2);
      \draw [r-faded] (a2) to (a3);
      \draw [r-faded] (a3) to [bend right=25] (e);
      \draw [r-faded] (a3b) to (a2b);
      \draw [r] (a2b) to (ab);
      \draw [r-faded] (ab) to (b);
      \draw [r-faded] (b) to [bend left=25] (a3b);
      \draw [r] (b2) to (ab2);
      \draw [r-faded] (ab2) to (a2b2);
      \draw [r-faded] (a2b2) to (a3b2);
      \draw [r-faded] (a3b2) to [bend left=25] (b2);
      \draw [r-faded] (a3b3) to (a2b3);
      \draw [r] (a2b3) to (ab3);
      \draw [r-faded] (ab3) to (b3);
      \draw [r-faded] (b3) to [bend right=25] (a3b3);
      \draw [b-faded] (e) to (b);
      \draw [b-faded] (b) to (b2);
      \draw [b-faded] (b2) to (b3);
      \draw [b-faded] (b3) to [bend left=25] (e);
      \draw [b] (a) to (ab);
      \draw [b] (ab) to (ab2);
      \draw [b] (ab2) to (ab3);
      \draw [b] (ab3) to [bend left=25] (a);
      \draw [b-faded] (a2) to (a2b);
      \draw [b-faded] (a2b) to (a2b2);
      \draw [b-faded] (a2b2) to (a2b3);
      \draw [b-faded] (a2b3) to [bend right=25] (a2);
      \draw [b-faded] (a3) to (a3b);
      \draw [b-faded] (a3b) to (a3b2);
      \draw [b-faded] (a3b2) to (a3b3);
      \draw [b-faded] (a3b3) to [bend right=25] (a3);
      %\node at (-1,3) {${\color{Blue}aB}{\color{Red}a^{-1}}$};
      %\node at (-1,2) {$\color{black}aB$};
\end{scope}
  \end{tikzpicture}
%\caption{The subgroup $B=\<b\>$ is not normal. On the left is the right coset $Ba$, in the middle is the left coset $aB$, and the blue nodes on the right are the conjugate $aBa^{-1}\neq B$.}\label{fig3:aBa^{-1}}
\]  
\begin{enumerate}[(a)]

\item For both order-$4$ subgroups, $\<ab\>$ and $\<a^2,b^2\>$,
  illustrate the construction of its conjugate subgroups on the Cayley diagram, in the same $3$-step process that was done above for $B=\<b\>$. Carry this out for each of its three distinct left cosets (excluding the subgroup itself).
  
\item The subgroup lattice of $G=\<a,b\>$ is shown below. Re-draw this
  with the subgroups written by generator(s). Then partition
    the subgroups into conjugacy classes, and fully justify your
    answer. \vspace{-2mm}
    \[
    \hspace*{-3em}
    \begin{tikzpicture}[shorten >= -2pt, shorten <= -2pt,xscale=1.2]
      \tikzstyle{every node}=[font=\normalsize]
      \begin{scope}[shift={(0,0)},scale=1.5]
        \node (G) at (0,4) {$C_4\rtimes C_4$};
        \node (C4xC2-1) at (-1.5,3) {$C_4\times C_2$};
        \node (C4xC2-2) at (0,3) {$C_4\times C_2$};
        \node (C4xC2-3) at (1.5,3) {$C_4\times C_2$};
        \node (C4-1) at (-3,2) {$C_4$};
        \node (C4-2) at (-2,2) {$C_4$};
        \node (C4-3) at (-1.33,2) {$C_4$};
        \node (C4-4) at (-.67,2) {$C_4$};
        \node (C4-5) at (1.5,2) {$C_4$};
        \node (C4-6) at (3,2) {$C_4$};
        \node (V4) at (0,2) {$V_4$};
        \node (C2-1) at (-1.5,1) {$C_2$};
        \node (C2-2) at (0,1) {$C_2$};
        \node (C2-3) at (1.5,1) {$C_2$};
        \node (1) at (0,0) {$\<1\>$};
        \draw (G) to (C4xC2-1); \draw (G) to (C4xC2-2); \draw (G) to (C4xC2-3);
        \draw (C4xC2-1) to (C4-1);
        \draw (C4xC2-1) to (C4-2);
        \draw (C4xC2-1) to (V4);
        \draw (C4xC2-2) to (C4-3);
        \draw (C4xC2-2) to (C4-4);
        \draw (C4xC2-2) to (V4); 
        \draw (C4xC2-3) to (C4-5);
        \draw (C4xC2-3) to (C4-6);
        \draw (C4xC2-3) to (V4);
        \draw (C4-1) to (C2-1); \draw (C4-2) to (C2-1);
        \draw (C4-3) to (C2-1); \draw (C4-4) to (C2-1);
        \draw (V4) to (C2-1); \draw (V4) to (C2-2); \draw (V4) to (C2-3);
        \draw (C4-5) to (C2-3); \draw (C4-6) to (C2-3);
        \draw (C2-1) to (1); \draw (C2-2) to (1); \draw (C2-3) to (1);
        %\draw[bend right=5] (G) to (s); 
        %\draw (G) to (st); \draw (G) to (s3t);
        %\draw (G) to (ts); \draw (G) to (ts3); \draw (G) to (s2-t);
        %%
        %\draw (s2-t) to (t); \draw (t) to (1);
        %\draw (s2-t) to (s2); \draw (s2-t) to (ts2);
        %\draw (s2-t) to (sts);
        %\draw (s2-t) to (s2t2); 
        %\draw[bend left=10] (s2-t) to (s2t);
        %%
        %\draw (s) to (s2); \draw (st) to (ts2); \draw (s3t) to (sts);
        %\draw (ts) to (s2t2); \draw (ts3) to (s2t); 
        %%
        %\draw (1) to (s2); \draw (1) to (ts2); \draw (1) to (sts);
        %\draw (1) to (s2t2); \draw (1) to (s2t);
      \end{scope}
      %%
    \end{tikzpicture}
    \]

  \item Without computing left or right cosets, i.e., only from the
    knowledge of conjugacy classes, find the normalizer of each
    subgroup. Justify your answer.

  \item Construct a (labeled) cycle diagram. Which subgroup is the
    center, $Z(G)$?

  \item Shown below are three copies of the Cayley diagram for $G$,
    each with a peculiar labeling of the nodes. In each diagram, a pair
    of nodes that differ by a sign represent a left coset of one of the
    three order-$2$ subgroups, all of which are normal. \vspace{-4mm}
    \[
    \hspace*{-15mm}
  \tikzstyle{v} = [circle, draw, fill=lightgrey,inner sep=0pt, 
      minimum size=7mm]
    \tikzstyle{v-r} = [circle, draw, fill=lightred,inner sep=0pt, 
      minimum size=7mm]
    \tikzstyle{v-b} = [circle, draw, fill=lightblue,inner sep=0pt, 
      minimum size=7mm]
    \tikzstyle{v-g} = [circle, draw, fill=grey,inner sep=0pt, 
      minimum size=7mm]
    \tikzstyle{b-faded} = [draw, very thick, lightblue, -stealth]
  \tikzstyle{r-faded} = [draw, very thick, lightred, -stealth]
  \begin{tikzpicture}[scale=1.2,auto]
    \begin{scope}[shift={(-4.65,0)}]
      \tikzstyle{every node}=[font=\scriptsize]
      \node (e) at (0,3) [v] {$1$};
      \node (b) at (0,2) [v] {$b$};
      \node (b2) at (0,1) [v] {$b^2$};
      \node (b3) at (0,0) [v] {$b^3$};
      \node (a) at (1,3) [v] {$a$};
      \node (ab) at (1,2) [v] {$ab$};
      \node (ab2) at (1,1) [v] {$ab^2$};
      \node (ab3) at (1,0) [v] {$ab^3$};
      \node (a2) at (2,3) [v] {$-1$};
      \node (a2b) at (2,2) [v] {$-b$};
      \node (a2b2) at (2,1) [v] {$-b^2$};
      \node (a2b3) at (2,0) [v] {$-b^3$};
      \node (a3) at (3,3) [v] {$-a$};
      \node (a3b) at (3,2) [v] {$-ab$};
      \node (a3b2) at (3,1) [v] {$-ab^2$};
      \node (a3b3) at (3,0) [v] {$-ab^3$};
      \draw [r] (e) to (a);
      \draw [r] (a) to (a2);
      \draw [r] (a2) to (a3);
      \draw [r] (a3) to [bend right=25] (e);
      \draw [r] (a3b) to (a2b);
      \draw [r] (a2b) to (ab);
      \draw [r] (ab) to (b);
      \draw [r] (b) to [bend left=25] (a3b);
      \draw [r] (b2) to (ab2);
      \draw [r] (ab2) to (a2b2);
      \draw [r] (a2b2) to (a3b2);
      \draw [r] (a3b2) to [bend left=25] (b2);
      \draw [r] (a3b3) to (a2b3);
      \draw [r] (a2b3) to (ab3);
      \draw [r] (ab3) to (b3);
      \draw [r] (b3) to [bend right=25] (a3b3);
      \draw [b] (e) to (b);
      \draw [b] (b) to (b2);
      \draw [b] (b2) to (b3);
      \draw [b] (b3) to [bend left=25] (e);
      \draw [b] (a) to (ab);
      \draw [b] (ab) to (ab2);
      \draw [b] (ab2) to (ab3);
      \draw [b] (ab3) to [bend left=25] (a);
      \draw [b] (a2) to (a2b);
      \draw [b] (a2b) to (a2b2);
      \draw [b] (a2b2) to (a2b3);
      \draw [b] (a2b3) to [bend right=25] (a2);
      \draw [b] (a3) to (a3b);
      \draw [b] (a3b) to (a3b2);
      \draw [b] (a3b2) to (a3b3);
      \draw [b] (a3b3) to [bend right=25] (a3);
    \end{scope}
    %%
    \begin{scope}[shift={(0,0)}]
      \tikzstyle{every node}=[font=\scriptsize]
      \node at (0,3.75) {};
      \node at (1,3.75) {};
      \node (e) at (0,3) [v] {$1$};
      \node (b) at (0,2) [v] {$b$};
      \node (b2) at (0,1) [v] {$-1$};
      \node (b3) at (0,0) [v] {$-b$};
      \node (a) at (1,3) [v] {$a$};
      \node (ab) at (1,2) [v] {$ab$};
      \node (ab2) at (1,1) [v] {$-a$};
      \node (ab3) at (1,0) [v] {$-ab$};
      \node (a2) at (2,3) [v] {$a^2$};
      \node (a2b) at (2,2) [v] {$a^2b$};
      \node (a2b2) at (2,1) [v] {$-a^2$};
      \node (a2b3) at (2,0) [v] {$-a^2\!b$};
      \node (a3) at (3,3) [v] {$a^3$};
      \node (a3b) at (3,2) [v] {$a^3b$};
      \node (a3b2) at (3,1) [v] {$-a^3$};
      \node (a3b3) at (3,0) [v] {$-a^3\!b$};
      \draw [r] (e) to (a);
      \draw [r] (a) to (a2);
      \draw [r] (a2) to (a3);
      \draw [r] (a3) to [bend right=25] (e);
      \draw [r] (a3b) to (a2b);
      \draw [r] (a2b) to (ab);
      \draw [r] (ab) to (b);
      \draw [r] (b) to [bend left=25] (a3b);
      \draw [r] (b2) to (ab2);
      \draw [r] (ab2) to (a2b2);
      \draw [r] (a2b2) to (a3b2);
      \draw [r] (a3b2) to [bend left=25] (b2);
      \draw [r] (a3b3) to (a2b3);
      \draw [r] (a2b3) to (ab3);
      \draw [r] (ab3) to (b3);
      \draw [r] (b3) to [bend right=25] (a3b3);
      \draw [b] (e) to (b);
      \draw [b] (b) to (b2);
      \draw [b] (b2) to (b3);
      \draw [b] (b3) to [bend left=25] (e);
      \draw [b] (a) to (ab);
      \draw [b] (ab) to (ab2);
      \draw [b] (ab2) to (ab3);
      \draw [b] (ab3) to [bend left=25] (a);
      \draw [b] (a2) to (a2b);
      \draw [b] (a2b) to (a2b2);
      \draw [b] (a2b2) to (a2b3);
      \draw [b] (a2b3) to [bend right=25] (a2);
      \draw [b] (a3) to (a3b);
      \draw [b] (a3b) to (a3b2);
      \draw [b] (a3b2) to (a3b3);
      \draw [b] (a3b3) to [bend right=25] (a3);
    \end{scope}
    %%
    \begin{scope}[shift={(4.65,0)}]
      \tikzstyle{every node}=[font=\scriptsize]
      \node (e) at (0,3) [v] {$1$};
      \node (b) at (0,2) [v] {$b$};
      \node (b2) at (0,1) [v] {$-a^2$};
      \node (b3) at (0,0) [v] {$-a^2\!b$};
      \node (a) at (1,3) [v] {$a$};
      \node (ab) at (1,2) [v] {$ab$};
      \node (ab2) at (1,1) [v] {$-a^3$};
      \node (ab3) at (1,0) [v] {$-a^3\!b$};
      \node (a2) at (2,3) [v] {$a^2$};
      \node (a2b) at (2,2) [v] {$a^2b$};
      \node (a2b2) at (2,1) [v] {$-1$};
      \node (a2b3) at (2,0) [v] {$-b$};
      \node (a3) at (3,3) [v] {$a^3$};
      \node (a3b) at (3,2) [v] {$a^3b$};
      \node (a3b2) at (3,1) [v] {$-a$};
      \node (a3b3) at (3,0) [v] {$-ab$};
      \draw [r] (e) to (a);
      \draw [r] (a) to (a2);
      \draw [r] (a2) to (a3);
      \draw [r] (a3) to [bend right=25] (e);
      \draw [r] (a3b) to (a2b);
      \draw [r] (a2b) to (ab);
      \draw [r] (ab) to (b);
      \draw [r] (b) to [bend left=25] (a3b);
      \draw [r] (b2) to (ab2);
      \draw [r] (ab2) to (a2b2);
      \draw [r] (a2b2) to (a3b2);
      \draw [r] (a3b2) to [bend left=25] (b2);
      \draw [r] (a3b3) to (a2b3);
      \draw [r] (a2b3) to (ab3);
      \draw [r] (ab3) to (b3);
      \draw [r] (b3) to [bend right=25] (a3b3);
      \draw [b] (e) to (b);
      \draw [b] (b) to (b2);
      \draw [b] (b2) to (b3);
      \draw [b] (b3) to [bend left=25] (e);
      \draw [b] (a) to (ab);
      \draw [b] (ab) to (ab2);
      \draw [b] (ab2) to (ab3);
      \draw [b] (ab3) to [bend left=25] (a);
      \draw [b] (a2) to (a2b);
      \draw [b] (a2b) to (a2b2);
      \draw [b] (a2b2) to (a2b3);
      \draw [b] (a2b3) to [bend right=25] (a2);
      \draw [b] (a3) to (a3b);
      \draw [b] (a3b) to (a3b2);
      \draw [b] (a3b2) to (a3b3);
      \draw [b] (a3b3) to [bend right=25] (a3);
    \end{scope}
    %%
\end{tikzpicture}
  \]
  For each diagram, construct a Cayley table and Cayley diagram
  consisting of these eight ``cosets''. Determine what the resulting
  \emph{quotient group} is isomorphic to, and describe where that
  subgroup lattice appears, hiding in the lattice for $G$.

\end{enumerate}


  %%-------------------------------------------------------------------


\item Let $H$ be a subgroup of $G$. Given two fixed elements $a,b\in
  G$, define the sets
    \[
    aHbH=\{ah_1bh_2\mid h_1,h_2\in H\}\,\qquad\mbox{ and }\qquad
    abH=\{abh\mid h\in H\}\,.
    \]
    Show that if $H\normaleq G$, then $aHbH=abH$. \medskip

    

    
\end{enumerate}

\end{document}










