For questions involving prime ideals in commutative or noncommutative rings.

learn more… | top users | synonyms

0
votes
0answers
58 views

Can it occur that $q^{ce}$ is a prime ideal (of $S$), while $q^{ce}\neq q $?

Let $R$ and $S$ be commutative rings (with $1$) and $f : R\to S$ be a ring homomorphism. For an ideal $I$ of $R$, set $I^e:=\langle f(I)S\rangle$ (called the extension of $I$ to $S$) and for an ideal ...
0
votes
1answer
49 views

In what conditions every ideal is an extension ideal? Is every prime ideal extension of prime ideal?

Let $R$ and $S$ be commutative rings (with $1$), and $f : R\to S$ be a ring homomorphism. For an ideal $I$ of $R$, set $I^e:=\langle f(I)S\rangle$ (called the extension of $I$ to $S$). When $f$ is ...
1
vote
1answer
60 views

ideals of polynomial ring of two variables generated by two elements

Let $f,g$ be two polynomials in $\mathbb{Z}[x,y]$, given by $$ f(x,y)=x^4-3xy+y^2,$$ $$ g(x,y)=x^5-4xy+3xy^2.$$ Let $I=(f,g)$ be the ideal in $\mathbb{Z}[x,y]$ generated by $f$ and $g$. Is ...
0
votes
1answer
110 views

Intersection of powers of prime ideals

Let $R$ be a Noetherian ring. Let $(x)$ be a prime ideal such that $\bigcap_n (x)^n=0$. Then $R$ is a domain. Is this a known result? I heard its known as the Davis lemma. Can anyone give a ...
4
votes
1answer
308 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 ...
6
votes
1answer
255 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 ...
-3
votes
1answer
121 views

Isomorphic quotient of a Module over Noetherian commutative algebra [closed]

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
8
votes
0answers
185 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 ...
5
votes
2answers
338 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 ...
1
vote
0answers
140 views

Classification of rings between a PID and its field of fractions?

Let $D$ be a PID and let $\mathrm{Frac}(D)$ be its field of fractions. I want to classify the intermediate rings $D\subseteq R\subseteq \mathrm{Frac}(D)$. Theorem: Every such ring $R$ is a ...
8
votes
1answer
343 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 ...
2
votes
1answer
182 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 = ...
2
votes
1answer
183 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 ...
1
vote
1answer
162 views

Is there a prime of height $i$ in support of $H^i_I(R)$?

$I$ is an ideal of a local Noetherian ring $R$ and $i>0$ . Clearly the height of primes in support of $H^i_I(R)$ is at least $i$ The question is if it contains a prime of height $i$, specially ...
1
vote
1answer
160 views

What are the upperbounds of the Nil radical?

The main radicals of a non-commutative ring (with 1) are the Sum of all nilpotent ideals $\subseteq$ Prime radical $\subseteq$ Nil radical $\subseteq$ Jacobson radical $\subseteq$ Brown-McCoy radical. ...
1
vote
0answers
995 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 ...
2
votes
0answers
283 views

Orthogonality (wrt. Ext, Tor) in commutative noetherian rings

Hi, it is a folklore, that: let $p$, $q$ be two primes of a commutative Gorenstein ring $R$. $$ \operatorname{Tor}^k(E(R/p), E(R/q)) \neq 0 \iff p = q\mbox{ and }k = \operatorname{height} p. $$ ...
2
votes
1answer
273 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 ...
2
votes
1answer
274 views

Semirings with subtractive primes

Let $S$ be a commutative semiring with identity such that each prime ideal of $S$ is subtractive. Does this imply all ideals of $S$ to be subtractive? By a commutative semiring with identity I mean ...
0
votes
1answer
198 views

Number of generators of $\mathfrak m$-primary ideals in $k[x, y]$

Let $R = k[x, y]$ with $k$ algebraically closed, and $\mathfrak m = (x, y)$. Suppose $I$ is an $\mathfrak m$-primary ideal of $R$, i.e., $(x, y)^n \subset I \subset (x, y)$ for some $n$. If ...
4
votes
1answer
184 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$. ...
14
votes
3answers
2k 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" ...