A_n理想的乘积

THE PRODUCT OF IDEALS IN A n

Ａｎ为ｎ阶Ｗｅｙｌ＿代数，Ｉ、Ｊ为Ａｎ的任意两个非零左理想．该文给出了一个对Ａｎ的运算非常有用的公式，并据此构造性地证明了ＩＪ＝Ｊ．

Let A n be n _order Weyl_algebra, I and J any nonzero left ideals of A n. This paper gives a very useful formula for the operations in A n , and a constructive proof of IJ=J according to it.