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

learn more… | top users | synonyms (1)

25
votes
1answer
1k 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
1k 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 ...
6
votes
4answers
4k 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 ...
10
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
823 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 ...
14
votes
2answers
996 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 ...
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: ...
3
votes
2answers
650 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 ...
16
votes
3answers
676 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$ ...
13
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
673 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
928 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 ...
4
votes
2answers
763 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
393 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
772 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
386 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 ...
16
votes
3answers
840 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 + ...
14
votes
1answer
492 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 ...
15
votes
5answers
2k views

Proof of $(\mathbb{Z}/m\mathbb{Z}) \otimes_\mathbb{Z} (\mathbb{Z} / n \mathbb{Z}) \cong \mathbb{Z}/ \gcd(m,n)\mathbb{Z}$

I've just started to learn about the tensor product and I want to show: $$(\mathbb{Z}/m\mathbb{Z}) \otimes_\mathbb{Z} (\mathbb{Z} / n \mathbb{Z}) \cong \mathbb{Z}/ \gcd(m,n)\mathbb{Z}.$$ Can you tell ...
8
votes
1answer
836 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
520 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
645 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
539 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?
4
votes
2answers
249 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
535 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 ...
13
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 ...
5
votes
3answers
348 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
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 ...
3
votes
2answers
452 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 ...
2
votes
1answer
890 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
680 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
550 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 ...
5
votes
2answers
753 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 ...
0
votes
1answer
927 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 ...
26
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 ...
27
votes
3answers
796 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 ...
11
votes
2answers
1k views

Tensor product algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$

I want to understand the tensor product $\mathbb C$-algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$. Of course it must be isomorphic to $\mathbb{C}\times\mathbb{C}.$ How can one construct an ...
9
votes
4answers
4k views

Example of modules that are projective but not free; torsion-free but not free

Free modules are projective, and projective modules are direct summand of free modules. Is there any example of projective modules that are not free? (I know this is not possible for modules of ...
10
votes
2answers
697 views

Tensor product of domains is a domain

I'm reading Milne's Algebraic Geometry course notes, version 5.22, as a companion to an algebraic geometry course I'm taking now. Proposition 4.15 states: Let $A$ and $B$ be $k$-algebras, which are ...
7
votes
3answers
924 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 ...
15
votes
4answers
724 views

Why is ideal more important than subring?

I have read that subgroups, subrings, submodules, etc. are substructures. But if you look at the definition of the Noetherian rings and Noetherian modules, Noetherian rings are defined with ideals ...
10
votes
1answer
764 views

Does localisation commute with Hom for finitely-generated modules?

Question. Let $R$ be a ring, $\mathfrak{p}$ a prime, $M$ a finitely-generated $R$-module, and $N$ any $R$-module. Is the natural map $$\textrm{Hom}_R(M, N)_\mathfrak{p} \to ...
6
votes
4answers
2k 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 ...
3
votes
1answer
437 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 ...
11
votes
3answers
581 views

Examples of rings with ideal lattice isomorphic to $M_3$, $N_5$

In thinking about this recent question, I was reading about distributive lattices, and the Wikipedia article includes a very interesting characterization: A lattice is distributive if and only if ...
3
votes
2answers
116 views

Exterior power “commutes” with direct sum

I know that for vector spaces $V, W$ over a field $K$, we have the following identity : $$ \bigoplus_{k=0}^n \left[ \Lambda^k(V) \otimes_K \Lambda^{n-k}(W) \right] \simeq \Lambda^n(V \oplus W) $$ ...
8
votes
3answers
1k views

If $A$ an integral domain contains a field $K$ and $A$ over $K$ is a finite-dimensional vector space, then $A$ is a field. [duplicate]

Possible Duplicate: Proof that an integral domain that is a finite-dimensional $F$-vector space is in fact a field I need to prove this result, but the only starting point I think of is to ...