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

learn more… | top users | synonyms (1)

27
votes
1answer
2k views

Classification of prime ideals of $\mathbb{Z}[X]$

Let $\mathbb{Z}[X]$ be the ring of polynomials in one variable. My question: Is every prime ideal of $\mathbb{Z}[X]$ one of following types? If yes, how would you prove this? (1) ($0$) (2) ...
11
votes
3answers
2k views

Surjective endomorphisms of finitely generated modules are isomorphisms

My Problem: Let $M$ be a finitely generated $A$-module and $T$ an endomorphism. I want to show that if $T$ is surjective then it is invertible. My attempt: Let $m_1,...,m_n$ be the generators of ...
9
votes
4answers
5k views

A ring is a field iff the only ideals are $(0)$ and $(1)$

Let $R$ be a commutative ring with identity. Show that $R$ is a field if and only if the only ideals of $R$ are $R$ itself and the zero ideal $(0)$. I can't figure out where to start other that I ...
15
votes
2answers
1k views

A subring of the field of fractions of a PID is a PID as well.

Let $A$ be a PID and $R$ a ring such that $A\subset R \subset \operatorname{Frac}(A)$, where $\operatorname{Frac}(A)$ denotes the field of fractions of $A$. How to show $R$ is also a PID? Any ...
11
votes
2answers
1k views

$A^m\hookrightarrow A^n$ implies $m\leq n$ for a ring $A\neq 0$

I'm trying to prove that if $A\neq 0$ is a commutative ring and there is an injective $A$-module homomorphism $A^m\hookrightarrow A^n$ then $m\leq n$ must necessarily hold. This is exercise 2.11 ...
10
votes
2answers
851 views

Ideal class group of a one-dimensional Noetherian domain

Let $A$ be a one-dimensional Noetherian domain. Let $K$ be its field of fractions. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated $A$-module. It is well-known that B ...
22
votes
4answers
2k views

Why does a minimal prime ideal consist of zerodivisors?

Let $A$ be a commutative ring. Suppose $P \subset A$ is a minimal prime ideal. Then it is a theorem that $P$ consists of zero-divisors. This can be proved using localization, when $A$ is noetherian: ...
17
votes
3answers
830 views

If $\mathop{\mathrm{Spec}}A$ is not connected then there is a nontrivial idempotent

I'm solving a problem from Atiyah-Macdonald. I have to show that if $X=\mathop{\mathrm{Spec}}A$ is not connected then $A$ contains idempotents $e \neq 0,1$. The converse is easy. If $e \in A$ ...
4
votes
2answers
700 views

In a finite ring extension there are only finitely many prime ideals lying over a given prime ideal

I'm trying to solve the exercise 6.7 of Miles Reid's Undergraduate Commutative Algebra (pag 93). How can I prove that if $B$ is a finite ring extension of $A$, there are only finitely many prime ...
17
votes
5answers
2k views

Showing the set of zero-divisors is a union of prime ideals

I'm working on an exercise from Atiyah and MacDonald's Commutative Algebra, and have hit a bump on Exercise 14 of Chapter 1. In a ring $A$, let $\Sigma$ be the set of all ideals in which every ...
7
votes
1answer
725 views

Existence of valuation rings in an algebraic function field of one variable

The following theorem is a slightly modified version of Theorem 1, p.6 of Chevalley's Introduction to the theory of algebraic functions of one variable. He proved it using Zorn's lemma. However, Weil ...
8
votes
5answers
1k 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 ...
5
votes
2answers
806 views

Classification of prime ideals of $\mathbb{Z}[X]/(f(X))$

Let $\mathbb{Z}[X]$ be the ring of polynomials in one variable. Let $f(X) \in \mathbb{Z}[X]$ be a monic irreducible polynomial. Let $A = \mathbb{Z}[X]/(f(X))$. Let $\theta$ = $X$ (mod $f(X)$). My ...
5
votes
3answers
416 views

The vanishing ideal $I_{K[x,y]}(A\!\times\!B)$ is generated by $I_{K[x]}(A) \cup I_{K[y]}(B)$?

Let $K$ be a field, $x=(x_1,\ldots,x_m)$, $y=(y_1,\ldots,y_n)$, $A\!\subseteq\!\mathbb{A}^m_K$, $B\!\subseteq\!\mathbb{A}^n_K$. Does there hold $$I_{K[x,y]}(A\!\times\!B)=\langle\langle I_{K[x]}(A) ...
26
votes
9answers
3k views

Motivation for Tensor Product

Can anyone explain me as to why Tensor Products are important, and what makes Mathematician's to define them in such a manner. We already have Direct Product, Semi-direct products, so after all why do ...
5
votes
3answers
861 views

Ring of trigonometric functions with real coefficients

Let $R$ be the ring of functions that are polynomials in $\cos t$ and $\sin t$ with real coefficients. Prove that $R$ is isomorphic to $\mathbb R[x,y]/(x^2+y^2-1)$. Prove that $R$ is not a unique ...
5
votes
3answers
405 views

