Group theory, abstraction, and the 196,883-dimensional monster