Rationally powered nilpotent Lie ring

This article defines a Lie ring property: a property that can be evaluated to true/false for any Lie ring.
View a complete list of properties of Lie rings
VIEW RELATED: Lie ring property implications | Lie ring property non-implications |Lie ring metaproperty satisfactions | Lie ring metaproperty dissatisfactions | Lie ring property satisfactions | Lie ring property dissatisfactions

WARNING: POTENTIAL TERMINOLOGICAL CONFUSION: Please don't confuse this with Malcev ring

Definition

A Lie ring is termed a rationally powered nilpotent Lie ring or Malcev Lie ring if it is satisfies both the following conditions:

1. Its additive group is a rationally powered abelian group, i.e., it is the additive group of a vector space over $\mathbb {Q}$, the field of rational numbers. Another way of putting it is that the Lie ring is a $\mathbb {Q}$-Lie algebra.
2. It is a nilpotent Lie ring.

Rationally powered nilpotent Lie rings occur as the objects on the "Lie ring" side of the Malcev correspondence.