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 |