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

learn more… | top users | synonyms (1)

11
votes
0answers
170 views

Ideals in $C[0,1]$ which are not finitely generated (From Atiyah- Macdonald )

I'm trying to solve the following problem from Atiyah-Macdonald: Is the ring of continuous function on $[0,1]$ is Noetherian ? Certainly not, here are two non terminating ascending chain of ...
11
votes
0answers
242 views

Non-reflexive module isomorphic to its double dual

Could you give me an example of a non-reflexive module isomorphic to its double dual? I found an example here but I cannot understand it, do you have any simpler examples? By this question we ...
11
votes
0answers
147 views

On the order of $\mathbb{Z}[X]/(f,g)$ and the resultant $R(f,g)$.

I suspect that $\#\mathbb{Z}[X]/(f,g)=|R(f,g)|$ holds for any two non-constant polynomials $f,g\in\mathbb{Z}[X]$, where $R(f,g)$ is the resultant of $f$ and $g$. I am however unable to prove it. I'd ...
10
votes
2answers
1k 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 ...
10
votes
3answers
1k views

Krull dimension of $\mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 x_4-x_3^2,x_1x_4-x_2 x_3\right>$

Krull dimension of a ring $R$ is the supremum of the number of strict inclusions in a chain of prime ideals. Question 1. Considering $R = \mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 ...
10
votes
1answer
681 views

Prove that $\mathbb{C}[x,y] \ncong \mathbb{C}[x]\oplus\mathbb{C}[y]$

Prove that $\mathbb{C}[x,y] \ncong \mathbb{C}[x]\oplus\mathbb{C}[y]$ $\mathbb{C}[x,y]$ is the polynomial ring of two variables over $\mathbb{C}$. I guess that we can consider images of $xy$ and ...
10
votes
3answers
509 views

If $R$ is a commutative ring with identity, and $a, b\in R$ are divisible by each other, is it true that they must be associates?

Thank you very much! My problem is: If $R$ is a commutative ring with identity, and $a, b$ are its elements that are divisible by each other, is it true that they must be associates? Here, $a$ ...
10
votes
2answers
566 views

A proof using Yoneda lemma

Martin Brandenburg pointed out elsewhere in the comments that he could give a one line proof, using the Yoneda lemma, of $$\frac{\mathbf{C}[x_1,\ldots,x_{n+m}]}{I(X)^e+I(Y)^e} \cong ...
10
votes
2answers
1k views

Direct summand of a free module

Let $M$, $L$, $N$ be $A$-modules and $M=N\oplus L$. If $M$ and $N$ are free, is $L$ necessarily free?
10
votes
2answers
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 ...
10
votes
2answers
394 views

Is every prime element of a commutative ring “veryprime”?

Let $R$ denote a commutative ring. Define a function $$\| : R \times R \rightarrow \mathbb{N} \cup \{\infty\}$$ such that $a \| b$ is the number of times $a$ divides $b$ (and include $0$ in ...
10
votes
3answers
2k views

What are the integers $n$ such that $\mathbb{Z}[\sqrt{n}]$ is integrally closed?

I was recently reading about integral ring extensions. One of the first examples given is that $\mathbb{Z}$ is integrally closed in its quotient field $\mathbb{Q}$. Another is that ...
10
votes
2answers
936 views

When is the integral closure of a local ring also a local ring?

Suppose $A$ is a normal local domain contained in a field $K$. Suppose $B$ is the integral closure of $A$ in $K$. Under what conditions on $A$ is $B$ local?
10
votes
2answers
2k views

Prerequisites for Atiyah Macdonald

I am currently doing a one semester course on groups and rings where we have learned about (so far): Definitions of groups, subgroups, cyclic and normal subgroups, the symmetric group, homomorphisms, ...
10
votes
3answers
2k views

Commutative property of ring addition

I have a simple question answer to which would help me more deeply understand the concept of (non)commutative structures. Let's take for example (our teacher's definition of) a ring: Let $R\neq ...
10
votes
1answer
894 views

Affine scheme $X$ with $\dim(X)=0$ but infinitely many points

As the title says, I'm looking for an affine scheme of dimension zero, but with infinitely many points. At first I doubted that something like this could exist, and I still can't think of an example, ...
10
votes
1answer
553 views

