Summary: The Group of Integers Modulo \(n\)
In this chapter, it is high time to introduce a few algebraic innovations that allow a unified presentation of our ideas about modular arithmetic.
- Most importantly, we officially define Integers Modulo \(n\) and reconfigure what an inverse is in Fact 8.1.5. We not only make tables of operations, but in Subsection 8.1.2 we start visualizing them!
- We will see later that the visualization of powers in Figure 8.2.1 is extremely powerful.
- In the final section, we build our way up to the definition of a group in Definition 8.3.3, so that in the future we can use the important ideas of the Order of an element of a group and Lagrange’s Theorem on Group Order.
The Exercises give a chance to try some algebraic theory we otherwise avoid in this course.