> The rules of abelian groups guarantee that these identity sandpiles must exist, but they tell us nothing about how beautiful they are.

This has causality backwards—being a group requires an identity element. You can't show something is a group without knowing that the identity element exists in the first place.

In fact, a good chunk of how this article talks about the math is just... slightly off.