Completely inverse AG**-groupoids. (Q372339)

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.