\documentclass[12pt]{amsart}

\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amsxtra}
\usepackage{mathrsfs}
\usepackage{colonequals}

\setlength{\hfuzz}{4pt}

\newenvironment{problab}[1]
{\noindent\textbf{Problem #1}.}
{\vskip 6pt}

\theoremstyle{remark}
\newtheorem*{solu}{Solution}

\newenvironment{enumalph}
{\begin{enumerate}\renewcommand{\labelenumi}{\textnormal{(\alph{enumi})}}}
{\end{enumerate}}

\newenvironment{enumroman}
{\begin{enumerate}\renewcommand{\labelenumi}{\textnormal{(\roman{enumi})}}}
{\end{enumerate}}

\newcommand{\C}{\mathbb C}
\newcommand{\F}{\mathbb F}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\Z}{\mathbb Z}

\DeclareMathOperator{\lcm}{lcm}
\DeclareMathOperator{\img}{img}
\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Ann}{Ann}

\usepackage{fullpage}

\begin{document}

\title[101 Homework \#31]{Math 101: Algebra I \\ Homework, Day \#31}
\date{Assigned Monday, 7 November 2016; due Tuesday, 8 November 2016}

\maketitle

\begin{problab}{JV31.A}
Let $R$ be a PID and let $M$ be a finitely generated torsion $R$-module.  Show that there exists $y \in M$ such that $\Ann(y) = \Ann(M)$.
\end{problab}

\begin{problab}{JV31.B}
Let $M$ be the $\Z$-module generated by $x_1,x_2,x_3,x_4$ subject to the relations
\begin{align*} 
x_1+3x_2-9x_3 \phantom{+ 100x_4} &= 0 \\
x_1+3x_2+3x_3 + 12x_4 &= 0 \\
2x_1 + 4x_2 + 2x_3 + 24x_4 &= 0
\end{align*}
Give an explicit isomorphism of $M$ to a direct sum of cyclic abelian groups.  What are the invariant factors and elementary divisors of $\mathrm{Tor}(M)$?  
\end{problab}

\end{document}