Section 7.5 Due June 2

1. When it changes from {b in G such that ba^-1 in K}, to {b in G such that b = ka} it makes it hard to grasp what the set actually is talking about. The new notation H + 2 for <3> doesn't make sense. Theorem 7.25 was hard to follow.
2. I thought that Thm. 7.29 about how every group of order 4 is isomorphic to Z_4 or Z_2 X Z_2 was interesting. I don't like how instead of giving full proofs they say just to copy the proofs in previous chapters "with obvious notation changes".