Subgroup of a loop
This article defines a property that can be evaluated for a subloop of a loop| View other such properties
Definition
A subgroup of a loop is defined as a subloop of an algebra loop that is a group under the induced multiplication.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Nuclear subloop | ||||
| Central subloop |