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

learn more… | top users | synonyms (1)

8
votes
1answer
205 views

If $I$ is a finitely generated ideal of $A[X]$, is $I\cap A$ necessarily finitely generated for a commutative unital ring $A$?

Let $A$ be a commutative ring with $1$ and $A[X]$ the ring of polynomials in one variable over $A$. Assume $I$ is a finitely generated ideal of $A[X]$. My question is Is $I\cap A$ necessarily ...
8
votes
2answers
137 views

Principal divisors

How can i calculate the principal divisor $(f)$ where $$f = \frac{(x^{3}-1)}{(x^{4}-1)}$$ with $f\in\mathbb{F}_2(x)$. I am recently reading about the subject, so i am looking for a simple solution ...
8
votes
1answer
184 views

Noetherian ring whose ideals have arbitrarily large number of generators

Does a commutative ring satisfying the following two properties exist? All ideals are finitely generated; There are prime ideals with arbitrarily large (finite) minimal generating sets.
8
votes
2answers
459 views

Infinite product of fields

The main source of inspiration for this question is this excerpt Recall: An ultrafilter on the set X gives you a maximal ideal in the ring of all real-valued functions, and these are the only ...
8
votes
2answers
902 views

Video lectures for Commutative Algebra

Are there any good video lectures for learning commutative algebra at level of Atiyah-Macdonald?
8
votes
2answers
151 views

Existence of prime ideals in rings without identity

