Frugal Lazard-divided Lie ring

From Groupprops

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

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 frugal if the following holds: if is a prime number such that for all , then for all . In some sense, the Lazard division operations are frugal in terms of departing from giving the zero value.