On Two Conjectures of Abel Grassmann's Groupoids

The quasi-cancellativity of Abel Grassmanns groupoids (AG-groupoids) are discussed and two conjectures are partially solved. First, the following conjecture is proved to be true: every AG-3-band is quasi-cancellative. Moreover, a new notion of AG-(4,1)-band is proposed, and it is also proved that every AG-(4,1)-band is quasi-cancellative. Second, the notions of left (right) quasi-cancellative AG-groupoids and power-cancellative AG-groupoids are proposed, and the following results are obtained: for an AG*-groupoid or AG**-groupoid, it is left quasi-cancellative if and only if it is right quasi-cancellative; for a power-cancellative and locally power-associative AG-groupoid, it is left quasi-cancellative if and only if it is right quasi-cancellative. Finally, a general result is proved, that for any AG-groupoid, if it is left quasi-cancellative then it is right quasi-cancellative.