Questions tagged [ac.commutative-algebra]

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

1,226 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
44
votes
0answers
1k views

Enriched Categories: Ideals/Submodules and algebraic geometry

While working through Atiyah/MacDonald for my final exams I realized the following: The category(poset) of ideals $I(A)$ of a commutative ring A is a closed symmetric monoidal category if endowed ...
35
votes
0answers
456 views

Is there a notion of polynomial ring in “one half variable”?

Let $C$ be the category of commutative rings. Is there a functor $F :C \to C$ such that $F(F(R)) \cong R[X]$ for every commutative ring $R$ ? (Here, we may assume those isomorphisms to be natural ...
26
votes
0answers
630 views

The field of fractions of the rational group algebra of a torsion free abelian group

Let $G$ be a torsion free abelian group (infinitely generated to get anything interesting). The group algebra $\mathbb{Q}[G]$ is an integral domain. Let $\mathbb{Q}(G)$ be its field of fractions. ...
25
votes
0answers
483 views

On the definition of regular (non-noetherian, commutative) rings

All rings are commutative with unit. A ring $R$ is called regular if it satisfies (Reg) Every finitely generated ideal of $R$ has finite projective dimension. Clearly this gives the usual ...
21
votes
0answers
476 views

CH and automorphisms of ultrapowers of $\mathbb{Z}$ and $\mathbb{R}$

Notation and motivation. Given an algebraic structure $\mathbb{M}$ of cardinality at most the continuum and with countably many operations, and a nonprincipal ultrafilter $\cal{U}$ on a countably ...
18
votes
0answers
480 views

If $A, B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?

The question is in the title. If the isomorphism $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely generated this is also ...
18
votes
0answers
489 views

Rigid Non-archimedean Real Closed Fields

Question. Is there a countable rigid non-Archimedean real closed field? Background: As usual, a structure is said to be rigid if the only automorphism of the structure is the identity map. It is ...
18
votes
0answers
322 views

Deforming a basis of a polynomial ring

The ring $Symm$ of symmetric functions in infinitely many variables is well-known to be a polynomial ring in the elementary symmetric functions, and has a $\mathbb Z$-basis of Schur functions $\{S_\...
18
votes
0answers
1k views

Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to 2 conjectures by Gabber (see Conjectures 2 and 3, page 1975) http://www.mfo.de/programme/schedule/2004/32/OWR_2004_37.pdf 1) Let $R$ be a strictly henselian ...
16
votes
0answers
404 views

Are dualizable modules finitely generated?

Let $A$ be a commutative noetherian ring, and assume that $A$ has a dualizing complex $R$. Let $D(-) := \operatorname{RHom}_A(-,R)$ be the associated dualizing functor, and let $M$ be an $A$-module. ...
16
votes
0answers
1k views

monomorphisms and epimorphisms of local rings

I want to understand the structure of monomorphisms/epimorphisms in the category of local rings (with local homomorphisms), or dually in the category of local schemes. Let $LR$ denote this category. ...
15
votes
0answers
253 views

Concept associated to the Eudoxus reals

I am aware of three different constructions of the field of real numbers : The Cauchy sequence construction : in this case, we see the field $\mathbb{Q}$ as a metric space and $\mathbb{R}$ is the ...
15
votes
0answers
620 views

Bloch-Kato conjecture and Wiles' numerical criterion

I already asked this question some days ago on https://math.stackexchange.com/questions/158747/bloch-kato-conjecture-and-wiles-numerical-criterion but didn't receive any response. In the ...
14
votes
0answers
482 views

comparison of completion and Henselization in class field theory

Given a ring $R$ with maximal ideal $\mathfrak{m}$, we can form the localization $R_\mathfrak{m}$, the completion $\hat{R}_\mathfrak{m}$ or the Henselization $\hat{R}^h_\mathfrak{m}$ of $R$ with ...
14
votes
0answers
481 views

(When) is isomorphism on differentials enough to guarantee that a map is étale?

I'm sorry if this is too easy for MO. Let $S$ be a locally noetherian scheme, flat over $\mathrm{Spec}\,\mathbb{Z}$, $X$ and $Y$ be flat $S$-schemes locally of finite presentation, and let $f:X\to Y$ ...
14
votes
0answers
737 views

Countable Hom/Ext implies finitely generated

Today I learned this interesting fact from Jerry Kaminker: If $A$ is an abelian group such that $\mathrm{Hom}(A,\mathbb{Z})$ and $\mathrm{Ext}(A,\mathbb{Z})$ are both countably generated, then in fact ...
14
votes
0answers
829 views

Frobenius upper shriek/flat of a dualizing complex

Let $X$ be a separated connected scheme of characteristic $p > 0$. I am going to assume that $F : X \to X$ (the absolute Frobenius) is a finite map. This condition is called being $F$-finite. ...
13
votes
0answers
444 views

When does the product equal the sum?

Let $R$ be a commutative ring with identity and $R^n$ be the direct sum of $R$. Find all $a_1, a_2, \cdots, a_n \in R$ such that $$a_1 + a_2 + \cdots + a_n = a_1a_2\cdots a_n,$$ or, in other words, if ...
13
votes
0answers
881 views

Is there a slick proof of the fundamental theorem of dimension theory?

The fundamental theorem of dimension theory in commutative algebra states that given a module $M$ over a noetherian local ring $A$, we have $s(M)=\text{dim}(M)=d(M)$ (where $s(M)$ is the infimum of ...
13
votes
0answers
354 views

Hensel lemma and rational points in complete noetherian local ring

Let $A$ be a complete noetherian local ring and $\mathfrak{m}$ be its maximal ideal. If we have several polynomials $f_i \in A[X_1, \dots, X_m]$ which have a common zero $x_n$ in $A/\mathfrak{m}^n$ ...
13
votes
0answers
462 views

If a polynomial ring is a finite flat module over some subring, is that subring itself a polynomial ring?

A question motivated by If a polynomial ring is a free module over some subring, is that subring itself a polynomial ring? and If a polynomial ring is finite free over a subring, is the subring ...
13
votes
0answers
455 views

Refinement of concept of support of a module

My rings are commutative and noetherian. The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...
12
votes
0answers
426 views

Emanuel Lasker, Max Noether, and Emmy Noether

In 1900, Emanuel Lasker (world chess champion from 1894 to 1921) received his Ph.D. under Max Noether. In 1905, Lasker published a theorem that Emmy Noether generalized in 1921, now well known as the ...
12
votes
0answers
272 views

Connections in terms of tangent ($\infty$-)categories?

Given a commutative ring $k$ and a commutative $k$-algebra $A$, we know that the Kähler differential $\Omega_{A/k}^1$ could be described through machineries of tangent categories (see, for example, ...
12
votes
0answers
672 views

A slick proof (?) of Zariski-Nagata purity in characteristic $p$

I am trying to understand the MathSciNet review written by Mark Kisin of the paper "Almost etale extensions" of Faltings. There Kisin illustrates Faltings' approach to the almost purity theorem with ...
12
votes
0answers
665 views

What is the state of art in Groebner bases

How big polynomial systems can we deal with? How do you know when you don't even have to try? Motivation: Recently I tried to solve a problem posed in another MO question and ultimately I got stuck ...
12
votes
0answers
501 views

A commutative monoid associated with a finite abelian group

Let $M$ be a finite abelian group, and denote by $e_m$, for $m \in M$, the canonical basis of $\mathbb{Z}^M$. For $m, n \in M$ define elements $v_{m,n} \in \mathbb{Z}^M/\langle e_0\rangle$ as $$ v_{m,...
11
votes
0answers
316 views

“Small” zero divisors in $\mathbb C[\mathbb Z/p\mathbb Z]$

If $p$ is a prime, and $a,b$ are non-zero elements of the group algebra $\mathbb C[\mathbb Z/p\mathbb Z]$ satisfying $a\ast b=0$, then $$|{\rm supp}\ a|+|{\rm supp}\ b|\ge p+2.$$ This is easy to prove ...
11
votes
0answers
248 views

How useful is knowing every torsionfree $\mathcal O(D)$ module is flat?

One of the corollaries of Weiertrass' factorization theorem plus the theorem of Mittag Leffler is that $\mathcal O(\Bbb C)$, more generally $\mathcal O(D)$ for some region $D$ is such that every ...
11
votes
0answers
284 views

Subrings of invariants in divided power algebras

I am wondering to what extent the functors "ring of invariants under a group action $G$" and "divided power envelope with respect to a $G$-stable ideal" commute. To be precise, let $R$ be a ...
11
votes
0answers
2k views

Finding ideals of $\mathbb{Z}[x]$ generated by $n$ elements and no fewer

As the title says, I'm trying to find ideals of $\mathbb{Z}[x]$ generated by $n$ elements and no fewer. I suspect $(2^k, 2^{k-1} x, 2^{k-2} x^2, ..., x^k)$ is generated by no fewer than $n=k+1$ ...
11
votes
0answers
1k views

Reverse mathematics strength of identically zero polynomials are the zero polynomial

According to wikipedia, the statement "every polynomial over a countable field that is not the zero polynomial has only finitely many roots" is equivalent to RCA0 over RCA0* (which is called ERCA-0 in ...
11
votes
0answers
463 views

Are the supports of $Ext^i(M,N)$ eventually periodic?

Let $R$ be a Noetherian, commutative ring and $M,N$ be finitely generated $R$-modules. Question: Do the sets of minimal primes of $\text{Ext}^i_R(M,N)$ (for a fixed pair of $M,N$) become periodic ...
10
votes
0answers
361 views

Is $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p$ coherent?

The question is as in the title: Is the ring $\mathbb{Z}_p \otimes_{\mathbb{Z}} \mathbb{Z}_p = \mathbb{Z}_p \otimes_{\mathbb{Z}_{(p)}} \mathbb{Z}_p$ coherent? As shown in the related question, the ...
10
votes
0answers
412 views

Toward a cyclotomic Riemann hypothesis

For an integer $n \ge 3$, consider the function $$u(n) = \frac{\sigma(n)}{n \log \log n}$$ with $\sigma$ the divisor function. Now consider the sequence (bounded below and decreasing) $$v_n = \sup_{m&...
10
votes
0answers
217 views

Has anyone seen this construction of dg algebras?

Let $A$ be an associative algebra, $M$ a right $A$-module. Suppose we are given an $A$-module homomorphism $M \to A$. Then we can make $M$ itself into an associative algebra via the multiplication $$ ...
10
votes
0answers
334 views

Abelian categories have become the language of homological algebra. Why haven't Zariski categories become the language of commutative algebra?

I'm not seeing much mention of Zariski categories in the literature. There is no article on Zariski categories in nLab, which would seem to be an obvious place to have such an article. What has ...
10
votes
0answers
490 views

Mumford's intuition for flatness

In Mumford's book Algebraic Geometry II, he writes on page 179..."In order to get at what I consider the intuitive content of "flat" we need first a deeper fact..." After the deeper fact is proven he ...
10
votes
0answers
762 views

What is the etale fundamental group of Spec Z((x))?

I know the etale fundamental group of $\mathbb{Z}$ is trivial. For algebraically closed fields $K$, the etale fundamental group of $K((x))$ is $\hat{\mathbb{Z}}$, since all covers in this case are ...
10
votes
0answers
246 views

Is the generation of rings by their units a question in K-theory?

Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first: Given an integral ...
9
votes
0answers
249 views

Triangle $X'\to X\to X''\to\Sigma X'$ splits if $X\simeq X'\oplus X''$?

Given a commutative ring $R$ and a distinguished triangle $X'\to X\to X''\xrightarrow e\Sigma X'$ in the derived category $D(R)$, where $X',X,X''$ are perfect complexes. If we have an equivalence $X\...
9
votes
0answers
245 views

Is $[JK:(x)][JK:(y,z)]\subseteq JK$ in $k[x,y,z]$?

Let $k$ be a field and $S=k[x,y,z]$. Let $m=(x,y,z)$ and $J,K\subseteq m$ be proper homogeneous ideals in $S$. Is this true that we always have: $$[JK:(x)][JK:(y,z)]\subseteq JK \ ?$$ Some ...
9
votes
0answers
119 views

Valuation with values in a semiring?

The notion of "valuation" on a ring $R$ is peculiar in that as typically presented, it is really two notions, neither of which subsumes the other. A valuation can be a homomorphism $v: (R,\times) \to ...
9
votes
0answers
193 views

Irreducibility of the Sylvester resultant

If $r$ and $s$ are positive integers, $R$ a commutative ring and $a_0,\dots,a_r$, $b_0,\dots,b_s$ independent variables, we can consider the polynomials $f=\sum_{i=0}^ra_iX^i$ and $g=\sum_{j=0}^sb_iX^...
9
votes
0answers
286 views

Do commutative rings with “interesting” Jacobson radicals turn up “in nature”?

Let $R$ be a commutative ring. Let's say that the Jacobson radical $J(R)$ of $R$ is uninteresting if $J(R)$ coincides with the nilradical, or $J(R)$ is the intersection of a finite number of maximal ...
9
votes
0answers
150 views

When is the rank 2 free metabelian group of exponent $n$ center free?

Let $M_n$ be the rank 2 free metabelian group of exponent $n$. For which $n$ is $M_n$ center-free? The abelianization $M_n^{ab}\cong C_n\times C_n$, so the commutator subgroup $M_n'$ is a cyclic $(\...
9
votes
0answers
725 views

Scholze's infinite to finite type ring theory reductions?

In following essay "The Perfectoid Concept: Test Case for an Absent Theory" by Michael Harris, there is the following sentence I found to be quite striking. The most virtuosic pages in Scholze's ...
9
votes
0answers
350 views

Higher Adeles of a scheme and related topics

Let $X$ be a noetherian scheme. I will describe a construction of a simplicial ring which I think is called the Bellinson higher Adeles complex (or something similar). Consider the augmented ...
9
votes
0answers
274 views

Weierstrass division theorem for henselian rings

Let $A$ be an henselian local noetherian ring. There is an old result of Lafon ("Anneaux henséliens et théorème de préparation" (1967)), which says that if $A$ is analytically normal and of ...
9
votes
0answers
434 views

Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series; 1) multiplicative inversion for quadratic algebras, 2) compositional inversion for quadratic operads, 3) ...

1
2 3 4 5
25