Abstract:We show that the variety of diassociative loops is not finitely based even relative to power associative loops with inverse property.
Keywords: loop, diassociativity, equational basisAMS Subject Classification: 08B05 03C05 03C20