Multigroups (Q5903545)

An algebra with a binary multiplication and a unary involution which satisfy \((xy)z=x(yz)\), \((x^{-1})^{-1}=x\) and \((xy)^{-1}=y^{- 1}x^{-1}\) is called involutive semigroup. An involutive semigroup is called multigroup if it is isomorphic to the involutive semigroup of full binary relations defined on a set. The author gives an infinite system of elementary axioms which characterize the class of multigroups (these axioms are not identities). It is proved that the class of multigroups can not be characterized by any finite system of axioms and is not a variety. It is also characterized the class of fundamentally ordered multigroups.