On the ring generated by an algebraic integer over the ring of rational integers

Let $f(X) \in \mathbb{Z}[X]$ be a monic irreducible polynomial. Let $\theta$ be a root of $f(X)$. Let $A = \mathbb{Z}[\theta]$. Let $p$ be a prime number. Suppose $p$ does not divide the discriminant ...
17
votes
3answers
874 views

Motivation for Eisenstein Criterion

I have been thinking about this for quite sometime. Eisentein Criterion for Irreducibility: Let $f$ be a primitive polynomial over a commutative unique factorization domain $R$, say $$f(x)=a_0 + ...
15
votes
1answer
529 views

When does the modular law apply to ideals in a commutative ring

Let $R$ be a commutative ring with identity and $I,J,K$ be ideals of $R$. If $I\supseteq J$ or $I\supseteq K$, we have the following modular law $$ I\cap (J+K)=I\cap J + I\cap K$$ I was wondering ...
9
votes
2answers
1k views

Methods to check if an ideal of a polynomial ring is prime or at least radical

I am looking for methods to check whether a given ideal in $K[x_0,\dots,x_n]$ is prime. I mean something you can effectively use in some concrete non-trivial example. To be more explicit, I am working ...
14
votes
3answers
1k views

Complement of maximal multiplicative set is a prime ideal

Let $R$ be a commutative ring with identity. I've been trying to prove the following: If $S \subset R$ is a maximal multiplicative set, then $R \setminus S$ is a prime ideal of $R$. I have spent ...
9
votes
4answers
1k views

An integral domain whose every prime ideal is principal is a PID

Does anyone has a simple proof of the following fact: An integral domain whose every prime ideal is principal is a principal ideal domain (PID).
8
votes
1answer
865 views

Given a commutative ring $R$ and an epimorphism $R^m \to R^n$ is then $m \geq n$?

If $\varphi:R^{m}\to R^{n}$ is an epimorphism of free modules over a commutative ring, does it follow that $m \geq n$? This is obviously true for vector spaces over a field, but how would one show ...
6
votes
1answer
564 views

When $\operatorname{Hom}_{R}(M,N)$ is finitely generated as $\mathbb Z$-module or $R$-module?

