\documentclass[11pt]{article}
\usepackage[utf8]{inputenc}

\usepackage[margin=1in]{geometry}
\usepackage{enumitem}
\usepackage{amsmath, amssymb, amsthm}
\usepackage{xcolor}

% THEOREM ENVIRONMENTS
\theoremstyle{definition}
\newtheorem*{theorem}{{Theorem}}
\newtheorem*{lemma}{{Lemma}}
\newtheorem*{proposition}{{Proposition}}
\newtheorem*{definition}{{Definition}}
\newtheorem*{corollary}{{Corollary}}
\newtheorem*{example}{{Example}}
\newtheorem*{remark}{{Remark}}
\newtheorem*{claim}{{Claim}}
\newtheorem*{question}{{Question}}

\theoremstyle{plain}
\newtheorem*{reminder}{{\textit{Reminder}}}
\newtheorem*{hint}{{\textit{Hint}}}

% ENVIRONMENTS FOR CITING BOOK STATEMENTS
\newcommand{\prop}[1]{\paragraph{Proposition #1}}
\newcommand{\axm}[1]{\paragraph{Axiom #1}}
\newcommand{\thm}[1]{\paragraph{Theorem #1}}


% COMMANDS
\newcommand{\exercise}[1]{\section*{Exercise #1}}
\newcommand{\solution}{{\color{blue} \textsc{Solution.\ \ }}}
\newcommand{\Z}{\mathbb{Z}} % the integers
\newcommand{\divides}{\ \vert \ }




%%%%
\title{MAT 108: Problem Set 1}
\author{(ADD NAME)}
\date{Due 1/17/23 at 11:59 pm on Canvas}

\begin{document}

\maketitle

\paragraph{Instructions.} 
Replace the 
\begin{verbatim}
    (ADD NAME)
\end{verbatim}
above with your full name. 

Solve the following exercises, then typeset your solution after the \begin{verbatim}
    \solution
\end{verbatim}
command at the end of each exercise. 
It is highly recommended that you work out the problem first before typing up your final answer. (Also, make sure you give yourself enough time to type up your solutions!)

When you are done, download the PDF of your Overleaf output, and name the file something meaningful, such as 
\begin{verbatim}
    ps1-firstname-lastname.pdf
\end{verbatim}
and submit the file to the PS 1 Assignment on Canvas.



\begin{reminder}
When you begin writing proofs, it should feel like you are putting together a puzzle. You a list of known facts (either axioms or statements we've already proven from those axioms), and your job is to fit them together into a coherent argument proving a new statement. 
\end{reminder}

For this homework set, the propositions you are instructed to prove come from the your textbook. You are only allowed to use the axioms / statements appearing before the stated proposition in the proof. 

\paragraph{How much detail is needed?} For this problem set, your solutions should be at the same level of detail as the proof of Proposition 1.6 in the book. 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\exercise{1}

Prove Proposition 1.14:

\begin{proposition}
For all $m \in \Z$, $m \cdot 0 = 0 = 0 \cdot m$. 
\end{proposition}


\begin{reminder}
To prove an equation holds, we start at one end and use a chain of known equalities to arrive at the other end.
\end{reminder}


\solution

% INSERT YOUR SOLUTION HERE




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\exercise{2}

\begin{enumerate}[label=\emph{\alph*})]
\item Prove Proposition 1.24:
    \begin{proposition}
        Let $x \in \Z$. If $x \cdot x = x$, then $x=0$ or $x=1$. 
    \end{proposition}
\item Prove Proposition 1.26:
    \begin{proposition}
        Let $m,n \in \Z$. If $m \cdot n= 0$, then $m=0$ or $n=0$.
    \end{proposition}
\end{enumerate}



\solution

% INSERT YOUR SOLUTION HERE



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\exercise{3}

In this exercise, we first define divisibility using only the multiplication operation $\cdot$ on $\Z$:

\begin{definition}
Let $m, n \in \Z$. If there exists a $q \in \Z$ such that $m = n\cdot q$, then we say \emph{$m$ is divisible by $n$}, or equivalently, \emph{$n$ divides $m$}. We denote this relationship by $n \divides m$. 
\end{definition}

Prove the following statements.
\begin{enumerate}[label=\emph{\alph*})]
    \item 0 is divisible by every integer. 
    \item If $m$ is an integer not equal to 0, then $m$ is not divisible by $0$. 
    \item Let $x \in \Z$. If $x$ has the property that for all $m \in \Z$, $mx = m$, then $x = 1$. 
\end{enumerate}

\begin{hint}
In higher math courses, it is often beneficial to read the book sections in addition to going to lecture. In particular, both lecture and the book are pointedly useful for part (c) of the above exercise.
\end{hint}


\solution

% INSERT YOUR SOLUTION HERE







\end{document}
