Class two Lie cring: Difference between revisions
(Created page with "{{wikilocal}} ==Definition== A '''class two Lie cring''' is an abelian group <math>L</math> (denoted additively) equipped with an additional binary operation <math>*</math>...") |
No edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| 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== | |||
* [[Double of class two Lie cring is class two Lie ring]] | |||
==Relation with other properties== | |||
===Stronger properties=== | |||
{| class="sortable" border="1" | |||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |||
|- | |||
| [[Weaker than::Class two Lie ring]] || || || || | |||
|} | |||
===Weaker properties=== | |||
{| class="sortable" border="1" | |||
! Property !! Meaning !! Proof of implication !! Proof of strictness (reverse implication failure) !! Intermediate notions | |||
|- | |||
| [[Stronger than::Class two near-Lie cring]] || || || || | |||
|} | |} | ||
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 |