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

learn more… | top users | synonyms (1)

14
votes
1answer
1k views

How to compute localizations of quotients of polynomial rings

At the moment I'm trying to understand the concept of localizations of rings / modules. I have done some exercises (using the book of Atiyah / MacDonald) and I will do some more, but a more practical ...
14
votes
5answers
1k views

Finite quotient ring of $\mathbb Z[X]$

Since userxxxxx (I don't remember the numbers) deleted his own question which I find interesting, let me repost it: Let $f,g\in\mathbb Z[X]$ with $\mathrm{gcd}(f,g)=1$. Prove that the ring $\...
14
votes
2answers
2k views

Video lectures for Commutative Algebra

Are there any good video lectures for learning commutative algebra at level of Atiyah-Macdonald?
14
votes
1answer
539 views

Equivalent definitions of Noetherian topological space

It is well known that we have many different definitions of noetherianity for rings. Namely, given a ring $R$, the following are equivalent: 1) every ideal of $R$ is finitely generated. 2) $R$ ...
14
votes
2answers
527 views

The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$

It is well-known that if $S$ is a graded ring, and $f$ is a homogeneous element of positive degree, then there is a bijection between the homogeneous prime ideals of the localization $S_f$ and the ...
14
votes
2answers
189 views

Is a linear combination of minors irreducible?

Let $X=(X_{ij})_{1\le i,j\le n}$ be a matrix of indeterminates over $\mathbb C$. For choices $I,J\subseteq\{1,\ldots,n\}$ with $|I|=|J|=k$ denote by $X_{I\times J}$ the matrix $(X_{ij})_{i\in I,j\in J}...
14
votes
2answers
570 views

Vanishing of a certain Tor

I am reading about the construction of the Affine Grassmannian in Dennis Gaitsgory's seminar notes and there are some commutative algebra facts that I am not able to figure out by myself apparently, ...
14
votes
0answers
752 views

Class group of $k[x,y,z,w]/(xy-zw)$

I had a homework problem (II.6.5 in Hartshorne) to compute the (Weil divisor) class group of $X=\operatorname{Spec} k[x,y,z,w]/(xy-zw)$. I have accomplished this; however, I used some results I don't ...
14
votes
0answers
170 views

checking that an element of a module is zero, point-wise

