Hah, serendipity: I was reading the Groups part of the Infinite Napkin after it was posted on HN recently. I understand the definitions, etc. but still haven’t grasped the central importance of groups.
For example, article says there are 50 groups of order 72 (chatGPT says there are 50 non-Abelian, 5 Abelian), this seems to be an important insight but into what?
Groups are important because they are the algebraic way to describe symmetry: if you have some operation that leaves a thing invariant (e.g. rotating an equilateral triangle so that a vertex lands on where another started), then the operation is invertible and the inverse leaves the thing invariant. You can compose such operations and the composition will still be invariant. The identity function always leaves everything invariant. So your symmetry operations form a group.
Slightly trickier is that every group is a set of symmetry operations for something. So groups exactly capture the idea of symmetry. To a mathematician, "group" and "symmetries" are synonymous.
Finite groups can be interesting as the symmetries of e.g. molecules (e.g. rotating atoms around onto each other), which can tell you something about molecular structure, energy levels, spectra, bonding potential, etc. Infinite groups appear in physics (e.g. the laws of physics are the same when you rotate or translate your coordinates by arbitrary amounts). Symmetry also comes up as a way to study other mathematical objects, and mathematicians might just want to know what all possible groups look like.
I've only taken three (undergrad) classes involving groups so I'm far from an expert but my feeling is that their underlying structure is a bit like prime numbers.
Nobody bothers explaining why the primes are spaced like they are, rather people explain other phenomena by pointing out that certain things about it are prime or not.
For instance, there's this thing about having a nice neat formula for factoring second degree polynomials (the quadratic formula). One also exists for cubics and quartics (though they don't usually have you memorize these) but none exists for quintics. It took mathematicians a while to prove that such a thing doesn't exist (how to prove a negative?) but they managed it by arguing that all such things have an underlying finite group smaller than a certain size and look, we've listed them here, and there's no such group corresponding to a quintic formula, therefore there is no quintic formula.
So they're useful as a sort of primordial complexity that can be referenced without extensive explanation since properties about the small ones can be checked by hand. And as it turns out, quite a lot of things form groups if you bother you look at them that way.
Many mathematical structures are groups so understanding them helps you get insight into the concrete situation you are trying to solve. For example is the problem I am seeing abelian? If so then it must look like X or Y.
Don't listen to ChatGPT. There are 44 non-abelian and 6 abelian groups of order 72. I wouldn't say these particular numbers are terribly important, but they are correct.