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

learn more… | top users | synonyms (1)

0
votes
1answer
21 views

$I$ torsion functor and Inverse limit

Let $I$ be an ideal of a commutative ring with unit. Is $\Gamma_I(\varprojlim M_j)\cong \varprojlim(\Gamma_I M_j)$? Any reference of the proof or a counterexample is appreciated. It seems this should ...
1
vote
2answers
36 views

Rank of a module when the base ring is not a domain

Suppose $R$ is a commutative Noetherian local ring with $1$, which is not a domain. Let $M$ be a (non-free) finite $R$-module. What is meant by rank of $M$ in this case?
0
votes
0answers
20 views

Generating set of the algebra invariants of finite group.

Let a finite group $G$ acts on a complex vector space $V$ and let $\mathbb{C}[V]^G$ be corresponding algebra of polynomial invariants. Let $f_1,f_2,\ldots,f_m$ be a generating set of this algebra of ...
0
votes
1answer
34 views

Lemma 5.3.6 in Bruns and Herzog, Cohen-Macaulay Rings

In the picture we discuss the Stanley-Reisner ring over a simplicial complex $\Delta$. I do not understand the steps "(i) implies" and "(ii) implies", maybe I do not catch how to translate the ...
0
votes
1answer
32 views

Does the relation $\pi(S_{i})=S^{-1}R-P_{i}\cdot S^{-1}R$ hold for prime ideals $P_i$ in a commutative ring $R$?

Let $R$ be a commutative ring. Let $P_{i}$, $1\leq i\leq n$ be prime ideals none of which are contained in each other. Let $S=R-(\cup_{i=1}^{n} P_{i})$. Then $S$ is a multiplicatively closed set and ...
2
votes
1answer
28 views

Vanishing of local cohomology and primary decomposition

Let $R$ be an $n$-dimensional Noetherian ring with proper ideal $I$. If $I = \mathfrak{a} \cap \mathfrak{b}$ and $H^n _\mathfrak{a}(M) = H^n _\mathfrak{b}(M) = 0$, for some $R$-module $M$, show ...
0
votes
1answer
30 views

Proposition 2.1.4 of *Local Cohomology* book by *Brodmann-Sharp*

Is there a proof for Proposition 2.1.4 of Local Cohomology book by Brodmann-Sharp not using Artin–Rees Lemma? I don't want necessarily a proof (although it will be excellent), only a hint if possible. ...
2
votes
0answers
77 views

The lattice points of a f.g. rational cone form a f.g. monoid.

In their book "Polytopes, Rings, and K-Theory" Bruns and Gubeladze sketch an alternative approach to Gordan's Lemma, which is stated in the headline (f.g. = finitely generated). I don't understand the ...
4
votes
1answer
65 views

In an extension of finitely generated $k$-algebras the contraction of a maximal ideal is also maximal

I'm a math student and I'm preparing for an exam of commutative algebra. I found this exercise that I don't know to solve. I would appreciate to help me to continue improving my studies. thank you ...
2
votes
1answer
44 views

Proving that a field $K$ can be generated by algebraically independent elements and an separable element

Let $k$ be a perfect field (either $k$ has characteristic $0$, or characteristic $p > 0$ and every element has a $p$th root), and let $K$ be a finitely generated extension field. I have a question ...
1
vote
1answer
83 views

How do we know that $f(x)\in Y$?

At page 19 in this book $f:X\to Y$ is defined to be $$f(a):=(\tilde\varphi(T_1')(a),\dots,\tilde\varphi(T_n')(a)).$$ To explain the notation above, $X\subseteq \mathbb{A}^m(k)$, $Y\subseteq ...
1
vote
2answers
123 views

Is $\mathbb{C}[x,y] / (y^2-x^3)$ a PID?

First, I'd like to show $\mathbb{C}[x,y] / (y^2-x^3)$ is an integral domain. Then I need to find out whether or not it is a PID. For the first part, I want to show $y^2-x^3 \: | \: fg \implies ...
1
vote
0answers
29 views

