Derived subring is divisibility-invariant in Lie ring
Statement
Suppose is a Lie ring and is its derived subring. Then, is a divisibility-invariant subring of .
Suppose is a Lie ring and
is its derived subring. Then,
is a divisibility-invariant subring of
.