Questions tagged [ac.commutative-algebra]

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

Filter by
Sorted by
Tagged with
4 votes
0 answers
91 views

What is the Goldie dimension of the ring of stable stems?

Let $p$ be a prime, and let $\pi_\ast^{(p)}$ be the ring of stable homotopy groups of spheres localized at the prime $p$. This is a nonnegatively-graded-commutative ring with $\mathbb Z_{(p)}$ in ...
Tim Campion's user avatar
  • 60.5k
2 votes
0 answers
141 views

Trying to decode a module functor

This is section 5.1 from, ARITHMETIC DERIVATIVES THROUGH GEOMETRY OF NUMBERS by Hector Pasten. Let $A$ be a commutative unitary ring, let $R$ be a commutative monoid, and let $\alpha : R \to A$ be a ...
Ilk's user avatar
  • 679
8 votes
2 answers
402 views

Structure theorem for artinian modules?

Let $K$ be a field and let $A$ be a $K$-algebra which is finite dimensional as $K$-vector space. Then the nice structure theorem for artinian rings says that we can write $A$ as the direct product of ...
Hans's user avatar
  • 2,863
2 votes
1 answer
79 views

derived completion and flat base change

Let $f:A \to B$ be a flat morphism of commutative $p$-adic completely rings. We denote by $D_{\text{comp}}(A)$ the derived category of complexes over $A$, which is derived $p$-adic complete. For a ...
OOOOOO's user avatar
  • 357
0 votes
0 answers
43 views

Dimension inequality for primary groups