Let $R$ be a commutative ring (not necessarily containing $1$). Say that $R$ is the trivial ring if it has trivial (zero) multiplication. If $R$ is the trivial ring, then $R$ has no prime ideals (as ...
8
votes
2answers
380 views

Suggestions for further topics in Commutative Algebra

I am currently taking a semester long course in Commutative Algebra. We have covered a lot of dimension theory, and today finished proving Zariski's Main Theorem, which was the professor's original ...
8
votes
1answer
683 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 ...
8
votes
1answer
97 views

How does Local Cohomology detect UFD?

I read that Grothendieck developed Local Cohomology to answer a question of Pierre Samuel about when certain type of rings are UFDs. I know the basics of local cohomology but I have not seen a ...
8
votes
1answer
397 views

Construct ideals in $\mathbb Z[x]$ with a given least number of generators

How do you construct, for each $n\geq 1$, an ideal in $\mathbb Z[x]$ of the form $(a_1,a_2,\dots,a_n)$ with $a_i\in \mathbb Z[x]$ such that it is impossible to have ...
8
votes
1answer
256 views

Is an ideal generated by multilinear polynomials of different degrees always radical?

Definition. A polynomial $f\in\Bbbk[x_0,\ldots,x_n]$ is called multilinear if $\deg_{x_i}(f)=1$ for each $0\le i \le n$. In other words, $f$ is linear in each variable. If $f$ is homogeneous of ...
8
votes
1answer
89 views

Commutativity characterization?

Let $R$ be a ring (not necessarily unital) and for any $x\in R$ there is an integer $n \geq 2$ s.t. $x=x^2+\cdots+x^n.$ Does it imply that $R$ is commutative?
8
votes
1answer
137 views

Projective Modules over the Ring of Trigonometric Functions

Let $ R = \mathbb{R}[ \cos x, \sin x] $ and consider the ideal $ \langle 1 - \cos x, \sin x\rangle $. Is this ideal a projective module over $R$ ?
8
votes
2answers
178 views

Why is the (-1)-th coefficient of $f^n f'$ equal to 0, without dividing by $n+1$?

Let $R$ be a commutative ring, and $n$ be a nonnegative integer. Let $f\in R\left[t,t^{-1}\right]$ be a Laurent polynomial in one variable $t$ over $R$ (this means a formal $R$-linear combination of ...
8
votes
1answer
480 views

Ring of Polynomials is a Principal Ideal Ring implies Coefficient Ring is a Field?

I read this proof that if $D$ is an integral domain and $D[X]$ is a principal ideal domain, then $D$ is a field. My question is if the requirements can be relaxed a bit, namely: Is it true that ...
8
votes
1answer
301 views

The Ring of Cauchy Sequences

Let $S$ be the ring of Cauchy sequences of $\mathbb{Q}$, i.e. $S=\{(a_n)\in\mathbb{Q}^{\mathbb{N}}|(a_n)\, \text{is a Cauchy rational sequence in the ordinary distance} \}$, $S$ is a subring of ...
8
votes
2answers
1k views

How to check whether an ideal is a prime (or maximal) ideal?

I have a ring $R$ which is known to be a Dedekind domain, but not necessarily a Euclidian domain, and a nonzero ideal generated by one or two elements in this ring. How can I check if this ideal is a ...
8
votes
2answers
466 views

If A is noetherian, then Spec(A) is noetherian

Let A be a noetherian ring. How can I show that Spec(A) is noetherian? Also, is there a way to show this by showing directly that the closed sets in Spec(A) satisfy the descending chain condition? ...
8
votes
1answer
61 views

Disjoint standard open sets in Spec(R)

The following appeared as a homework problem last semester in Johan de Jong's algebraic geometry course at Columbia (http://www.math.columbia.edu/~dejong/schemes.html), described as "a bit of a ...
8
votes
1answer
348 views

An example of a commutative ring in which every primary ideal is prime

It is clear that every prime ideal in a commutative ring is primary. The converse is false; for example, in the ring $\mathbb{Z}$ the ideal $(p^2)$ is an example of a primary ideal that is not prime ...
8
votes
1answer
334 views

Geometric meaning of completion and localization

Let $R$ be a commutative ring with unit, $I$ an ideal of $R$ and consider the following three constructions. The localization $R_I$ of $R$ at $I$ (i.e. the localization of $R$ at the multiplicative ...
8
votes
1answer
323 views

Adjointness of Hom and Tensor

Could someone provide me a link to the proof of the adjointness of Hom and Tensor. I did an extensive google search but could not find anything self contained that presented the proof in full ...
8
votes
2answers
151 views

Reduced rings and tensor products

I assume all rings are commutative with identity. Denote $A':=A/ \sqrt{0}$ for convenience. Question is simple: For a given ring $R$ and $R$-algebras $A,B$, does this isomorphism $(A\otimes_R ...
8
votes
1answer
179 views

Construction(s) of new integral domains from “old ones”

Given an integral domain $D$, there are several ways how to construct a new integral domain related to D. For example, one can consider a ring of polynomials/formal power series/formal Laurent series ...
8
votes
2answers
150 views

What about a module of rank $\frac{1}{2}$?

Let $R$ be a commutative ring. The possible ranks of free $R$-modules are $0,1,2,\dotsc$. But what about a generalized notion of an $R$-module where ranks may be rational numbers such as ...
8
votes
1answer
191 views

What does projective space classify?

Let $A$ be a ring and let $\mathbb{P}^n = \operatorname{Proj} \mathbb{Z} [x_0, \ldots, x_n]$. Question. What does $\mathbb{P}^n$ classify? In other words, is there some kind of algebraic structure ...
8
votes
2answers
381 views

Computing the “lying over”, “going up”, “going down” ideals.

For any commutative unital ring $R$ and an ideal $\mathfrak{a}$ of $R$, we shall denote $$\begin{align*} \mathrm{Spec}(R)&:=\{\text{prime ideals of }R\},\\ ...
8
votes
1answer
183 views

primary ideal of regular local ring

Let $(R,\mathfrak{m})$ be a regular local ring of dimension $d$. Let $P$ be a prime ideal of height $d-1$. I want to know if $P^2$ is always a $P$ primary ideal ie if $P/P^2$ is torsion free as $R/P$ ...
8
votes
2answers
363 views

In what generality is the natural map $\textrm{Hom}_R(L,M)\otimes S \to \operatorname{Hom}_{R \otimes S}(L\otimes S, M \otimes S) $ an isomorphism?

Note: A version of this question has been reposted to MathOverflow. Let $k$ be a commutative ring, $R$ and $S$ commutative $k$-algebras. Let $L$ and $M$ be $R$-modules. Unless I am much mistaken, ...
8
votes
2answers
767 views

When is a tensor product of two commutative rings noetherian?

In particular, I'm told if $k$ is commutative (ring), $R$ and $S$ are commutative $k$-algebras such that $R$ is noetherian, and $S$ is a finitely generated $k$-algebra, then the tensor product ...
8
votes
3answers
182 views

How does one prove that the ring of integer-valued polynomials $\text{Int}(\mathbb{Z})$ is not Noetherian?

I let $(1, f_1, ..., f_n,...)$ be the $\mathbb{Z}$-basis of $\text{Int}(\mathbb{Z})$, the ring of rational polynomials sending $\mathbb{Z}$ to $\mathbb{Z},$ where $f_1$, $f_2$, etc are the polynomials ...
8
votes
1answer
173 views

When is the pushforward / direct image of a reflexive sheaf locally free?

I have seen a number of theorems that guarantee the direct image of a reflexive sheaf to be reflexive again, or for the direct image of a locally-free sheaf to be locally free again. This makes me ...
8
votes
1answer
141 views

Generators of a certain ideal

Crossposted on MathOverflow. The MathOverflow version of the question has been rewritten. For the sake of completeness, I pasted it here in a condensed form. I also deleted the old version. Let $K$ ...
8
votes
2answers
379 views

Vanishing of a certain Tor

I am reading about the construction of the Affine Grassmannian in Dennis Gaitsgory's seminar notes and there are some commutative algebra facts that I am not able to figure out by myself apparently, ...
8
votes
1answer
111 views

How to show $M_{\mathfrak q}$ is flat over $A$

Let $f:A\rightarrow B$ be a homomorphism of commutative rings, and $M$ a finite $B$-module. If $a\in A$ and $M_a$ is a free $A_a$-module, then for a prime ideal $\mathfrak q$ of $B$ with ...
8
votes
0answers
153 views

Tensoring is thought as both restricting and extending?

I hope these questions are not too trivial. Let $I$ be an ideal in $R$. Write $I'\subseteq R[t]$. Then the notion of tensoring $$ (R[t]/I')\otimes_{\,\mathbb{C}[t]} \mathbb{C}[t]/\langle t-c ...
7
votes
3answers
734 views

Prime ideals in the ring of algebraic integers

Let $\mathcal{O}$ be the ring of all algebraic integers: elements of $\mathbb{C}$ which occur as zeros of monic polynomials with coefficients in $\mathbb{Z}$. It is known that $\mathcal{O}$ is a ...
7
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 ...
7
votes
3answers
640 views

Why is $\mathbb{C}[x,y]$ not isomorphic to $\mathbb{C}[x] \otimes _{\mathbb{Z}} \mathbb{C}[y]$ as rings?

I would like to know why $\mathbb{C}[x,y]$ is not isomorphic to $\mathbb{C}[x] \otimes _{\mathbb{Z}} \mathbb{C}[y]$ as rings. Thank you! 1
7
votes
2answers
248 views

$\operatorname{Spec}(\mathbb{C}\otimes_\mathbb{R}\mathbb{C})$ has two points

Why does $\operatorname{Spec}(\mathbb{C}\otimes_\mathbb{R}\mathbb{C})$ have two points? I know that ...
7
votes
3answers
1k views

If a ring is Noetherian, then every subring is finitely generated?

Let $R$ be a commutative ring with $1$, and let $K$ be a field. We know that $R$ is Noetherian iff every ideal of $R$ is finitely generated as an ideal. Question 1: If $R$ is Noetherian, is every ...
7
votes
6answers
280 views

Examples of a commutative ring without an identity in which a maximal ideal is not a prime ideal

In a commutative ring with an identity, every maximal ideal is a prime ideal. However, if a commutative ring does not have an identity, I'm not sure this is true. I would like to know the ...
7
votes
2answers
444 views

$\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$

Let $A$ be a integral domain of finite Krull dimension. Let $\mathfrak{p}$ be a prime ideal. Is it true that $$\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$$ where $\dim$ refers ...
7
votes
2answers
458 views

Can a quotient field ever be finitely generated as an algebra?

If A is a commutative integral domain that's not a field, and let $K$ be the quotient field of A. We know that $K$ is not finitely generated as an A-module. But can $K$ ever be finitely generated as ...
7
votes
4answers
280 views

Subrings of fraction fields

Let $R$ be an integral domain and let $S$ be a ring with $R \le S \le \text{Frac}(R)$ (fraction field). Question: Is there a multiplicatively closed subset $U \subseteq R\setminus \{0\}$ such that ...
7
votes
2answers
350 views

Classgroup of $\mathbb{Q}(\sqrt{2},\sqrt{-13})$

How would you compute the classgroup of the biquadratic number field $\mathbb{Q}(\sqrt{2},\sqrt{-13})$? I would prefer a method as "from scratch" as possible. Please avoid, if possible, quoting ...
7
votes
2answers
443 views

How does Hilbert's Nullstellensatz generalize the “fundamental theorem of algebra”?

What is Hilbert's Nullstellensatz in the sense of the generalization of "fundamental theorem of algebra"? I've seen that in some texts it was referred to as the generalization of the fundamental ...
7
votes
3answers
200 views

When does locally irreducible imply irreducible?

The situation is this: I have a homogeneous ideal with many generators and variables, too many to simply ask isPrime I in Macaulay2. However, the ideal simplifies ...
7
votes
2answers
552 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 ...
7
votes
3answers
143 views

Does free functor preserve monomorphism?

The free functor is left adjoint to the forgetful functor so it preserves epimorphism. In the category of modules and algebras, it also preserves monomorphisms (the free functors being free modules ...