Tagged Questions

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

854 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." ...
241 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.
606 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 ...
2k views

Why is the localization of a commutative Noetherian ring still Noetherian?

This is an unproven proposition I've come across in multiple places. Suppose $A$ is a commutative Noetherian ring, and $S$ a multiplicative subset of $A$. Then $S^{-1}A$ is Noetherian. Why is this? ...
2k 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 ...
3k 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 ...
1k views

Fields finitely generated as $\mathbb Z$-algebras are finite?

Suppose $k$ is a field that is finitely generated as a ${\mathbb Z}$-algebra. (That is, $k$ is a quotient of ${\mathbb Z}[X_1,\dots,X_n]$ for some $n$). Does it follow that $k$ is finite?
533 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 ...
420 views

Normalization of a quotient ring of polynomial rings (Reid, Exercise 4.6)

I solved all parts of Exercise 4.6 of the book Undergraduate Commutative Algebra of Miles Reid except the last one. Let $A=k[X]$ and $f\in A$ has a square factor but it is not a square polynomial ...
218 views

Associated elements in a ring

Please help me to find elements $a,b$ in a ring $R$ such that $a\mid b$ and $b\mid a$, but there does not exist any unit $u$ in $R$ such that $a=ub$.
586 views

1k views

Projective module over a PID is free? [duplicate]

A common result is that finitely generated modules over a PID $R$ are projective iff they are free. Is the same true that an arbitrary projective module over a PID is free? I can't find this fact ...
2k views

Is fibre product of varieties irreducible (integral)?

Let $k$ be an algebraically closed field and $X,Y$ varieties (i.e. integral, separated schemes of finite type over $k$). Is the fibre product $X \times_k Y$ necessary irreducible or integral? I ...
160 views

$M_a =\{ f\in C[0,1] |\ f(a)=0 \}$ for $a$ $\in$ $[0,1]$. Is $M_a$ finitely generated in $C[0,1]$?

Let $C[0,1]$ denote the ring of continuous functions on $[0,1]$. Consider the maximal ideal $M_a =\{ f\in C[0,1] | f(a)=0 \}$ for $a$ $\in$ $[0,1]$. Is $M_a$ finitely generated? Note: It may seem ...
224 views

In an extension of finitely generated $k$-algebras the contraction of a maximal ideal is also maximal

Let $k$ be a field and let $A \subset B$ be two finitely generated $k$-algebras. Prove that the contraction of any maximal ideal of $B$ is a maximal ideal of $A$. thank you very much again!
1k views

Tensor product of 2 coordinate rings

For the term variety, I mean the irreducible algebraic set. My question is, if $V$ and $W$ are 2 varieties over a field $\Bbbk$, then does $\Bbb{k}[V]\otimes \Bbb{k}[W]$ has special structure? I try ...
2k views

1k views

Product of two primitive polynomials

I'm having troubles with one of the problems in the book Introduction to Commutative Algebra by Atiyah and MacDonald. It's on page 11, and is the last part of the second question. Given $R$ a ...
Let $A$ be a Noetherian domain. Is the set $\{P\subset A \mid P \mbox{ prime ideal, } \dim A_P=1\}$ always finite? I can prove for $f \neq 0, f\in A$, the set $\{P\subset A \mid \dim A_P=1, f\in P\}$...
If $B$ is finitely generated as a $k$-algebra, and $\phi:A\to B$ is a $k$-algebra map, is $\phi^{-1}(M)$ maximal for any maximal $M\subset B$?
Suppose that $A$ and $B$ are commutative rings containing a field $k$, and $B$ is finitely generated $k$-algebra. Let $\phi: A\rightarrow B$ be a ring homomorphism with $\phi|_k =\mathrm{Id}$. I am ...