Weyl algebras over quantum groups

The term "Weyl algebras" is proposed for differential algebras associated with dual pairs of Hopf algebras. The principle of complete reducibility for the category of "admissible" modules over Weyl algebras is proved. Comodule structures that connect Weyl algebras with the Drinfeld quantum double are investigated.