Paramedial groupoids (Q4515372)

A paramedial groupoid is a groupoid satisfying the identity \(ax\cdot yb=bx\cdot ya\) (compare, a medial groupoid is a groupoid satisfying \(xa\cdot by=xb\cdot ay\)). The paper initializes the study of paramedial groupoids as an example of a variety of algebras determined by strong linear identities. For instance, sufficient conditions are given for a paramedial groupoid to be medial. Further, injective and projective elements in a paramedial groupoids are studied. Cancellative paramedial groupoids that are subgroupoids of paramedial quasigroups are characterized. Finally, linear representations of paramedial groupoids are treated. (An algebra \(S(+,f,g,e)\) is a pm-linear representation of a groupoid \(G\) if \(G\) is a subset of \(S\), \(S(+)\) is a commutative semigroup, \(f\) and \(g\) are endomorphisms of \(S(+)\), \(f^2=g^2\), \(e\in S^0\), and \(xy=f(x)+g(y)+e\) for all \(x,y\in G\)).