Tagged Questions

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

718 views

Direct way to show: $\operatorname{Spec}(A)$ is $T_1$ $\Rightarrow$ $\operatorname{Spec}(A)$ is Hausdorff

In the book of Atiyah and MacDonald, I was doing exercise 3.11. One has to show that for a ring $A$, the following are equivalent: $A/\mathfrak{N}$ is absolute flat, where $\mathfrak{N}$ is the ...
897 views

Localization at a prime ideal is a reduced ring

Here is the question that I came up with, which I am having trouble proving or disproving: Let $A$ be a ring (commutative). Let $p \in Spec(A)$ such that $A_p$ is reduced. Then there exists an open ...
581 views

I want to know some examples with the following properies. Let $R$ be a domain such that every non unit element $x$ is a product of finite irreducible elements,but $R$ is not a UFD, and there is ...
1k views

Favourite applications of the Nakayama Lemma

Inspired by a recent question on the nilradical of an absolutely flat ring, what are some of your favourite applications of the Nakayama Lemma? It would be good if you outlined a proof for the result ...
232 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 ...
1k views

579 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, ...
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 ...
745 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 ...
330 views

212 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 ...
473 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 ...
328 views

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 ...
324 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?
560 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 ...
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}$...
184 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 ...
1k views

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)$ ...
248 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 ...
157 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 ...
798 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 ...
3k views

749 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.
506 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." ...
2k views

288 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 ...
327 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 ...
$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 ...