Class two Lie cring

From Groupprops

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