Section 8.1

Difficult: I am having a bit of a hard time understanding what exactly Theorem 8.1 means. I understand the example before it, and I think that the theorem is just generalizing this example, but I don't understand how we will be using it.

Reflective: I think it's interesting that some finite groups can be classified as isomorphic to groups of ordered pairs, or direct products. I also think that it's interesting that if M and N are disjoint subgroups in G except for e, then the elements of M commute with the elements of N.