I'm currently working my way through Harvard's online abstract algebra lectures (if you're interested, you can find them here). The lectures come complete with notes and homework problems. Of course, since I don't actually go to Harvard, I can't hand in the homework assignments to find out if I'm doing them correctly. So I've decided to try to crowd source the grading of my solutions. I'll post individual questions as I finish them and wait for comments. I would like to get critiques of not just my reasoning but the style of my write ups as well. Also, any alternative approaches to the problem would be welcome. I've looked for forums dedicated to these kinds of OCW courses but have not been able to find any. This surprises me. It seems like, with the advent of these free online educational resources, an online meeting place for those who take advantage of them would be a natural offshoot. So this might be a bit of an experiment. Unless I'm the 873rd person to post something like this here. If that's the case, sorry for being so long winded.

Anyway, on with the question. This one is assigned in the 4th lecture.

Let $V$ denote the Klein 4-group. Show that $\operatorname{Aut}(V)$ is isomorphic to $S_3$.

(I've moved my solution below to keep this question from showing up in the unanswered list.)

Thanks...