6
$\begingroup$

Maximal ideals in univariate polynomial rings $R[X]$ have a nice characterization in that they all are of the form $(E)$, for some irreducible $E\in R[X]$. This allows for a systematic way to construct maximal ideals in this setting.

I'm looking to do the same for multivariate polynomial rings. Let $k$ be a field (not algebraically closed -- imagine that it's $\mathbb{F}_p$ for some prime $p$), and let $k[x_1,\ldots,x_n]$ be its polynomial ring in $n$ variables.

More specifically, I'm looking for maximal ideals $I\subseteq k[x_1,\ldots,x_n]$ such that for any polynomial $f\in k[x_1,\ldots,x_n]$ of total degree at most $d$, $f$ is the unique degree $\leq d$ polynomial such that $f = f \mod I$. Otherwise, there exists a degree $\leq d$ polynomial $g$ such that $g = f \mod I$. Intuitively, I would like to have something that behaves like modding by an irreducible $E$ in a univariate polynomial ring: if $E$ is of degree $d+1$, then $f \mod E$ has the behavior I described.

Any other pointers to examples/characterizations of maximal ideals in multivariate polynomial rings would be appreciated!

Thank you!

  • 0
    I don't understand the question.2012-12-14
  • 0
    The part "Otherwise...". You are looking for a maximal ideal $I$ satisfying the first part of the condition (before "otherwise") ?2012-12-14
  • 0
    I edited to hopefully make it more clear.2012-12-14
  • 0
    By $R[X]$ you meant $\mathbb{R}[X]$? Because the statement isn't true if, for example, $R = \mathbb{Z}[X]$.2012-12-14
  • 0
    I was indeed thinking of R as being something like $\mathbb{F}_p$ or $\mathbb{R}$. However, could you explain why it's not true if $R = \mathbb{Z}[X]$? Thanks!2012-12-14
  • 0
    @Henry: Whoops, I meant $R = \mathbb{Z}$. (but $R = \mathbb{Z}[X]$ is also a counterexample). The maximal ideals of $\mathbb{Z}[X]$ all have the form $(p, f(x))$, where $f(x)$ is irreducible modulo $p$. More generally, every maximal ideal of $R[X]$ must contain a maximal ideal $\mathfrak{m}$ of $R$ and a polynomial irreducible modulo $\mathfrak{m}$.2012-12-14
  • 0
    @Hurkyl: this holds if $R$ is a Jacobson ring. Otherwise it is false, even for a DVR.2012-12-14
  • 0
    Perhaps Miguel Ferrero, "Prime Ideals in Polynomial Rings in Several Indeterminates," Proceedings of the American Mathematical Society 125 (1997), 67-74 will help.2016-02-06

2 Answers 2

3

If each $p_i$ is irreducible, then the quotient $k[x_1, ... x_n]/(p_1, ... p_n)$ is canonically isomorphic to the tensor product of fields $\bigotimes k[x_i]/p_i$, so the question is when a tensor product of fields remains a field.

This seems to be a somewhat delicate field-theoretic question in general. Restricting to the case $n = 2$ for simplicity and writing $k_i = k[x_i]/p_i$, note that $k_1 \otimes k_2 \cong k_1[x_2]/p_2$, hence the question is whether $p_2$ remains irreducible when regarded as a polynomial over $k_1$. Then of course one has to repeatedly answer this question for each of the $p_i$.

I think a sufficient condition is that the pairwise intersection of the normal closures of the $k[x_i]/p_i$ in $\bar{k}$ is $k$. (This is wrong; see QiL's comment for the correct condition.) For example one might take $k = \mathbb{Q}$ and $p_i = x_i^2 - q_i$ where $q_i$ is an enumeration of the primes.

  • 1
    The tensor product is a field is equivalent to the fields $k[x_i]/(p_i)$ are linearly disjoint in an algebraic closure of $k$.2012-12-14
  • 3
    If $k$ is finite, an equivalent condition is that the degrees $\deg p_i$ are pairwise coprime. This is because of the uniqueness of subextensions of given degree in a given algebraic closure.2012-12-14
  • 0
    Let me try to understand the last comment: if $\deg p_i$ are pairwise coprime, then for a finite field $k$, $\otimes k[x_i]/p_i$ is a field?2012-12-14
  • 0
    @HenryYuen: yes, this is what I meant.2012-12-14
2

I suspect what you're looking for is the notion of a Groebner basis. The phrase triangular decomposition may be useful.