Is a regular ring a domain

A regular local ring is a domain. Is a regular ring (a ring whose localization at every prime ideal is regular) also a domain? I am unable to find/construct a proof or a counterexample. Any help would ...
10
votes
1answer
366 views

Question about whether axiom of choice is needed in this proof

Do I need axiom of choice in this proof here? I think not: at each step we choose one element from a set $N - \langle g_1, \dots, g_k \rangle $. So while there is indeed a countable number of sets ...
10
votes
2answers
916 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 ...
10
votes
2answers
945 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 ...
10
votes
2answers
194 views

Can an ideal in a commutative integral domain be its own square?

If $I$ is a non-zero proper ideal of a commutative integral domain, is it possible for $I$ to be its own square?
10
votes
1answer
649 views

A question on faithfully flat extension

This question arose while reading page 116 of Red Book by Mumford. Let $B$ be a faithfully flat extension of $A$. Can I claim that $b \otimes 1 = 1 \otimes b$ in $B\otimes_A B$ if and only if ...
10
votes
1answer
440 views

Primes in a Power series ring

Let $\mathbb Z$ be the ring of rational integers. Consider the power series ring $\mathbb Z[[x]]$. It is known that $\mathbb Z[[x]]$ is unique factorization domain. What are the primes in $\mathbb ...
10
votes
1answer
1k views

A question about the tensor product of $\mathbb{Q}$

I'm reading this blog post about $\mathbb{Q} \otimes_\mathbb{Z} \mathbb{Q}$ and I have two questions about it: Is a simple tensor a tensor that cannot be written as a sum of tensors? On the first ...
10
votes
2answers
475 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 ...
10
votes
3answers
346 views

Deducing results in linear algebra from results in commutative algebra

