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

learn more… | top users | synonyms (1)

0
votes
2answers
51 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
53 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
134 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
60 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
67 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 ...
8
votes
2answers
146 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
78 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
98 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 ...
2
votes
1answer
110 views

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
36 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
53 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
102 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
47 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
44 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
191 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
67 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
54 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 ...
0
votes
1answer
40 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, ...
0
votes
0answers
87 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 ...
2
votes
1answer
52 views

Strong approximation theorem for Dedekind Domains

This is a theorem in "Maximal Orders" by Reiner. Page 48 stated without proof. And is said to be an easy consequence of The Chinese remainder Theorem. I am attempting to prove the theorem and need a ...
0
votes
2answers
44 views

Every Artinian ring is isomorphic to a finite direct product of Artinian local rings

I was reading a proof of the above theorem (1.6.7 Theorem) from here, but there was something that confused me. The proof says $R$ has finitely many maximal ideals $M_1, \ldots ,M_r$, and the ...
3
votes
2answers
61 views

Kähler differentials of the cuspidal cubic

I want to compute $\Omega^1_{A,\mathbb{C}}$ for $A = \mathbb{C}[X,Y]/(Y^2 - X^3)$, or more precisely, I want to show that the module of Kähler differentials is free of rank 2 at the origin, and free ...
1
vote
1answer
87 views

Example of strict inclusion for the localization of associated primes

