Tagged Questions

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

learn more… | top users | synonyms (1)

0
votes
2answers
58 views

Logic problem: Atiyah-Macdonald 1.11

Proposition 1.11 in Atiyah-Macdonald's "Introduction to commutative algebra" states the following: "Given an ideal $I$ in a ring $A$ and $p_1, \dots p_n$ prime ideals, then $I \subset \cup_i p_i$ ...
2
votes
1answer
59 views

Show structure of a commutative ring in a tensor product [closed]

I need some help with this: Let $R$ be a commutative ring and $S$ and $T$ be commutative $R$-algebras. Show that $$ S \otimes T $$ has the structure of a commutative ring with multiplication: $$ (s ...
0
votes
2answers
32 views

Units and nilpotents in quotient ring. [closed]

$A$ is a commutative ring and $N(A)$ is the nilradical of $A$. If $A/N(A)$ is a field, show that every $a \in A$ is invertible or nilpotent.
0
votes
1answer
32 views

Krull dimension of a finitely generated integral domain over $k$ is equal to the transcendence degree.

This theorem is from Matsumura (p.34) Let $k$ be a field and $A$ an integral domain which is finitely generated over $k$. Then $\dim A = \operatorname{trdeg}_k A$ (where $\operatorname{trdeg}_k ...
1
vote
1answer
18 views

About freeness of modules over the coordinate ring of an affine variety

Let $X$ be an irreducible affine variety, $A$ be its coordinate ring, $M$ be an $A$-module. Suppose that for any maximal ideal $m$ of $A$, the localization $M_m$ is a free module of rank $n$ (finite ...
1
vote
0answers
29 views

Ideal in power series ring

Let $J$ be an ideal in $k[[x_1,...,x_n]]$ such that $(x_{1},...,x_{n})^{2}\subseteq J$, $\{x_{1},...,x_{r}\}\nsubseteq J$ and $\{x_{r+1},...,x_{n}\} \subseteq J$, for some $1\leq r \leq n$. I want to ...
0
votes
1answer
19 views

A set $S\subseteq\mathbb{A}^n$ is quasi-affine iff $S=Z\setminus V$ for closed $Z$ and $U$?

I'm confused by a remark in note I'm reading. It essentially says, Let $S\subseteq\mathbb{A}^n$ be a subset of affine $n$-space over an algebraically closed field. It's clear that $S$ is ...
0
votes
1answer
31 views

If $0\to M'\to M\to M''\to 0$ is exact, why does $\operatorname{Ass}(M)\subseteq \operatorname{Ass}(M')\cup \operatorname{Ass}(M'')$.

I'm stuck on a proof I'm reading. Let $0\to M'\stackrel{\mu}\to M\stackrel{\sigma}\to M''\to 0$ be a sequence of $A$-modules. Then $\operatorname{Ass}(M)\subseteq \operatorname{Ass}(M')\cup ...
1
vote
1answer
27 views

Factorization in Dedekind domains

Let $R$ be a commutative, Dedekind (and therefore Noetherian) ring with $1$. Let $I$ be a non-prime ideal of $R$, and let $a,b$ be elements of $R$ such that $a\not\in I,b\not\in I$ but $ab\in I$. Let ...
2
votes
2answers
78 views

Hartshorne II Prop 6.8

My weaknesses with commutative algebra are really slowing down my progress through Hartshorne. I hope someone can help me understand some statements in the proof of the proposition below. Prop ...
0
votes
2answers
23 views

If $\mathcal{I}(-)$ is the ideal map on subsets of affine space, why does $A\subseteq\overline{B}\iff\mathcal{I}(B)\subseteq\mathcal{I}(A)$?

I think this is a basic property of $\mathcal{I}(-)$, but I'm having trouble seeing it. I denote by $\mathbb{A}^n$ the affine $n$-space over an algebraically closed field $k$, where if ...
1
vote
2answers
61 views

Normalization of a variety

I'm currently in a number theory course and this question popped up. As I'm not super familiar with algebraic geometry, I was wondering if my reasoning is correct: Show that $\mathbb{C}[X,Y]/(Y^2 ...
2
votes
2answers
53 views

Show that the ring of continuous functions $f:\mathbb R\to\mathbb R$ is not Noetherian

Prove that the ring of continuous functions $f:\mathbb R\to\mathbb R$ is not Noetherian. I know that to be Noetherian, every ideal is generated by finitely many elements or equivalently R ...
2
votes
0answers
49 views

UFD and relatively prime elements

I've found the following statement at page 9 of Griffiths, Harris "Principles of Algebraic Geometry": Proposition. If $R$ is a UFD and $u$, $v \in R[t]$ are relatively prime, then there exist ...
2
votes
1answer
68 views

Commutative Algebra and Game Theory

Is there any relationship between commutative algebra and game theory? For example, have any tools in commutative algebra been applied to game theory? A text or reference would be ideal, but I'd be ...
1
vote
2answers
55 views

Sum and product of comaximal ideals

Let $R$ be a commutative ring with unity. If $R=I_{i}+I_{j}$, for all $i\ne j$, where $I_1,I_2,...,I_n$ are ideals of $R$, I want to show that $$R=I_{n}+I_{1}I_{2}\cdots I_{n-1}.$$ I started off ...
1
vote
1answer
92 views

Matsumura Example 2 (16.E)

I am reading example 2 (16.E) of Matsumura's Commutative Algebra where he gives an example of a non-CM ring. Let $A = k[x,y]$ and $B = k[x^2, xy,y^2, x^3, x^2y, xy^2,y^3]$. Then $A,B$ have the same ...
2
votes
1answer
60 views

Isomorphism of ring localized twice - Atiyah Macdonald Exercise 3.3

I studied AM before studying universal properties. When I solved the following exercise, I had a tedious solution that involved dealing with elements. Let $ A $ be a ring with multiplicatively ...
1
vote
2answers
44 views

The krull dimension of $\Bbb{Z}$ and artinian rings

On page thirty of Matsumura, it says that $\Bbb{Z}$ has krull dimension 1 because every prime ideal is maximal. I understand this because for any prime p you have $0 \subset p$. However, for artinian ...
1
vote
2answers
79 views

Do we have $\dim A = \sup_{\operatorname{ht}( \mathfrak{p})=0} \dim A/\mathfrak{p}$?

Let $A$ be a ring (assume Noetherian if necessary). Then it is clear to me that we have $$ \sup_{\operatorname{ht}(\mathfrak{p}) = 0} \dim A/\mathfrak{p}\leq \dim A.$$ However, I can't seem to prove ...
2
votes
1answer
31 views

Associated primes of the completion of a ring

I am working through a proof somewhere, and I want to use this: Let $(R,m)$ be a local ring (Noetherian commutative) and let $M$ be an $R$-module. If $p$ is an associated prime of $M$, then there ...
0
votes
0answers
64 views

When is $A = k[x_1,\ldots, x_n]/I$ integrally closed?

Suppose that it is not easy to determine that $A$ is a UFD (or that it is a local, noetherian dimension 1 domain with principal maximal ideal). Can someone suggest strategies for showing that a ...
1
vote
1answer
53 views

Why does Proposition 1.8 in Atiyah-Macdonald imply that the smallest prime $\mathfrak{p}$ containing a primary ideal is equal to its radical?

Proposition 4.1 in Atiyah-Macdonal states that the radical of a primary ideal is the smallest prime ideal containing the primary ideal. They start the proof claiming that showing the radical is a ...
4
votes
3answers
115 views

Polynomials over $\mathbb{F}_2$ with certain values in $\mathbb{F}_4$

Let $\mathbb{F}_4=\{0,1,u,u^2\}$ be the field with $4$ elements. Is there a polynomial $p \in \mathbb{F}_2[x,y]$ with the following property? (1) For $r,s \in \mathbb{F}_4$, we have $p(r,s)=u ...
1
vote
1answer
32 views

Localizing at maximal ideals and the product

Let $D$ be an integral domain, $M_{i}$, $i = 1,...,r$ be some of its mutually distinct maximal ideals, and $e_{i}$be positive integers for all $i$. Is it true in general that the extension of the ...
1
vote
1answer
30 views

What is wrong with my proof of a step in Artin's construction of algebraic closure?

I'm working through Atiyah & MacDonald, and there's an exercise basically asking you to fill in a certain step in Artin's construction of an algebraic closure for a given field. The question is ...
1
vote
0answers
92 views

Hilbert's Basis Theorem - Clever Proof?

So I am studying commutative algebra at the moment and I have come across the proof of the Hilbert Basis Theorem (the proof I have is the same as the one in Reid's "Undergraduate Commutative ...
2
votes
1answer
48 views

Dense open subsets of schemes

Let $X$ be a scheme. Let $U$ be an open subset of $X$. It is clear that if $U$ contains all the generic points of $X$ (by which I mean the generic points of irreducible components of $X$) then $U$ is ...
1
vote
1answer
24 views

Quotient ring of a graded algebra with respect to a graded ideal

An algebra $A$ over $F$ is said to be a graded algebra if as a vector space over $F$, $A$ can be written in the form $$A=\bigoplus_{i=0}^\infty A_i$$ for subspaces $A_i$ of $A$ along with other ...
2
votes
2answers
84 views

Why does $M\otimes k(\mathfrak{m})=M_\mathfrak{m}/\mathfrak{m}M_\mathfrak{m}$? (From Matsumura, proof of Theorem 4.8.)

Matsumura's Commutative Ring Theory, proof of Theorem 4.8, page 27, says: Let $A$ be a ring, $M$ a finite $A$-module, and $\mathfrak{m}$ a maximal ideal. If ...
-2
votes
3answers
85 views

Ideal Generated by Three Elements in Polynomial Ring [duplicate]

How would one prove that the ideal $(xy,xz,yz)$ of $k[x,y,z]$ for some field $k$, cannot be generated by two polynomials. In other words, prove: $$(xy,xz,yz) \neq (f,g)\; \forall f,g \in ...
4
votes
1answer
91 views

Rank of projective module defined as the smallest $n$ such that $P$ is a direct summand of $R^n$

Over a commutative ring $R$, the rank of a projective module $P$ is defined by looking at the map $\text{rank}(P) : \text{Spec}(R) \rightarrow \mathbb{N}_0$ given by $\mathfrak{p}\mapsto ...
0
votes
1answer
26 views

Decomposition of a polynomial over generators of an ideal

Let $f$ be a polynomial in six variables, say, over complex numbers, and $l_1$, $l_2$ are some linear forms in the same variables. If I know that polynomial $f$ belong to the ideal generated by $l_1$ ...
0
votes
0answers
22 views

Primality of homogeneous ideal

Let $R$ be the polynomial ring over the finite field $\mathbb{F}_p$ with $n$ variables. Let $I$ be an ideal of $R$ generated by homogeneous polynomials whose coefficients are 1 or -1. Are there any ...
0
votes
1answer
54 views

Primary decomposition of $(XY,(X-Y)Z)$ in $k[X,Y,Z]$

How to find the primary decomposition of $I=(XY,(X-Y)Z)$ in $R=k[X,Y,Z]$? It has minimal primes $(x,y),(y,z),(z,x)$. I tried to calculate $J=S^{-1}I\cap R$, where $S=R-(x,y)$, but it seems ...
0
votes
1answer
47 views

Is a graded module over a graded ring zero when all of it's graded localizations at graded primes not containing the irrelevant ideal are zero?

Let $M$ be a graded module over an $\mathbb{N}$-graded ring $S$ and $S_+$ be the ideal of positive degree elements. Is it true that $M=0$ iff the homogeneous localization $M_{(\mathfrak p)}=0$ for ...
0
votes
1answer
66 views

Hartshorne Chapter II exercise 5.7 on Invertible sheaves

I'm working on part c) which is to prove that for a Noetherian scheme $X$, a coherent sheaf $\mathscr{F}$ is invertible (locally free of rank 1) iff there exists a coherent sheaf $\mathscr{G}$ such ...
1
vote
1answer
52 views

Factorization in noetherian domains

I changed the title (and the body) of this question page, since user26857 provided a nice answer for my original question in a more general setting. Here's what the accepted answer below provides: ...
0
votes
1answer
45 views

Lifting a direct summand of a free module

Suppose $R$ is a commutative ring, $I\subseteq R$ a principal ideal, and we're given split short exact sequences $ R \to R^n \to R^{n-1}$ and $ R/I \to (R/I)^n \to (R/I)^{n-1}$ the first inducing ...
0
votes
0answers
27 views

Injective map which on quotients is the inclusion of a direct summand

suppose we are given a commutative ring $R$, a principal ideal $I$ and an injective ring map $R \stackrel{f}{\longrightarrow} R^n$, which on quotients $R/I \longrightarrow (R/I)^n$ is the inclusion of ...
0
votes
0answers
32 views

A finite ring with $p^3$ elements satisfying some condition is local

Let $R$ be a commutative ring with $1$ such that the number of elements of $R$ is equal to $p{^3}$ where $p$ is a prime number. Prove that if the number of elements of $Z(R)$ (the set of zero ...
0
votes
1answer
96 views

Irreducible ideals that are not primary.

In my advanced algebra course I've heard that in a noetherian (commutative) ring every irreducible ideal is primary. Can you give a counter example in a non noetherian ring? I've been lookin' ...
1
vote
1answer
50 views

Showing regularity by the Auslander-Buchsbaum formula

Let $R$ be a Noetherian local ring with maximal ideal $\mathfrak{m}$ and residue field $k$ with $\operatorname{gl.dim}(R) < \infty$. According to this Wikipedia article it follows from the ...
1
vote
1answer
66 views

Koszul Homology vs Koszul Cohomology

Let $R$ be a ring and $x \in R$. The Koszul complex $K_\bullet(x)$ is then $0 \rightarrow R \stackrel{x}{\rightarrow} R \rightarrow 0$. Given $x_1,\dots,x_n \in R$ the Koszul complex ...
0
votes
1answer
18 views

Dimension of quotients of a discrete valuation domain

I'm learning some properties of discrete valuation rings (DVR's further for geometrical use). By the way, a domain $R$ is said to be a DVR if there exists the so called uniformizing parameter $t$ such ...
6
votes
1answer
80 views

What are the points of some schemes?

Let $X=\operatorname{Spec}\mathbb{C}[x,y,t]/(xy-t)$, $Y=\operatorname{Spec}K[x,y]/(xy-t)\rightarrow \operatorname{Spec}K$ and $Z=\operatorname{Spec}R[x,y]/(xy-t)\rightarrow \operatorname{Spec}R$, ...
7
votes
2answers
115 views

${\rm Hom}_R(M, R/M) =\{0\} \implies R$ is a field.

Let $R$ be a local ring with maximal ideal $M$. Suppose $M$ is finitely generated. Prove that if ${\rm Hom}_R(M, R/M) =\{0\}$, then $R$ is a field. ${\rm Hom}_R(M, R/M)$ stand for the group of ...
0
votes
1answer
40 views

Closedness and going up property

Let $f: A\rightarrow B$ be a homomorphism of commutative unital rings. The problem is to show that if $f$ has going-up property and $\text{Spec }B$ is Noetherian topological space then $f^*: ...
0
votes
3answers
77 views

If $M$ is a flat $R$-module, is $M/IM$ a flat $R/I$-module?

Let $R$ be a Noetherian (local) ring, and let $M$ be a finitely generated, flat $R$-module. Further, let $I$ be an ideal of $R$. Question: Is $M/IM$ flat over $R/I$?
0
votes
1answer
48 views

A question on graded rings

For a ring $A$ and an ideal $\mathfrak{a}$ of $A$, Atiyah-Macdonald define $$A^*=\bigoplus_{n=0}^\infty \mathfrak{a}^n$$ and claim that it is a graded ring on p. 107 of their commutative algebra book. ...