,Uses,"Fact about"
"Characteristic Lie subring not implies ideal",,"Characteristic Lie subring; 2,Ideal of a Lie ring; 2"
"Characteristic subgroup of additive group of odd-order Lie ring is derivation-invariant and fully invariant","Characteristic equals fully invariant in odd-order abelian group,Fully invariant subgroup of additive group of Lie ring is derivation-invariant and fully invariant","Characteristic subgroup; ?,Derivation-invariant Lie subring; ?,Ideal of a Lie ring; ?,Fully invariant Lie subring; ?"
"Fully invariant implies ideal for class two Lie ring","Inner derivation implies endomorphism for class two Lie ring","Lie ring of nilpotency class two; ?,Fully invariant Lie subring; ?,Ideal of a Lie ring; ?"
"Ideal not implies derivation-invariant",,"Ideal of a Lie ring; 2,Derivation-invariant Lie subring; 2"
"Ideal property is centralizer-closed",,"Ideal of a Lie ring; 1,Centralizer-closed Lie subring property; 2"
"Ideal property is not transitive for Lie rings",,"Ideal of a Lie ring; 1,Transitive Lie subring property; 2"
"Ideal property is upper join-closed for Lie rings",,"Ideal of a Lie ring; 1,Upper join-closed Lie subring property; 2"
"Lie subring whose sum with any subring is a subring not implies ideal","Subring of a Lie ring that is maximal as a subgroup","Lie subring whose sum with any subring is a subring; 2,Ideal of a Lie ring; 2"