Assume that $M$ and $N$ are two finitely generated $R$-modules. Then $\operatorname{Hom}_{R}(M,N)$ is a finitely generated $\mathbb Z$-module and/or $R$-module (in this case, assume that $R$ is ...
6
votes
2answers
739 views

$\mathbb{Q}[x,y]/\langle x^2+y^2-1 \rangle$ is an integral domain

How can I prove that $\mathbb{Q}[x,y]/\langle x^2+y^2-1 \rangle$ is an integral domain? Also, I need to prove that its field of fractions is isomorphic to the field of rational functions ...
6
votes
1answer
587 views

Is each power of a prime ideal a primary ideal?

I want to show that each power of a prime ideal is a primary ideal or I have to think about a counterexample?
1
vote
1answer
181 views

Can $(X_1,X_2) \cap (X_3,X_4)$ be generated with two elements from $k[X_1,X_2,X_3,X_4]$?

Can $(X_1,X_2) \cap (X_3,X_4)$ be generated with two elements in the ring $R=k[X_1,X_2,X_3,X_4]$? Can it be generated with three elements? (Here $k$ is a field.) Thanks for any help.
4
votes
2answers
256 views

Finite number of elements generating the unit ideal of a commutative ring

Let $A$ be a commutative ring with $1$. Let $f_1,\dots,f_r$ be elements of $A$. Suppose $A = (f_1,\dots,f_r)$. Let $n > 1$ be an integer. Can we prove that $A = (f_1^n,\dots,f_r^n)$ without using ...
2
votes
0answers
549 views

The group of invertible fractional ideals of a Noetherian domain of dimension 1

Let $A$ be a Noetherian domain of dimension 1. Let $I(A)$ be the group of invertible fractional ideals of $A$. Let $P$ be a maximal ideal of $A$. Let $I(A_P)$ be the group of invertible fractional ...
6
votes
1answer
1k views

Definition of a finitely generated $k$ - algebra

In Miles Reid's Undergraduate Commutative Algebra he defines a ring $B$ to be finite as an $A$ - algebra if it is finite as an $A$ - module. Now what I don't understand is suppose we look at the ...
6
votes
4answers
3k views

Why are maximal ideals prime?

Could anyone explain to me why maximal ideals are prime? I'm approaching it like this, let $R$ be a commutative ring with $1$ and $A$ be a maximal ideal. Let $a,b\in R:ab\in A$ I'm trying to ...
5
votes
3answers
400 views

Is noetherianity a local property?

Let $R$ be a ring with finitely many maximal ideals such that $R_{\mathfrak m}$ ($\mathfrak m$ maximal ideal) is noetherian ring for all $\mathfrak m$. Is $R$ noetherian? I think $R$ has to be ...
5
votes
1answer
490 views

Irreducible Components of the Prime Spectrum of a Quotient Ring and Primary Decomposition

Recently I encountered a problem (the first exercise from chapter four of Atiyah & McDonald's Introduction to Commutative Algebra) stating that if $\mathfrak{a}$ is a decomposable ideal of $A$ (a ...
12
votes
2answers
383 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 ...
6
votes
1answer
263 views

Prove that $k[x,y,z,w]/(xy-zw)$, the coordinate ring of $V(xy-zw) \subset \mathbb{A}^4$, is not a unique factorization domain

I want to show that $k[x,y,z,w]/(xy-zw)$, the coordinate ring of $V(xy-zw)\subset\mathbb{A}^4$, is not a unique factorization domain. Morally, all we need to do is find some nonzero element that ...
2
votes
1answer
965 views

Problem on idempotent finitely generated ideal

I have a question. Could you please help me to solve this? Thanks in advance Let $\mathfrak a$ be a finitely generated ideal of $A$, commutative ring with identity, such that $\mathfrak a^2 = ...
7
votes
2answers
689 views

Lying-over theorem without Axiom of Choice

This question is motivated by this and this. Can the following proposition be proved without Axiom of Choice? Proposition: Let $k$ be a field. Let $A$ and $B$ be commutative algebras without ...
7
votes
2answers
621 views

The radical of a monomial ideal is also monomial

I have problems with this: I need to prove that in the polynomial ring the radical of an ideal generated by monomials is also generated by monomials. I found a proof on internet that uses the ...
6
votes
2answers
841 views

$x$ not nilpotent implies that there is a prime ideal not containing $x$.

Let $\mathscr{N}(R)$ denote the set of all nilpotent elements in a ring $R$. I have actually done an exercise which states that if $x \in \mathscr{N}(R)$, then $x$ is contained in every prime ideal ...
5
votes
1answer
480 views

Constructing Idempotent Generator of Idempotent Ideal

Exercise 2.1 in Matsumura's Commutative Ring Theory reads as follows: "Let $A$ be a commutative ring and $I$ an ideal that is finitely generated and $I=I^2$. Then $I$ is generated by an idempotent." ...
4
votes
1answer
163 views

Commutative integral domain with d.c.c. is a field [duplicate]

If $R$ is a commutative integral domain and it also satisfies descending chain condition on its ideals then how will we show that such ring $R$ will be a field?
3
votes
1answer
332 views

Use Nakayama's Lemma to show that $I$ is principal, generated by an idempotent. [duplicate]

Let $I$ be a finitely generated ideal in $R$, such that $I^2 = I$. Using the fact there exists $x\in R$ such that $e = 1 - x\in I$ and $xI = 0$, use Nakayama's Lemma to show that $I$ is principal, ...
3
votes
2answers
493 views

Principal prime ideals are minimal among prime ideals in a UFD

Fulton, "Algebraic Curves," Exercise 1.39(a): Let $R$ be a UFD, and $P = (t)$ a principal, proper, prime ideal. Show there is no prime ideal $Q$ with $0 \subset Q \subset P$. After being ...
3
votes
2answers
682 views

A characterization of invertible fractional ideals of an integral domain

Let $A$ be an integral domain, $K$ its field of fractions. Let $M$ be a fractional ideal of $A$. I'd like to prove that $M$ is invertible if and only if $MA_P$ is a principal fractional ideal of $A_P$ ...
1
vote
1answer
1k views

The set of all nilpotent element is an ideal of R

Given that R is commutative ring with unity. I want show that set of all nilpotent element is an ideal of R.i know how to show ideal if set is given but here set is not given to me. Can anyone help ...
0
votes
2answers
309 views

Every finitely generated algebra over a field is a Jacobson ring

Knowing that the polynomial ring in $n$ variables over a field $k$ is a Jacobson ring, how can we prove from it that every finitely generated $k$-algebra is a Jacobson ring? EDIT: We define a ...
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 ...
22
votes
2answers
2k views

Tensor products commute with direct limits

This is Exercise 2.20 in Atiyah-Macdonald. How can we prove that $\varinjlim (M_i \bigotimes N) \cong (\varinjlim M_i) \bigotimes N$ ? Atiyah gives a suggestion, he says that one should obtain a map ...
28
votes
3answers
895 views

Ideals of $\mathbb{Z}[X]$

Is it possible to classify all ideals of $\mathbb{Z}[X]$? By this I mean a preferably short enumerable list which contains every ideal exactly once, preferably specified by generators. The prime ...
8
votes
3answers
1k views

About the localization of a UFD

I was wondering, is the localization of a UFD a UFD? How would one go about proving this? It seems like it would be kind of messy to prove if it is true. If it is not true, what about localizing at a ...