3
$\begingroup$

Let $A_n$ denote the Weyl algebra - the algebra of partial differential operators in $n$ variables with polynomial coefficients.

In papers I've read the following definition:

A left ideal $I$ of $A_n$ is called zero-dimensional, if $\dim_{K(x_1,...,x_n)} A_n/I \lt \infty$.

My question: How can we view $A_n/I$ or generally $A_n$ as $K(x_1,...,x_n)$-vector space?

  • 0
    I think i understand now what was meant: Instead of $A_n$ one can consider $A_n(x_1,...,x_n)$ which is also written as K(x_1,...,x_n)<\partial_1,...,\partial_n>, the ring of differential operators with coefficients rational functions. This is isomorphic to $K(x_1,...,x_n) \otimes_K A_n$. Now a left ideal I of $A_n$ (which corresponds to a ideal J = $K(x_1,...,x_n) \otimes I$ of $A_n(x_1,...,x_n)$) is called zero-dimensional, if $dim_{K(x_1,...,x_n)} A_n(x_1,...,x_n)/J$ is finite. Is it possible to formulate it this way? Thanks for your help.2011-04-26

0 Answers 0