On groupoids associated with involution semigroups
摘要
We find a system of axioms for the class of groupoids associated with involution semigroups and show that this class does not form a variety. As a corollary, we find a basis of identities for the variety generated by this class.