All Questions
Tagged with reference-request ac.commutative-algebra
402 questions
1
vote
1
answer
403
views
Prime ideals in univariate polynomial rings
I'm looking for a textbook reference of the following elementary fact (a reference for an excercise in a textbook is also welcome):
Let $R$ be a commutative ring and let $\mathfrak{p}$ be a prime ...
- 16.2k
3
votes
1
answer
573
views
When does the forgetful functor S-Mod -> R-Mod induce injective maps on Ext-groups?
Assume we have a complete regular local ring $R$ and an $R$-algebra $S$.
Is there a class of such algebras $S$ with the following property:
Given two $S$-modules $M,N$, then the maps induced by the ...
- 1,391
11
votes
1
answer
692
views
The word problem in the ring of polynomials
This question must be well known but I cannot find it in the literature.
Question: What is the computational complexity of the word problem in a subring of the ring of polynomials in $n\ge 1$ ...
user6976
3
votes
1
answer
216
views
Simple reference for valuative criterion of integrality?
I'd like to see a complete proof of the simplest version of the following rough statement: "If $f/g$ is a rational function on a reduced scheme ($g$ not a zero divisor), and $f/g$ doesn't have poles ...
- 27.9k
0
votes
0
answers
774
views
Discrete valuation rings.
Given an algebraically closed field $\mathbb F$ of characteristic $p$, let $\mathbb A$ be a discrete valuation ring of characteristic zero having $\mathbb F$ as its residue field ( it does exist, but ...
- 1
3
votes
1
answer
571
views
Reference for submultiplicativity of length of tensor product
I am looking for a reference, in the form of a textbook, that contains proofs of following statements.
NOTE: I am NOT looking for the proofs, I am looking for a reference! Proofs of these statements ...
- 3,101
9
votes
1
answer
689
views
When and where did the term "module" enter commutative algebra?
Bruns/Herzog "Cohen-Macaulay-Rings" has a note in the notes for Chapter 1, saying roughly that after the influx of homological algebra into commutative ring theory, modules became popular objects (...
- 1,961
5
votes
2
answers
965
views
Krull-Schmidt Analogue for Complete / Graded Rings
Over the ring $\mathbb{Z}$, all finitely-generated modules decompose uniquely as a direct sum of indecomposable submodules; that's the Krull-Schmidt theorem.
I'm given to understand that if a (...
- 146
2
votes
2
answers
325
views
Where did the multigraded Segre product appear in the literature?
Let $k$ be a field and $A\subset \mathbb{N}^d$ a vector configuration. Let $R,S$ be commutative $k$-algebras, both graded by the affine semigroup $\mathbb{N}A$. Is the 'multidgraded Segre product' $R ...
- 1,961
2
votes
2
answers
2k
views
Torsion-free modules over a general ring
I want to know how to prove that a torsion-free module over a general ring is flat. In Lectures on Rings and Modules, T.Y. Lam proves this in the case where your ring is an integral domain. Can you ...
- 17
5
votes
3
answers
1k
views
adjoint of multiplication operator in a commutative algebra
Dan Popescu asked me the following question, and since I'm not an expert I'm throwing his question on MO.
Suppose that $A$ is a finite-dimensional vector space over an ordered field $k$ with $\...
- 6,614
12
votes
1
answer
949
views
Discrete version of Nullstellensatz?
Hi. I was reading the paper "On the foundations of combinatorial theory (VI): The idea of a generating function" by Doubilet, Rota and Stanley, and there is a relation treated which is very ...
- 902
3
votes
1
answer
388
views
Term for an "almost regular" sequence
Let $R$ be a ring (commutative, with unit), $M$ an $R$-module, and $x_1, \dotsc, x_n \in R$. Consider the following two conditions:
For all $i$, the homomorphism $$\frac{M}{(x_1, \dotsc, x_{i-1})M}...
- 7,338
8
votes
1
answer
725
views
Number of simplicial polytopes with a given f-vector
Plenty of very nice literature is available on the characterization of f-vectors of simplicial complexes of diverse sorts (results by Billera, Bjoerner, Kalai, Stanley, among others). I mention, as an ...
- 902
4
votes
1
answer
246
views
Paper by I. Swanson on symbolic powers
I am looking for a paper by Irena Swanson on a result on comparison of ordinary and symbolic powers of prime ideals in complete local rings.
The paper is referenced in problem 0.9 here
https://aimath....
- 43
2
votes
3
answers
2k
views
Algebraic extensions of p-adic closed fields
I have been working with p-adically closed fields and there are two results that are used time and times again in what I am reading, but I cannot find any references where they are proved...
The ...
5
votes
0
answers
331
views
Extensions of maps between graded modules
Let $R$ be a connected graded ring (like $R=\mathbb R[x_1,\dots,x_d]$ with the usual grading) and let $N \subset R^{\oplus n}$ be a graded submodule, i.e. $$N= \bigoplus_{i \in \mathbb N} (N \cap R^{\...
- 25.5k
4
votes
3
answers
1k
views
Polya's theory of counting and commutative algebra
Do you know if there exist algebraic studies of the ring of the power series which emerge when using the theory of Polya for enumeration of sets with certain symmetries? For instance if some ideals ...
- 902
7
votes
1
answer
912
views
Optimal reference for tensor product of symmetric bilinear forms?
This is just a reference request on a relatively elementary level (for which I apologize in advance), but every time I bump into this question I suspect I'm missing the "correct" conceptual setting. ...
- 52.9k
4
votes
1
answer
552
views
Factorization of schemes
Let $k$ be a ring (perhaps a field). Let $M$ be the "set" of isomorphism classes of $k$-algebras and regard it as a commutative monoid with multiplication $\otimes_k $ and unit element $k$. There is ...
- 63.1k
2
votes
0
answers
245
views
Is simplicity preserved under completion of the base ring?
Let $(A,\mathfrak{m})$ be a noetherian local ring and $R$ be an $A$-algebra, which is finitely generated generated as an $A$-module (module finite $A$-algebra). Let $\widehat{A}$ be the $\mathfrak{m}$-...
- 1,391
6
votes
1
answer
1k
views
reference for p-local and p-complete integers
Can anyone suggest a good thorough reference for $p$-localization and $p$-completion of the integers? I'm an algebraic topologist who's found himself washed up without any intuition.
In particular, ...
- 499
11
votes
3
answers
2k
views
When is a blow-up Cohen-Macaulay?
Let $X$ be a smooth projective variety and $Z$ a closed subscheme. Let $X'$ be the blow-up of $X$ with center $Z$.
Under what conditions on $Z$ is $X'$
Cohen-Macaulay?
In the case $Z$ is non-...
- 11.6k
6
votes
2
answers
850
views
Decomposition of finite algebras over finite fields
Let $K$ be a number field, $Z_K$ its ring of integers, and $p$ a rational prime number. Then $A_p = Z_K/(p)$ is a finite ${\mathbb F}_p$-algebra. Using ideal arithmetic in $Z_K$ and the Chinese ...
- 32.6k
2
votes
1
answer
456
views
Generic liftings of a regular sequence on the initial ideal
Hi everyone,
I've got a question about explicitly lifting regular sequences. Let $I$ be an ideal in a polynomial ring $S$ with some term order. We'll denote the initial ideal by $in(I)$. It is ...
- 103
4
votes
1
answer
2k
views
Unsolved problems concerning Artinian Rings and Artinian Modules
I am preparing a write-up on Topics on Artinian Rings and Modules for a project. I hope to mention some unsolved problems in the domain of these objects along the way. Till now, I have been able to ...
- 2,855
3
votes
1
answer
293
views
Freeness of modules along ring homomorphisms
This question arises from my discussion with a Master student. It concerns with the following situation: let $\phi: R \to S$ be a homomorphism between Noetherian commutative rings. Suppose the $R$-...
- 30.5k
16
votes
2
answers
4k
views
A geometric reference for (affine) Gorenstein varieties and singularities
I would like to ask for a reference to some text that explains in relatively down to earth (if possible geometric) terms (for dummies) what is a Gorenstein singularity and Gorenstein variety (for a ...
- 14.3k
8
votes
2
answers
425
views
Doing explicit computations with coordinate rings
Suppose that we are given an integral $k$-algebra $A$ of finite type explicitly, by which I mean that we are given the generators of the defining ideal $J$ where $A = k[x_1,...,x_n]/J$. What kinds of ...
- 3,918
13
votes
3
answers
1k
views
Reference for combinatorics of cell decomposition of the Hilbert scheme of points in the plane
It is known from either Morse theory or Bialynicki-Birula decomposition that the fixed points of a ${\mathbb{C}}^*$ action on a smooth algebraic variety over $\mathbb{C}$ determine a cell ...
- 2,964
3
votes
1
answer
374
views
Composition and intersection of residue fields
Let $A$ be a normal ring with quotient field $K$. Let $L/K$ be a finite separable extension.
Let $E_1/K$ and $E_2/K$ be extensions of $K$ contained in
$L$. Let $B_1$ (resp. $B_2$) be the normalization ...
- 1,673
2
votes
0
answers
261
views
On a characterization of the symbolic square of prime ideals in polynomial rings
If $R=k[x_1,...,x_n]$ is a polynomial ring in $n$ indeterminates over a field $k$ of characteristic $0$, there is a characterization of the symbolic square of a prime ideal $P$ (the $n$-th symbolic ...
- 805
6
votes
1
answer
641
views
The Jacobian ideal generates the socle of a complete intersection
This is with reference to theorem 5.20 in Vasconcelos book linked (google books) here:
http://tinyurl.com/2967eov
I shall restate the theorem here for easy reference: "If $A=k[[x_1,x_2,...,x_n]]/I$ ...
- 805
4
votes
1
answer
555
views
Base change and relative Ext over noncommutative rings
Given two smooth projective schemes $X$ and $Y$ over some algebraically closed field $k$, we have $X\times Y$ with the projections $p$ to $X$ and $q$ to $Y$. Furthermore we have a "nice" sheaf of ...
- 1,391
101
votes
31
answers
29k
views
Errata for Atiyah–Macdonald
Is there a good list of errata for Atiyah–Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists ...
5
votes
1
answer
2k
views
Length of a module over different rings
Given a regular local ring $(R,m)$ and a finitely generated $R$-algebra $S$, which is free as an $R$-module. Let $M$ be a left $S$-module of finite length, $\ell_S(M)=r<\infty$.
Under what ...
- 1,391
6
votes
0
answers
881
views
Riemann-Roch and Grothendieck duality: general case of Fulton's example 18.3.19
Fulton's "Intersection theory" book contains the following fact (example 18.3.19):
Let $X$ be a Cohen-Macaulay scheme over a field. Assume $X$ can be imbedded in a smooth scheme (so it has a ...
- 30.5k
9
votes
3
answers
3k
views
Why are divisible abelian groups important?
I just quote wikipedia:
"Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups."
I am asking for detail ...
16
votes
5
answers
5k
views
An advanced exposition of Galois theory
My knowledge of Galois theory is woefully inadequate. Thus, I'd be interested in an exposition that assumes little knowledge of Galois theory, but is advanced in other respects. For instance, it would ...
9
votes
1
answer
2k
views
Sums of two squares in (certain) integral domains
While giving the first of eight lectures on introductory model theory and its applications yesterday, I stated Hilbert's 17th problem (or rather, Artin's Theorem): if $f \in \mathbb{R}[t_1,\ldots,t_n]$...
- 65.4k
1
vote
1
answer
349
views
Non-representability by a binary quadratic form
Let $k$ be an arbitrary field, $d\in k$, and $d$ is not a square in $k$.
Consider the binary quadratic form $f(x,y)=x^2-d y^2$
(it is the norm from $k(\sqrt{d})$ to $k$).
I am looking for a reference ...
- 14.2k
7
votes
1
answer
730
views
Example sought of an atomic domain R such that R[t] is not atomic
Recall that an integral domain $R$ is atomic if every nonzero nonunit admits at least one factorization into irreducible elements. (Indeed, hard-core factorization theorists have replaced the word "...
- 65.4k
39
votes
2
answers
6k
views
What is Serre's condition (S_n) for sheaves?
The Serre's condition $(S_n)$, especially $(S_2)$, has been mentioned in a few MO answers: see here and here for example. I am pretty sure I have seen it in other questions as well, but could not ...
- 30.5k
4
votes
1
answer
358
views
Prime-ness checking for polynomial ideals over ACFs( algebraically closed fields).
Let $f_1,\ldots f_m \in k[X]$ have degrees bounded by $l$. and $I(\bar{f})$ be the ideal generated by $\bar{f}$.
If $I(\bar{f})$ is not a prime ideal then its non-primeness is witnessed by polynomials ...
- 255
3
votes
4
answers
1k
views
Matrix factorization categories for ADE singularities
What is known about the matrix factorization categories of singularities of type ADE? Any references on this would be greatly appreciated.
Background: For ADE singularities, see for example this. For ...
- 21k
15
votes
1
answer
636
views
Introduction to "commutative semialgebra"?
Of course, commutative algebra is a fundamental topic in algebraic geometry, number theory, representation theory, and so on.
However, there are some instances (most obviously tropical geometry) ...
- 12.6k
31
votes
8
answers
21k
views
Reference book for commutative algebra
I'm looking for a good book in commutative algebra, so I ask here for some advice. My ideal book should be:
More comprehensive than Atiyah–Macdonald
More readable than Matsumura (maybe better ...
11
votes
4
answers
4k
views
Variants of Eisenstein irreducibility
In his article where he stated what we know as Eisenstein's irreducibility criterion (which actually was first proved by Schönemann, as was Scholz's reciprocity law and Hensel's Lemma), he ...
- 32.6k
30
votes
6
answers
8k
views
Algebraic stacks from scratch [closed]
I have a pretty good understanding of stacks, sheaves, descent, Grothendieck topologies, and I have a decent understanding of commutative algebra (I know enough about smooth, unramified, étale, and ...
35
votes
3
answers
5k
views
Matrix factorizations and physics
I have heard during some seminar talks that there are applications of the theory of
matrix factorizations in string theory. A quick search shows mostly papers written by physicists. Are there any ...
- 30.5k