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?