Commutative subloop-free loops
We describe, in a constructive way, a family of commutative loops of odd order, , which have no nontrivial subloops and whose multiplication group is isomorphic to the alternating group .
We describe, in a constructive way, a family of commutative loops of odd order, , which have no nontrivial subloops and whose multiplication group is isomorphic to the alternating group .
Let ℨ be a complete set of Sylow subgroups of a group G. A subgroup H of G is called ℨ-permutably embedded in G if every Sylow subgroup of H is also a Sylow subgroup of some ℨ-permutable subgroup of G. By using this concept, we obtain some new criteria of p-supersolubility and p-nilpotency of a finite group.