Completely inverse AG^**-groupoids.

From MaRDI portal
Publication:372339



Abstract: A completely inverse AG∗∗-groupoid is a groupoid satisfying the identities (xy)z=(zy)x, x(yz)=y(xz) and xx−1=x−1x, where x−1 is a unique inverse of x, that is, x=(xx−1)x and x−1=(x−1x)x−1. First we study some fundamental properties of such groupoids. Then we determine certain fundamental congruences on a completely inverse AG∗∗-groupoid; namely: the maximum idempotent-separating congruence, the least AG-group congruence and the least E-unitary congruence. Finally, we investigate the complete lattice of congruences of a completely inverse AG∗∗-groupoids. In particular, we describe congruences on completely inverse AG∗∗-groupoids by their kernel and trace.


Here are investigated completely inverse AG**-groupoids, i.e. groupoids, which satisfy the identities \((xy)z=(zy)x\), \(x(yz)=y(xz)\) and where every element \(a\) has a unique inverse \(a^{-1}\) such that \(aa^{-1}=a^{-1}a\). For completely inverse AG**-groupoids are obtained descriptions of the maximal idempotent-separating congruence, the least AG-group congruence, the largest idempotent pure congruence, the least E-unitary congruence and many properties of the lattice of congruences.











This page was built for publication: Completely inverse \(AG^{**}\)-groupoids.

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