Let $A$ be a commutative ring and $M$ an $A$-module. It is well known that $$\operatorname{Ass} M\cap\operatorname{Spec}S^{-1}A\subset\operatorname{Ass}S^{-1}M,$$ and that equality holds if $A$ (or ...
0
votes
0answers
42 views

Exercise 7.10 Atiyah, $M[x] $ is a noetherian $A[x] $-module [duplicate]

The exercise is: Let $M$ be a noetherian $A$-module. Then $M[x] $ is a noetherian $A[x] $ module. The action of $A[x] $ on $M[x] $ is the obvious one. In a previous exercise it was shown that ...
0
votes
2answers
42 views

$R^{(I)} \cong K \oplus H$ where $R^{(I)}$ is free but $K$ is not free

Let $R$ be a commutative ring with unit. Is there an example of a direct sum of $R$-modules $$R^{(I)} \cong K \oplus H$$ where $R^{(I)}$ is free but $K$ is not free ? Clearly $R$ can't be a PID.
2
votes
1answer
62 views

$k[X,Y]/(f)$ not finitely generated as a module (Exercise 4.10 Reid, UCA)

I have been wrestling with this problem for some time and I still can't find $f$. It seems really simple, which annoys me even more. The problem is as follows (Exercise 4.10 Reid, UCA): Suppose ...
1
vote
0answers
84 views

What is $\operatorname{Ass}\operatorname{Ext}^i(M,N)$?

This is exercise 1.2.27 of Bruns-Herzog: Let $R$ be a Noetherian ring, $M$ a finite $R$-module and $N$ an arbitrary $R$-module. Deduce that $\operatorname{Ass}(\operatorname{Hom}_R(M,N)) = ...
1
vote
1answer
65 views

The geometric interpretation for extension of ideals?

Suppose $f\colon B\to A$ is a ring homomorphism, and $I\subseteq B$ is an ideal. What's the geometric interpretation for the extension $f(I)A$ of the ideal $I$? Especially, I'm interested in the case ...
1
vote
1answer
46 views

Localizations of $ \mathbb{Z}_{p^k}$

Let $S \subseteq \mathbb{Z}_{p^k} $ be a multiplicative subset, where $p$ is a prime number, $k$ an integer. Is it true that $$S^{-1} \mathbb{Z}_{p^k} \cong \mathbb{Z} /n\mathbb{Z} $$ for some ...
2
votes
1answer
34 views

Congruence in localization of rings

Please help me to prove for all maximal ideals $\mathfrak{m}$ of $R$, $(aR/a^2R)_\mathfrak{m}\cong (aR)_\mathfrak{m}/(a^2R)_\mathfrak{m}\cong aR_\mathfrak{m}/a^2R_\mathfrak{m}$, where $R$ is a ...
3
votes
1answer
51 views

Is the unique morphism from the empty scheme $\operatorname{Spec}((0))$ to some other scheme $X$ smooth?

This is a very pedantic question, but Is the unique morphism from the empty scheme $\emptyset = \operatorname{Spec}((0))$ to some other scheme $X$ smooth?
1
vote
1answer
55 views

Prove that the normalisation of $A=k[X,Y]/(Y^2-X^2-X^3)$ is $k[t]$ where $t=Y/X$ (Reid, Exercise 4.5)

This is a problem about finding the normalisation of a quotient polynomial ring. So I have to find the integral closure of the ring in its field of fractions. The problem statement is as follows: ...
1
vote
1answer
29 views

Two points in a proof of regularity of $R/I$

In the proof of the fact that "if $I$ is an ideal of the regular local ring $(R,m)$ such that $R/I$ is regular then $I$ can be generated by part of a minimal generating set of of $m$", I saw in a ...
3
votes
0answers
28 views

Localization and Direct limit [duplicate]

Let $ A $ be a ring. Let $ I $ be a preordered set, filtering. Let $ \Sigma $ a multiplicative subset of $ A $. Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...
3
votes
0answers
19 views

Do lattices in a field of fractions contain an ideal?

Let $R$ be a noetherian commutative integrally closed domain whose field of fractions $K$ is a finite extension of the field of fractions $Q$ of $\Lambda = \mathbb{Z}_p[[T]]$. Let $L \subset R$ be a ...
2
votes
0answers
71 views

Automorphism of certain f.g. free modules

This is a quick question from Frohlich and Taylor's Algebraic Number Theory, II.4, p 94. Let $R$ be a Dedekind domain with quotient field $K$, $\mathfrak p$ is a non-zero prime ideal of $R$ and ...
0
votes
1answer
60 views

$\mathbb{Q}[x,1/x]$ is normal?

Let $x$ be a transcendental. I heard $\mathbb{Q}[x,1/x]$ is a normal domain. But I don't understand why. Help me, thanks.
16
votes
2answers
334 views

Quotient of polynomials, PID but not Euclidean domain?

While trying to look up examples of PIDs that are not Euclidean domains, I found a statement (without reference) on the Euclidean domain page of Wikipedia that $$\mathbb{R}[X,Y]/(X^2+Y^2+1)$$ is ...
2
votes
1answer
43 views

Prime radical that is nil but not nilpotent

Please help me to show that the prime radical of the ring $R=\prod\limits_{n = 1}^\infty { \mathbb{Z} /2^n\mathbb{Z} } $ is nil but not nilpotent.
1
vote
1answer
35 views

Basis for the completion of a free module

This (or similar) question might have been asked before- apologies for any duplication. I've got a Dedekind domain $R$, a non-zero prime ideal $P$ of $R$ and the completion $\widehat{R}$ of $R$ wrt ...
2
votes
1answer
105 views

The Zariski topology on $\operatorname{Spec} A$ as an intial topology

Given any commutative ring $A$ let $\operatorname{Spec} A$ be the space of prime ideals of $A$. Can we interpret the Zariski topology as an initial (or final) topology with respect to some canonical ...
1
vote
1answer
127 views

Localization and direct limit

Let $ A $ be a ring. Let $ I $ be a preordered set, filtering. Let $ \Sigma $ a multiplicative subset of $ A $. Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...
1
vote
1answer
44 views

If $A\ne 0$ is a square matrix over a commutative ring with $\det A=0$, then its null space contains an element whose components are minors of $A$

Let $R$ denote a commutative ring and $A\ne 0$ a $n\times n$ matrix over $R$ with $\det A=0$. Then there exists a $x\in\ker A\setminus\left\{0\right\}$ such that all components of $x$ are minors of ...
2
votes
1answer
50 views

In arbitrary commutative rings, what is the accepted definition of “associates”?

In an integral domain, the following are equivalent: $r \mid s$ and $s \mid r$ $r=us$ for some unit $u$ However in arbitrary commutative rings this is no longer the case; in particular, (2) ...
2
votes
1answer
74 views

Does $\operatorname{Hom}(M,T)\cong\operatorname{Hom}(N, T)$ for all $A$-modules $T$ mean $M\cong N$?

The question is contained in title, I'm working with $A$-modules $M$ and $N$. I feel like Yoneda's lemma is what I'm looking for but it applies to functors into the category of sets, whereas ...
0
votes
0answers
84 views

Atiyah & Macdonald's Introduction to Commutative Algebra, Exercise 8.5

The exercise asks the reader to prove that $X$ is a finite covering (i.e., the number of points of $X$ lying over a given point of $L$ is finite and bounded) of $L$, where the affine varieties $X$ and ...
3
votes
1answer
75 views

How to prove this innocent looking isomorphism

I've got a Dedekind domain $R$ with quotient field $K$, a non-zero prime ideal $P$ of $R$. I form the completion $\widehat{K}$ of $K$ wrt the valuation $v_P$ associated to $P$. Let $\widehat{R}$ be ...