The learning goals and literacies this assignment addresses are:

• Goal 3: Students will have a facility in mathematical reasoning, an understanding of definitions, axioms, and theorems, and an ability to use them appropriately in formulating proofs.
• Goal 4: Students will communicate mathematics effectively in both written and oral form.

This assignment was an end of semester project for Abstract Algebra I. The professor gave us a list of different theorems related to group theory and my group picked one that we found interesting. The project consists of two parts: the proof LaTeX report and the python code.

My portion of the project was the proof constructed in LaTeX, a website for coding mathematical text and symbols. It fits into the course as using all the knowledge of group theory we learned about in class as well as understanding of how to use LaTeX from a previous class, Introduction to Proof and Reasoning.

This item I found to be successful as I did manage to prove the Third Sylow Theorem, with various lemmas and definitions I wrote myself to facilitate the proof. I think this improved my view of math as a very constructive process, exploring the various building blocks necessary to create a logical and solid proof.

If I had a chance to redo this project, I would change the process we used. This was a group project, but we split it up into two distinct parts and didn’t have much cross-communication between the parts.