# Prime ideals of formal power series ring that are above the same prime ideal

MathOverflow Asked by A. C. Biller on January 5, 2022

Let $$R$$ denote a commutative ring with identity and let $$R[[X]]$$ denote the
ring of formal power series over $$R$$ in an indeterminate $$X$$. If $$I$$ is an ideal of $$R$$,
then $$I[[X]]$$, the set of power series of $$R[[X]]$$ with coefficients all in $$I$$. Now if $$P$$ is a prime ideal of $$R$$, then $$P[[X]]$$ is a prime ideal of $$R[[X]]$$ that is contained in the prime ideal $$langle P, xrangle$$ of $$R[[X]]$$ such that $$langle P, X ranglecap R=P$$. Now let $$Q$$ be a prime ideal of $$R[[X]]$$ such that $$P[[X]]subseteq Q$$ and $$Qcap R=P$$. Is there any characterization for such a $$Q$$? (I guess that $$langle P, Xrangle$$ is the only ideal with that property.)

In general, $$(P, X)$$ is not the only prime containing $$P[[X]]$$ and contracting to $$P$$. I don't have anything to say about the problem of characterizing such primes, but in general it seems extremely hard. Let's focus on the case $$P = 0$$.

As a motivating example we can even use the integers. The ring $$mathbb{Z}[[X]]$$ is a UFD. For any prime $$p$$ and power series $$F$$, it is clear that $$p +xF$$ is irreducible in $$mathbb{Z}[[X]]$$ and hence prime. Moreover if we take $$f in mathbb{Z}[X]$$ to be such that the content $$c(f)$$ of $$f$$, that is the ideal generated by the coefficients of $$f$$ in $$mathbb{Z}$$, is coprime to $$p mathbb{Z}$$, then additionally $$(p + Xf) cap mathbb{Z}= 0$$. One way to show this would be to appeal to the Dedekind-Mertens content formula$$^1$$, which asserts that over any ring $$R$$, if $$f$$ is a polynomial of degree $$n$$, $$G,H in R[[X]]$$, with $$fG=H$$, then $$c(f)c(G)^{n+1} = c(G)^{n} c(H)$$. Here $$c(F)$$ denotes the content ideal of the power series $$F$$. From here, if we had $$(p+Xf)G = p G_0 in mathbb{Z}$$ then the D-M formula would imply $$frac{1}{p} c(G)^k subseteq c(G)^k$$ which would in turn imply $$p$$ is a unit (absurd). For every prime $$p$$, we have found infinitely many polynomials which are prime in $$mathbb{Z}[[X]]$$ and which lie over $$0$$ in $$mathbb{Z}$$. Moreover in this way we can be sure to find lots of distinct primes in $$mathbb{Z}[[X]]$$, which follows for example from this old post of mine on stackexchange.

I'm not sure to what extent this way of producing principal primes over $$0$$ generalizes to other rings. It does work verbatim for any Archimedean GCD domain $$D$$ for which $$D[[X]]$$ has its irreducible elements prime. The tough part is that last bit, which is a very delicate property. However, it is sufficient that $$D[[X]]$$ be a UFD, which is a well-studied problem. So for example this argument applies just as well to any regular UFD.

$$^1$$ See theorem 3.6 in the paper Zero divisors in power series rings by R. Gilmer, A. Grams, and T. Parker [Journal für die reine und angewandte Mathematik (1975), EUDML Link]

## Related Questions

### Real part of a holomorphic section of a vector bundle

0  Asked on January 8, 2021 by user158773

### Gaussian expectation of outer product divided by norm (check)

1  Asked on January 7, 2021 by b-merlot

### If $W$ is a Markov chain and $N$ is a Poisson process, then $left(W_{N_t}right)_{tge0}$ is Markov

0  Asked on January 7, 2021

### Open problems in matroid theory

2  Asked on January 6, 2021 by logictheorist

### Automorphism group of Hermitian symmetric spaces

1  Asked on January 5, 2021 by thiku

### Existence of Gaussian random field with prescribed covariance

1  Asked on January 5, 2021 by cabbage

### What, precisely, do we mean when we say that a f.d. vector space is canonically isomorphic to its double dual?

0  Asked on January 4, 2021 by qiaochu-yuan

### Does the lemma remain valid in b-metric space?

0  Asked on January 4, 2021 by seddik-merdaci

### A determinant identity

1  Asked on January 4, 2021 by vassilis-papanicolaou

### Extending continuous functions from dense subsets to quasicompacts

1  Asked on January 3, 2021 by user97621

### Top and bottom composition factors of $M$ are isomorphic

1  Asked on January 2, 2021 by user666

### Widely accepted mathematical results that were later shown to be wrong?

47  Asked on January 2, 2021 by roman-starkov

### Anti-concentration of Gaussian quadratic form

3  Asked on January 1, 2021 by mitch

### Convergence of solving an OP $minlimits_{x, alpha} sum_i alpha_i f_i(x) + g(alpha)$

0  Asked on January 1, 2021 by user263322

### Quadrature for numerical integration over infinite intervals

1  Asked on December 31, 2020 by bernied

### When is ${b^2 – {b-1}_2}_2=1$ with odd $b$? (The bracket-notation explained below)

4  Asked on December 30, 2020 by gottfried-helms

### How to recognize a vector bundle?

2  Asked on December 30, 2020 by user163840