For questions involving prime ideals in commutative or noncommutative rings.

learn more… | top users | synonyms

13
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" ...
8
votes
1answer
326 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 ...
4
votes
1answer
183 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$. ...
2
votes
2answers
214 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 ...
2
votes
1answer
237 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
135 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
245 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 ...
2
votes
0answers
265 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. $$ ...
1
vote
1answer
153 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
150 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
103 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 ...
1
vote
1answer
134 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
0answers
663 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 ...
0
votes
1answer
180 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 ...