Abstract:A loop is automorphic if all its inner mappings are automorphisms. We construct the free commutative automorphic $2$-generated loop of nilpotency class $3$. It has dimension $8$ over the integers.
Keywords: free commutative automorphic loop, automorphic loop, associator calculus
AMS Subject Classification: 20N05