cleaned up a lot of translation test examples

so it's more clear what's going on; also rewrote introduction on group
algebras and fixed bugs like the erroneous claim that the dihedral group
is isomorphic to the dicyclic group, which is nonsense.