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

learn more… | top users | synonyms (1)

0
votes
0answers
39 views

Proof about spectrum

Let X be a finite partially ordered set. How can to prove that there exists a ring R such that Spec R ≅ X? If anyone has any good way of thinking about them do please divulge..
1
vote
0answers
23 views

Krull dimension and Hilbert polynomial of graded rings

Let $P \subseteq \mathbb{R}^n$ be a polytope with integral vertices, and $Q := \mathbb{R}_+ (P \times \{1\}) \cap \mathbb{Z}^{n+1}$ be the monoid of all lattice points of the cone generated by $P$ in ...
5
votes
1answer
69 views

$(x,y)$-primary ideals

I want to find all ideals $I$ in $\mathbf{C}[x,y]$ with $\sqrt{I}=(x,y)$ and $\dim_{\mathbf{C}}\mathbf{C}[x,y]/I=2$. I have no clue how to about it, I mean I can write down some examples, ...
2
votes
0answers
34 views

G-equivariant invertible sheaves on affine curves

Let $A$ be a Noetherian integral domain, and $G$ a finite group of automorphisms acting on $A$. Let $B = A^G$, the ring of invariants. The inclusion $B \hookrightarrow A$ induces a surjective morphism ...
3
votes
2answers
60 views

Canonical isomorphism between Cauchy sequence completion and inverse limit

I'm studying chapter 10 of Atiyah Macdonald. The book introduces two ways to construct the completion of an abelian topological group: Equivalence classes of Cauchy sequences and inverse limit. I can ...
0
votes
1answer
75 views

How to prove this comment of Fulton

I'm trying to understand why this is true in Fulton's Algebraic Curves: Why we add this point $(0,\ldots, 0)$? Why this equality is true? I really need help. Thanks in advance.
2
votes
3answers
125 views

Isomorphic quotient of a module over Noetherian commutative ring

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
1
vote
1answer
52 views

Injectivity of simple modules

If $R$ is a commutative ring with $1$ having a maximal ideal $m$ such that the local ring $R_m$ is a field, how could one check that $R/m$ is an injective $R$-module? If we want to use Baer Lemma, we ...
1
vote
1answer
32 views

Generators for a finitely generated graded ring

Given a Noetherian graded ring (commutative and with 1) $A=\bigoplus_{n=0}^\infty A_n$, that's generated as an $A_0$-algebra by $x_1,\ldots, x_s\in A$. I am having difficulties seeing why there is no ...
2
votes
2answers
78 views

When a finite local ring $R$ has $-1$ as a square in $R^\times$?

Let $R$ be a finite local ring with maximal ideal $M$ such that $|R|/|M|\equiv 1\pmod{4}$. Then $-1$ is a square in $R^\times$ (that is, there exists $u\in R^\times$ such that $u^2=-1$) if and only ...
0
votes
1answer
46 views

An injective-injective module problem

I want to prove this problem: For an $R$-module $M$ and an ideal $J⊆R$, let $A=\{m∈M∶mJ=0\}$. If $M$ is an injective $R$-module, show that $A$ is an injective $R/J$-module. We can view $A$ as an ...
0
votes
0answers
14 views

$f_I(R)$ and $ f_I(M)$

The question is special case of this question. So, for background, see it. Is there a relation between $f_I(R)$ and $ f_I(M)$ ? Any hint, reference will be helpful. Thanks.
2
votes
1answer
40 views

Can a rational map $X\leadsto Y$ be defined as a scheme morphism $Z\to Y$ for some $Z$?

Let $X=\operatorname{Spec}(R)$ be an integral scheme with generic point $\eta$ and let $Y$ be a separated scheme. A rational map $X\leadsto Y$ is a certain equivalence class and it is represented by ...
1
vote
0answers
56 views

Tensor product of free modules over free algebra

Suppose $M$ and $N$ are modules over a (commutative, unital) ring $S$. Let $R$ be a subring of $S$ such that $S,M$ and $N$ are all free, finitely generated modules over $R$. Question: Under what ...
2
votes
1answer
45 views

Does the $I$-torsion functor commute with 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 ...
0
votes
1answer
62 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
1answer
44 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 ...
1
vote
1answer
70 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
36 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 ...
1
vote
1answer
40 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 ...
1
vote
1answer
62 views

$\Gamma_a(I)$ is an injective $R$-module for every injective $R$-module $I$

Is there a proof for Proposition 2.1.4 of Local Cohomology book by Brodmann-Sharp not using Artin–Rees Lemma? Proposition 2.1.4: Let $I$ be an injective $R$-module. Then $\Gamma_a(I)$ is also an ...
5
votes
1answer
134 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 ...
3
votes
1answer
68 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 ...
0
votes
1answer
159 views

Why does every maximal ideal closed in $\mathfrak{a}$-topology imply that $\mathfrak{a} \subseteq \text{Jac}(A)$?

I must be missing something very simple, but suppose that every maximal ideal $\mathfrak{m}$ of a Noetherian ring is closed in the $\mathfrak{a}$-topology on $A$. Then why does this imply that ...
2
votes
1answer
49 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
86 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
137 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 ...
0
votes
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
304 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
54 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
71 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 ...
1
vote
0answers
61 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 ...
3
votes
2answers
95 views

How to show that $\Bbb Z[x,y,z,w]/(xw-zy)$ is not a UFD [duplicate]

I am trying to show that $R=\Bbb Z[x,y,z,w]/(xw-zy)$ is not a UFD. Let $I=(xw-zy)$. Let $X=x+I$, $Y=y+I$, $Z=z+I$, and $W=w+I$. My guess is that $X$ is irreducible and therefore $(X)$ is a ...
-1
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}$?
2
votes
1answer
90 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
44 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
38 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
28 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
49 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
23 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
83 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
102 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
46 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
52 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 ...
4
votes
2answers
131 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
32 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
54 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
60 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
56 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 ...