Questions tagged [prime-ideals]

For questions involving prime ideals in commutative or noncommutative rings.

Filter by
Sorted by
Tagged with
0 votes
1 answer
99 views

$S/I$-freeness of $I/I^2$ vs $I/I^{(2)}$, where $I$ is a radical ideal of regular local ring $S$

Let $I$ be a radical ideal of a regular local ring $S$. Put $R:=S/I$. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. It is well-known that $I^n \subseteq I^{(n)}$. Is it true that $I/I^2$ is $R$-...
uno's user avatar
  • 280
2 votes
1 answer
249 views

Irreducibility of an explicit complex projective variety

Let $Y\subset \mathbb P^n_\mathbb C$ be a subvariety defined by a series of homogeneous polynomials $f_1, \ldots, f_t$. Is there an effective way to determine the irreducibility of $Y$ as an algebraic ...
Pène Papin's user avatar
0 votes
0 answers
81 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 ...
Simon Pohmann'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
0 votes
0 answers
25 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) + ...
James's user avatar
  • 109
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
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
1 vote
0 answers
119 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$ ...
Pii_jhi's user avatar
  • 111
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
1 vote
1 answer
137 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 \...
Serge the Toaster's user avatar
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 \...
user 1's user avatar
  • 1,345
0 votes
0 answers
124 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}}=\...
Serge the Toaster's user avatar
2 votes
0 answers
75 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 ...
Daniel W.'s user avatar
  • 365
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
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
1 vote
0 answers
181 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 除此之外再无其他。总之经过计算机验证没有找到反例。 ...
光子精灵S's user avatar
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 ...
光子精灵S's user avatar
2 votes
0 answers
69 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 ...
S. Pek's user avatar
  • 485
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
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
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
2 votes
0 answers
67 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?
Iqra Khan's user avatar
0 votes
0 answers
43 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)$, ...
dna049's user avatar
  • 1
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
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
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
1 vote
1 answer
386 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 ...
Gaurav Goel's user avatar
1 vote
0 answers
267 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$, ...
Julian's user avatar
  • 13
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
1 vote
1 answer
102 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$, $\...
Anahita's user avatar
  • 101
-1 votes
1 answer
109 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 ...
Julian's user avatar
  • 13
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$ ,...
user140640'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
2 votes
1 answer
177 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})=\...
Gaussian's user avatar
  • 519
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
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
1 vote
0 answers
77 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$ ...
user304582's user avatar
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 ...
Avi Steiner's user avatar
  • 3,031
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
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
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$ ...
Es.Ro's user avatar
  • 11
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
1 vote
2 answers
355 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(...
user127045's user avatar
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
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
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
2 votes
0 answers
393 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 ...
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
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