Back when I was in college, I took a course on Modern Algebra. It was terribly interesting, but I was also taking four other courses at the time (Integrated Circuit Design, Electromagnetic Theory, Complex Analysis, and an electronics lab course), so I wasn’t really able to digest the subject as well as I’d have liked.
In my spare time recently I’ve been powering through Charles C. Pinter’s “A Book of Abstract Algebra, Second Edition” and I came across this fun problem in the chapter on subgroups. The problem involves an interestingly-chosen subset of a group… it is similar to the group’s Center, but not quite the same.
The problem is as follows: “Let be a group and let . Prove that is a subgroup of .”
I admit this one took me a little while, and I did have to ask for a hint. But in the end I got it, and I’m going to share the solution (and the line of thought behind it) here.
To prove that is a subgroup of , we need to show two things:
(i) . That is, is closed under products.
(ii) . That is, that is closed under inverses.
For (i), we know that is a group, and , so . Thus by the definition of , we know . The second equality here is the critical step, where we must invoke the definition of to swap the order of and . Let’s call this relation .
But hold on! was also in , wasn’t it? And too. So we also know that . Let’s call this relation .
Since G is a group, associativity holds (we already used it above, but it should be emphasized here) and the right hand side of  is equal to the left hand side of . Thus we can make the following equation with the assistance of good old transitivity: . Therefore .
For (ii), we know since is a group. Therefore and therefore by the definition of , we know that .
By associativity, the left hand side of the above is equal to , and the right hand side is equal to .
So we now have . The identity element of , is “obviously” in also as . Therefore is closed under inverses. Since (i) and (ii) hold, is a subgroup of . QED.
Whew. That wasn’t so bad, was it?
Stay tuned for more fun math adventures!