Natural isomorphisms in group theory.