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

learn more… | top users | synonyms (1)

1
vote
1answer
35 views

There always exists a finite, increasing chain of R-submodules of M isomorphic to R/P. Can we describe P?

So I've been studying some commutative algebra and I came across the following theorem Theorem : Let R be a Noetherian ring. Let $M$ be a non trivial $R$-module, finite over $R$. There exists a ...
4
votes
0answers
80 views

How do ring theorists think about square roots?

Let $R$ denote a commutative ring. Then it seems to me that we can adjoin to $R$ a square-root of $4$ as follows: $$R[\sqrt{4}] = R[x]/(x^2-4)$$ This defines a functor $\mathbf{CRing} \rightarrow \...
1
vote
2answers
90 views

Give an example of a commutative von Neumann regular ring which is not a product of fields

One knows that every commutative von Neumann regular ring with a finite Boolean algebra of idempotents is a product of fields. Give an example of a commutative von Neumann regular ring which is ...
0
votes
1answer
41 views

Well-definedness of homogeneous coordinate ring of projective scheme [closed]

Let $I,J \subset S=k[x_0,...,x_n]$ be homogeneous ideals. How can I show that $\operatorname{Proj}S/\bar{I}=\operatorname{Proj}S/\bar{J}$ iff $\bar{I}=\bar{J}$? (Here $\operatorname{Proj}R$ is the ...
4
votes
1answer
145 views

Algebraically Closed Quotient Fields

It is well-known that if the quotient field of a commutative noetherian integrally closed domain $R$ is algebraically closed, then $R$ is a field. The proof is easy: let $r_0 \in R$ and choose $r_i ...
1
vote
1answer
45 views

Saturation of homogeneous ideal

Let $I \subset S=k[x_0,...,x_n]$ be a homogenous ideal. The saturation of $I$, $\bar{I}$ is defined to be $\{s \in S: \exists m \; s.t. \; \forall i \; x_i^m s \in I\}$ Is it true that $\bar{I}=(s \...
1
vote
0answers
52 views

What is extension of scalars used for in algebraic geometry?

Given a ring homomorphism $f:A \rightarrow B$ and an $A$-module $M$, one can construct and $A$-module with the tensor product: $M_B=B \otimes_A M$ which has a $B$-module structure. This is said to be ...
0
votes
1answer
25 views

Commutative ring which is essential extension of each of its non-zero ideals

Let $R$ be a commutative ring with unit. Assume $R$ is an essential extension of each of its non-zero ideals. I feel that there should be something in the literature about this, but I could not find ...
2
votes
2answers
63 views

Showing the ideal $\left \langle yz,xz,yx+ay,x^2+ax \right \rangle$ is radical for all $a\neq 0$

Let $I_a = \left \langle yz,xz,yx+ay,x^2+ax \right \rangle$ be an ideal of $k[x,y,z]$, where $a \neq 0$. Show that $I_a$ is radical. What is the geometric meaning of the elements in $\sqrt{I_0}\...
0
votes
1answer
45 views

Zeros of specialization of a family of polynomials [closed]

Let $k$ be an algebraically closed field, and $K\supset k$ be an algebraically closed extension. Let $a\in K^n$ be a tuple, we call $a^\prime\in k^n$ a specialization of $a$ if for any $f(X)\in k[X]$ ...
1
vote
1answer
37 views

$B/I$ and $B/J$ flat $A$-algebras; does $I=J$ hold?

Let $A\to B$ be a ring homomorphism. Consider $I$ and $J$ ideals of $B$ such that $B/I$ and $B/J$ are flat $A$-algebras. We know furthermore that there exists a non zero-divisor $t\in A$ such that $(B/...
2
votes
2answers
48 views

Flat module and finite intersection of submodules

Let $R$ be an integral domain, $F$ be a flat $R$-module, and $A$ and $B$ are two $R$-submodules of $Q$, where $Q$ is the quotient field of $R$. How can we show that $F\otimes (A \cap B) = (F\otimes A) ...
0
votes
0answers
20 views

Integral basis of an extension of complete fields

Let $\mathcal{O}_K$ be a complete discrete valuation ring with quotient field $K = \text{Quot}(A)$. Let $L | K$ be an arbitrary finite field extension. Because $K$ is henselian, the integral closure $\...
1
vote
1answer
27 views

Singular ideals and rings

In Lam's book, Corollary (7.4)(2) says that for a nonzero ring $R$ we have $Z(R_R)≠ R$, where $Z(R_R) $ stands for the singular ideal of $R$.. But, some nonzero commutative rings are "singular" in the ...
2
votes
3answers
97 views

Recommended books on commutative algebra stressing links with algebraic geometry

Can someone recommend some books on commutative algebra stressing links with algebraic geometry? My concern is this. It seems to me that most of commutative algebra was formulated at least initially ...
0
votes
2answers
61 views

Help in showing that the cusp $(y^2-x^3)\subset \mathbb{C}^2$ is not isomorphic to $\mathbb{C}$

Let $X:=(y^2-x^3)\subset \mathbb{C}^2$ be the vanishing of the polynomial $f(x,y)=y^2-x^3.$ I have proved an exercise in Hartshorne: If $\varphi:\mathbb{C} \to X, \ t \mapsto (t^2,t^3)$ is the ...
0
votes
1answer
208 views

normalization of a curve, simplest example

I am learning about normalization of nodal curves and I am trying to understand the simplest example: $xy=0$ As far as I understand its coordinate ring is $k[x]\oplus k[y]$ (let $k$ be an ...
2
votes
0answers
56 views

Non-zero ideal in algebraic integers generated by two elements

I've been doing past questions for my exams next week and would like to check an answer: Let $I$ be a non-zero ideal of the algebraic integers and let $0\neq a \in I$. Show that $\exists b \in I$ ...
3
votes
1answer
55 views

What does $(0:x)$ mean?

The following excerpt is from Eisenbud's "Commutative Algebra with a view toward Algebraic Geometry" on pg. 424 We can decide whether an element $x\in R$ is a nonzerodivisor from the homology of ...
4
votes
2answers
84 views

Integrally Closed domain and Principal Ideal

Let $R$ be an integrally closed local domain. Suppose there is a $y\in I^n$ such that $yI^n=I^{2n}$ for some $n$. I would like to prove that $I^n=(y)$. Source: The above question comes from the ...
0
votes
0answers
51 views

Conjugation in algebraic number theory

Let $K$ be an algebraic number field of deg $n$ over $\mathbb Q$, then given $\alpha \in$ $O_k$ its ring of integers, we can choose a $\mathbb Q$-basis $\omega_1, \omega_2, ...,\omega_n$ of $K$ s.t. $\...
2
votes
1answer
129 views

Is every “prefield” a field?

Definition 0. Call a poset $P$ well-ranked iff it is well-founded, and for all $x \in P$, we have that any two maximal subchains in the lowerset generated by $x$ have the same length. Definition ...
0
votes
0answers
36 views

Analytical isomorphism implies same multiplicities [duplicate]

I want to prove the following problem in Robin Hartshorne's Algebraic Geometry Chapter 1 exercise 5.14 If $P\in Y$ and $Q\in Z$ are analytically isomorphic plane curve singularities, show that the ...
-1
votes
1answer
27 views

Regular element of a Noetherian ring [duplicate]

Let $R$ be a Noetherian ring and $x\in R$ an $R-\mathrm{regular}$ element. Show that $\mathrm{Ass}_R(R/(x^n))=\mathrm{Ass}_R(R/(x))$ for every $n\geqslant 1$. Let $M$ be an $R-\mathrm{module}$. An ...
0
votes
0answers
32 views

Characterization of prime homogeneous ideals

Let $R$ be a graded ring and $I$ ideal in $R$ and homogeneous. $I$ is prime if and only if for all $a, b\in R$ homogeneous such that $ab\in I$ then $a\in I$ or $b\in I$. Let $ab\in I$ and $a = ...
1
vote
1answer
46 views

Existence of homogeneous non-unit non-zero divisor in a particular graded ring.

Let $R$ be a finitely generated $k$-algebra of dimension greater than $1$, let $Q$ be any maximal ideal of $R$. It is claimed by my lecturer that one can find a homogeneous, non-unit, non-zero divisor ...
1
vote
1answer
29 views

Exact sequence of graded modules and localization

I know that a sequence of modules is exact iff the localization at each prime ideal is exact What happens in the case we are working with graded modules? Can we say that a sequence is exact iff the ...
1
vote
0answers
33 views

Local ring of an affine curve $K$ at a point $p\in K$

I'm reading A Royal Road to Algebraic Geometry by Holme. The book defines the local ring as follows: The local ring of $K$ at $P=(a,b)$ is the ring $$\mathcal{O}_{K,P}=\Gamma(K)_{\mathfrak{m}(a,...
0
votes
1answer
44 views

Flatness of quotient rings

The following is Exercise 2.4, in Chapter 1 of Liu, Algebraic Geometry and Arithmetic Curves: Let $I$ be a finitely generated ideal of $A$: $A/I$ is flat. $I^2 = I$. $I = (e)$ where $e^2=e$. I ...
2
votes
1answer
41 views

Hilbert function and Hilbert polynomial

I have largely studied Hilbert function and Hilbert polynomial for polynomial rings over fields of characteristic zero. Is it possible to extend the theory also for polynomial rings over fields of ...
1
vote
1answer
85 views

In $A$-Mod, $M\oplus A\cong A\oplus A$ implies $M\cong A$

(Exercise from an introductory course in homological algebra) Whenever $A$ is a commutative ring with unit and $M$ an $A$-module, the following holds: $$M\oplus A\cong A\oplus A \Rightarrow M\...
1
vote
1answer
76 views

Easy explanation on primary decomposition of ideals. [duplicate]

The primary decomposition of an ideal $(x^2, xy)$ is $$(x^2, xy) = (x) \cap (x, y)^2$$ which can be found on these notes. Could someone explain to me how this can be done? Edited: My question ...
5
votes
1answer
72 views

Ideal of 8 general points in $\mathbb{P}^2$

I am working through chapter 3 of Eisenbud's Geometry of Syzygies. In the first example he makes the claim that the ideal of 8 general points in $\mathbb{P}^2$ is generated by two cubics and a quartic....
2
votes
1answer
25 views

General procedure to prove something is a tensor product of modules

I'm trying to understand some proofs of statements of the form: Show that some module is the tensor product of two other modules. When I'm looking at these proofs I always see that they start ...
1
vote
1answer
32 views

Is the localization of an injective cogenerator an injective cogenerator?

We know that in Noetherian rings any localization of an injective module is again an injective module. Is the localization of any injective cogenerator again injective cogenerator?
1
vote
1answer
37 views

Regular functions extension to normal points of varieties

I am doing the exercise 3.20 in Robin Hartshorne's Algebraic Geometry, Chapter 1. Let $Y$ be a variety of dimension $\geq2$, and let $P\in Y$ be a normal point. Let $f$ be a regular function on $Y-...
1
vote
1answer
48 views

Example of a projective variety that is not projectively normal but normal

I want to prove the following statement: Let $Y$ be the quartic curve in $\mathbb{P}^3$ given parametrically by $(x,y,z,w)=(t^4,t^3u,tu^3,u^4)$. Then $Y$ is normal but not projectively normal. ...
1
vote
0answers
35 views

Proof of Theorem 4.2.1 in Herzog-Hibi, “Monomial Ideals”

The Theorem and its proof can be found here. Specifically, i am stuck at the fourth paragraph of the proof. Let me give some context: Let $I$ be a graded ideal over a polynomial ring $S=K[x_1,\dots,...
0
votes
1answer
23 views

A possible characterization of divisible modules

According to mathworld: Definition. Let $R$ denote a commutative ring and $M$ denote a module over $R$. Then $M$ is divisible iff for every $a \in R$, if $a$ is not a zero-divisor, then for all $x ...
0
votes
2answers
92 views

Show that $S_f^{\ge0}=\bigoplus_{d\ge0}(S_f)_d$ is a normal domain, where $S$ is an $\mathbf N$-graded domain, $S_{(f)}$ a normal domain $f\in S_1$ [closed]

Let $S$ be an $\mathbf N$-graded domain with $S_{(f)}$ a normal domain for some $f\in S_1$. Then $S_f^{\geq0}=\bigoplus_{d\geq0}(S_f)_d$ is a normal domain.
2
votes
1answer
87 views

Transitivity-like Results in Group, Ring, Module, Field and Galois Theory [closed]

I am reading Michael Atiyah and Ian Macdonald's Introduction to Commutative Algebra. On page 28, Proposition 2.16 says: Suppose $A,B$ are rings, $N$ is a finitely generated $B$-module, $B$ is ...
2
votes
1answer
32 views

Correspondence between prime ideals and irreducible algebraic sets

Let $k$ be an algebraic closed field. The Nullstellensatz theorem prove that $$I(V(J))=\sqrt{J}$$ and we have $$V(J)\text{ irreducible }\iff I(V(J)) \text{ prime }$$ So if $J$ is prime, $I(V(J))=J$ is ...
0
votes
1answer
56 views

Extension of DVRs and uniformizers

Let $(A,\mathfrak m)$ be a regular, Noetherian, local, domain of dimension $2$ and consider a prime ideal $\mathfrak p\subset A$ of height $1$. Moreover let $\hat{A}$ be the completion of $A$ with ...
2
votes
1answer
44 views

$n$th root of power series when its coefficients are from a field with positive characteristic

Let $k$ be algebraically closed field of characteristic $p>0$. Let's consider a power series $f(x,y)\in k[[x,y]]$. Under what conditions (on $n$, $f$, ...) there exists $g(x,y)\in k[[x,y]]$ such ...
3
votes
0answers
59 views

Some questions about local rings and chain rings.

(All my rings are commutative with $1$.) The notion of a field spews forth many derived concepts. For example: An integral domain is a ring that can be homomorphically injected into a field. A ...
1
vote
0answers
37 views

Minimal presentation of a tensor product of modules

Let $(R,m)$ be a local commutative noetherian ring. Suppose I have two modules $M$ and $N$ over $R$ given in terms of minimal presentations $$ M = \operatorname{coker}A, $$ and $$ N = \operatorname{...
1
vote
1answer
43 views

Why is $\mathbb{F}_5[x]$ a Jacobson ring? [closed]

As the question title suggests, why is $\mathbb{F}_5[x]$ a Jacobson ring?
1
vote
1answer
101 views

Can I use Krull dimension to test if a sequence of polynomials is regular?

A sequence $(f_1, \ldots, f_n)$ of elements of a commutative ring $R$ is said to be regular if for each $i$, $f_i$ is not a zero divisor in $R/(f_1, \ldots, f_{i-1})$. Call a sequence dimension ...
2
votes
1answer
330 views

Does such localization of integral extension preserve inclusion?

Let $R\subset T$ be two commutative rings, and $T$ is integral over $R$. Let $\mathfrak m\in \operatorname{Max} R,\mathfrak n\in\operatorname{Max}T$ such that $\mathfrak m=\mathfrak n\cap R$. Show ...
0
votes
1answer
46 views

Relationship between modules and maximal ideals of a commutative ring [closed]

Let $A$ be an integral domain, $M$ an $A$-module, and $m\in M$. Now for all maximal ideals $\mathfrak{m}$ there exists an $n\notin \mathfrak{m}$ such that $nm=0$. Why does this mean that $m=0$?