Tagged Questions

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

learn more… | top users | synonyms (1)

4
votes
3answers
1k views

examples of faithfully flat modules

I'm studying some results about flatness and faithful flatness and I'd like to keep in my mind some examples about faithfully flat modules. In general, free modules are the typical example. Another ...
5
votes
2answers
346 views

Where is the Axiom of choice used?

In Reid's commutative algebra, there is a proof of equivalent conditions of Noetherian rings, especially (1) The set of ideals of $A$ has the a.c.c. $\Rightarrow$ (2) Every ideal in $A$ is finitely ...
2
votes
2answers
274 views

Prime ideals and Zorn's lemma

Let $A$ be a ring, $x$ a nonzero element of $A$ and consider the annihilator of $x$, i.e $Ann(x)$. Now let $S$ denote the collection of all prime ideals of $A$ containing $Ann(x)$. It can be shown ...
1
vote
1answer
47 views

$\alpha (M/N) = (\alpha M + N) / N$

I want to prove $\alpha (M/N) = (\alpha M + N) / N$, where $M$ is an $A$-module and $\alpha$ is an ideal of $A$. There will be many ways, for example, define a map $f:\alpha M + N \to \alpha (M/N)$ ...
5
votes
1answer
775 views

On prime ideals in a polynomial ring over a PID (from Reid's _Commutative Algebra_)

More general version of this is in Reid's undergraduate commutative algebra. Prime ideals of $B[Y]$ where $B$ is a PID are as follows: $0$, $(f)$ for irreducible $f \in B[Y]$, and maximal ideals $m$. ...
2
votes
1answer
116 views

Support of a module and ideals

Let $R$ be a Noetherian ring , $M$ a finitely generated $R$-module and let $J$ be an ideal such that $Supp(M) \subset V(J)$ where $V(J) = \{P \in Spec(R) : P \supseteq J\}$. How to show there exists ...
3
votes
2answers
706 views

Finding a primary decomposition

Let $k$ be a field, and $R=k[x,y]$. I'm supposed to find two different minimal primary decompositions of the ideal $(x^2y, y^2x)$. It's easy to see that one minimal primary decomposition is ...
2
votes
1answer
322 views

Localisation of an ideal

This should be quite easy, but somehow I can't find the proof. Let $P\neq Q$ be two maximal ideals in the commutative ring $R$. Then $P_Q=R_Q$. ($P_Q$ is the localisation of the R-module $P$ at $Q$ ...
0
votes
3answers
206 views

rank function on Spec (help with definition)

one definition of the line bundle over a ring is: a finitely generated projective A-module such that the rank function Spec A → N (positive integers) is constant with value 1. We call A itself the ...
1
vote
0answers
284 views

Picard group for dummies

a picard group is the set of isomorphism classes of invertible R-modules. I just read that phrase in the CRing project notes without further explanations: Here are my questions: 1-under which law (I ...
3
votes
2answers
304 views

Totally ordered abelian group

Let $\Gamma$ be a totally ordered abelian group (written additively), and let $K$ be a field. A valuation of $K$ with values in $\Gamma$ is a mapping $v:K^* \to \Gamma$ such that $1)$ ...
3
votes
1answer
147 views

Atiyah Ex5.29: Local ring of a valuation ring

Let $A$ be a valuation ring of a field $K$. Show that every subring of $K$ which contains $A$ is a local ring of $A$. This problem is already asked and answered at mathoverflow. But I can't ...
21
votes
1answer
476 views

functoriality of derivations

I seem to have problems understanding algebraically why given a map of manifolds $f: M \to N$ we get a bundle map $TM \to f^*TN$. Now, fiberwise it's all good. But I do not understand how to define ...
8
votes
4answers
646 views

Non-Noetherian ring with a single prime ideal

My question: What are the most simple examples of a commutative ring R satisfying both of the following two properties: 1. R is not Noetherian. 2. R has exactly one prime ideal.
10
votes
1answer
791 views

(Ir)reducibility criteria for homogeneous polynomials

Suppose I have a homogeneous polynomial in at least 3 variables over some algebraically closed field (of characteristic 0, if need be). Question: How may I test — by hand — whether it is irreducible? ...
1
vote
1answer
313 views

What is a typical example of the tensor product of modules failing to be left exact?

I am looking for an example of an exact sequence of $R$-modules $$ 0 \rightarrow M' \rightarrow M \rightarrow M'' \rightarrow 0 $$ and a $R$-module $N$, such that $$ 0 \rightarrow M' ...
5
votes
2answers
611 views

Ideal correspondence

I'm confusing the ideal correspondence theorem. Is the following right? Ideal correspondence: Let $f:A \to B$ be a ring homomorphism. Then there is a one-to-one order-preserving correspondence ...
0
votes
1answer
67 views

Integral extensions and number of generators

here's a doubt which arised from a previous question: Suppose $R$ is a ring and $S \subseteq R$ is a subring. Moreover suppose $R$ is integral over $S$ and $R$ is finitely generated as an $S$-module. ...
2
votes
2answers
182 views

Integral and semi-local ring

Let $R$ be a ring and let $S$ be a subring of R. If $R$ is a semi-local ring and $R$ is integral over $S$, why $S$ is semi-local as well?
3
votes
1answer
94 views

Elementary question about integral extensions

I'm reading page $59$ of Reid's "Undergraduate commutative algebra" book. In example (ii) it says, $k[x^{2}] \subset k[x]$ is an integral extension. How do we know this? I mean, in order to show ...
2
votes
1answer
476 views

Minimal generating sets of free modules, and endomorphisms of free modules

I know that it seems very loose as a title but I hope this post will be beneficial to all the forum members. One thing I like about free modules is that they help one define maps directly as we do in ...
1
vote
1answer
109 views

Ring of Invariant

Let $G \subset SL_2(\mathbb{C})$ be a finite subgroup acting linearly on $\mathbb{C}[X, Y]$. Then it is claimed that the ring of invariants $\mathbb{C}[X, Y]^G$ is always a hypersurface. I am not able ...
5
votes
1answer
147 views

Lang's “General Integrality Criterion”

Theorem 3.7 in the chapter on ring extension on page 352 of the latest edition of Lang's "Algebra" appears redundant in its phrasing to me. Specifically, if $g_s$ is a polynomial of total degree ...
4
votes
1answer
153 views

Equivalent condition for being a Jacobson ring

(Atiyah-Macdonald, Ex. 5.25) Let $A$ be a ring. Show that the following are equivalent: i) $A$ is a Jacobson ring; ii) Every finitely generated $A$-algebra $B$ which is a field is finite over ...
2
votes
1answer
112 views

