Finding the Universal Ideal of a (Covariant) Differential Calculus Let $(\Omega,d)$ be a differential calculus over an algebra $A$. It is easy to show that $\Omega$ is always equal to a quotient of $\Omega_u(A)$, the universal calculus over $A$, by some ideal $N$ of $\Omega_u(A)$. Now in practical terms, given a presentation of $\Omega$ in terms of generators and relations, how does one find the ideal $N$? I have some confused memory of there being a concrete recipe (due to Woronowicz?) for doing this when $A$ is a Hopf algebra and the calculus is left-covariant (or bi-covariant). 
 A: I don't know if you still care, but I think I found the answer to your question.
Look at Proposition 1 in Chapter 14 of Quantum Groups and Their Representations by Klimyk and Schmudgen.  It shows that there is a bijection between left-covariant first-order differential calculi over a Hopf algebra $H$ and right ideals of the kernel of the counit of $H$, and it shows how the relations in a first-order calculus are obtained from the ideal.  I have never worked with these things, so I don't know how tractable the computations are, but as far as I can tell from quickly scanning it seems that all the maps are at least explicitly defined.
As for higher order calculi, I am not sure whether/how these results extend.  But at least maybe this is a good start?
A: I don't much about differential calculi, but back in my head I also remember somewhat like this....so as a HINT (?): Could N be the kernel of something like a "quantum shuffle map" or "quantum symmetrizer"? Then chances are you are talking about a Nichols algebra....and then one had a good description of N but NOT easily explicit relations.... 
