Moufang loop

algebraic structure