On torsion-free nilpotent loops
Jacob Mostovoy,José M Pérez-Izquierdo,Ivan P Shestakov
DOI: https://doi.org/10.1093/qmath/haz010
2019-05-31
The Quarterly Journal of Mathematics
Abstract:Abstract We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotence of the free loop proved by Higman, it is established, essentially, by the same method.