# Tagged Questions

Questions about commutative rings, their ideals, and their modules.

50 views

### The prime ideals of the ring $K[x]$

I was wondering what the prime ideals of the ring $K[x]$ are, where $K$ is a ring. My guess is that it's any ideal generated by a set of irreducible polynomials over the ring $K$. Have I covered all ...
89 views

### On finite generation of certain $\operatorname{Ext}$'s

All rings below are commutative. I have the following situation: $A$ is a commutative ring, $B=A/I$, and I know that $B$ is noetherian. I have a $B$-module $M$ which is finitely generated as a $B$-...
42 views

### Simplify $(y-x^2)\cap(y^2+2y+x^2)$

In the book "Commutative Algebra with a View Toward Algebraic Geometry (Eisenbud, 1995), exercise 1.10 one has to find the ring associated to the union of the circle $C:(y+1)^2+x^2=1$ and the parabola ...
20 views

### Let $K$ be a field, $A \subset K$, and $p \subset A$. Then $\exists$ a valuation ring $R$ satistfying…

I was stuck when reading a proof of the following theorem (Matsumura p. 72-3, Theorem 10.2), Let $K$ be a field, $A \subset K$ a subring, and $p$ a prime ideal of $A$. Then there exists a ...
156 views

### What is the Krull dimension of $\mathbb{Q}[x^2+y+z,\ x+y^2+z,\ x+y+z^2,\ x^3+y^3,\ y^4+z^4]$?

I am studying commutative algebra and saw the following question in one of the tests: What is the Krull dimension of $R=\mathbb{Q}[x^2+y+z,\ x+y^2+z,\ x+y+z^2,\ x^3+y^3,\ y^4+z^4]?$ I know ...
70 views

72 views

### Primary decomposition of $(0)$ in $k[X,Y,Z]/(ZY,ZX^2,Z-XY)$

I am looking for a minimal primary decomposition of $(0)$ in $k[X,Y,Z]/(ZY,ZX^2,Z-XY)$. I realize that this is a similar question to some of the previous ones, but the ring is different than in ...
112 views

### Tensoring the exact sequence by a faithfully flat module

I have problems to do the exercise 1.2.13 from Liu's "Algebraic Geometry and Arithmetic curves". First, Liu defines that if $M$ is a flat module over a ring $A$, then $M$ is faithfully flat over $A$ ...
88 views

### Flat algebra over a Dedekind domain

Let $B$ be a flat algebra over a Dedekind domain $A$. Let $f\in B$ be such that for every maximal ideal $\mathfrak m$ of $A$, the image of $f$ in $B/\mathfrak mB$ is not a zero divisor. How can I show ...
91 views

### The annihilator numbers of $S/I$

Let $S=K[x_{1},x_{2},...,x_{n}]$ and $I$ be a strongly stable ideal of $S$. Compute the annihilator numbers of $S/I$ with respect to the almost regular sequence $x_{n},x_{n-1},...,x_{1}$. (...
70 views

### Finding conditions for $\mathbb Z[i][X,Y]/(Y^2 - aX)$, $a \in \mathbb Z[i]$ to be regular

I am trying to find the dimension and the necessary and sufficient conditions under which $A[X,Y]/(Y^2 - aX)$ is regular, that is, the localizations of $A[X,Y]/(Y^2 - aX)$ at all maximal ideals are ...
107 views

### Finding an ideal such that quotient is Cohen-Macaulay

Let $R$ be a commutative local Noetherian ring which is not a domain and not Cohen-Macaulay. Can we find an ideal $I$ in $R$ such that $R/I$ is Cohen-Macaulay, and $\dim R/I=\dim R$?
62 views

### Is $\{3,5,6\}$ a $2\mathbb{Z}$-sequence?

I have just started reading about the concept of $M$-regular sequences on my own and to understand the definition I asked myself the following question: Is $\{3,5,6\}$ a $2\mathbb{Z}$-sequence? ...
327 views

### Checking that a $3$-D diagram is commutative

When proving certain results I need to use commutative diagrams, some of which quite complicated. My question is: Do we need to check every small square all the time to make sure that they are all ...
74 views

### Example of $I$-adic topology of submodule not matching subspace topology?

I'm reading about the $I$-adic topology on $M$ for $R$ a commutative ring, $I$ an ideal of $R$ and $M$ an $R$-module. The references I'm reading don't provide examples, but they say that if $N$ is a ...
119 views

### Flatness of module over field of fractions

This is from Liu 1.2.9. Let $A$ be an integral domain, and $K$ its field of fractions. Let $M$ be a finitely generated sub-$A$-module of $K$. Why do $M$ is flat if and only if $M_{\mathfrak p}$ is ...
73 views

### Commutative version of hyper operators.

As I understand it, addition and multiplication are defined on the reals as having identity elements 0 and 1 and being commutative and associative. Multiplication is also distributive over addition. ...
116 views

### Let $f: U \rightarrow W$ be a morphism of affine algebraic sets and $f': k[W] \rightarrow k[U]$ be the k-algebra morphism of coordinate rings.

Prove if $f'$ is surjective then $f$ is a homeomorphism of $U$ onto the closed subset $W$. Well, it's the first time I've seen this word "homeomorphism" but I read online that a map is a ...
22 views

### Direct sum of ideals over Dedekind domain [duplicate]

I'm trying to show that Let $\frak{a},\frak{b}$ be two ideals of a Dedekind domain $\cal{O}$. Show that there is an isomorphism \begin{equation*} \frak{a}\oplus\frak{b}\cong\cal{O}\oplus\...
68 views

### Canonical homomorphism and free module, Liu 1.2.8 c

How can I do the problem 1.2.8 c in "Algebraic Geometry and Aritmetic Curves". Namely, let $A$ be a Noetherian ring, $M$ a finitely generated $A$-module, and $N$ an $A$-module. Let $B$ be a flat $A$-...
195 views

307 views

### Noetherian ring with infinite Krull dimension.

I just started to read about the Krull dimension (definition and basic theory), at first when I thought about the Krull dimension of a noetherian ring my idea was that it must be finite, however this ...
84 views

125 views

### Polynomial ring, prime ideal, factor ring

I want to prove that this ideal: $I=(y^3-xz, xy^2-z^2, x^2-yz)$ is prime in $K[x,y,z]$. I think it would be a good idea to prove that the factor ring $K[x,y,z]/I$ has no zero divisors. In this factor ...
65 views

### Lemma for the Krull-Akizuki Theorem

This is from Matsumura's Commutative Ring Theory (Lemma for Theorem 11.7) Lemma for the Krull-Akizuki Theorem Let $A$ and $K$ be as in the theorem, and let $M$ be a torision-free $A$-module of ...