Class two Lie cring
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
Definition
A class two Lie cring is an abelian group (denoted additively) equipped with an additional binary operation satisfying the following additional conditions:
| Condition name | Description | 
|---|---|
| is a 2-cocycle for trivial group action from to itself | for all | 
| is cyclicity-preserving | if is cyclic. | 
| is skew-symmetric | for all | 
| has class two | for all (note that because of skew symmetry, it suffices to assume that any one of the expressions is universally zero). | 
Equivalently, a class two Lie cring is a Lie cring satisfying the additional condition that for all in the Lie cring.
Facts
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions | 
|---|---|---|---|---|
| Class two Lie ring | 
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions | 
|---|---|---|---|---|
| Class two near-Lie cring |