Every finite nilpotent loop has a supernilpotent loop as reduct

Michael Kompatscher, Peter Mayr

A basic fact taught in undergraduate algebra courses is that every finite nilpotent group is a direct product of $p$-groups. Already Bruck observed that this does not generalize to…