\documentclass[12pt]{article}
\usepackage[margin=1in]{geometry}
\usepackage{amsmath,amsthm,amsfonts,latexsym,amssymb,xcolor}
\usepackage{fancyhdr}
\pagestyle{fancy}
\setlength{\headheight}{50pt}

\begin{document}
\lhead{Group Theory \\ Assignment 1} 
\rhead{Hermione Granger \\ Harry Potter\\ Ron Weasley}
%% List all group members' names

\noindent
1. This is the problem.

\bigskip
\bigskip
%For vertical spacing, try \smallskip, \medskip, \bigskip, \vspace{1in}

\noindent
\emph{Proof.}
This is the \color{blue} solution. \color{black}
\begin{enumerate}
\item[(a)]  It uses 
\item[(b)]  a lot of 
\item[(c)]  symbols, 
\item[(d)]  like
\end{enumerate}  

\[
\forall, \exists, \neg, \to, \leftrightarrow,
\mathbb C = \langle \textsf{complex numbers}; +, -, 0, \cdot, 1 \rangle, 
A_{\mathfrak p}\otimes A_{\mathfrak q}, \varphi, 2^{\aleph_0},
\left[ MP\stackrel{def}{=} \frac{\alpha, (\alpha\to \beta)}{\beta} \right]
\]
and

\begin{equation} \label{eqn1} \tag{$\ddagger$}  
0\to M'\stackrel{\alpha}{\to} M\stackrel{\beta}{\to} M''\to 0.
\end{equation}

\qed

\end{document}
