Derivation-invariance is transitive for any subvariety of the variety of rings

Statement

The variety of rings is defined as the variety whose members are rings (not necessarily commutative, associative, or unital). A derivation of a ring $R$ with addition $+$ and multiplication $\cdot$ is a map $d$ such that $d$ is an endomorphism of the additive group of $A$ and:

$d(x\cdot y)=((dx)\cdot y)+(x\cdot (dy))$.

Suppose ${\mathcal {V}}$ is any subvariety of the variety of rings and $A$ is an algebra of ${\mathcal {V}}$. Suppose $B$ is a derivation-invariant subalgebra of $A$ and $C$ is a derivation-invariant subalgebra of $B$. Then, $C$ is a derivation-invariant subalgebra of $A$.

Related facts

Related facts about derivation-invariance

• Derivation-invariance is transitive for Lie rings
• Derivation-invariant subring implies ideal (for Lie rings)
• Derivation-invariant subring of ideal implies ideal (for Lie rings)
• Derivation-invariant subring not implies ideal for alternating rings

Other similar facts

• Characteristicity is transitive for any variety of algebras
  • Characteristicity is transitive (for groups)
  • Characteristicity is transitive for Lie rings
• Full invariance is transitive for any variety of algebras
  • Full invariance is transitive
  • Full invariance is transitive for Lie rings