[Math] Why do Groups and Abelian Groups feel so different

ct.category-theorygr.group-theorymathematical-philosophy

Groups are naturally "the symmetries of an object". To me, the group axioms are just a way of codifying what the symmetries of an object can be so we can study it abstractly.

However, this heuristic breaks down in the case of many abelian groups. Abelian groups more often arise as a "receptacle for addition". What I mean is that they are more intuitively counting combinations of some generating elements. See for example: solution spaces to linear equations, the underlying group of rings and modules, (co)homology groups. They rarely act naturally on anything except themselves, which seems like a copout.

It bugs me that these two intuitions are so far from each other, even though the underlying axioms differ by a single, deceptively-mild assumption. Is there a way to reconcile these two perspectives? Do abelian groups satisfy the group axioms by accident?

Best Answer

Here's how I think about it: if the automorphism group of an object is abelian, this means something very strong about the object. It sort of means you can affect its structure in two different ways, in any order, and they won't affect each other. This to me hints that maybe the object consists of separate "pieces" that can only be affected independently.

The first example like this which comes to mind is a direct (commutative ring) product of finite fields of different characteristics. Each field has a cyclic automorphism group, making it very "simple", and the fields can't map into each other, meaning they can only be affected "independently."

So I'd posit that if you want to think of abelian groups as symmetry groups, you can imagine them as the symmetry groups of objects that "break apart" into "simple" pieces which can't interact with each other (intentionally vague, since I don't want to commit to a particular category).

Related Question