Vaughan--Lee's nilpotent loop of size $12$ is finitely based

Peter Mayr

In 1983 Vaughan--Lee showed that if a finite nilpotent loop splits into a direct product of factors of prime power order, then its equational theory has a finite basis. Whether the…