made a few small stylistic changes:

-- changed the order of the group axioms
-- added the word "However" before the note about commutativity
-- rephrased the sentence in the exercise about $D_4$
-- added group operation symbols on the tables
-- added the word "Hint" in the final exercise
-- suppressed page numbering