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 algebra ⓘ
linked to: Lie algebras
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 → Jacobi identity ⓘ
linked to: Lie ring
Hans Zassenhaus → notableWork → Zassenhaus group ⓘ
linked to: Lie ring