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

learn more… | top users | synonyms (1)

12
votes
2answers
297 views

Preimaging units to units

I'm interested in (unity-preserving) homomorphisms $f: S \to T$ between (commutative, with-unity) rings $S$ and $T$ so that if $f(x)$ is a unit, then $x$ was a unit to start with. For example, an ...
12
votes
1answer
175 views

What's the motivation of the definition of primary ideals?

$$xy\in\mathfrak q\:\Rightarrow\:\text{either $x\in\mathfrak q$ or $y^n\in\mathfrak q$ for some $n\gt0$}.$$ Primary ideals can be regard as the generalization of prime ideals and radical. But ...
12
votes
1answer
730 views

Tensor products of infinite-dimensional spaces and other objects

It has just occurred to me that most of my intuition for tensor products is derived from the special case of finite-dimensional vector spaces, so I'm wondering which properties I've taken for granted ...
12
votes
1answer
216 views

An inverse limit

Let $k$ be a field. Consider the inverse limit $\varprojlim k[x,y]/(y\cdot x^n)$. I wonder if there is a nice description of this ring? Geometrically, we look at the union of the line $y=0$ ...
12
votes
2answers
1k views

Video lectures for Commutative Algebra

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

Uniformly solvable families of polynomials

It is a famous theorem that there is no "quintic formula", i.e. there is no formula which expresses the roots of a quintic polynomial $x^5+a_4x^4+\cdots+a_0$ in terms of $a_4,\ldots,a_0$ and rational ...
12
votes
1answer
107 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 ...
12
votes
1answer
163 views

Original Formulation of Hilbert's 14th Problem

I have a problem seeing how the original formulation of Hilbert's 14th Problem is "the same" as the one found on wikipedia. Hopefully someone in here can help me with that. Let me quote Hilbert first: ...
12
votes
1answer
205 views

Characteristic of a finite ring with $34$ units

Let $R$ be a finite ring such that the group of units of $R$, $U(R)$, has $34$ elements. I would like to find the characteristic of $R$. Let $k:= \mathrm{Char}(R)$. If $\varphi$ denotes the ...
12
votes
1answer
380 views

How badly can Krull's Hauptidealsatz fail for non-Noetherian rings?

Krull's Hauptidealsatz (principal ideal theorem) says that for a Noetherian ring $R$ and any $r\in R$ which is not a unit or zero-divisor, all primes minimal over $(r)$ are of height 1. How badly can ...
12
votes
3answers
894 views

Homomorphisms of graded modules

Let $M$ and $N$ be graded $R$-modules (with $R$ a graded ring). $\varphi:M\rightarrow N$ is a homogeneous homomorphism of degree $i$ if $\varphi(M_n)\subset N_{n+i}$. Denote by $\mathrm{Hom}_i(M,N)$ ...
12
votes
0answers
474 views

Class group of $k[x,y,z,w]/(xy-zw)$

I had a homework problem (II.6.5 in Hartshorne) to compute the (Weil divisor) class group of $X=\operatorname{Spec} k[x,y,z,w]/(xy-zw)$. I have accomplished this; however, I used some results I don't ...
11
votes
4answers
4k 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 ...
11
votes
3answers
1k views

About the localization of a UFD

I was wondering, is the localization of a UFD also 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 ...
11
votes
3answers
545 views

Ring of holomorphic functions

Am I correct or not? I think that a ring of holomorphic functions in one variable is not a UFD, because there are holomorphic functions with an infinite number of $0$'s, and hence it will have an ...
11
votes
2answers
546 views

Examples demonstrating that the finitely generated hypothesis in Nakayama's lemma is necessary

Recall that Nakayama's lemma states that Let $R$ be a commutative ring with unity, and let $J$ be the Jacobson radical of $R$ (the intersection of all the maximal ideals of $R$). For any finitely ...
11
votes
4answers
282 views

Show $\mathbb{Q}[x,y]/\langle x,y \rangle$ is Not Projective as a $\mathbb{Q}[x,y]$-Module.

Disclaimer: Though I have been re-reading my notes, and have scanned the relevant texts, my commutative algebra is quite rusty, so I may be overlooking something basic. I want to show $\mathbb{Q} ...
11
votes
4answers
159 views

Why is $\operatorname{Hom}(M,N)$ not necessarily an $R$ module?

Let $R$ be a ring, and $M,N$ be left $R-$modules. Then is it not true that $Hom_R(M,N)$ has the structure of an $R$-module? I was reading the preface of the Homological Algebra book by Rotman and ...
11
votes
5answers
2k 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 ...
11
votes
3answers
423 views

A finite commutative ring with the property that every element can be written as product of two elements is unital

