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

learn more… | top users | synonyms (1)

1
vote
1answer
15 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
39 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
82 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
110 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 ...
1
vote
0answers
27 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
251 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
47 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
60 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 ...
0
votes
0answers
34 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 ...
0
votes
1answer
43 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}$?
3
votes
1answer
73 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
39 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
34 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
27 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
45 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
20 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
72 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
94 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
45 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
51 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 ...
1
vote
0answers
34 views

A condition of equivalence of flatness and projectiveness

This is a problem in "Foundations of Module and Ring Theory" of Wisbauer: " Let $R$ be a subring of the ring $S$ containing the unit of $S$. Show that a flat $R$-module $N$ is projective if and only ...
3
votes
2answers
111 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
31 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
43 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
55 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
53 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
139 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
72 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
87 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 ...
0
votes
0answers
50 views
+50

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
31 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
49 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
96 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
43 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
38 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
162 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
63 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
49 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 ...
1
vote
1answer
29 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, ...
1
vote
1answer
77 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 ...
-1
votes
0answers
40 views

Coheight of an ideal

I am considering a quotient ring $R=\mathbb F_2[x_1,\dots,x_n]/I$ that is Cohen-Macaulay but not local and an ideal $J$ in $R$. If $R$ were local, then one had the equality $$\mathrm{coheight}(J)=\dim ...
2
votes
1answer
39 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
39 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
59 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 ...
0
votes
1answer
75 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
39 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
56 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 ...