MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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.