Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
gave the statement that derivations of smooth functions are vector fields a dedicated entry of its own, in order to be able to convieniently point to it
Taking after this style of entry, I decided to write epimorphisms of groups are surjective. Added a little on splittings of exact sequences to split idempotent, and to derivation (mentioning the notion of a derivation of a group valued in a module over that group, a la group cohomology, as a special case of derivations valued in bimodules).
I have expanded the Idea-section and typed up a detailed proof at derivations of smooth functions are vector fields.
added pointer to the reference that Dmitri kindly provided over at tangent bundle:
1 to 4 of 4