Section 7.1 (part 1) due Oct 25

With rings they say that if ab=ba then the ring is commutative. On p 163 they say that a group is abelian if it satisfies the commutativity axiom. Why is there a special word for it? Do they do it since multiplication commutativity is much more simple than what some operations can be? Can all groups' permuations be represented by an array?

Function composition is associative, but how often are composed functions commutative? Do they have to be simple, linear functions? That would be something interesting to explore a little bit. (Of course, they must not be too rare because there is a special name just for this type of group.)