Class two Lie cring: Difference between revisions
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
| <math>*</math> is skew-symmetric || <math>a * b = -(b * a)</math> for all <math>a,b \in L</math> | | <math>*</math> is skew-symmetric || <math>a * b = -(b * a)</math> for all <math>a,b \in L</math> | ||
|- | |- | ||
| <math>*</math> has class two || <math>a * (b * c) = 0</math> for all <math>a,b,c \in L</math> | | <math>*</math> has class two || <math>a * (b * c) = (a * b) * c = 0</math> for all <math>a,b,c \in L</math> (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 <math>a * (b * c) = 0</math> for all <math>a,b,c</math> in the Lie cring. | |||
==Facts== | ==Facts== | ||
Latest revision as of 19:31, 5 April 2011
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 |