Let $p$ be a prime number and $G$ an abelian group. The group $G$ is said to be $\textbf{primary}$ if every element of $G$ has order power of $p$. For every natural number $n$, we define $$\ker(p^n)=\{...
Nini's user avatar
  • 31
2 votes
1 answer
127 views

Solvability of derivation Lie algebras of local finite-dimensional commutative algebras

Let $A$ be a finite-dimensional local commutative algebra (with one) over a characteristic zero field $k$. Is it true that the Lie algebra $\operatorname{Der}_k(A)$ of $k$-derivations of $A$ is ...
მამუკა ჯიბლაძე's user avatar
0 votes
0 answers
79 views

Integral closure in the total ring of fractions of reduced ring. Is it finitely generated?

Let $R = \bigoplus_{i = 0}^\infty R_i$ be a reduced finitely generated graded $\mathbb{C}$-algebra, $R_0 = \mathbb{C}$. Let $\overline{R}$ be the integral closure of $R$ in its total ring of fractions....
user197284's user avatar
1 vote
0 answers
268 views

Presentation of Chevalley groups over Bezout domains

Let $\Phi$ be a root system of type $A_1$, $A_2$, $B_2$ or $G_2$. For a (commutative, unital) ring $R$, consider the group $G_{\Phi}(R)$ defined by Steinberg's presentation as in [1, Theorem 12.1.1 ...
Timothée Marquis's user avatar
1 vote
0 answers
60 views

The eventual number of generators of modules of which $M$ is a subquotient

Let $R$ be a (commutative) ring and let $M$ be an $R$-module. Say that $M$ is subfinitely generated if $M$ is a submodule of a finitely-generated module. Write $$\mathcal F(M) = \{ M \rightarrowtail N ...
Tim Campion's user avatar
  • 60.5k
8 votes
1 answer
171 views

Do graded-commutative rings satisfy the strong rank condition?

Let $R$ be a ring. Recall that $R$ is said to satisfy the strong rank condition if, whenever $R^m \to R^n$ is a monomorphism of right $R$-modules (with $m,n \in \mathbb N$), we have $m \leq n$. It is ...
Tim Campion's user avatar
  • 60.5k
0 votes
0 answers
109 views

Characterisation of even characteristic quadratic system

$\DeclareMathOperator\supp{supp}$Let $f_i \in \bar{\mathbb{F}}_2[x_1,..,x_5]$ for $1 \leq i \leq 5$ be such that $f_1(\bar{x}) = x_1 + x_5^2 + q_1$, $f_2(\bar{x}) = x_2 + x_1^2 + q_2$, $f_3(\bar{x}) = ...
Rishabh Kothary's user avatar
11 votes
2 answers
1k views

A problem in commutative algebra whose solution requires algebraic geometry (resp., noncommutative algebra)?

One can argue that commutative algebra is affine algebraic geometry. However, a great deal of commutative algebra generalizes to non-commutative algebra, and in that setting there is little geometry, ...
Jesse Elliott's user avatar
2 votes
0 answers
70 views

Example of a ruled, CM, $ \mathbb{Q} $-factorial, normal, Mori dream space whose Cox ring is integral but not CM,

This question is related to one I asked here in Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM. In ...
Schemer1's user avatar
  • 789
1 vote
0 answers
97 views

Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM

Does anyone know an example of a $ \mathbb{Q} $-factorial, normal, Cohen Macaulay, projective, Mori dream space $ Z $ over a field $ k $ of arbitrary characteristic such that the Cox ring of $ Z $ is ...
Schemer1's user avatar
  • 789
2 votes
1 answer
136 views

For an element in the integral closure of an ideal $I$ - which power is in $I$?

Consider an ideal $I$ in a ring $R$. If $f \in R$ belongs to the integral closure of $I$, then there is $k_0 \geq 0$ such that $f^k \in I^{k-k_0}$ for all $k \geq k_0$. Are there any known upper ...
pinaki's user avatar
  • 4,982
1 vote
0 answers
104 views

Lengths and additive invariants which preserve positivity

The length of a module is well-known to be an additive invariant of finite-length modules. That is, if $R$ is a ring and $Art(R)$ its category of finite-length modules, then $length : Ob (Art(R)) \to \...
Tim Campion's user avatar
  • 60.5k
3 votes
0 answers
85 views

Commutant of irrep of $S_n$ (over local field)

Let $k$ be a field of characteristic zero and let $(V, \rho)$ be a finite-dimensional representation over $k$ of the symmetric group $S_n$. I would like to understand the commutant $\operatorname{End}...
bsbb4's user avatar
  • 291
1 vote
1 answer
105 views

A question on classification of quadratic polynomials in even characteristic

$\DeclareMathOperator\supp{supp}$Let $f_1,...,f_n \in \bar{\mathbb{F}}_2[x_1,...,x_n]$ such that $f_i = x_i + q_i$ for $1\leq i \leq n-1$ and $f_n = q_n$ where $q_1,...,q_n$ are homogenous quadratic ...
Rishabh Kothary's user avatar
5 votes
1 answer
260 views

Generalizations of Chevalley–Shephard–Todd's Theorem?

Major Edit I will reformulate my question signicantly, given Anton Geraschenko's comment. The old version of the question is bellow. For simplicity, my base field is $\mathbb{C}$. If $G<\...
jg1896's user avatar
  • 2,683
0 votes
0 answers
71 views

Let $A, B$ be matrices with elements in $\mathbb{Z}_n$, does $\ker A = \ker B$ imply that they are row equivalent?

Let $A, B$ be matrices with elements in $\mathbb{Z}_n$. If $A x = 0$ and $B x = 0$ have the same set of solutions, where the vectors also have elements in $\mathbb{Z}_n$, does this mean that there is ...
José's user avatar
  • 209
6 votes
2 answers
1k views

Prove that $\Bbb C[x,y]/(x^3+y^3-1)$ is not a UFD

I am posting this question on MO since I haven't received any answers on MSE. Below is my (very elementary) attempt. Feel free to post a solution using facts in algebraic geometry and facts about ...
user108580's user avatar
17 votes
1 answer
660 views

Multiply an integer polynomial with another integer polynomial to get a "big" coefficient

I have copied this question from StackExchange, in the hope that some experts here can provide some relevant insight. Thanks to Greg Martin for improving the question. Given $f(x) = a_0 + a_1 x + a_2 ...
ghc1997's user avatar
  • 763
1 vote
1 answer
95 views

Existence of a symmetric matrix satisfying certain irreducible conditions

Let $K$ be a field such that $ \mathrm{char}(K) \neq 2 $. Let $ p(x) $ be an arbitrary irreducible polynomial over $K$ of degree $n$. Using the rational canonical form, we can always construct an $ n ...
Sky's user avatar
  • 913
2 votes
1 answer
174 views

Lazard module structure of rings with formal elliptic curve

Recently in algebraic topology I was working with a certain graded ring $R$ equipped with an elliptic curve $C$. Now completion at the identity gives a 1-dimensional formal group $G$. This induces a ...
Reihe27's user avatar
  • 23
0 votes
0 answers
88 views

Invariants of primary groups

In Kaplansky's book "Infinite Abelian Groups", an abelian group $G$ is called primary if every element has order power of $p$ for some fixed prime number $p$. It is well-known that every ...
Nini's user avatar
  • 31
3 votes
0 answers
69 views

Locally compact rings with reciprocals

A topological field is defined to be a topological ring $F$ with reciprocals such that the reciprocal function $F\setminus\{0\} \to F\setminus\{0\}$ is continuous. Locally compact topological fields ...
Andre Kornell's user avatar
7 votes
1 answer
342 views

An example of radical ideal which is irreducible but not prime

$\DeclareMathOperator\rad{rad}$I am searching an example of ideal $I$ of a ring $R$ such that $\rad(I)$ is irreducible but not prime ideal. In case $R$ is Noetherian, the radical of $I$ being ...
Eloon_Mask_P's user avatar
1 vote
0 answers
86 views

Quotient of a polynomial ring with a prime ideal is Cohen$-$Macaulay

[Bruns-Herzog, Exercise 2.1.17] Let $k$ be a field and $R = k[x_1, . . . , x_n]$. Suppose $\mathfrak{p} \subset R$ is a prime ideal, $ht\mathfrak{p} \in \{0, 1, n − 1, n\}$. Show that $R/\mathfrak{p}$ ...
Anik Bhowmick's user avatar
3 votes
0 answers
103 views

Multiplication map by a ring element on an object vs. all its suspensions in singularity category

Let $R$ be a commutative Noetherian ring, consider the bounded derived category of finitely generated $R$-modules $D^b(R)$ and consider the singularity category $D_{sg}(R):=D^b(R)/D^{perf}(R)$. Let $r\...
uno's user avatar
  • 280
0 votes
1 answer
123 views

Is the integral closure of a henselian local domain of dimension $1$ again local?

Let $(R,\mathfrak m)$ be a local domain of dimension $1$. Let $\overline R$ be the integral closure of $R$ in the field of fractions $Q(R)$. If $R$ is henselian, then is $\overline R$ also a local ...
uno's user avatar
  • 280
0 votes
0 answers
172 views

Finite monomorphism $A \to B$ with reduced $A$ and special fiber implies $B$ reduced

I have a question about correctness of following statement claimed here in $\boxed{2} \ $: Let $k$ arbitrary field, let $f : X \longrightarrow Y$ be a finite dominant morphism between finite type $k$-...
user267839's user avatar
  • 5,938
0 votes
1 answer
127 views

Existence of cyclic subspace decompositions for pairs of commuting matrices

Let $\mathbb{K}$ be an arbitrary field (possibly finite). Let $V$ be a finite-dimensional vector space over $\mathbb{K}$, and let $A,B$ be two linear endomorphisms of $V$ which commute. For $v\in V$, ...
Abdelmalek Abdesselam's user avatar
3 votes
1 answer
108 views

Vanishing of self-hom in Spanier–Whitehead stabilization category

$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\SW{SW}$Let $R$ be a commutative Noetherian ring. For $R$-modules $M,N$, let $\mathcal I_R(M,N)$ be the collection of all $f\in \text{Hom}_R(M,N)$ ...
Snake Eyes's user avatar
1 vote
1 answer
135 views

Cohen–Macaulayness of $k[[x^2, x^3, xy, y]]$ over $k[[x^2, y]]$

Let $k$ be a field and $R = k[[x^2, y]]$ and $S = k[[x^2, x^3, xy, y]]$. Since $R \subset S$, is $S$ Cohen–Macaulay as $R$-module? To check this, what I have observed is that in $S$, the maximal ...
Anik Bhowmick's user avatar
0 votes
1 answer
120 views

Unitary representation of a group of automorphism on an abelian algebra

Given an abelian C*-algebra $\mathcal{A}$, a state $\omega$, a strongly continuous group of *-automorphism $\{\tau_t : t \in \mathcal{R}\}$, and given a representation $ (\pi(\mathcal{A}), \mid \...
MBlrd's user avatar
  • 33
4 votes
1 answer
120 views

DG algebra structure on minimal free resolution of modules over regular local ring

Let $(Q, \mathfrak n, k)$ be a regular local ring. Let $I\subseteq \mathfrak n^2$ be an ideal, and fix a minimal generating set $\mathbb f= f_1,\cdots, f_n$ of $I$. The Koszul complex $E:= Q[e_1,...,...
uno's user avatar
  • 280
1 vote
1 answer
185 views

Finitely generated $\mathbb{Z}$-algebra embeds into unramified $p$-adic ring

Let $R$ be a finitely generated ring, that is, a $\mathbb{Z}$-algebra of finite type. Assume that $\operatorname{char}(R) = 0$. It follows from Noether's normalization lemma that $R$ can be embedded ...
HASouza's user avatar
  • 293
5 votes
2 answers
720 views

If every ascending chain of ideals leading up to an ideal stabilises, is the ideal finitely generated?

I'm a fourth-year undergraduate currently studying a master's degree. In the last couple of weeks, I have been wondering about the interaction of the Noetherian condition with the prime ideals of a ...
A. S.'s user avatar
  • 53
7 votes
1 answer
306 views

When is a module a filtered colimit of finitely presented submodules?

For a (commutative, say) ring $R$, and an $R$-module $M$ it is known that $M$ is both: a filtered colimit of finitely generated $R$-submodules (by considering all finite subsets of $M$ and ...
Jakob's user avatar
  • 1,986
5 votes
1 answer
337 views

Does the category of integral domains admit a symmetric monoidal structure?

Let $\mathbf{Int}$ be the category of integral domains with injective homomorphisms. Does it admit a symmetric monoidal structure? If so, can we choose $\mathbb{Z}$ as the unit object? If it helps to ...
Martin Brandenburg's user avatar
4 votes
2 answers
275 views

On a generalized homotopy transfer theorem

In the book of Loday and Vallette "Algebraic Operads" a necessary condition for the Homotopy Transfer Theorem is that the starting operad is Koszul. I am interested in a generalization of ...
groupoid's user avatar
  • 197
4 votes
2 answers
176 views

Intersection of commutative factorial domains: completely integrally closed and Krull domain

Let $A=\bigcap_{t\in T}D_t$ be an integral domain such that $D_t$ is a commutative factorial domain for every $t\in T$. It is quite natural to see that $A$ is a completely integrally closed domain. ...
Mara Pompili's user avatar
0 votes
0 answers
135 views

Understanding the relations without the knowledge of Plucker relations [duplicate]

Consider the grassmannian $\mathrm{Gr}(2,5)$. We know there is an embedding of $\mathrm{Gr}(2,5)$ into $\mathbb{P}^9$ by using the 10 Plucker coordinates, and they satisfy 5 Plucker relations. And, so ...
It'sMe's user avatar
  • 767
2 votes
0 answers
59 views

Length of $\text{Tor}$ modules in complete intersection rings with characteristic $p$

Let $(R,m)$ be a complete intersection ring with characteristic $p$. If $M$ is a finitely generated $R$-module with finite length i.e. $l(M)<\infty$, it follows that $l(F(M))\geq p^nl(M)$, where $n=...
Display name's user avatar
0 votes
0 answers
60 views

Estimation for dimension of support and associated primes of a module of depth zero

Let $(R,\mathfrak{m})$ be a local Noetherian ring and $M$ a finitely generated $R$-module of depth zero, ie $\operatorname{depth}(M):=\text{depth}_{\mathfrak{m}}(M)=0$. Can we make some interesting ...
user267839's user avatar
  • 5,938
1 vote
1 answer
183 views

Degree three, codimension one subvarieties lying on a quadratic hypersurface

Let $H$ be an irreducible hypersurface in $\mathbb P^n$ of large-ish degree, say 14. This question is about subvarieties $V$ of $H$ such that $V$ has codimension 1 in $H$ (i.e. $V$ has dimension $n-2$...
Simon L Rydin Myerson's user avatar
5 votes
1 answer
580 views

Is every character of the algebra of continuous functions on a locally compact space some evaluation?

Given any locally compact Hausdorff space $X$, let $C(X)$ denote the complex algebra of all complex-valued continuous functions on $X$. Question. Given an arbitrary character (i.e. a non-zero ...
Hua Wang's user avatar
  • 950
3 votes
1 answer
218 views

(non)reduced stabilizer scheme

A well known open question is whether the scheme of commuting pairs in a complex reductive group $G$, for example in $G=GL(n)$, is reduced. The variety of commuting pairs is a special case of a more ...
Roman's user avatar
  • 1,496
2 votes
1 answer
323 views

Correspondence between fundamental group and geometric properties of $X$

At the time of studing some algebraic topology I was wondering about the following. Let $X$ be a topological space and $\pi_1(X)$ be its fundamental group. If we assume some algebraic property of $\...
KAK's user avatar
  • 321
6 votes
0 answers
173 views

Ext for commutative Gorenstein algebras

Let $A$ be a finite dimensional commutative Gorenstein $K$-algebra over a field $K$. Question 1: Is there an easy example of $A$-modules $M$ and $N$ such that $\mathrm{Ext}_A^1(M,N)=0$ but $\mathrm{...
Mare's user avatar
  • 25.7k