Directions.
- Get the template for this assignment (or use your own). Here’s how to do it:
- Go to www.overleaf.com, and make sure you are logged in.
- In a new window, go here: https://www.overleaf.com/read/tjhjsrhryhyj
- Click on the menu icon in the upper-left and select “Copy Project”.
- Enter a name and click “Copy”.
- When this completes you will be back in your own workspace (instead of mine).
- Use $\LaTeX$ to type up your proofs of the Propositions to Prove listed below. Make sure to use complete sentences and appropriate punctuation. Also, make sure to edit for typos.
- Click on the “Download PDF” button (to the right of the “Recompile” button). Save the file somewhere you can easily find it. Submit the pdf in Canvas.
- Let me know if you have any questions!
Remember, if you have trouble finding the command for a math symbol you want to use, try googling it, email me, or try looking in this Short Math Guide for $\LaTeX{}$.
Propositions to Prove.
-
Let $p$ be a prime. If $G$ is a group of order $p$, then $G\cong \mathbb{Z}_p$. (Theorem 5.21.)
-
If $m$ and $n$ are relatively prime, then $\mathbb{Z}_m \times \mathbb{Z}_n$ is cyclic. (Only one direction of Theorem 6.15.)
-
Let $G$ be a group, and let $H\trianglelefteq G$. If $G$ is abelian, then $G/H$ is abelian. (Theorem 6.38)