Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 461

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

10 votes
1 answer
366 views

Is the product of Jacobson rings a Jacobson ring?

I asked this question on Mathematics Stackexchange, but got no answer. Is the product $$ \prod_{i\in I}A_i $$ of a family $(A_i)_{i\in I}$ of Jacobson rings a Jacobson ring? (Here "ring" means "c …
Pierre-Yves Gaillard's user avatar
2 votes
1 answer
249 views

Are unique prime ideal factorization domains locally noetherian?

I asked this question on Mathematics Stack Exchange but got no answer. Here is the question: Let $A$ be a domain (that is, a commutative ring with one in which the condition $ab=0$ implies $a=0$ or …
Pierre-Yves Gaillard's user avatar
4 votes
1 answer
543 views

Generators of a certain ideal

In view of Mariano Suárez-Alvarez's answer I see how badly phrased my question was, and decided to rewrite it. The drawback is that some comments of Martin Brandenburg are now incomprehensible, but I …
Pierre-Yves Gaillard's user avatar
5 votes
0 answers
101 views

Is there a positive integer k such that any endomorphism of any free module over any commuta...

Consider the following Condition (C) on a positive integer $k$: (C) If $R$ is a commutative ring, if $F$ is a free $R$-module, and if $f$ is an endomorphism of $F$, then $f$ is an $R$-linear combinat …
Pierre-Yves Gaillard's user avatar
4 votes
0 answers
486 views

Endomorphisms of free modules and extension of scalars

I asked this question on Mathematics Stackexchange, but got no answer. Let $B$ be a commutative ring with $1$, let $A$ be a subring such that any unit of $B$ which belongs to $A$ is a unit of $A$, an …
Pierre-Yves Gaillard's user avatar
19 votes
2 answers
753 views

Is $K[[x_1,x_2,\dots]]$ an $\mathfrak m$-adically complete ring?

I asked this question on Mathematics Stackexchange (link), but got no answer. Let $K$ be a field, let $x_1,x_2,\dots$ be indeterminates, and form the $K$-algebra $A:=K[[x_1,x_2,\dots]]$. Recall th …
Pierre-Yves Gaillard's user avatar
13 votes
1 answer
465 views

Does the Cantor-Schröder-Bernstein Theorem hold in the category opposite to the category of ...

I asked this question on Mathematics Stackexchange, but got no answer. Let $A$ and $B$ be noetherian commutative rings with one, and let $f:A\to B$ and $g:B\to A$ be epimorphisms. Are the rings …
Pierre-Yves Gaillard's user avatar
9 votes
1 answer
818 views

Are epimorphic endomorphisms of noetherian commutative rings always injective?

This question was asked, but not answered, on Mathematics Stackexchange. [In this post "ring" means "commutative ring with one".] Let $A$ be a noetherian ring, and let $f:A\to A$ be an endomorphism …
Pierre-Yves Gaillard's user avatar
18 votes

Errata for Atiyah–Macdonald

EDIT OF JULY 26, 2017 Proposition 2.4 page 21 reads: Let $M$ be a finitely generated $A$-module, let $\mathfrak a$ be an ideal of $A$, and let $\phi$ be an $A$-module endomorphism of $M$ such tha …
27 votes
2 answers
2k views

Is every commutative ring a limit of noetherian rings?

Edit of Feb. 14, 2019. After Laurent Moret-Bailly's accepted answer, only Questions 4 and 5 remain open. I don't care that much about Question 4, but I'm very curious about Question 5, which is Do …
Pierre-Yves Gaillard's user avatar
9 votes

Applications of the Chinese remainder theorem

The Chinese Remainder Theorem gives a way to compute matrix exponentials. Indeed, let $A$ be a complex square matrix, put $B:=\mathbb C[A]$. This is a Banach algebra, and also a $\mathbb C[X]$-algeb …
5 votes

Expressing $-\operatorname{adj}(A)$ as a polynomial in $A$?

EDIT OF AUG. 31, 2010. The proof of the Cayley-Hamilton Theorem I like best (among the ones I know) is on page 21 (proof of Proposition 2.4) of Introduction to Commutative Algebra by Atiyah and MacDon …
Pierre-Yves Gaillard's user avatar