The Decomposition Theorems of AG-Neutrosophic Extended Triplet Loops and Strong AG-(l, l)-Loops

In this paper, some new properties of Abel Grassmann‘s Neutrosophic Extended Triplet Loop (AG-NET-Loop) were further studied. The following important results were proved: (1) an AG-NET-Loop is weakly commutative if, and only if, it is a commutative neutrosophic extended triplet (NETG); (2) every AG-NET-Loop is the disjoint union of its maximal subgroups. At the same time, the new notion of Abel Grassmann’s (l, l)-Loop (AG-(l, l)-Loop), which is the Abel-Grassmann’s groupoid with the local left identity and local left inverse, were introduced. The strong AG-(l, l)-Loops were systematically analyzed, and the following decomposition theorem was proved: every strong AG-(l, l)-Loop is the disjoint union of its maximal sub-AG-groups.