LAUSR

Cyclic associative groupoids (CA-groupoids) and Type-2 cyclic associative groupoids (T2CA-groupoids) are two types of non-associative groupoids which satisfy cyclic associative law and type-2 cyclic associative law, respectively. In this paper, we prove two theorems that weak cancellativity is cancellativity and right quasi-cancellativity is left quasi-cancellativity in a CA-groupoid, thus successfully solving two open problems. Moreover, the relationships among separativity, quasi-cancellativity and commutativity in a CA-groupoid are discussed. Finally, we study the various cancellativities of T2CA-groupoids such as power cancellativity, quasi-cancellativity and cancellativity. By determining the relationships between them, we can illuminate the structure of T2CA-groupoids.