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

learn more… | top users | synonyms (1)

2
votes
1answer
33 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 ...
0
votes
0answers
13 views

What does the tensor product of complex means?

I try to understand from Qing Liu's book Algebraic Geometry and Arithmetic Curves the problem 1.2.16. It goes as follows: Let $(A,\mathfrak m)$ be a Noetherian local ring, and $$C^\bullet:0\to M'\to ...
-1
votes
0answers
15 views

Universal Catenary Ring Equivalences [on hold]

I have an exercise: Let $R$ be a Noetherian ring. The following conditions are equivalent: $R$ is universally catenary. $R[x]$ is catenary. $R/p $ is quasi-unmixed for all $p \in ...
1
vote
1answer
17 views

What is the injective hull of a polynomial ring?

The injective hull of a polynomial ring in one variable $K[X]$ (where $K$ is a field) is $K(X)$ since $K(X)$ is a divisible hence injective $K[X]$-module (since $K[X]$ is a PID) and $K(X)$ is an ...
2
votes
1answer
26 views

Quotient of ring is flat gives an identity of ideals

I have problem to understand and solve the exercise 1.2.14 on Qing Liu's book "Algebraic Geometry and Arithmetic Curves". It goes as follows: Let $A\to B$ be a ring homomorphism, and let $J$ be an ...
2
votes
0answers
33 views

Integrally closed domain.

Suppose $A$ is a unique factorization domain, $a$ is an element of $A$. Is the ring $A[x,a/x]$ always integrally closed? ($x$ is a variable over $A$) Thanks!
0
votes
1answer
26 views

Regularity of $k[X,Y,Z]/(Z^2 - f(X)g(Y))$

Let $R = k[X,Y,Z]/(Z^2 - f(X)g(Y))$, for an algebraically closed field k, and take it's maximal ideal $m = (X-\alpha,Y-\beta,Z-\sqrt{ f(\alpha)g(\beta)})$. How might one prove that a localization at ...
2
votes
1answer
59 views

Atiyah and Macdonald, exercise 11.7

I am trying to solve the exercise in Atiyah, that $\dim(A[X]) = \dim (A) + 1$ for $A$ noetherian. The very beginning poses a problem, he states in the hint that: for a prime of height $m$ we can ...
2
votes
0answers
26 views

Extremal Betti numbers of graded ideal with Cohen-Macaulay quotient; Herzog and Hibi, exercise 4.6 [on hold]

Let $I$ be a graded ideal of $S=K[x_{1},...,x_{n}]$ such that $S/I$ is Cohen-Macaulay. Then show that $I$ has only one extremal Betti number. Here, a Betti number $\beta_{i;i+j}\neq 0$ is called ...
2
votes
0answers
35 views

Flatness of integral closure over an integral domain

The problem 1.2.10 from Qing Liu's book "Algebraic Geometry and Arithmetic Curves" is the following: Let $A$ be an integral domain, and $B$ its integral closure in the field of fractions ...
1
vote
1answer
25 views

how does Macaulay2 computes analytic spread for non-local rings?

Macaulay2 computes analytic spread for R=QQ[a,b,c,d,e,f] which is not a local ring. In the books like ...
1
vote
3answers
43 views

Surjectivity of the induced map of affine algebraic sets

For a morphism $f: X\rightarrow Y$ of affine algebraic sets, I want to show that if the induced map $f^*:k[Y]\rightarrow k[X]$ is surjective then $f(X)$ is closed. I am trying to prove that ...
1
vote
0answers
30 views

Is my observation correct regarding restriction of scalars?

Let $\alpha: \Lambda\to \Gamma$ be a ring homomorphism, then $ _\Lambda\Gamma_\Gamma$ is a bimodule. We have the following pairs of adjoint functors $$ \mathbf{Mod_\Lambda} \xrightarrow{\cdot\; ...
1
vote
1answer
22 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 ...
0
votes
1answer
37 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$ ...
1
vote
1answer
21 views

Is the (Krull) dimension of a semi-local Jacobson ring equal to zero? [duplicate]

Let $R$ be a commutative ring with identity element. If $R$ is semi-local (number of maximal ideals of $R$ is finite) and a Jacobson ring (this means that every prime ideal of $R$ is equal to the ...
-1
votes
1answer
63 views

Best schools for commutative algebra [on hold]

I will be applying to graduate programs this fall and I was curious which schools have the best commutative algebra groups. I know berkeley and michigan are up there, but what are others?
3
votes
2answers
39 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 ...
-2
votes
0answers
40 views

Simplicial homology [on hold]

Let $\Delta$ be the simplicial complex on vertex set [5] whose Stanley-Reisner ideal is $I_{\Delta}=(x_{1}x_{4},x_{1}x_{5},x_{2}x_{5},x_{1}x_{2}x_{3},x_{3}x_{4}x_{5})$. Write the augmented oriented ...
2
votes
0answers
33 views

The annihilator numbers of $S/I$ [on hold]

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}$. ...
0
votes
1answer
57 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 ...
3
votes
2answers
66 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$?
-1
votes
1answer
58 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? ...
1
vote
1answer
54 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 ...
1
vote
1answer
28 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 ...
0
votes
0answers
16 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. ...
2
votes
1answer
53 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 ...
-6
votes
0answers
86 views

useful exact sequences [closed]

There are some exact-sequences or long-exact-sequences that are great help in proving to prove some surprising theorem, or have some interesting applications. What's your favorite exact ...
1
vote
0answers
17 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*} ...
0
votes
1answer
43 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 ...
1
vote
2answers
57 views

Total ring of fractions of a Noetherian reduced ring is artinian