Support of the pullback module

Let $X$ be an algebraic variety, let $\Delta : \mathrm X \to \mathrm X^2$ be the diagonal embedding and let $\mathrm M$ be a quasi-coherent sheaf of modules on $\mathrm X^2$. Make the supposition ...
6
votes
5answers
265 views

A finite commutative ring with 1 whose elements satisfy a particular equation

I would be very grateful if you give me a hint on it: Suppose $R$ is a finite commutative ring with identity such that $ x^3 = x $ for all elements $x$ of $R$. Then $R$ is a finite direct product ...
3
votes
2answers
48 views

Does it hold that the $p$-adic completion of the integers equals the completion of the localization in $p$?

maybe this is a stupid question, but I could not solve it even for the ordinary integers $\mathbb{Z}$. Furthermore, I don't have to much knowledge on algebraic number theory and ramifications. Let ...
3
votes
1answer
63 views

Universal property of polynomial ring in $\mathbf{CRING}$

I know that the polynomial ring $A[x]$ is the free $A$-algebra on $\{x\}$; this is its universal property in the category of $A$-algebras. Is there also a universal property for $A[x]$ considered as a ...
0
votes
0answers
46 views

$\operatorname{supp}(M) \subseteq \operatorname{supp}(N) \iff f_I(M)\subseteq f_I(N) $?

Let $ R $ be a commutative unital ring, $ I $ an ideal of $ R $, and $ M $ an $ R $-module. It has proven (here) that if $\operatorname{supp}(M) \subseteq \operatorname{supp}(N)$ then ...
0
votes
1answer
46 views

A Question Related to Cohen's Structure Theorem

It is well known that if $R$ is a ramified complete regular local ring then $R\cong V[[x_1,\ldots , x_n]]/I$, where $V$ is a discrete valuation ring and $n$ is the Krull dimension of $R$. My Question: ...
0
votes
1answer
40 views

Questions regarding a proof of Nakayama's lemma.

I refer to this proof of Nakayama's lemma. What is $\varphi^n$? Is it $\underbrace{\varphi\circ\varphi\circ\dots\circ\varphi}_{\text{$n$ times}}$? What is $\varphi\delta_{ij}$?
3
votes
1answer
75 views

Atiyah-Macdonald Exercise 2.15

I have worked out a solution to exercise 2.15 of Atiyah-Macdonald, which is needed in the solution of 2.3 (see Atiyah-Macdonald 2.3). However, the solution seems overly complicated, and I am not ...
0
votes
1answer
39 views

Weak nullstellansatz in Atiyah-Macdonald 5.17

$\newcommand{\fm}{\mathfrak{m}}$ Problem 17 in the exercises after the 5th chapter of Atiyah-Macdonald is the following (with some references and hints omitted): Let $X$ be an affine algebraic ...
1
vote
1answer
34 views

A question regarding Hilbert's Nullstellensatz.

Let $k$ be an algebraically closed field, and $a$ an ideal of the polynomial ring $k[x_1,x_2,\dots,x_n]$. The strong form of Hilbert's Nullstellensatz says that $I(Z(a))=\sqrt{a}$. Note:- Initially, ...
2
votes
1answer
27 views

On a localized ring tensor with a module

Let $A$ be a commutative ring, $S$ be a multiplicative subset of $A$ and $M$ be an $A$-module. The questions says to "describe a natural isomorphism $(S^{-1}A) \otimes_A M \cong S^{-1}M $ as ...
-1
votes
1answer
45 views

Graded ring, and its homogeneous ideals : $ I = \displaystyle \bigoplus_ {n \in \mathbb {Z}} (I \bigcap B_n) $

Let $ B = \displaystyle \bigoplus_{n \in \mathbb {Z}} B_n $ be a graded ring. Let $ I $ be an ideal of $ B $. Why is $ I = \displaystyle \bigoplus_ {n \in \mathbb {Z}} (I \bigcap B_n) $ equivalent to ...
1
vote
1answer
21 views

