Questions tagged [prime-ideals]

For questions involving prime ideals in commutative or noncommutative rings.

Filter by
Sorted by
Tagged with
17 votes
4 answers
2k views

Constructive proof that a kernel consists of nilpotent elements

I am interested in the following innocent looking statement: Let $A \leftarrow R \rightarrow B$ be two homomorphisms of commutative rings. Assume that their kernels consist of nilpotent elements. ...
HeinrichD's user avatar
  • 5,392
16 votes
3 answers
7k views

What are the prime ideals of k[[x,y]]?

Let $k$ be a field. Then $k[[x,y]]$ is a complete local noetherian regular domain of dimension $2$. What are the prime ideals? I've browsed through the paper "Prime ideals in power series rings" (...
Martin Brandenburg's user avatar
12 votes
1 answer
617 views

How bad does a ring have to be for a failure of "going-in-between"?

Let $A\subset B$ be an integral extension of commutative unital rings. Let $\mathfrak{p}_0\subset\mathfrak{p}_1\subset\mathfrak{p}_2$ be a saturated chain of primes in $A$ of length $2$. Suppose $\...
benblumsmith's user avatar
  • 2,831
9 votes
1 answer
571 views

Is it true that this ideal must be principal? (proof verification)

Let $L/K$ be a (abelian, Galois) quadratic extension of number fields with $\text{Gal}(L/K)$ generated by $\sigma$ and $\mathfrak{p} = \alpha\mathcal{O}_K$ a principal prime ideal of $\mathcal{O}_K$. ...
wyoumans's user avatar
  • 287
9 votes
2 answers
350 views

When $C (X) $ is zero dimensional

Let $X $ be a Tychonoff topological (completely rgular) space and $C (X) $ be the ring of all real valued functions over $X $. When is the krull dimension of $C (X) $ zero?
Azitro Walex's user avatar
9 votes
1 answer
428 views

Rings with all non-prime ideals finitely generated

Motivated by this question, I would like to ask: If all non-prime ideals in a ring are finitely generated, then is the ring Noetherian? Can we at least say anything in the local case? Note that ...
user avatar
9 votes
1 answer
581 views

When is $max Spec R$ homotopy equivalent with $Spec R$ (with Zariski topology)?

A commutative ring with unity is called pm-ring if every prime ideal is contained in a unique maximal ideal. In [dMO71], it is shown that pm-rings are characterized by the fact that $\operatorname{...
user avatar
8 votes
1 answer
437 views

For $G=\mathbb{Z}^2\rtimes \mathbb{Z}$, $Spec(\mathbb{Z}G)$=?

Let $G$ be the group $\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}=\langle y,z\rangle\rtimes_{\sigma}\langle x\rangle$, where $\sigma(x)=\begin{pmatrix}a, b\\c,d\end{pmatrix}\in SL_2(\mathbb{Z})$, which ...
Jiang's user avatar
  • 1,518
8 votes
1 answer
1k views

When does prime elements remain prime in certain integral extension

Let $R$ be an integral domain and $\bar R$ denote its integral closure in the fraction field (i.e. normalization). If $p\in R$ is a prime element in $R$, then does $p$ remain prime in $\bar R$ also ? ...
user avatar
8 votes
0 answers
260 views

Does this kind of non-noetherian bimodule exist?

Question: Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that $M$ is finitely generated both as a left $R$-module and a right $...
Manny Reyes's user avatar
  • 5,102
7 votes
1 answer
669 views

Quotients of number fields by certain prime powers

