On loops covered by subloops. (Q2573225)

Coverings of loops by subloops are investigated. For some results of group theory analogous propositions for loops are obtained. In particular, (1) an example of an infinite non-commutative loop which is the union of three proper subloops is constructed; (2) Poincaré's Theorem for loops connected with the notion of coset decomposition is proved; (3) an analog of Neumann's Lemma for loops is obtained; (4) it is proved that the loop \(L\) has a 1-covering by subloops iff it is power associative; \(L\) has a 2-covering by subloops iff it is diassociative; \(L\) has a 3-covering by subloops iff it is a group.