Here are two examples of results which can be deduced from commutative algebra: Any $n\times n$ complex matrix is conjugate to a Jordan canonical matrix (can be proven using the structure theorem ...
10
votes
2answers
2k views

Finitely generated projective module

Would anyone can help me how to show that a finitely generated projective module over a local ring and PID are free? What I know about a finitely generated projective module $M$ over a PID $R$ ...
10
votes
2answers
820 views

Rings whose spectrum is Hausdorff

Let $A$ be a commutative ring with $1$ and consider the Zariski topology on $\operatorname{Spec}(A)$. When will $\operatorname{Spec}(A)$ be a Hausdorff space? If $A$ has positive or infinite ...
10
votes
1answer
1k 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? ...
10
votes
1answer
405 views

Finitely generated modules over PID

Let $A$, $B$, $C$, and $D$ be finitely generated modules over a PID $R$ such that $A\oplus $ $B$ $\cong$ $C\oplus $ $D$ and $A\oplus $ $D$ $\cong$ $C\oplus $ $B$ . Prove that $A$ $\cong$ $C$ and $B$ ...
10
votes
1answer
320 views

Conditions for $\sqrt{\mathfrak{a + b}} = \sqrt{\mathfrak{a}} + \sqrt{\mathfrak{b}}$

Let $A$ be a commutative ring with identity and, $\mathfrak{a}$ and $\mathfrak{b}$ ideals.I'm trying to find sufficient and necessary conditions for $\sqrt{\mathfrak{a + b}} = \sqrt{\mathfrak{a}} + ...
10
votes
3answers
537 views

A theorem due to Gelfand and Kolmogorov

For any topological space $X$, we can define $C(X)$ to be the commutative ring of continuous functions $f\,:\,X\rightarrow \mathbb{R}$ under pointwise addition and multiplication. Then $C(-)$ becomes ...
10
votes
1answer
491 views

Why does the structure theorem for finitely generated modules over PIDs fail for arbitrary modules over a PID?

The proof that I know of the theorem goes like this: Any module $M$ is a quotient of a free module $F$ (over any ring). Any submodule $K$ of a free module $F$ over a PID $R$ is a free module, so in ...
10
votes
1answer
267 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 ...
10
votes
2answers
706 views

Intersection of finitely generated ideals

Let $I$, $J$ be finitely generated ideals in a ring $A$ (commutative with identity). I know that the intersection need not be finitely generated: can somebody give me an example? Thanks.
10
votes
1answer
253 views

When is $\mathbb{Z}$ a flat $\mathbb{Z}G$-module?

Suppose that $\mathbb{Z}$ is a flat $\mathbb{Z}G$-module for a group $G$. Question: Is $G$ the trivial group ? Nb. I know that the question can be answered affirmatively if $G$ is finitely ...
10
votes
1answer
719 views

What conditions guarantee that all maximal ideals have the same height?

It fails in general that all maximal ideals in a commutative ring with unity have the same height. It's easy to construct a counter-example when the ring is NOT an integral domain (consider the ...
10
votes
2answers
586 views

Exactness of sequences of modules is a local property, isn't it?

It's well known, that passing to modules of fractions is exact, i.e. if $M'\xrightarrow{f} M\xrightarrow{g} M''$ is an exact sequence of $A$-modules ($A$ being a commutative ring with ...
10
votes
1answer
1k 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 ...
10
votes
2answers
274 views

A commutative group structure on $R\times R$ for a ring $R$

Let $R$ be a commutative ring. The Cartesian square $A=R\times R$ is endowed with the operation $(a_1,b_1)\circ(a_2,b_2)=(a_1+a_2,b_1+b_2+a_1a_2^2+a_1^2a_2)$ which turns $A$ into a commutative ...
10
votes
1answer
384 views

Separability and tensor product of fields

Is it true that a finite degree field extension $L/k$ is separable if and only if $L\otimes_{k}L$ is a reduced $L$-algebra? Surely the "only if" part is true because if the extension is ...
10
votes
1answer
459 views

Extending Herstein's Challenging Exercise to Modules

Anybody who has worked through Herstein's Topics in Algebra might remember Exercise 26 of Section 2.5 (in second edition): If $G$ is an abelian group containing subgroups of order $m$ and $n$, ...
10
votes
1answer
635 views

Associate prime ideals and exact sequences of $R$-modules

Let $R$ be a commutative unitary ring, consider the exact sequence of $R$ - modules $$ 0\rightarrow N\rightarrow M\rightarrow L\rightarrow0. $$ We know that $$\text{Ass}(M)\subseteq \text{Ass}(N)\cup ...
10
votes
2answers
583 views

Extension and contraction of ideals in polynomial rings

Suppose $I$ is an ideal in a polynomial ring $R=k[x,y]$. Let $\overline{k}$ be the algebraic closure of $k$ and let $S=\overline{k} [x,y]$. Then is $IS\cap R=I$?
10
votes
2answers
162 views

Why would we a priori expect $V(I)$ to satisfy axioms to define the closed sets for a topology on $\text{Proj}(S)$?

The topological space $\text{Proj}(S)$ has the underlying set$$\text{Proj}(S) = \{\mathfrak{p} \text{ a homogeneous prime such that }S_+ \not\subseteq \mathfrak{p}\},$$and the closed sets are the loci ...
10
votes
1answer
642 views

Atiyah-MacDonald help with exercise 5.10

This is an exercise from Atiyah-MacDonald, if someone can give an idea on how to prove that $a)\Rightarrow b)$: Let $f:A\rightarrow B$ a ring homomorphism. a) ...
10
votes
2answers
445 views

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

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})$, ...
10
votes
1answer
108 views

Equality involving Hasse zeta function of commutative ring finitely generated over $\mathbb{Z}$

Let $\mathbb{F}_q$ be a finite field consisting of $q$ elements. Imitating Riemann's zeta function$$\zeta(s) = \sum_{n = 1}^\infty {1\over{n^s}},$$define$$\zeta_{\mathbb{F}_q[t]}(s) = \sum_f ...
10
votes
1answer
112 views

Is there an algebraic non-rational extension of the integers, whose set of prime elements contains the prime integers?

Let the ring $\mathbb{Z}[\alpha]$ with $\alpha$ an algebraic number. Let $P(\mathbb{Z}[\alpha])$ be the set of all the prime elements of $\mathbb{Z}[\alpha]$. Question: Is there $\alpha$ algebraic ...
10
votes
2answers
159 views

Contents of Tor modules

I'm interested in knowing a concrete description of what elements of Tor modules $\mathrm{Tor}^i_R(M,N)$ "are". As it stands I have no real intuition for, say, maps between Tor modules induced by ...