I'm doing the preparation to an exam, and I'm stuck in the following: If $R$ is a Noetherian ring with zero nilradical ($N(R) = 0$), and $S$ is the set of regular elements of $R$ ($r \in S$ if $rs ...
2
votes
1answer
56 views

How to prove that a ring is not flat over $k[t,s]$? [duplicate]

Let $k$ be a field, $A=k[t,s]$, and $C=A[z]/(tz-s)$. How can I prove, using the ideals $tA$ and $sA$, that $C$ is not flat over $A$? I know that if $A$ is a Dedekind domain then $A$-module is ...
2
votes
1answer
39 views

Flatness and intersection of ideals

This is Liu 1.2.6 a Let $B$ be a flat $A$-algebra. Show that for any finite family $\{I_\lambda\}_{\lambda\in \Lambda}$ of ideals of $A$, we have $\cap_{\lambda\in\Lambda}(I_\lambda ...
0
votes
1answer
42 views

$H^i_I(M)$ is finitely generated iff the support of $Ext^{d-i}_S(M, S)$ has dimension zero

$(R,m)$ is a local Noetherian ring. $M$ is a finite $R$-module. Here, using dualizing complex, Karl Schwede says that if $R=S/I$ where $S$ is regular of dimension $d$, then we have: "$H^i_m(M)$ is ...
0
votes
0answers
55 views

How cannot localization of any integral domain respect to maximal ideal not be integrally closed?

Suppose that there is integral domain $I$. Now we take localization $I_m$ of $I$ respect to its maximal ideal $m$. $I_m$'s elements will consist of $a/b$ where $a \in I$ and $b \in m$. But integral ...
1
vote
0answers
50 views

How to check if a polynomial is inside an ideal using a Groebner basis

I'm given that an ideal $I=\langle F_1, F_2, F_3, F_4, F_5, F_6, F_7\rangle$ $F_1=a+b+c-d-e-f$ $F_2=a+b+c-g-h-i$ $F_3=a+b+c-g-e-c$ $F_4=a+b+c-a-e-i$ $F_5=a+d+g-a-e-i$ $F_6=a+d+g-c-f-i$ ...
0
votes
1answer
34 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 ...
2
votes
1answer
46 views

Showing that for every monomial $x^u\in\operatorname{in}_{<}(I)$, there exists $f\in I$ s.t. $\operatorname{in}_<(f)=x^u$

Given an ideal $I\subset R=K[x_1, ...,x_n]$ and let $<$ be a term order on the ring $R$. I must show that $\forall x^u\in\operatorname{in}_<(I)$, $\exists f\in I$ s.t. ...
0
votes
1answer
25 views

Tensor product and localization

This is from Liu, problem 1.2.2. Let $\rho:A\to B$ be a ring homomorphism, $S$ a multiplicative subset of $A$, and $T=\rho (S)$. Show that $T^{-1}B\simeq B\otimes_AS^{-1}A$ as $A$-algebras. I ...
0
votes
1answer
42 views

Question on Algebraic Hartogs Lemma for locally Noetherian normal schemes

I am reading the proof by Götz-Wedhorn Algebraic Geometry I Theorem 6.45, and also Liu, Theorem 1.14. One thing that I do not understand is this: For easier cases, we assume $X=\text{Spec A}$ and let ...
1
vote
1answer
45 views

Question about split monomorphisms of free modules over local rings

In May's notes on Cohen-Macaulay and Regular Local Rings, during the proof of Serre's theorem on page 9, he claims that if $R$ is a local ring and $\phi\colon F\to F'$ is a map of finitely ...
2
votes
1answer
64 views

Maximal ideals of $R[x_1,\ldots,x_n]$ that is $R$ is a commutative rings with identity

Let $R$ be a commutative ring with identity and $R[x_1,\ldots,x_n]$ a polynomial ring over $R$. What are maximal ideals in $R[x_1,\ldots,x_n]$? How are, if $R$ is a Hilbert ring (Jacobson ring)?
1
vote
1answer
23 views

Canonical homomorphism related to ideal is an isomorphism

I have a problem to do the exercise 1.2.1 b on Liu. Namely, Let $M$ be an $A$-module, $I\subseteq \operatorname{Ann}(M)$ an ideal, $N\ne M$ is an $A$-module such that $I\subseteq ...
2
votes
1answer
42 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 ...
1
vote
1answer
34 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 ...
5
votes
1answer
192 views

What's the “real” reason a finite map has finite fibers?

This is a soft question. I have encountered two very different proofs of what seems like "basically the same theorem," and I want to understand how they relate and "what the real explanation is." ...
1
vote
1answer
80 views

Is the mentioned basis a Gröbner basis?

It's mentioned into my notes that if the ideal given as $I=\langle x+y+z, 3x-2y\rangle$, then $\{x+y+z, 5y+3z\}$ is a Gröbner basis for the ideal. I can see how $I=\langle x+y+z, 3x-2y\rangle=\langle ...
2
votes
3answers
62 views

Exact sequence with flat module tensored by module stays exact

The following theorem is given in Liu proposition 1.2.6: Let $A$ be a ring. Let $0\to M^\prime\to M\to M^{\prime\prime}\to 0$ be an exact sequence of $A$-modules. Let us suppose that ...
-1
votes
1answer
29 views

fraction field of polynomial ring that is a finite extension of the base field

Let $k$ be a field. Let $P$ be a prime ideal of $k[x_1, ..., x_n]$. Let $K$ be a field of fractions of $k[x_1, ..., x_n]/P$. Suppose $K$ is a finite extension of $k$. Does it then follow that $P$ is ...
3
votes
1answer
50 views

“Pushforward” over flat morphisms of functions which are constant on fibers

I believe the following should be true, but I'm not sure where to find the required commutative algebra to prove it: If $\mathrm{Spec}\,A \rightarrow \mathrm{Spec}\,B$ is a flat morphism of algebraic ...