Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,495 questions
4
votes
1
answer
333
views
Flat essential ring extensions
We call a ring extension (where $R$ and $S$ are commutative) $R \subset S$ essential if for every ideal $I$ of $S$ we have
that $I \cap S \neq 0 \implies I \cap R \neq 0$.
Suppose now that $R \subset ...
- 1,388
3
votes
1
answer
147
views
Bounded torsion of quotients of affine formal models
$\DeclareMathOperator\Sp{Sp}$Let $X=\Sp(A)$ be a connected smooth affinoid rigid space over a discretely valued non-archimedean field $K$. Let $\mathcal{R}$ be a valuation ring of $K$, and fix a ...
- 541
2
votes
0
answers
75
views
Smoothness of homomorphisms between graded algebras
Let $A$ be a finitely generated $\mathbb{C}$-algebra. Let $S^{\bullet}=\bigoplus_{i\geq 0} S^i$ and $T^{\bullet}=\bigoplus_{i\geq 0} T^i$ be two graded $A$-algebras such that $S^0=T^0=A$ and $S^1, T^1$...
- 565
6
votes
0
answers
194
views
"Cluster algebra" structure for finite distributive lattices
Let $P$ be an $n$-element poset and $J(P)$ the distributive lattice of its order ideals (i.e., the downwards-closed sets).
For each $I\in J(P)$ let $x_I \in \mathbb{R}^{n}$ be the indicator function ...
- 24.2k
0
votes
0
answers
162
views
Finite-exponent abelian groups
Let $G$ be an abelian group and $G=\bigoplus_{i=1}^t{{\Bbb{Z}}_{p_i}^{n_i}}^{(\Lambda_i)}$ where each $\Lambda_i$ is a set (at least one of $\Lambda_i$ is infinite). Since $G_{\Bbb{Z}}$ is a finite-...
- 12.9k
1
vote
0
answers
186
views
How to calculate the periodic cyclic homology group of $\overline{\mathbb{Z}}/\mathbb{Z}$
$\newcommand{\ur}{\mathrm{ur}}$Fix a prime number $p$. We let $\overline{\mathbb{Z}}$ denote the integral closure of $\mathbb{Z}$ in $\overline{\mathbb{Q}}$ and $\overline{\mathbb{Z}}_p$ denote the ...
7
votes
2
answers
2k
views
Ideals in the ring of single-variable Laurent polynomials with integer coefficients
I'm writing some software to automatically compute things like Alexander modules, Alexander ideals, Milnor signatures and Farber-Levine pairings for 1 and 2-knot complements. So among other things I'...
- 1,446
1
vote
0
answers
77
views
Subrings of rings of integers of quartic fields having prime index and a specific property
Let $L$ be a $S_4$ or $A_4$ quartic field, and $\mathcal{O}_L$ its ring of integers. Let $K$ be its cubic resolvent field, which necessarily has the same discriminant as $L$. If $\mathcal{O}_L$ has a ...
- 26.9k
2
votes
0
answers
101
views
Regularity before and after completion - reference request
Put $R=\mathbb{Z}[x_1,\dotsc,x_n]$ and $I=(x_1,\dotsc,x_n)$. Let $M$ be an $R$-module that is probably not finitely generated. Suppose that the sequence $x_1,\dotsc,x_n$ is regular on $M$; I believe ...
- 56.9k
5
votes
1
answer
179
views
An example where the non-Archimedean tensor product of normed modules is only seminormed?
Let $R$ be a commutative unital ring and let $M$ be a unital $R$-module. A non-Archimedean ring seminorm on $R$ is a map $|\cdot| \colon R \rightarrow \mathbb{R}_{\geq 0}$ which satisfies
$$ | 0_R| = ...
- 4,132
1
vote
0
answers
173
views
The geometry of a commutative ring and the topology of its ideal complex
Suppose $R$ is a commutative Noetherian ring. Let $\mathcal{P}(R)$ be the poset of ideals of $R$ ordered by inclusion, and let $\Delta(R)$ be the order complex of $\mathcal{P}(R)$. $\Delta(R)$ is a ...
- 19
3
votes
1
answer
267
views
Singularities of contractions of extremal faces
Let $(X, \Delta)$ be a (projective) klt pair (say over $\mathbb{C}$, but I am also interested in fields of positive characteristic) and $f: X \to Z$ the contraction associated to a $(K_X + \Delta)$-...
- 2,427
5
votes
2
answers
236
views
An example of a local integral domain with special spectrum
I am looking for a local integral domain $(D, m)$ with $Spec(D)=\{0,m\}\cup\{ P_i\}_i$ such that $P_i's$ are incomparable (that is, $P_i\not\subseteq P_j$ and $P_j\not\subseteq P_i$ for $i\not= j$) ...
- 1,388
11
votes
1
answer
915
views
Triviality of vector bundles on affine open subsets of affine space
Let $k$ be a field. By the Quillen-Suslin theorem, all vector bundles on $\mathbb{A}^n_k$ are trivial for all $n \geq 0$. If $U \subset \mathbb{A}^n_k$ is an affine open subset, then vector bundles ...
- 23k
19
votes
3
answers
2k
views
Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?
Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...
- 10.5k
1
vote
0
answers
89
views
Combinatorial models of the refined inverse Eulerian numbers
If I evaluate substitution of an infinite set of indeterminates $(c_1,c_2,c_3,\cdots)$ into the infinite set of refined Eulerian polynomials $[E]$ of OEIS A145271, I obtain the Taylor series ...
- 10.5k
0
votes
0
answers
72
views
countable direct sum of cyclic abelian $p^{2}$ groups
Let $G={{\Bbb{Z}}_{p^{2}}}^{(\aleph)}$ (countable direct sum of copies of ${\Bbb{Z}}_{p^2}$). It is clear that every subgroup of $G$ is a homomorphic image of $G$. Now this is my question:
Is it true ...
- 56.9k
5
votes
1
answer
664
views
Eudoxus real numbers
I recently remembered the eudoxus construction of the real numbers.
Does anyone know what how the rational numbers $\mathbb Q$ can be characterised inside this construction?
Clearification: The usual ...
- 2,624
5
votes
0
answers
204
views
What are all of the topological (commutative) monoid structures on a closed interval?
Consider a closed real interval $[a,b]$ as a toplogical space. Up to homeomeorphism it doesn't matter, but I like to take $[a,b] = [0,\infty]$.
Question 1: What are all of the topological commutative ...
- 64k
1
vote
0
answers
54
views
Closed linear span of compact open subsets of a spectral space
Let $X$ be a spectral space and $KO(X)$ be the set of all compact open subsets of $X$. Identify $KO(X)$ with $\{1_D:D\in KO(X)\}$, where $1_D(u) = 1$ if $u\in D$ and $1_D(u) = 0$ if $u\notin D$.
...
- 2,605
1
vote
0
answers
66
views
Counting commutative rngs (rings without identity)
A037289 counts the number of commutative rngs (rings without identity). It is complete up to 31, that is, the number of commutative rngs with 32 elements is not known. Is this in the literature?
...
- 9,114
10
votes
2
answers
1k
views
When is every submodule pure?
Recall that a module is called
semisimple if every submodule is a direct summand
pure semisimple if every pure submodule is a direct summand
There is quite a bit of work on semisimple and pure ...
- 50.6k
0
votes
0
answers
180
views
Proof of Co-H map the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$
How to show the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$ is Co-H-map?
45
votes
5
answers
4k
views
How to think about CM rings?
There are a few questions about CM rings and depth.
Why would one consider the concept of depth? Is there any geometric meaning associated to that? The consideration of regular sequence is okay to me....
- 12.9k
0
votes
1
answer
216
views
A Newton identity and the primes--the Faber partition polynomials and modular arithmetic
[Edit, July 6, 2022: Removed erroneous characterization of Faber polynomials as an Appell sequence.]
Dress and Siebeneicher in their tale of the Burnside family express an opinion (1.2) that, if I ...
- 10.5k
27
votes
5
answers
14k
views
Flat module and torsion-free module
All rings in this question are integral.
It is known that flat modules are torsion-free. Conversely, torsion-free modules over Prüfer domain (in particular, Dedekind domain) are flat, please see here. ...
- 63.9k
9
votes
2
answers
790
views
Algebraic power series of finite order
Apologies if the question is too elementary/something well-known.
I believe it is a well-known fact that the rational formal power series $F(z)=\frac{P(z)}{Q(z)}$ which have finite order under ...
- 24.2k
14
votes
0
answers
432
views
Surprisingly only real points on intersection of certains quadrics
Let $G$ be a finite group and let $X_g$ be variables indexed by $G$. Consider the complex algebraic set defined by
\begin{align}
X_e &= 0\\
X_g &= X_{g^{-1}}\;\;\text{ for all }g\in G,\\
X_g &...
- 22.5k
7
votes
4
answers
797
views
A lost lemma about periodicity in a grid of long exact sequences?
This is a question about finding references and hopefully a larger
context for a lemma in homological algebra I proved recently.
The motivation is to understand properties of characteristic
classes of ...
- 9,263
3
votes
2
answers
382
views
Localization at multivariate monic polynomials
Let $R$ be a ring and consider a monomial order $<$ on $R[X_1,\ldots,X_n]$. A nonzero polynomial $f \in R[X_1,\ldots,X_n]$ is said to be monic if its leading coefficient with respect to $<$ is $...
- 33.8k
6
votes
1
answer
430
views
Splitting a nilpotent into square-zeros by ring extension
Let $R$ be a commutative ring. It is well-known that if $b \in R$ and $c \in R$ are two nilpotent elements with $b^k = 0$ and $c^\ell = 0$ (where $k$ and $\ell$ are positive integers), then $b+c$ is ...
- 33.8k
7
votes
1
answer
271
views
Algebraic proof that the monoid ring of a torsion-free monoid is reduced
In what follows, I say that a monoid $M$ is torsion-free if the $n$-th power map is injective for all $n \geq 1$. I have a proof of the following result:
Claim: if $M$ is a torsion-free commutative ...
- 15.5k
1
vote
0
answers
104
views
Intuitively, what makes Bernoulli umbra so similar to the zero divisors in split-complex numbers?
Notation. Here I will denote Bernoulli umbra (its moments are Bernoulli numbers $B_n$) as $B_-$, $B_-+1$ as $B_+$ (an umbra with moments being Bernoulli numbers except $B_1=1/2$).
I will denote the ...
- 10.1k
10
votes
1
answer
265
views
Finite coverings by closed subschemes
Let $X$ be a scheme. Assume we have two closed subschemes $Y_1$, $Y_2$ that cover $X$ set-theoretically. Are there closed subschemes $Y'_1$, $Y'_2$ with the same underlying sets, such that the ...
- 2,665
1
vote
1
answer
152
views
Cohen-Macaulay quotient ring and symbolic power
Let $(R, \mathfrak{m})$ be a regular local ring and let $\mathfrak{a} \subset R$ be an ideal. Let
$$ \mathfrak{b} = \bigcap \{R \cap \mathfrak{a} \cdot R_\mathfrak{p} \text{ } \colon \mathfrak{p} \in \...
- 878
1
vote
0
answers
87
views
When is the product of two elements in algebraic closures of rational functions a constant function?
I have one question on some interactions between sum and product of elements in algebraic clsoures of rational polynomials over algebraically closed fields.
My question is as follows:
Let E and F be ...
- 11
2
votes
0
answers
161
views
A note on perfect ideals
I am reading an article that cites this note:
E.S. Golod, A note on perfect ideals, in: A.I. Kostrikin (Ed.), Algebra Collection, Nauka, Moscow, 1980,
pp. 37–39.
E. S. Golod, A note on perfect ideals, ...
- 43
1
vote
1
answer
119
views
Injective resolutions of the module of Kähler differentials
Let $k$ be a field, $A=k[x_1,\dots,x_n]/I$ an affine algebra and $\Omega_{A|k}$ the $A$-module of Kähler differentials.
By abstract nonsense there exists an injective resolution $\mathcal I$ of $\...
CommunityBot
- 1
6
votes
2
answers
329
views
Algebraic numbers which prescribed degree which does not belong to some fields
In my research it would be great if the following result is valid. In what follows, $\overline{\mathbb{Q}}$, $\overline{\mathbb{Q}}_n$ and $\overline{\mathbb{Q}}_{<n}$ denotes the set of algebraic ...
- 20.4k
2
votes
0
answers
189
views
Root systems and subroot systems
Given the root system $E_{6}$ with basis $\alpha_{1},\dotsc,\alpha_{6}$. How would I find all subroot systems of $E_{6}$ (up to Weyl equivalence) where I can write the basis of each subroot system in ...
- 21
2
votes
0
answers
65
views
Decidability of the solvability of quadratic systems
Let a finite collection of (complex) unknowns $\{x_1,\ldots,x_n\}$ be given, as well as an affine system $AX=B$ in the quadratic variables $X:=[x_i x_j : i\leq j]$, with entries in a computable ...
- 5,428
4
votes
0
answers
522
views
Equivariant sheaves over affine schemes
Let $k$ be a field, let $G$ be a linear algebraic group over $k$ and
let $A$ be a commutative $k$-algebra which is acted on by $G$.
We say that an $A$-module $M$ is a $(G,A)$-module if it satisfies ...
22
votes
6
answers
6k
views
When is a blow-up non-singular?
Suppose that $X$ is a non-singular variety and $Z \subset X$ is a closed subscheme. When is the
blow-up $\operatorname{Bl}_{Z}(X)$ non-singular?
The blow-up of a non-singular variety along a non-...
- 4,713
12
votes
1
answer
656
views
Does every map from a noetherian ring to a valuation ring factor through a DVR?
Let R be a noetherian ring and V a valuation ring with maximal ideal $\mathfrak{m}_V$. Does every morphism of rings $\varphi: R \rightarrow V$ factor through a discrete valuation ring?
One may ...
- 7,893
1
vote
1
answer
149
views
Cohen-Macaulyness of Milnor algebra
Denote by $R = \mathbb{C}\{x_1, \dots, x_n\}$ the ring of germs of analytics maps at the origin in $n$ variables and let $f \in R$ such that $Sing(V(f))=V(x_1, \dots, x_{n-1})$ as sets. In addition, ...
CommunityBot
- 1
0
votes
1
answer
63
views
Changing base field for sum of polynomials
Let $L/\mathbb{Q}$ be a finite extension and $f_{1},\dotsc,f_{n}\in L[x_{1},\dotsc,x_{k}]$ be degree $d$ homogeneous polynomials. Is there a way to find homogenous degree $d’$ polynomials $g_{1},\...
- 109k
11
votes
3
answers
3k
views
For which fields K is every subring of K…?
This question was inspired by
How to prove that the subrings of the rational numbers are noetherian?
which some people found too routine to be of interest. So I have decided to liven things up a bit ...
- 12.9k
0
votes
0
answers
228
views
Generalization of "Lagrange interpolation" over non-division rings
The theorem below is from pages 4 and 5 in Singmaster - On polynomial functions $\pmod m$ (Theorem 10) on polynomials in $\mathbb{Z}_m[x]$.
Let $f$ be a polynomial function $\pmod{m}$. Then $f$ has a ...
- 4,713
6
votes
4
answers
961
views
Does every projective A/I-module come from A?
Let $A$ be a Noetherian commutative ring and $I$ an ideal in $A$. It is pretty much trivial to see that every free $A/I$-Module is obtained from a free $A$-module by tensoring over $A$ with $A/I$: ...
- 12.9k
7
votes
2
answers
637
views
An algebraic proof of Mumford's smoothness criterion for surfaces?
(Disclaimer: I'm a beginner in this area, so welcome corrections.)
Let $(X,x)$ be a germ of a complex surface (i.e. locally the zero set of some holomorphic functions) and assume that $x$ an isolated ...
- 1,446