Section 6.1 Due May 19

1. I wasn't really sure what they meant by "absorbs". Theorem 6.6 was a little confusing. Are there infinitely many ideals? Finitely generated was also confusing.
2. So according to theorem 6.1, a subset can be an ideal without necessarily being a subring? Ideals seem to make modular arithmetic a little simpler. It'll be interesting to see how these will add to what we have been doing, since they seem to just be a replacement of our current notation of classes.