# Questions tagged [prime-ideals]

For questions involving prime ideals in commutative or noncommutative rings.

72 questions
Filter by
Sorted by
Tagged with
143 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$, ...
184 views

49 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 ...
53 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$ ,...
120 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 ...
332 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 ...
113 views

89 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 ...
106 views

### Hilbert's irreducibility theorem for prime ideals

A typical formulation of Hilbert's irreducibility theorem is like this (see ): 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 ...
360 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 ...
245 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 ...
341 views

140 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 ...
512 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 ? ...
117 views

### On maximal ideals of $k [X_i : i \in I ]$ where $k$ is a field , $I$ is an infinite set with $|k| > |I|$

Let $k$ be a field and $I$ be an infinite set such that $|k| > |I|$ . Let $R := k [X_i : i \in I ]$ and $m$ be a maximal ideal of $R$ ; then is it true that $m \cap k[X_i] \ne 0 , \forall i \in I$ ...
94 views

### When an ideal is locally comaximal with idempotents(restated)

I saw the following question at mathstackexchang < https://math.stackexchange.com/questions/2282194/when-an-ideal-is-locally-comaximal-with-idempotents>. It seems to be a nice question and I need ...
246 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$,...
129 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\}.$$ ...
268 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?
497 views

717 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$...
358 views

### Automorphisms of rings fixing all prime ideals

Let $f,g:A \to B$ be two ring homomorphisms of noetherian rings satisfying that for any prime ideal $\mathfrak{q} \subset B$, $f^{-1}(\mathfrak{q})=g^{-1}(\mathfrak{q})=:\mathfrak{p}$ and the induced ...
129 views

### Monoid prime ideals and prime congruences

I was wondering what the connection is between the notion of "prime congruence" on a monoid, and the notion of "prime ideal" in a monoid. Starting from a prime ideal $P$ in a monoid $M$, one can ...
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 ...