# Questions tagged [prime-ideals]

For questions involving prime ideals in commutative or noncommutative rings.

97
questions

0
votes

0
answers

75
views

### Generalizations for the PNT to a subset of Dedekind domains?

The classical prime number theorem states that the prime counting function
$$\pi(X) := \# \{ p \leq X \ | \ \text{$p$ prime} \}$$
is asymptotically equal to $X/\log(X)$.
It is also known (and much ...

3
votes

1
answer

400
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\...

0
votes

0
answers

21
views

### How to compute a smooth number over a factor base in General Number Field Sieve (GNFS) factoring algorithm?

Following this on page 12, I understand the first steps of the general number field sieve (GNFS) algorithm for factoring as follows:
Step 1:
Let
$$N = 77$$
and choose
$$m = 4$$
Then
$$N=77 = 1(4^3) + ...

3
votes

1
answer

228
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 ...

4
votes

1
answer

191
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}(...

1
vote

0
answers

107
views

### Ideals whose alebraic variety is a singleton

I do not work in algebra, so i apologize in advance if there are some unclear/wrong sentences. Let us consider the ring $\mathbb{C}[X_1,\ldots,X_q]$ of polynomials in $q$ variables. For an ideal $I$ ...

7
votes

1
answer

605
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^{...

1
vote

1
answer

132
views

### Cohen-Macaulay quotient ring and symbolic power

Let $(R, \mathfrak{m})$ be a regular local ring and let $\mathfrak{a} \subset R$ be an ideal. Let
$$ \mathfrak{b} = \bigcap \{R \cap \mathfrak{a} \cdot R_\mathfrak{p} \text{ } \colon \mathfrak{p} \in \...

2
votes

0
answers

81
views

### Let $R$ be a non-catenary, and $f: R \to S$ be a finite monomorphism. Can $S$ be catenary?

Let $R$ be a commutative ring with identity. Then $R$ is $\textit{catenary}$ if for each pair of prime ideal $p \subsetneq q$, all maximal chains of prime ideals $p = p_0 \subsetneq p_1 \subsetneq \...

0
votes

0
answers

112
views

### Primary ideals and radical of an ideal

Let $R$ be a regular local ring (for example, $R=\mathbb{C}\{x_1, \dots, x_n\}$) and let $\mathfrak{p}$ be a prime ideal in $R$.
Given an ideal $\mathfrak{a} \subset R$ such that $\sqrt{\mathfrak{a}}=\...

2
votes

0
answers

70
views

### Prime elements in integrally closed extension of domains

Let $R \subseteq S$ be an extension of integral domains such that $R$ is integrally closed in $S$. Let $P$ be a prime ideal of $R$.
Is $PS$ always a prime ideal of $S$?
For classical examples of ...

3
votes

0
answers

102
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-...

9
votes

1
answer

562
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$. ...

1
vote

0
answers

179
views

### Do $k$ specific prime factors uniquely determine the continuous composite sequence of length $k$?

猜想:不存在两个长度为k且一共含有k个不同素因子的连续合数序列的素因子集合相等。例如
24 25 26 27 (2 3 5 13)
其余长度为4的连续合数序列要么素因子个数大于4 要么素因子集合不等于{2 3 5 13} 这个连续合数猜想的重大特定情况下的猜想。难度可与哥德巴赫猜想匹敌，非天才误入。再比如2 3 5 唯一决定了8 9 10 除此之外再无其他。总之经过计算机验证没有找到反例。
...

0
votes

0
answers

50
views

### k specific prime factors guess and related prime guess [duplicate]

there is no more than one group
of continuous composite sequence
of length k composed of only k different specific prime factors.
for example 2 3 5[8 9 10]just only one group. I have prove that k ...

2
votes

0
answers

67
views

### Explicit example of prime ideal not an intersection of maximal ideals, in universal enveloping algebra

Let $A$ be a $\mathbb k$-algebra. If $A$ is affine commutative, by Nullstellensatz, then every prime ideal of $A$ is an intersection of maximal ideals.
To justify the notion of being primitive in ...

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 \...

3
votes

1
answer

423
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 ...

3
votes

0
answers

171
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-...

2
votes

0
answers

66
views

### Properties preserved in addition of ideals

If I and J are prime (radical) ideals then what are the conditions under which we can define a prime (radical) ideal from I+J?

0
votes

0
answers

42
views

### Can Q(R) embed to Q((R ⊗ S )/ P)

Let $R, S$ be Noetherian $k$-algebra, where $k$ is a field, and $P \otimes S$ is Noetherian.
let $P$ be a prime ideal of $R \otimes S$ such that $P \cap (R \otimes 1) = (0) = P \cap (1 \otimes S)$, ...

5
votes

0
answers

207
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]$ ...

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 ...

3
votes

1
answer

1k
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 ...

1
vote

1
answer

343
views

### $G_{\mathbb Q}$ and primes of $\overline{\mathbb{Z}}$

I know that if $K/\mathbb Q$ is a finite Galois extension (i.e. a Galois number field), then for any prime $(p)\subseteq \mathbb Z$, the Galois group $G=\operatorname{Gal}(K/\mathbb Q)$ acts ...

1
vote

0
answers

254
views

### Computing the kernel of some Artin-Map

let $K = \mathbb{Q}(\sqrt{-5})$ and $L = K(i)$. $\mathcal{O}_K$ is the ring of integers of K.
I would like to show that the kernel of the Artin-Map $\phi_{L/K}: I_K \rightarrow Gal(L/K)$ is $P_K$, ...

3
votes

2
answers

506
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 $\...

1
vote

1
answer

100
views

### When $I+J$ is a special indecomposable ideal of $R$

$\newcommand{\Ann}{\operatorname{Ann}}\newcommand{\Max}{\operatorname{Max}}$I am looking for an example of a commutatvive ring $R$ with $1$ having two ideals $I$ and $J$ such that $I\cap J\not=0$, $\...

-1
votes

1
answer

100
views

### Relative degree of a prime over a number field (notation from Algebraic Number Fields from Gerald J. Janusz) [closed]

I´m working with "Algebraic Number Fields" from Gerald J. Janusz (1. edition from 1973) and I have a question about his notation.
In chapter IV proposition 4.5 he states if K is an algebraic number ...

1
vote

0
answers

62
views

### Non-minimal Krull associated primes of a PF-ring

A commutative ring $R$ is said to be a PF-ring if every principal ideal of $R$ is a flat $R$-module. Also, a prime ideal $P$ of $R$ to be a Krull associated prime of $R$ if
for every element $x\in P$ ,...

6
votes

1
answer

180
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 ...

6
votes

1
answer

481
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 ...

2
votes

1
answer

170
views

### Are integral extensions of a catenary ring still catenary?

A (commutative unitary) Noetherian ring $R$ of finite dimension is said to be catenary if for every prime ideal $\mathfrak{p}$ of $R$ one has $\mathrm{ht}(\mathfrak{p})+\mathrm{dim}(R/\mathfrak{p})=\...

6
votes

0
answers

251
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 ...

4
votes

0
answers

99
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 ...

1
vote

0
answers

75
views

### Localizing prime ideals over Noetherian rings

Let $R$ be a prime Noetherian ring which is not necessarily commutative. Consider the two natural ways to "extend" $R$: $R[x]$ and $M_n(R)$, polynomials over $R$ and $n$ by $n$ matrices over $R$ ...

1
vote

0
answers

62
views

### What's the probability a random module element has prime annihilator?

I'm going to pose two versions of my question---an ill-defined version and a well-defined version.
Ill-Defined Question (IDQ). Let $R$ be a (commutative, unital) Noetherian ring, $M$ a finitely ...

3
votes

1
answer

345
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$ ...

7
votes

1
answer

165
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 ...

1
vote

0
answers

84
views

### A special family of prime ideals

I am looking for a commutative ring $R$ with identity which has a family $F:=\{p_i\}_{i\in A}$ of prime ideals such that for each $n\in \mathbb{N}$ there exists $m\in \mathbb{N}$ with $n\leqslant m$ ...

4
votes

1
answer

264
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 ?

1
vote

2
answers

342
views

### A relation between an ideal and its radical

Let $I$ be an ideal of a commutative ring $R$ with $1$ such that $\sqrt{I}=I_1\cdots I_n$ where $I_i's$ are pairwise comaximal ideal of $R$. Are there ideals $J_1,...,J_n$ of $R$ such that $V(I_i)=V(...

4
votes

0
answers

176
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 ...

3
votes

0
answers

129
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 ...

9
votes

1
answer

416
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 ...

2
votes

0
answers

374
views

### Intersection of all positive powers of prime ideal in an integral domain with all ideals of finite height

Let $R$ be an integral domain with every prime ideal having finite height. Then is $\bigcap_{n>1} P^n$ a prime ideal of $R$ for every prime ideal $P$ of $R$ ? If that is not true in general, then ...

9
votes

1
answer

547
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{...

2
votes

3
answers

290
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 ...

3
votes

0
answers

327
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 $...

2
votes

1
answer

189
views

### Commutative rings with unity over which every non-zero module has an associated prime

Let $R$ be a commutative ring with unity such that every non-zero module over $R$ has an associated prime. Then is it true that $R$ is Noetherian ? If not, then can we say something about any possible ...