Split up Section 4.1

[dcernst]

I should separate out some of the general theorems from the ones that are specifically about cyclic groups. Jeff Slye also suggested moving some theorems from here to Chapters 2 and 3 to get some more proof experience early on.