algebraic loop