\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}

%%% Macros %%%
% Some macros to get you started
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\SL}{SL}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Aut}{Aut}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\QQ}{\mathbb{Q}}
\renewcommand{\Re}{\operatorname{Re}}

\begin{document}

\pagestyle{empty}

\begin{center}
{\large MATH 150A Winter 2020 \ -  \ {\bf Problem Set 4}}

% Put your name and section here.
{\large due February 7}
\end{center}


\begin{enumerate}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item Let $G$ be a group with identity element $e$.
	\begin{enumerate}
    \item Prove that $G/G$ is trivial.
    \item Prove that $G/\{e\}$ is isomorphic to $G$.
    \end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item Let $G$ be the additive group of $\RR^2$ and $H$ the subgroup
	 \[ H = \{(x,x) \mid x \in \RR\}. \]
    \begin{enumerate}
    \item Characterize all left cosets of $H$.
    \item Prove that $G/H$ is isomorphic to the additive group of $\RR$.
    \item Find a homomorphism $f:\RR^2 \to \RR$ with $\ker f = H$.
    \end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item (2.12.4) Let $G = \CC^\times$ and $H = \{\pm 1, \pm i\}$, the subgroup  of fourth roots of unity.
	\begin{enumerate}
    \item Characterize all left cosets of $H$.
    \item Prove or disprove that $G/H$ isomorphic to $G$.
    \end{enumerate}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item (2.12.1) Show that if a subgroup $H$ of a group $G$ is not normal, then there are left cosets $aH$ and $bH$ whose product is not a coset of $H$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item Let $K$ be a normal subgroup of $G$ and $q:G \to G/K$ be the quotient map.  Let $f:G \to H$ be a homomorphism with $K \subseteq \ker(f)$.  Prove that $f$ factors through $q$, meaning that there exists a homomorphism $\varphi:G/K \to H$ such that $f = \varphi \circ q$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item (2.11.1) Let $x$ be an element of group $G$ with order $r$, and let $y$ be an elements of group $H$ with order $s$.  Find the order of $(x,y)$ in the product group $G \times H$.
	
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item (2.11.9) Let $H$ and $K$ be subroups of group $G$.  Prove that the product set $HK$ is a subgroup of $G$ if and only if $HK = KH$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

	\item Let $G$ and $H$ be groups.
	 Prove that $G \times \{1\}$ is a normal subgroup of $G\times H$.
	 Prove that $(G\times H)/(G \times \{1\})$ is isomorphic to $H$.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{enumerate}
\end{document}