Equivalent definitions of fractional ideals

Let $R$ be an integral domain and $K$ its field of fractions. The usual definition of fractional ideal $I$ ($I$ is an $R$-submodule of $K$) is that for some nonzero $r\in R$ we have $rI\subset R$, and ...
5
votes
3answers
78 views

Finitely generated ideal in Boolean ring; how do we motivate the generator?

This problem is Exercise 11.3 in Atiyah/Macdonald Commutative Algebra. They ask to prove every finitely generated ideal in a Boolean ring is in fact a principal ideal. The question has been answered ...
0
votes
2answers
95 views

Atiyah-Macdonald 2.3

In solving question 2.3 from Atiyah & Macdonald's commutative algebra textbook, I run into the following difficulty: Let $A$ be a local ring with $k:= A/mA$ its residue field and let $M$ and $N$ ...
0
votes
2answers
45 views

Some questions on Hartshorne I.7: intersections in projective space

I am reading I.7 of Hartshorne, and here are some questions I don't understand. 1) Prop. 7.4. Let $M$ be a finitely generated graded module over a noetherian graded ring $S$. Then there exists a ...
1
vote
1answer
51 views

A Direct Sum of Members of a Certain Class of Modules

Let $S$ be a class of $R$-modules and let an $R$-module $M$ be countably generated. Suppose that, for every direct summand $K$ of $M$, each element of $K$ belongs to a direct summand of $K$ that is ...
3
votes
2answers
111 views

What are local homomorphisms, geometrically?

For want of a better name, let us say that a ring homomorphism $f : A \to B$ is local if it (preserves and) reflects invertibility, i.e. $f (a)$ is invertible in $B$ (if and) only if $a$ is invertible ...
1
vote
1answer
31 views

Is the colimit of finite tensor products a tensor product?

Let $(R_\lambda)_{\lambda\in\Lambda}$ be a family of $A$-algebras. Atiyah & MacDonald defines the "tensor product" of the family as the direct limit of the tensor product of finite subfamilies. ...
1
vote
1answer
44 views

Integral closure of 1-dimensional noetherian local domains

Let $(R,m)$ be a $1$-dimensional noetherian local domain and $S$ its integral closure. Clearly $S$ is $1$-dimensional noetherian semi-local domain. Is $mS=J(S)$, where $J(S)$ is the Jacobson radical ...
1
vote
0answers
55 views

Surjectivity implies injectivity of finitely generated modules, localization?

The following problem is canonical: Suppose $A$ is a commutative unitary ring, and $M$ is a finitely generated module over $A$. If an endomorphism $f\colon M\to M$ is surjective, then it's also ...
1
vote
1answer
53 views

Contracted ideals in number fields

I am trying to translate a section of Wolfgang Krull's report "Idealtheorie". At one point (Section $7$ on Quotient Rings) I believe that he makes something like the following statement: Suppose for ...
8
votes
2answers
139 views

Is every affine scheme the complement of the closed point $x$ of the spectrum of a local ring $A$?

Let $R$ be a commutative ring with identity element and let $\operatorname{Spec}(R)$ be the associated affine scheme. Does for each affine scheme $\operatorname{Spec}(R)$ exist a local ring $A$ ...
2
votes
2answers
72 views

Isomorphism of modules arising from algebraic topology

While studying for a course in algebraic topology, the following question popped out: Let $S,R$ be two commutative rings with unit, $A,B$ two $S$-modules, and assume that $R$ is also an ...
4
votes
1answer
87 views

Question on calculating hypercohomology

I want to compute the algebraic de Rham cohomology of $ \mathbb{C}^* $, and I'm confused. I don't have much background in this, so I was hoping a very concrete example would clear up a lot of this ...
0
votes
0answers
72 views
+50

Factorization of ideals in a coordinate ring (Dedekind domain)