Let $M$ be a module over a commutative ring $R$. Let $s \in M$ be an element such that for any $x \in \mathrm{Spec}\,R$, the image of $s$ in $M \otimes \kappa(x)$ is 0 (where $\kappa(x)$ is the ...
13
votes
2answers
2k views

Tensor product algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$

I want to understand the tensor product $\mathbb C$-algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$. Of course it must be isomorphic to $\mathbb{C}\times\mathbb{C}.$ How can one construct an ...
13
votes
3answers
711 views

Geometrically, why do line bundles have inverses with respect to the tensor product?

Geometrically, why do line bundles have inverses with respect to the tensor product? Here my thoughts on the problem so far, please excuse their scatteredness. I know algebraically, it is just ...
13
votes
4answers
328 views

Show $\mathbb{Q}[x,y]/\langle x,y \rangle$ is Not Projective as a $\mathbb{Q}[x,y]$-Module.

Disclaimer: Though I have been re-reading my notes, and have scanned the relevant texts, my commutative algebra is quite rusty, so I may be overlooking something basic. I want to show $\mathbb{Q} \...
13
votes
3answers
667 views

Simple example of non-arithmetic ring

Can anyone provide a simple concrete example of a non-arithmetic commutative and unitary ring (i.e., a commutative and unitary ring in which the lattice of ideals is non-distributive)?
13
votes
2answers
2k views

Irreducible components of the variety $V(X^2+Y^2-1,X^2-Z^2-1)\subset \mathbb{C}^3.$

I want to find the irreducible components of the variety $V(X^2+Y^2-1, \ X^2-Z^2-1)\subset \mathbb{C}^3$ but I am completely stuck on how to do this. I have some useful results that can help me ...
13
votes
5answers
1k views

Irreducibility of Polynomials in $k[x,y]$

I'm working through some Hartshorne problems and have noticed that in order to do certain problems properly one must prove a given polynomial $f\in k[x,y]$ is irreducible. For example, in problem I....
13
votes
2answers
1k views

A non-noetherian ring with all localizations noetherian

If for a ring $A$ every localization $A_\mathfrak{p}$ by a prime $\mathfrak{p}\subseteq A$ is noetherian, is it true that $A$ is noetherian? I believe not but I can't find a good counterexample.
13
votes
2answers
299 views

$A\subseteq B\subseteq C$ ring extensions, $A\subseteq C$ finite/finitely-generated $\Rightarrow$ $A\subseteq B$ finite/finitely-generated?

Let $A\subseteq B\subseteq C$ be commutative unital rings. Recall that the extension $A \subseteq B$ is finite / of finite type / integral, when $B$ is a finitely generated $R$-module / when $B$ is a ...
13
votes
2answers
1k views

Fields finitely generated as $\mathbb Z$-algebras are finite?

Suppose $k$ is a field that is finitely generated as a ${\mathbb Z}$-algebra. (That is, $k$ is a quotient of ${\mathbb Z}[X_1,\dots,X_n]$ for some $n$). Does it follow that $k$ is finite?
13
votes
3answers
1k views

Primary ideals of Noetherian rings which are not irreducible

It is known that all prime ideals are irreducible (meaning that they cannot be written as an finite intersection of ideals properly containing them). While for Noetherian rings an irreducible ideal is ...
13
votes
1answer
386 views

Geometrical interpretation of $I(X_1\cap X_2)\neq I(X_1)+I(X_2)$, $X_i$ algebraic sets in $\mathbb{A}^n$

Edit: I should point out that I'm working over an algebraically closed field $k$. Let $X_1,X_2\subset\mathbb{A}^n$ be affine algebraic sets. Show that $I(X_1\cap X_2)=\sqrt{I(X_1)+I(X_2)}$. Show ...
13
votes
3answers
228 views

If $M\oplus M$ is free, is $M$ free?

If $M$ is a module over a commutative ring $R$ with $1$, does $M\oplus M$ free, imply $M$ is free? I thought this should be true but I can't remember why, and I haven't managed to come up with a ...
13
votes
2answers
730 views

What is a primary decomposition of the ideal $I = \langle xy, x - yz \rangle$?

Given the ring $k[x,y,z]$, where $k$ is a field, and an ideal $I=(xy,x-yz)$, find a primary decomposition of $I$. I tried to draw the graph of the variety of $I$ and get a decomposition of $(x,y)\...
13
votes
1answer
211 views

What's the motivation of the definition of primary ideals?

$$xy\in\mathfrak q\:\Rightarrow\:\text{either $x\in\mathfrak q$ or $y^n\in\mathfrak q$ for some $n\gt0$}.$$ Primary ideals can be regard as the generalization of prime ideals and radical. But why ...
13
votes
1answer
468 views

Completion as a functor between topological rings

In the following all rings are assumed to be commutative and unitary. Preliminaries: For any topological ring $R$ we can form its completion $\widehat{R}$ by taking all Cauchy sequences modulo null ...
13
votes
2answers
326 views

“Graded free” is stronger than “graded and free”?

This topic suggested me the following question: If $R$ is a commutative graded ring and $F$ a graded $R$-module which is free, then can we conclude that $F$ has a homogeneous basis (that is, a ...
13
votes
1answer
323 views

$\mathbb A^n(k)$ and $\mathbb A^n(k)\setminus \{0\}$ are not homeomorphic

Let $k$ be an algebraic closed field. Why $\mathbb A^n(k)$ and $\mathbb A^n(k)\setminus\{0\}$ (for $n>1$) are not homeomorphic with respect to the Zariski topology?
13
votes
1answer
559 views

Exercise 2.17(d) of Eisenbud's Commutative Algebra

First some notation: Let $P$ be a homogeneous prime ideal of a $\Bbb{Z}$ - graded ring $R$, $U$ the multiplicative subset of all homogeneous elements not in $P$. Suppose that there exists a ...
13
votes
1answer
78 views

Local ring coincides with DVR.

Assume $A$ is a discrete valuation ring with quotient field $K$ and maximal ideal $\mathfrak{m}$. If $S$ is a local ring containing $A$ and contained in $K$ with maximal ideal containing $\mathfrak{m}$...
13
votes
1answer
181 views

Modules over Completion

I have the following question. Let $R$ be a commutative ring with unit, and let $\hat{R}$ denote its completion (w.r.t. any ideal $I$). Let $M$ be an $\hat{R}$-module. Is $M= N\otimes_R \hat{R}$ for ...
13
votes
3answers
1k views

Homomorphisms of graded modules

Let $M$ and $N$ be graded $R$-modules (with $R$ a graded ring). $\varphi:M\rightarrow N$ is a homogeneous homomorphism of degree $i$ if $\varphi(M_n)\subset N_{n+i}$. Denote by $\mathrm{Hom}_i(M,N)$ ...
13
votes
0answers
247 views

Non-reflexive module isomorphic to its double dual

Could you give me an example of a non-reflexive module isomorphic to its double dual? I found an example here but I cannot understand it, do you have any simpler examples? By this question we ...
13
votes
0answers
154 views

On the order of $\mathbb{Z}[X]/(f,g)$ and the resultant $R(f,g)$.

I suspect that $\#\mathbb{Z}[X]/(f,g)=|R(f,g)|$ holds for any two non-constant polynomials $f,g\in\mathbb{Z}[X]$, where $R(f,g)$ is the resultant of $f$ and $g$. I am however unable to prove it. I'd ...
12
votes
3answers
793 views

What are rational integer coefficients?

I have a question about the following excerpt from Atiyah-Macdonald (page 30): “A ring $A$ is said to be finitely generated if it is finitely generated as a $\mathbb Z$-algebra. This means ...
12
votes
5answers
3k views

Proving that surjective endomorphisms of Noetherian modules are isomorphisms and a semi-simple and noetherian module is artinian.

I am revising for my Rings and Modules exam and am stuck on the following two questions: $1.$ Let $M$ be a noetherian module and $ \ f : M \rightarrow M \ $ a surjective homomorphism. Show that $f ...
12
votes
3answers
877 views

Ring of holomorphic functions

Am I correct or not? I think that a ring of holomorphic functions in one variable is not a UFD, because there are holomorphic functions with an infinite number of $0$'s, and hence it will have an ...
12
votes
3answers
454 views

A finite commutative ring with the property that every element can be written as product of two elements is unital

I was struggling for days with this nice problem: Let $A$ be a finite commutative ring such that every element of $A$ can be written as product of two elements of $A$. Show that $A$ has a ...
12
votes
3answers
860 views

Does an injective endomorphism of a finitely-generated free R-module have nonzero determinant?

Alternately, let $M$ be an $n \times n$ matrix with entries in a commutative ring $R$. If $M$ has trivial kernel, is it true that $\det(M) \neq 0$? This math.SE question deals with the case that $R$...
12
votes
2answers
329 views

Why is it that $\det(\phi-x\text{id})=\sum_{i=0}^n (-1)^ic_ix^i$?

I'm trying to understand a certain formula for the determinant in a more general setting. Say you have a free module $M$ of rank $n$ over a (commutative) ring $R$. Let $\phi\in\operatorname{End}(M)$,...
12
votes
2answers
366 views

Does inclusion of a ring into a polynomial ring induce a closed map on prime spectra?

Let $A$ be a commutative (unital) ring, and $A[x_1,\ldots,x_n]$ a polynomial ring over it in some finite number of variables. The inclusion $i\colon A \hookrightarrow A[x_1,\ldots,x_n]$ induces (by ...
12
votes
2answers
408 views

Integral domain with fraction field equal to $\mathbb{R}$

I wonder if there is an integral domain $A\subseteq \mathbb{R}$ which is not a field, and such that the field of fractions of $A$ is equal to $\mathbb{R}$? Edit: here as a possible direction: it is ...
12
votes
1answer
1k views

Geometric meaning of primary decomposition

In the book "Commutative Algebra with a view toward Algebraic Geometry of David Eisenbud, he wrote about the Geometric interpretation of primary decomposition. I summary as follows : Let $I=\cap_{j}...
12
votes
3answers
734 views

Galois ring extension

Is there an analogous theory to Galois extension of fields for commutative rings? In particular, what does it mean for a ring extension to be Galois? Thanks.
12
votes
1answer
495 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." ...
12
votes
3answers
393 views

Show the set of points $(t^3, t^4, t^5)$ is closed in $\mathbb A^{3}$

Show the set of points $X = \{(t^3, t^4, t^5) \}$ with $t\in k$ is closed in $\mathbb A^{3}$ and find three generators of $\mathcal{I}(X)$. This is a homework question, so please don't provide full ...
12
votes
1answer
294 views

Coprime elements in finite rings

Let $R$ be a finite commutative ring. Consider elements $a,b \in R$ such that $Ra+Rb=R$. A paper I'm reading asserts that there exists some $x,y \in R$ such that $x(a+yb) = 1$. Of course, it is ...
12
votes
2answers
431 views

If every ascending chain of primary ideals in $R$ stabilizes, is $R$ a Noetherian ring?

A commutative ring $R$ is called Noetherian if every ascending chain of ideals in $R$ stabilizes, that is, $$ I_1\subseteq I_2\subseteq I_3\subseteq\cdots $$ implies the existence of $n\in\mathbb{N}$ ...
12
votes
2answers
284 views

Spectrum of $\mathbb{Z}^\mathbb{N}$

Is anything known about the spectrum of $\mathbb{Z}^{\mathbb{N}}$? Notice that the fiber of $\mathrm{Spec}(\mathbb{Z}^{\mathbb{N}}) \to \mathrm{Spec}(\mathbb{Z})$ at a non-zero prime ideal $(p)$ is ...
12
votes
5answers
322 views

Checking that a $3$-D diagram is commutative

When proving certain results I need to use commutative diagrams, some of which quite complicated. My question is: Do we need to check every small square all the time to make sure that they are all ...
12
votes
3answers
1k views

Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$

In thinking about this recent question, I was reading about distributive lattices, and the Wikipedia article includes a very interesting characterization: A lattice is distributive if and only if ...
12
votes
1answer
111 views

$A\otimes_{\mathbb C}B$ is finitely generated as a $\mathbb C$-algebra. Does this imply that $A$ and $B$ are finitely generated?

Consider $A$ and $B$ two $\mathbb C$-algebras such that $A\otimes_{\mathbb C}B$ is finitely generated as a $\mathbb C$-algebra. Does this imply that $A$ and $B$ are finitely generated? I know that ...