Skip to main content
1 of 3
Leo Alonso
  • 9.2k
  • 2
  • 43
  • 57

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