I was struggling for days with this nice problem: Let $A$ be a finite commutative ring such that every element of $A$ can be written as product of two elements of $A$. Show that $A$ has a ...
11
votes
2answers
2k views

Why is the localization at a prime ideal a local ring?

I would like to know, why $ \mathfrak{p} A_{\mathfrak{p}} $ is the maximal ideal of the local ring $ A_{\mathfrak{p}} $, where $ \mathfrak{p} $ is a prime ideal of $ A $ and $ A_{\mathfrak{p}} $ is ...
11
votes
2answers
1k views

A non-noetherian ring with all localizations noetherian

If for a ring $A$ every localization $A_\mathfrak{p}$ by a prime $\mathfrak{p}\subseteq A$ is noetherian, is it true that $A$ is noetherian? I believe not but I can't find a good counterexample.
11
votes
2answers
778 views

Must $k$-subalgebra of $k[x]$ be finitely generated?

Suppose $k$ is a field, $A$ is a $k$-subalgebra of the polynomial ring $k[x]$. Must $A$ be a finitely generated $k$-algebra? Thanks.
11
votes
2answers
270 views

Why is it that $\det(\phi-x\text{id})=\sum_{i=0}^n (-1)^ic_ix^i$?

I'm trying to understand a certain formula for the determinant in a more general setting. Say you have a free module $M$ of rank $n$ over a (commutative) ring $R$. Let ...
11
votes
2answers
601 views

Hom and tensor with a flat module

Let $A$ be a commutative noetherian ring. Let $M, N$ be $A$-modules, and assume that $M$ is finite over $A$. Let $P$ be a flat $A$-module. Is it true that there is an isomorphism ...
11
votes
4answers
2k views

Intuitive explanation of Nakayama's Lemma

Nakayama's lemma states that given a finitely generated $A$-module $M$, and $J(A)$ the Jacobson radical of $A$, with $I\subseteq J(A)$ some ideal, then if $IM=M$, we have $M=0$. I've read the proof, ...
11
votes
4answers
421 views

Spectrum of $R[x]$

The spectrum of $\Bbb Z[x]$ is well known : a prime ideal of $\Bbb Z[x]$ is or $(Q, p)$, with $Q \in \Bbb Z[x]$ zero or irreducible modulo $p$, and $p$ prime or zero. If I'm not mistaken, we have a ...
11
votes
2answers
266 views

$A\subseteq B\subseteq C$ ring extensions, $A\subseteq C$ finite/finitely-generated $\Rightarrow$ $A\subseteq B$ finite/finitely-generated?

Let $A\subseteq B\subseteq C$ be commutative unital rings. Recall that the extension $A \subseteq B$ is finite / of finite type / integral, when $B$ is a finitely generated $R$-module / when $B$ is a ...
11
votes
3answers
540 views

Direct way to show: $\operatorname{Spec}(A)$ is $T_1$ $\Rightarrow$ $\operatorname{Spec}(A)$ is Hausdorff

In the book of Atiyah and MacDonald, I was doing exercise 3.11. One has to show that for a ring $A$, the following are equivalent: $A/\mathfrak{N}$ is absolute flat, where $\mathfrak{N}$ is the ...
11
votes
2answers
288 views

Does inclusion of a ring into a polynomial ring induce a closed map on prime spectra?

