I have noticed that there exists derivation tag. It contains two questions at the moment, so it might be quite recent. Maybe it was created here. The tag-wiki is empty, but it seems that the tag is intended for questions about derivation of some fact, steps in some derivation, etc. (Judging fro...

This is not a big deal and I don't mind however it turns out, but I mildly object to the removal of the "derivation" tag from my question here: https://math.stackexchange.com/posts/953057/revisions Apparently the tag was previously deleted based on the colloquial meaning (eg., "deriving a formul...

In my Lie algebra course, the professor asked us to use Noether's Normalization Theorem and use it to say something about the Lie algebra of derivations over a commutative, associative algebra. Now, Noether Normalization theorem goes like this : Let $A$ be a commutative finitely generated algebr...