Group theory, abstraction, and the 196,883-dimensional monster | Hacker News Reader