Noun
A loop making up part of another loop.
- Examples
-
More examples (1)
In particular, our attention turns to multiplicative loops which have either a normal subloop of positive dimension or which contain a $1$-dimensional compact subgroup.