I apologise in advance for what must be a naive question. Let $\mathcal O_K$ be the ring of integers of the algebraic number field $K.$ Let $p$ be a rational prime, and factorize $$(p)=\mathfrak p_1^{...
Tom's user avatar
  • 322
7 votes
1 answer
168 views

Cellular and primary binomial ideals

Let $I \subseteq \mathbb{K}[x_1, \dots, x_n]$ be an ideal of a polynomial ring over a field $\mathbb{K}$. $I$ is called cellular if every variable $x_i$, with $i=1, \dots, n$, is either a ...
Ella Smith's user avatar
6 votes
2 answers
724 views

When does a dyadic prime ramify in a relative quadratic extension?

In a quadratic extension $\mathbb{Q}(\sqrt{d})$of $\mathbb{Q}$ it is clear that 2 ramifies if and only if $d\equiv 2,3\mod 4$ (easy to see if you compute the discriminant). But if I take a relative ...
user48331's user avatar
6 votes
1 answer
185 views

Is every universally catenary ring a going-between ring?

This question asks for the necessity of a noetherian hypothesis in a certain relation between properties of rings concerning chains of prime ideals. We use the following definitions. A ring $R$ is ...
Fred Rohrer's user avatar
  • 6,650
6 votes
1 answer
510 views

prime ideals minimal over a zerodivisor

Let $R$ be a commutative ring with identity. If $P$ is a prime ideal of $R$ that is minimal over some zerodivisor of $R$, then must $P$ consist only of zerodivisors? I suspect not but I can't figure ...
Jesse Elliott's user avatar
6 votes
1 answer
340 views

The angular distribution of the $(a,b)$ in $p = a^2+b^2$, and the distribution of the lattices corresponding to prime ideals

Here is a really basic question which I wished I understood better about the primes of the Gaussian field $\mathbb{Z}[i]$. But I was curious about the possibility of generalizing it to other (real ...
Vesselin Dimitrov's user avatar
6 votes
0 answers
280 views

On the prime spectrum of $R[[X]]$ when the prime spectrum of $R$ is Noetherian

All rings below are commutative with unity. If $R$ has a.c.c. on radical ideals i.e. if $Spec R$ is Noetherian under Zariski topology, then so is $R[X]$, this is Theorem 2.5 in the following paper ...
uno's user avatar
  • 280
6 votes
0 answers
3k views

Prime ideals in polynomial rings over integers

Im trying to find a characterization of the prime ideals in the polynomial ring $R = \mathbb Z[X,Y]$ in two variables over the integers. Actually I need to find the maximal ideals in quotient rings $...
Troels Bak Andersen's user avatar
5 votes
1 answer
2k views

Intersection of nonzero prime ideals is zero -- does it have a name?

The Rabinowitch trick (in Eisenbud's Commutative Algebra with a view toward Algebraic Geometry, page 132) says that $R$ (commutative unital ring) is Jacobson if and only if for every prime ideal $P \...
Jason Howald's user avatar
5 votes
1 answer
993 views

A property of minimal prime ideals in commutative reduced ring

Let $\{\mathfrak{p}_i\}_{i\in I}$ ($I$ is an infinite set) be a family of minimal prime ideals in a commutative reduced ring $R$ with identity, and let $a, b \in R$. If the ideal $\langle a, b\rangle$...
e.r's user avatar
  • 51
5 votes
0 answers
211 views

Set-theoretic generation by circuit polynomials

Let $P$ be a prime ideal in $S=\mathbb{C}[x_1,\ldots , x_n],$ and write $[n] = \{ 1, \ldots , n \}.$ The algebraic matroid of $P$ can be defined according to circuit axioms as follows: $C\subset [n]$ ...
tim's user avatar
  • 388
4 votes
1 answer
1k views

Is being principal a local property?

Let $R$ be a number ring and a Dedekind domain. We have the following result: For every ideal $I\subset R$ $$ I = \bigcap_P I_P $$ where $I_P$ denotes the localization of $I$ at $P$ and the ...
Abramo's user avatar
  • 251
4 votes
1 answer
265 views

For every prime ideal $P$ of any Cohen-Macaulay ring $R$, is the sequence $\operatorname{depth}(R/P^n)$ eventually constant?

Let $P$ be a prime ideal of a Cohen-Macaulay ring $R$. Then is the sequence $\operatorname{depth}(R/P^n)$ eventually constant ?
user521337's user avatar
  • 1,189
4 votes
2 answers
567 views

Counting prime ideals and an explicit Landau prime ideal theorem

Let $K$ be a number field, $\mathcal O_K$ be its ring of integers, and $\mathfrak p$ be a prime ideal of $\mathcal O_K$. Let $x\in \mathbb R^+$, and $N(\mathfrak p)$ be the norm of the prime ideal $\...
var's user avatar
  • 403
4 votes
1 answer
226 views

Finite type injective ring map between domains preserves the open point $(0)$

I am looking for a proof of the following statement without using full power of Chevalley's theorem on constructible sets. We say a domain $A$ is $0$-open if $\{(0)\}$ is open in $\operatorname{Spec}(...
William Sun's user avatar
4 votes
1 answer
293 views

Is $Hom_R(S_X^{-1}R, E)$ the minimal injective cogenerator of $S_X^{-1}R$?

Assume that $R$ is a commutative Noetherian ring with minimal injective cogenerator $E$. For a finite set of maximal ideals $X$ of $R$, define the multiplicative set $$S_X=R-\bigcup_{\mathfrak{m}\in X}...
Filburt's user avatar
  • 43
4 votes
1 answer
207 views

Explicitly generating 1 in an ideal without prime support

The Question Let $R$ be a unital commutative ring, and let $a,b_1,b_2\in R$. The following is a basic commutative algebra exercise. Lemma. If $Ra+Rb_1=R$ and $Ra+Rb_2=R$, then $Ra+Rb_1b_2=R$. Proof. ...
Greg Muller's user avatar
  • 12.7k
4 votes
0 answers
100 views

A relation between $Spec((1+I)^{-1}R)$ and $Spec(R/J)$

Let $R$ be a commutative ring with identity and let $I$ and $J$ be two finitely generated ideals of $R$. Clearly $1+I:=\{1+i:i\in I\}$ is a multiplicative closed subset of $R$. We can consider the ...
Bruce's user avatar
  • 41
4 votes
0 answers
181 views

Prime ideal generated by two quadratic polynomials

Let $q_1$ and $q_2$ be two irreducible quadratic homogeneous polynomials in $\mathbb{C}[x_0, \ldots, x_n]$. Consider the ideal $\langle q_1, q_2 \rangle$. When this ideal is prime? I am ...
Alexey Milovanov's user avatar
4 votes
1 answer
348 views

Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$

Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread. Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
Salvo Tringali's user avatar
4 votes
0 answers
818 views

Methods to check if an ideal of a polynomial ring is prime

Fix $\ell \geq 3$, $r \geq 2$ and $1 \leq k \leq \ell - 1$ and $z_1, \ldots, z_\ell \in \mathbb{C}$ with $z_i \neq 0$ for all $i$ and $z_i \neq z_j$ for all $i \neq j$. Now consider the (irreducible, ...
Nils Amend's user avatar
3 votes
1 answer
478 views

Density of prime ideals of a given degree

Let $K$ be a number field. For each ideal $I$ of the ring of integers $\mathcal{O}_K$ let $N_K(I)$ denote the norm of $I$. For a prime $\mathfrak{p}\subset \mathcal{O}_K$ above the rational prime $p\...
Tristan Phillips's user avatar
3 votes
1 answer
283 views

Closed prime ideal in $C[0, 1]$

I know that maximal ideals of $C[0, 1]$ corresponds to singleton. Also, using Zorn's lemma one can construct a prime ideal in $C[0, 1]$ which is not maximal. Is there any $\textbf{closed}$ prime ...
Math Lover's user avatar
  • 1,065
3 votes
1 answer
359 views

Is the annihilator of a minimal prime ideal principal?

My setup is as follows: $X$ is a projective, reduced curve (which is not integral) with a finite morphism onto $\mathbb{P}_k^1$. $\DeclareMathOperator{\Ann}{Ann}$ Let $R$ be a coordinate ring of $X$ ...
windsheaf's user avatar
  • 435
3 votes
1 answer
2k views

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

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 ...
A. C. Biller's user avatar
3 votes
2 answers
160 views

Weak ideal systems $r$ for which the $r$-coheight satisfies a kind of triangle inequality

Let $H$ be a multiplicatively written, commutative monoid with identity $1_H$, and let $\mathcal P(H)$ be the power set of $H$. If $X, Y \subseteq H$, we will set $$XY := \{xy: x \in X,\, y \in Y\}.$$ ...
Salvo Tringali's user avatar
3 votes
1 answer
502 views

Prime ideals and localizations of the ring $\mathbb Z[\{\sqrt p: p \text{ prime}\}]$

I have been trying to study the prime ideals of the ring $R:=\mathbb Z [\{ \sqrt{p_n}\}_{n=1}^\infty]$, where $p_n$ denotes the $n$-th prime. This is how far I got: I could conclude, by means of the ...
asrxiiviii's user avatar
3 votes
1 answer
726 views

Maximal ideals of polynomial ring containing a fixed element

We know that for a field $k $ and $f\in k [x]$, the only maximal ideals of $k [x]$ containing $f $ are the ideals generated by prime factors of $f $. Now, I want to know that if $R $ is an arbitrary ...
Tedi Fox's user avatar
3 votes
1 answer
776 views

A relation between ideals and annihilators

Let $R$ be a commutative reduced ring with identity with the property that if $I$ and $J$ are two ideals of $R $ such that if $I+J$ is not contained in any minimal prime ideal, then there exist ideals ...
Anderias Beto's user avatar
3 votes
1 answer
199 views

for which truth-operations f can f-membership in a prime ideal be represented by a polynomial?

Nota bene: all rings are supposed commutative with $1$ and all ring homomorphism should be unital. Let $B$ be the set of truth values {True, False}. For a formula $\phi$ denote by $[\phi]\in B$ it's ...
Toink's user avatar
  • 622
3 votes
0 answers
114 views

intersection of two height 2 primes must contain a non-zero prime?

I saw in some contexts the following statement, which I do not have a reference for this: "Kaplansky asked if in a Noetherian domain the intersection of two height 2 primes must contain a non-...
user 1's user avatar
  • 1,345
3 votes
0 answers
149 views

Prime ideals in $R \subseteq \mathbb{C}[x,y]$, $\dim(R)=2$

Prime ideals in $\mathbb{C}[x,y]$ were listed here; they are: (i) $(0)$. (ii) $(f)$, where $f$ is an irreducible polynomial. (iii) $(x-\lambda,y-\mu)$, where $\lambda,\mu \in \mathbb{C}$. Now let $R \...
user237522's user avatar
  • 2,783
3 votes
0 answers
201 views

Quick proof of the first part of Kaplansky's Theorem on characterization of Noetherian domains with all maximal ideals principal

I have been reading section 12 of this paper "Elementary Divisors and Modules" by I. Kaplansky (https://www.ams.org/journals/tran/1949-066-02/S0002-9947-1949-0031470-3/S0002-9947-1949-...
asrxiiviii's user avatar
3 votes
0 answers
156 views

A characterization for a commutative ring with a special intersection property for prime ideals

Let $R$ be a commutative ring with $1$ with the property that for any infinite family $\{P_i\}_{i\in I}$ of distinct prime ideals of $R$ we have $\cap_{i\not= j} P_i\subseteq P_j$ for all but fnitely ...
A. C. Biller's user avatar
3 votes
0 answers
132 views

Hilbert's irreducibility theorem for prime ideals

A typical formulation of Hilbert's irreducibility theorem is like this (see [1]): Let $k=\mathbb{Q}$ and $f\in k[x_1,\ldots,x_n,y_1,\ldots,y_m]$ be an irreducible polynomial. There exists a Zariski ...
Adam Przeździecki's user avatar
3 votes
0 answers
336 views

On rings for which given an ideal , over it every minimal prime ideal is finitely generated

Let $R$ be a commutative ring with unity. If for every ideal of $R$, the minimal prime ideals over it are all finitely generated, then there are finitely many minimal prime ideals over every ideal of $...
user avatar
2 votes
1 answer
297 views

What is the effect of imaginary quadratic extension on a quaternion algebra's ramified primes

A smart man once explained to me how to solve the following problem, then I forgot. Let $F\subset\mathbb{R}$ be a number field, let $d\in F^+$, and let $K=F(\sqrt{-d})$. Denote the rings of integers ...
j0equ1nn's user avatar
  • 2,438
2 votes
3 answers
296 views

GCD and LCM of elements in Prufer domain

Let $R$ be a Prufer domain. If $0 \ne a \in R$ is such that $Ra \cap Rb$ is principal ideal for every $b \in R$, then is it true that $Ra+Rb$ is also principal for every $b\in R$ ? Over Prufer ...
user avatar
2 votes
2 answers
1k views

When an intersection is contained in a minimal prime ideal

For a commutative ring $R$ with identity, it is well known that if a finite intersection of ideals is contained in a prime ideal $\frak{p}$, then one of them is contained in $\frak{p}$. I am looking ...
Andro Ximonea's user avatar
2 votes
1 answer
221 views

Independence of Chebotarev densities

I would appreciate a reference to the following statement, which, I was having an impression, is known: Let $L, M$ be field extensions of finite degree of a number field $K$, such that $L \cap M = K$...
Albertas's user avatar
  • 704