I would say: the free group on one element. I guess you can translate this into a series of first-order axioms. Notice that multiplication comes for free as composition between automorphisms of the group with itself.
Leo Alonso
- 9.2k
- 2
- 43
- 57