Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $A$ be an algebra, $B \subset A$ a subalgebra, and $(\Omega^1(A),d)$ a first order differential calculus over $A$. Now, as is well known, the subalgebra of $\Omega^1(A)$ consisting of elements of the form $\sum_i b_{i_1}db_{i_2}$ is a differential calculus over $B$ - the restriction of $\Omega^1(A)$ to $B$. My question is: For an ideal $I \subset A$, is there a suitable notion of "restriction" of $\Omega^1(A)$ to $A/I$? The obvious object to take would be $\Omega^1(A)/dI$, but it is not obvious that this object is always non-trivial.

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.