Nilpotent Lazard-divided Lie ring

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 $L$ is termed nilpotent of nilpotency class a nonnegative integer $c$ if $\gamma _{c+1}(L)=0$, where $\gamma _{c+1}(L)$ denotes the $(c+1)^{th}$ member of the lower central series of $L$.