Consider $f \in \mathbb{C}[X,Y]$ an irreducible curve non singular. Let $A = \mathbb{C}[X,Y] / (f)$ be the coordinate ring of $f$ and choose a curve $g \in \mathbb{C}[X,Y]$ with no component in common ...
0
votes
2answers
31 views

A question about one of Hartshorne's propositions

Hartshorne says that for $S_1,S_2\in A[x_1,x_2,\dots,x_n]$, where $A$ is a commutative ring, $Z(S_1)\cup Z(S_2)=Z(S_1S_2)$. Shouldn't it be $Z(S_1)\cup Z(S_2)=Z(S_1\cap S_2)$? We know that ...
2
votes
1answer
49 views

What kind of points are there in a finite type $k$-scheme?

Let $k$ be an arbitrary field and $X$ a $k$-scheme of finite type (i.e. a scheme with a finite cover of spectra of finitely generated $k$-algebras). How can I think of the points $x\in X$? What ...
0
votes
1answer
36 views

Global dimension regular rings of finite type

Have I made an error in my reasoning? If $k$ is a field, $A$ is a commutative regular $k$-algebra of finite type and ${\mathfrak{m}}$ is a maximal ideal in $A$ then since $Ext_{A_{\mathfrak{m}} ...
2
votes
2answers
96 views

Ring such that $q^2\mid p^2$ does not imply $q\mid p$?

Let $R$ be a commutative ring with $1$ and suppose $q^2\mid p^2,$ for $p,q \in R$. Unless $R$ is a UFD, I don't believe I can conclude that $q\mid p,$ but I would like to know a concrete ...
0
votes
0answers
43 views

Is every local ring the localization of some other ring?

One way of constructing a local ring is to start with any commutative ring, and localize all the elements outside of some maximal ideal (i.e., adjoining inverses to all those elements). But I'm ...
0
votes
0answers
39 views

Associated prime ideals and local cohomology [closed]

Let $M$ be an $R$-module such that $\operatorname{Ass}(M/N)$ is a finite set for any submodule $N$ of $M$. Show that 1. $\operatorname{Ass}(M/r M)=\operatorname{Ass}(M/r^n M)$ for each natural $n$; 2. ...
5
votes
4answers
163 views

Euclid's proof of the infinitude of primes to prove this question

I'm trying to prove that if $k$ is a field, then there are an infinite number of irreducible monic polynomials in $k[X]$. My attempt of solution is use almost the same strategy of the Euclid's proof ...
5
votes
1answer
63 views

Irreducibility of some multivariate polynomials

Consider the polynomials $xw-yz\in A[x,y,z,w]$ and $x^n+y^n+z^n\in A[x,y,z]$, where $A$ is a commutative ring. I am curious to know what conditions on $A$ (factorial ring, algebraically closed field, ...
1
vote
1answer
49 views

Zorn's lemma and maximal ideals

Let's consider two statements: Zorn's lemma and theorem about existence of maximal ideals in commutative ring with $1$. It's easy to prove that Zorn's lemma implies existence of maximal ideals. I ...
1
vote
1answer
29 views

Submodules and quotients of free modules over Noetherian local rings

Let $R$ be a Noetherian local commutative ring, $F$ a finitely generated free $R$-module and $A,B$ some arbitrary $R$-modules. Consider a short exact sequence $0 \to A \to F \to B \to 0$. In [Bruns, ...
1
vote
1answer
79 views

Difference between algebraic and integral extension

I have been reading Miles Reid Undergraduate Commutative Algebra and in chapter 4 he talks about a crucial difference between algebraic extension and integral extension (see the picture below). Now I ...
-1
votes
0answers
40 views

Coheight of an ideal

I am considering a quotient ring $R=\mathbb F_2[x_1,\dots,x_n]/I$ that is Cohen-Macaulay but not local and an ideal $J$ in $R$. If $R$ were local, then one had the equality $$\mathrm{coheight}(J)=\dim ...