Cocentral subloop: Difference between revisions
(Created page with "{{subloop property}} ==Definition== A subloop <math>S</math> of a loop <math>L</math> is termed a '''cocentral subloop''' if <math>SZ = L</math> where <math>Z = Z(L)</m...") |
|||
| Line 14: | Line 14: | ||
| [[Stronger than::central factor of a loop]] || || || || | | [[Stronger than::central factor of a loop]] || || || || | ||
|- | |- | ||
| [[Stronger than::normal subloop]] || || || || | | [[Stronger than::normal subloop]] || || [[cocentral implies normal for loops]] || || | ||
|} | |} | ||
Revision as of 06:18, 20 August 2011
This article defines a property that can be evaluated for a subloop of a loop| View other such properties
Definition
A subloop of a loop is termed a cocentral subloop if where denotes the center of .
Relation with other properties
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| central factor of a loop | ||||
| normal subloop | cocentral implies normal for loops |