Lie ring

E140808

A Lie ring is an algebraic structure consisting of an abelian group equipped with a bilinear, alternating, and Jacobi-identity-satisfying bracket operation, serving as the ring-theoretic analogue of a Lie algebra.

All labels observed (3)

Label Occurrences
Jacobi identity 1
Lie ring canonical 1
Zassenhaus group 1

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf algebraic structure
nonassociative ring
additionIsAssociative true
additionIsCommutative true
alternatingImplies [x,x]=0
bracketIsAlternating true
bracketIsAntisymmetric true
bracketIsBiadditive true
bracketIsBilinear true
bracketIsZBilinear true
bracketNotNecessarilyAssociative true
canBeConstructedFrom associative ring with commutator bracket
canBeFinite true
canBeFreeObjectInCategory free Lie ring
canBeInfinite true
canBeNilpotent true
canBeOverZModule true
canBeSolvable true
canBeTensoredWithZModule true
canInduceLieAlgebraOverField true
commutatorBracketDefinition [x,y]=xy−yx
generalizes Lie algebra over Z
hasAdditiveGroup abelian group
hasAdditiveIdentity 0
hasAdditiveInverses true
hasAssociatedGradedObject graded Lie ring
hasBinaryOperation [·,·]
hasDerivedSeries true
hasHomomorphism Lie ring homomorphism
hasIdeal Lie ideal
hasLowerCentralSeries true
hasOperation Lie bracket
hasQuotientByIdeal Lie ring quotient
hasSubobject Lie subring
hasUnderlyingStructure abelian group
hasZeroBracketExample abelian Lie ring
isDefinedOver integers
isNonassociative true
isRingTheoreticAnalogueOf Lie algebras
surface form: Lie algebra
isStudiedIn Lie theory
ring theory
isUsedIn group theory
number theory
p-adic analytic groups
morphismsPreserveAddition true
morphismsPreserveBracket true
satisfiesIdentity [x,[y,z]]+[y,[z,x]]+[z,[x,y]]=0
satisfiesJacobiIdentity true

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Carl Gustav Jacob Jacobi notableWork Lie ring
this entity surface form: Jacobi identity
Hans Zassenhaus notableWork Lie ring
this entity surface form: Zassenhaus group