Abstract:
The correspondence by the ring of integers corresponds to a metabelian commutative free automorphic loop of rank two. We derive some equational properties of this loop and prove, that the elementary theory free n-nilpotent commutative and non-associative automorphic loop are recursively undecidable.