I'm teaching undergraduate group theory [again] this term. I've been increasingly dissatisfied with the approach in various books (I've used Fraleigh and looked at others). They're all reasonable books, but I always feel as though much of the material is unmotivated and kind of introduced as "well, here's the next topic".
I started this year by taking some material from the start of Visual Group Theory, showing how object symmetries lead naturally to the definition of a group via arrows in Cayley diagrams. While I like that book, in the end I feel as though it concentrates too much on the visual, stretching it beyond its natural usefulness, and doesn't present enough theory.
Over the past couple of days, I've been thinking about how to continue with the class. The idea of groups arising from symmetries leads naturally to the idea of group actions. So I have in my mind the following sequence of topics and arguments, which constructs most of the basic results using group actions as the basic concept; I'd like comments (mathematic, pedagogical, stylistic, or whatever):
- Introduce group isomorphisms via Cayley diagrams. Discuss homomorphisms and basic properties of kernel and image.
- Introduce group actions as natural extensions of symmetries, prove Cayley embedding theorem, correspondence of actions and homomorphisms $G\to \Omega_X$.
- Discuss conjugation action of $G$ on itself; note that conjugation takes subgroups to [isomorphic] subgroups, note that subgroups that are taken to themselves by every element of $G$ should be worth study; those are [defined to be] normal subgroups.
- Prove that $gHg^{-1} = H \Leftrightarrow gH = Hg$
- Note that kernels are example of normal subgroups.
- Prove that all normal subgroups can be realized as kernels as follows: Given $K\triangleleft G$, we want a map $\varphi$ from $G$ to some other group whose kernel is $K$. That means that if $\varphi(g_1) = \varphi(g_2)$, then $g_1^{-1}g_2\in K$ so that $g_2 = g_1k$. So all elements of the set $gK$ must be taken to the same element of the target group. So lets define the codomain of $\varphi$ to be $\{gK\ |\ g\in G\}$. Then show that there is a group structure on this set exactly when $K$ is normal, and that you get a homomorphism. (Perhaps this all sounds obvious, but to me it completely reverses the normal order of events, which is to introduce normal subgroups as those subgroups whose cosets form a group --- not necessarily an obvious thing to want).
- Discuss quotient groups using the above.
- Use the conjugation action to prove the conjugacy class equation.
At this point I think the students will have seen most of the basic results, assuming that Lagrange and Cauchy and some portion of the abelian group structure theorem are part of the above discussions.
EDIT: what have I done so far?
- Develop diagrams of symmetries of a few standard objects --- a rectangle, an equilateral triangle, and a tetrahedron --- using a minimal set of generators. Here the emphasis is on the symmetry space of the object, not on the operations that induce the rigid motions.
- Point out that while a tetrahedron, a dodecagonal pyramid, and a hexagonal plate each have 12 symmetries, the "relations" between the symmetries are not the same in each case. So for example the tetrahedron has 7 axes of symmetry, the pyramid one, and the plate 7, but the orders of the symmetries are different in the various cases.
- Conclude that to understand symmetries, it's not enough to see how many there are - we have to understand their relationship. Use that to motivate switching focus from the vertices of the graph (the orientations of the objects in space) to the operations themselves; regard the operations as elements, understand what properties they have, and use that to define a group.
- The next section, which I haven't taught yet, is just for basic familiarity: notion of subgroup (using standard arguments --- it's just too hard and not informative to do this visually), extended exploration of cyclic groups, extended exploration of permutation groups. After all of that, I hope to be ready for the material in the first part of this post.
