Class two Lie cring: Difference between revisions

From Groupprops
(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 L (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 L to itself (a*(b+c))+(b*c)=((a+b)*c)+(a*b) for all a,b,c∈L
* is cyclicity-preserving a*b=0 if ⟨a,b⟩ is cyclic.
* is skew-symmetric a*b=−(b*a) for all a,b∈L
* has class two a*(b*c)=(a*b)*c=0 for all a,b,c∈L (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 a*(b*c)=0 for all a,b,c 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