A Note on Paramedial AG-groupoids

Abstract

An AG-groupoid satisfying the property: (ub)(cd) = (db)(cu) is known as paramedial AG-groupoid [22]. In this note, we study some characteristics and constructions of paramedial AG-groupoids. Latest computational techniques of Mace-4 and GAP are used for generating various examples and counterexamples to strengthen the study of this subclass. Various relations of this subclass with other known algebraic structures are established. Furthermore, paramedial AG-groupoid is decomposed with the help of some congruences.