Canonically Lazard-divided Lie ring

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Canonically Lazard-divided Lie ring, all facts related to Canonically Lazard-divided Lie ring) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This article defines a Lazard-divided Lie ring property, i.e., a property that can be evaluated to true/false for a Lazard-divided Lie ring. The evaluation is invariant under isomorphism.
View all Lazard-divided Lie ring properties

Definition

A Lazard-divided Lie ring is termed a canonically Lazard-divided Lie ring if all the Lazard division operations are invariant under all the automorphisms of the underlying Lie ring.

The corresponding property of the underlying Lie ring is termed canonically Lazard-dividable Lie ring.

Relation with other properties

Stronger properties

Property	Meaning	Proof of implication	Proof of strictness (reverse implication failure)	Intermediate notions
uniquely Lazard-divided Lie ring				|FULL LIST, MORE INFO