Multigroups

From MaRDI portal
(Redirected from Publication:5903545)
Multigroups (scientific article; zbMATH DE number 4036082)





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.











This page was built for publication: Multigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5903545)