Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

What is the injective hull of $\mathbb{C}(x,y)/\mathbb{C}[x,y]$ as a $\mathbb{C}[x,y]$-module? Is it isomorphic to any familiar module?

share|cite|improve this question
up vote 1 down vote accepted

Let me try and give a general answer - though this may not be very helpful if you're looking for an explicit description of the injective envelope.

If $R$ is a Noetherian domain with field of fractions $Q$, there is an exact sequence

$$0 \to R \to Q \to Q/R \to 0$$

Now $E(R) \cong Q$ (as $Q$ is torsionfree, divisible, and an essential extension of $R$). This implies that $E(Q/R)$ is the second term in the minimal injective resolution,

$$0 \to R \to I^0 = Q \to I^1 = E(Q/R) \to I^2 \to \ldots $$

Now the $i^\text{th}$ module $I^i$ is a direct sum of indecomposable injectives $E(R/p)$, where a prime $p \in \operatorname{Spec}R$ appears with multiplicity $\mu_i(p, R)$, the $i^\text{th}$ Bass number of $R$ with respect to $p$. If $R$ is regular (which $\mathbb{C}[x,y]$ is), hence Gorenstein, then $\mu_i(p, R) = \delta_{i, \text{ht} p}$ (Kronecker delta). Thus,

$$E(Q/R) = I^1 = \bigoplus_{\text{ht}p=1} E(R/p)$$

Understanding this module would thus involve knowing all height $1$ primes in $\mathbb{C}[x,y]$, i.e. all irreducible polynomials in $2$ variables over $\mathbb{C}$, which is not a particularly easy task.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.