Writing Assignment 05

Directions.

1. 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/dypznmzfxnmy#aa1db6
   • 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).
2. 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.
3. 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.
4. 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.

1. Suppose that $\phi:G_1 \rightarrow G_2$ is an isomorphism from the group $(G_1,*)$ to the group $(G_2,\odot)$. Prove that $\phi(g^{-1}) = [\phi(g)]^{-1}$. (See Theorem 3.54.)

2. Suppose that $\phi:G_1 \rightarrow G_2$ is an isomorphism from the group $(G_1,*)$ to the group $(G_2,\odot)$. Prove that if $G_1$ is abelian, then $G_2$ is abelian. (See Theorem 3.64.)