명사
A loop making up part of another loop.
- 예문
-
더 많은 예문 (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.