Let $A$ be a commutative (unital) ring, and $A[x_1,\ldots,x_n]$ a polynomial ring over it in some finite number of variables. The inclusion $i\colon A \hookrightarrow A[x_1,\ldots,x_n]$ induces (by ...
11
votes
3answers
386 views

Computing stalks: do direct limits behave like limits?

Suppose that $X$ is a topological space with a sheaf of rings $\mathcal{O}_X$. In general, the stalk at a point $p \in X$ is the direct limit of the rings $\mathcal{O}_X(U)$ for all open sets $U$ ...
11
votes
3answers
1k views

Primary ideals of Noetherian rings which are not irreducible

It is known that all prime ideals are irreducible (meaning that they cannot be written as an finite intersection of ideals properly containing them). While for Noetherian rings an irreducible ideal is ...
11
votes
2answers
448 views

Showing a UFD which is not a PID must have a nonprincipal maximal ideal.

Given that $R$ is a UFD which is not a PID, I want to show that $R$ must have a nonprincipal maximal ideal. I tried several methods, including Zorn's lemma but didn't get anywhere. Any suggestions ...
11
votes
1answer
140 views

$B\otimes_A A[x]=B[x]$

Let $A\rightarrow B$ be a homomorphism of commutative rings. Then $B\otimes_A A[x]\cong B[x]$ as $B$-algebras. How can one demonstrate this nicely, i.e. using universal properties alone and the Yoneda ...
11
votes
1answer
285 views

Geometrical interpretation of $I(X_1\cap X_2)\neq I(X_1)+I(X_2)$, $X_i$ algebraic sets in $\mathbb{A}^n$

Edit: I should point out that I'm working over an algebraically closed field $k$. Let $X_1,X_2\subset\mathbb{A}^n$ be affine algebraic sets. Show that $I(X_1\cap X_2)=\sqrt{I(X_1)+I(X_2)}$. Show ...
11
votes
1answer
933 views

How to compute localizations of quotients of polynomial rings

At the moment I'm trying to understand the concept of localizations of rings / modules. I have done some exercises (using the book of Atiyah / MacDonald) and I will do some more, but a more practical ...
11
votes
1answer
452 views

Are all subrings of the rationals Euclidean domains?

This is a purely recreational question -- I came up with it when setting an undergraduate example sheet. Let's go with Wikipedia's definition of a Euclidean domain. So an ID $R$ is a Euclidean domain ...
11
votes
3answers
209 views

If $M\oplus M$ is free, is $M$ free?

If $M$ is a module over a commutative ring $R$ with $1$, does $M\oplus M$ free, imply $M$ is free? I thought this should be true but I can't remember why, and I haven't managed to come up with a ...
11
votes
1answer
805 views

Every maximal ideal is principal. Is $R$ principal?

Let $R$ be a commutative ring with 1. If every maximal ideal of $R$ is principal, is $R$ a principal ideal ring?
11
votes
2answers
313 views

If every ascending chain of primary ideals in $R$ stabilizes, is $R$ a Noetherian ring?

A commutative ring $R$ is called Noetherian if every ascending chain of ideals in $R$ stabilizes, that is, $$ I_1\subseteq I_2\subseteq I_3\subseteq\cdots $$ implies the existence of $n\in\mathbb{N}$ ...
11
votes
4answers
216 views

Checking that a $3$-D diagram is commutative

When proving certain results I need to use commutative diagrams, some of which quite complicated. My question is: Do we need to check every small square all the time to make sure that they are all ...
11
votes
1answer
245 views

Coprime elements in finite rings

Let $R$ be a finite commutative ring. Consider elements $a,b \in R$ such that $Ra+Rb=R$. A paper I'm reading asserts that there exists some $x,y \in R$ such that $x(a+yb) = 1$. Of course, it ...
11
votes
2answers
671 views

Prove that the kernel of a homomorphism is a principal ideal. (Artin, Exercise 9.13)

I have been having trouble with an exercise in my abstract algebra course. It is as follows: Let $f: \mathbb{C}[x,y] \rightarrow \mathbb{C}[t]$ be a homomorphism that is the identity on ...
11
votes
2answers
319 views

Why is $O_K\otimes \mathbb{Z}_p\cong \oplus_{\mathfrak{p}|p}O_{K,\mathfrak{p}}$?

In my old number theory notebook this is stated as a fact. However, I ran into problems when I tried to prove it. First let me state the (supposed) theorem accurately: Theorem (?) Let $K$ be a ...
11
votes
1answer
963 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 ...
11
votes
1answer
167 views

Polynomials invariant under the action of $S_m \times S_n$

The polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ has a maximal subring invariant under the action of $S_n$ on the variables. This is the ring of symmetric polynomials. Suppose we have ...
11
votes
1answer
416 views

Completion as a functor between topological rings

In the following all rings are assumed to be commutative and unitary. Preliminaries: For any topological ring $R$ we can form its completion $\widehat{R}$ by taking all Cauchy sequences modulo null ...
11
votes
2answers
2k views

Show $\mathbb{Z}[\sqrt{6}]$ is a Euclidean domain

I'm attempting to modify the proof the $\mathbb{Z}[\sqrt{2}]$ is a Euclidean domain to prove a similar result for $\mathbb{Z}[\sqrt{6}]$. The idea is to prove that $\mathbb{Q}[\sqrt{6}]$ is Euclidean ...
11
votes
1answer
236 views

When some polynomials in $\mathbb Z[X]$ determine a regular sequence in $\mathbb Z[X_1,\dots,X_n]$?

Let $f_1,\dots,f_n\in\mathbb Z[X]$ be non-constant polynomials (not necessarily distinct). Is it true that $f_1(X_1),\dots,f_n(X_n)$ is a regular sequence in $\mathbb Z[X_1,\dots,X_n]$? The ...
11
votes
0answers
128 views

How to name these “ideals”?

Background. Let $\mathcal{C}$ be a symmetric monoidal category with unit $\mathbf{1}$. A subobject of $\mathbf{1}$ is just a monomorphism $I \to \mathbf{1}$. We may also call this an ideal of ...