Relation between different formulations of Nakayama's lemma

In Hulek's Elementary Algebraic Geometry, Nakayama's lemma is stated as follows: Let $A \neq 0$ be a finite $B$-algebra. Then for all proper ideals $m$ of $B$, we have $mA \neq A$. (Here, $A$ and $B$ ...
4
votes
3answers
565 views

Dedekind's theorem on the factorisation of rational primes

Let $K$ be an algebraic number field, and suppose its ring of integers is $\mathcal{O}_K = \mathbb{Z}[\theta]$ for some $\theta \in \mathcal{O}_K$. Let $f \in \mathbb{Z}[X]$ be the minimal polynomial ...
5
votes
1answer
224 views

Integral Extension of a Jacobson Ring

Let $A \subseteq B$ be an integral extension. Show that if $A$ is a Jacobson ring, then $B$ is also a Jacobson ring. My trial: Let $q$ be a prime ideal in $B$, and let $p:=q^c=q \cap A$. Since ...
8
votes
1answer
497 views

Do localization and completion commute?

Let A be a commutative Ring and $\mathfrak{p}$ be a prime ideal of A. Under which assumptions for A and $\mathfrak{p}$ does localization by $\mathfrak{p}$ and completion with respect to $\mathfrak{p}$ ...
1
vote
2answers
155 views

Extension of homomorphism

Let $A \subset B$(integral domain), $B$ is finitely generated over $A$. Let $y_1, \cdots, y_n \in B$ algebraically independent over $A$. Then homomorphism $f:A \to \Omega$(algebraically closed field) ...
27
votes
3answers
2k views

Reference request: introduction to commutative algebra

My goal is to pick up some commutative algebra, ultimately in order to be able to understand algebraic geometry texts like Hartshorne's. Three popular texts are Atiyah-Macdonald, Matsumura ...
2
votes
2answers
159 views

Field of algebraic numbers over Q with p-adic value

Define $\overline{\mathbb{Q}} \subset \mathbb{C}$ to be the subset consisting of all complex numbers which are algebraic over $\mathbb{Q}$. We know that $\overline{\mathbb{Q}}$ is a countable field ...
3
votes
2answers
100 views

equality of modules

I'm reading a proof of Nakayama's theorem; it says at a certain step that: For $M$, a finitely generated module on a ring $R, N$ a submodule, and $I$ an ideal of the ring $R$: If $M = N + IM$, then ...
5
votes
1answer
320 views

fiber product of local artinian rings

Let $A,B,C$ be local artinian rings and $p : A \to C, q : B \to C$ local homomorphisms. Why is the fiber product $A \times_C B$ again a local artinian ring? It is easy to see that $P:=A \times_C B$ ...
1
vote
1answer
616 views

Nilradical that is a prime ideal

Let $R$ be a non-reduced commutative ring(not necessarily Noetherian) with unit. Let the nilradical $\mathcal{N}$ of $R$ be a prime ideal with the property that $\mathcal{N}^2=0$. Do we know about the ...
3
votes
2answers
254 views

Chinese remainder type theorem in Fulton's Algebraic Curves

The book "Algebraic Curves" by Fulton is available free for download on his website. On page 27, Fulton constructs an isomorphism which is used several times throughout the book. His construction is ...
4
votes
2answers
241 views

Localization of $\mathbb{C}[x,y]/(x^{3}-y^{3})$

Consider the ring $R=\mathbb{C}[x,y]/(x^{3}-y^{3})$ and let $S$ be the set of all non-zero divisors of $R$. How to find $S^{-1}A$? I guess the idea is to find a ring which is isomorphic to (or ...
0
votes
1answer
173 views

Exercise in Atiyah (localization)

Let me refer you to: http://www-users.math.umd.edu/~karpuk/chap3solns.pdf Page 2, ex. 4 Can you please explain the following step: $tb=f(s')b=s'b$ Why $f(s')=s'$ ? Thanks
1
vote
1answer
90 views

Direct sum of asssociated primes of a module

Let $R$ be a Noetherian ring and let $M$ be a finitely generated $R$-module. Denote the set of all associated primes of $M$ by $Ass(M)$. If $R= \oplus_{i=1}^{n} M_{i}$ where each $M_{i}$ is an ...
1
vote
1answer
534 views

finitely generated k-algebra and polynomial ring

Let $k$ be a field and let $A \neq 0$ be a finitely generated $k$-algebra, and $x_1, \cdots, x_n$ generate $A$ as a $k$-algebra. Is there any relationship(inclusion, homomorphism, etc.) between $A$ ...
3
votes
0answers
66 views

Weak Global Dimension and Global Dimension

Let $R$ be a commutative ring(not necessarily Noetherian) with unit. Is there an example such that weak global dimension of $R$ is finite but the global dimension of $R$ is infinite? Can we find such ...
4
votes
1answer
116 views

Subgroups of index 3 in $1+p\mathbb{Z}_p$

Let $p$ be a prime. I'm trying to compute the subgroups of index $3$ in $\mathbb{Q}_p^\times$ to enumerate some cyclic extensions using CFT. I've essentially reduced the problem down to finding the ...
10
votes
2answers
275 views

Minimal systems of generators for finitely generated algebras over commutative (graded) rings

Let $S$ be some base ring (a commutative ring or even just a field), and $R$ a commutative ring containing $S$ which is finitely generated (as an algebra) over $S$. What conditions guarantee that ...
2
votes
1answer
87 views

Converse of a result in a Noetherian ring involving height

Let $A$ be a Noetherian ring and $\mathfrak{p} \in Spec(A).$ If $x \in \mathfrak{p}$ then it is well-known that $ht_{A/(x)}(\mathfrak{p}/(x)) \leq ht_A(\mathfrak{p}) \leq ...
2
votes
1answer
105 views

Prime spectrum and the restriction

In Atiyah's commutative algebra, exercise3.21(ii) is the following: Let $f:A \to B$ be a ring homomorphism. Let $X=Spec(A)$ and $Y=Spec(B)$, and let $f^* : Y \to X$ be the mapping associated with ...
4
votes
2answers
309 views

Two ideals with equal radical in a noetherian ring

Let $A$ be a commutative noetherian ring with two ideals $I,J$ such that $\sqrt{I}=\sqrt{J}$. Does there always exist integers $p,q,r$ such that $$ I^p \subset J^q \subset I^r? $$
3
votes
2answers
464 views

elementary question about tensor product of modules

I'm a bit embarrassed to ask this, but I've gotten myself confused over what I think is a simple issue. Let $A$ be a local ring, $k$ its residue field, and $M,N$ finitely generated $A$-modules. An ...
4
votes
1answer
141 views

Generators of the coordinate ring for prime ideals

One of the ways I find more useful to check if a given ideal $I$ of $K[X_1,\ldots,X_n]$ is prime, is to look at the quotient ring $K[X_1,\ldots,X_n]/I$. If I'm able to show it is isomorphic to ...
0
votes
1answer
124 views

Flat ideals in a ring

If $A$ is an integral domain and $I$ is an ideal of $A$ generated by a regular sequence $f_1,\ldots,f_r$. Is $I$ flat (as an $A$-module)?
4
votes
3answers
275 views

Prime spectrum and going-down property

I want to show that $f$ has the going-down property $\Leftrightarrow$ For any prime ideal $\mathfrak{q}$ of $B$, if $\mathfrak{p}=\mathfrak{q}^c$, then $f^{*}:\textrm{Spec}(B_{\mathfrak{q}}) ...
6
votes
1answer
256 views

Valuation ring of $k(x, y)$ of dimension $2$

My question is as follows: Given a field $k$, is it always possible to find a valuation ring of $k(x, y)$ of dimension $2$?