The free commutative automorphic $2$-generated loop of nilpotency class $3$

Dylene Agda Souza de Barros, Alexander Grishkov, Petr Vojtěchovský

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$ ov…