Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,496 questions
1
vote
1
answer
104
views
Finiteness of Krull dimension of commutative Noetherian ring for which maximal length of regular sequence in maximal ideals have a uniform upper bound
$\DeclareMathOperator\grade{grade}$Let $R$ be a commutative Noetherian ring. For an ideal $I$ of $R$, let $\grade(I,R)$ be the maximal length of an $R$-regular sequence in $I$.
My question is: If $\...
- 413
9
votes
0
answers
181
views
How should we picture the set of monomial orders (= positive monoid orders on $\mathbb{N}^k$)?
Motivation: So apparently there's some sort of sport competition currently going on where I live, which leads to countries being given an element of $\mathbb{N}^3$ called a “medal count”, and not ...
- 32.5k
0
votes
0
answers
176
views
$\mathbb{C}(x,f,g)=\mathbb{C}(x,y)$, with each pair of $\{f,g,x\}$ not generating $\mathbb{C}(x,y)$
Let $f,g \in \mathbb{C}[x,y]$ with total degrees $\deg_{1,1}(f),\deg_{1,1}(g) \geq 1$.
Write,
$f=a_ny^n+a_{n-1}y^{n-1}+\cdots+a_1y^1+a_0$
and
$g=b_my^m+b_{m-1}y^{m-1}+\cdots+b_1y^1+b_0$,
for some $n,m ...
- 2,837
3
votes
1
answer
504
views
Description of prime ideals in $\operatorname{Spec}(\mathbb{Z}[x_1, \dots, x_n])$
Edit: This seems to be wrong, as pointed out by Will Sawin in the comments.
The prime ideals of $\mathbb{Z}$ and $\mathbb{Z}[x]$ are well-known. It is also not too hard to compute the underlying set ...
- 461
23
votes
3
answers
2k
views
What are some toy models for the stable homotopy groups of spheres?
The graded ring $\pi_\ast^s$ of stable homotopy groups of spheres is a horrible ring. It is non-Noetherian, and nilpotent torsion outside of degree zero.
Question: What are some "toy models" ...
- 64k
1
vote
1
answer
67
views
An example of a commutative ring $R$ which has a proper right ideal which is not a right SIP $R$-module
Recall that a module $M_R$ ($R$ is a ring with unity) is called SIP if the intersection of any two summands of $M$ is also a summand. I asked before if there exists a commutative ring which is not an ...
- 324
6
votes
1
answer
225
views
Integral preimages of topologically noetherian, affine schemes
Let $A\to B$ be a ring homomorphism, $d\in \mathbb{Z}_{>0}$ and let $C=\bigotimes^d_A B$ the $d$-fold tensor product of $B$ over $A$. Then $\mathfrak{S}_d$, the symmetric group of $d$ elements, ...
4
votes
1
answer
187
views
Order of pole of Poincaré series
Let $R = \bigoplus_{n \geq 0} R_n$ be a graded Noetherian ring and $M = \bigoplus_{n \geq 0} M_n$ a finitely generated graded $R$-module. Let $\lambda$ be an additive function on the class of all ...
- 331
6
votes
2
answers
219
views
Steinitz isomorphism theorem for non-Dedekind domains
(Cross-posted from https://math.stackexchange.com/questions/4931582/steinitz-isomorphism-theorem-for-non-dedekind-domains)
Fix a Dedekind domain $R$ and fractional ideals $I, J$. It's a classical ...
- 63
2
votes
1
answer
112
views
Example of non injective module over Noetherian local ring with trivial vanishing against residue field?
Is there an example of a module $M$ over a commutative Noetherian local ring $(R,\mathfrak m, k)$ such that $\text{Ext}_R^{>0}(k, M)=0$ but $M$ is not an injective $R$-module?
I know that for such ...
- 480
26
votes
3
answers
2k
views
Why the stable module category?
Let $R$ be a ring (usually assumed to be Frobenius). The stable module category is what you get when you take the category $\mathsf{Mod}_R$ of $R$-modules, and kill the projective modules. (Of course, ...
- 64k
1
vote
2
answers
838
views
Books one can read for 2nd course in Commutative Algebra ( Self Study)
I am a student who has completed master's but couldn't take admission to a PhD program due to some unfortunate reasons.
I have done 1 course in Commutative Algebra where I followed the book " ...
0
votes
1
answer
219
views
Finding $\mathbb{C}(u,v)$ such that $\mathbb{C}(u,v,x^p+y^p)=\mathbb{C}(x,y)$, for every prime number $p$
Denote the set of prime numbers by $P$, $P=\{2,3,5,7,\ldots\}$.
Let $F \subseteq \mathbb{C}(x,y)$ be a subfield of $\mathbb{C}(x,y)$, and for $w \in \mathbb{C}[x,y]$ denote by $F(w)$ the subfield of $\...
- 2,837
2
votes
1
answer
206
views
Localization of quasi-excellent rings are quasi-excellent?
If $R$ is a quasi-excellent ring, then is $R_{\mathfrak p}$ also quasi-excellent for every prime ideal $\mathfrak p$ of $R$ ?
I think Matsumura's commutative ring theory book says that localization of ...
- 480
3
votes
2
answers
246
views
Explicit description of transfer for $K_1$
Let $R$ be a commutative regular ring and let $s \in R$ be an element such that $R / s$ is also regular. Then we have a long exact localization sequence
$$
\ldots \rightarrow K_i(R/s) \rightarrow K_i(...
3
votes
0
answers
190
views
How can I prove this stronger version of Fedder's Criterion?
I was reading Fedder's original paper which proved what is now known as "Fedder's criterion". I noticed that the abstract stated something which is a priori stronger than what is proved in ...
- 317
0
votes
1
answer
474
views
A subfield $R \subseteq \mathbb{C}(x,y)$ with 'many' generators $w$, $R(w)=\mathbb{C}(x,y)$
Let $R \subseteq \mathbb{C}(x,y)$ and assume that $R=\mathbb{C}(u,v)$, where $u,v \in \mathbb{C}[x,y]$ are algebraically independent over $\mathbb{C}$.
Here $\mathbb{N}$ includes $0$.
Assume that $R$ ...
- 2,837
1
vote
1
answer
149
views
$F=\mathbb{C}(u,v)$ satisfying: For every $a,b \in \mathbb{C}[y],c,d \in \mathbb{C}[x]$: $\mathbb{C}(x,y)=F(ax+b)=F(cy+d)$
Let $u,v \in \mathbb{C}[x,y]$, where $u$ and $v$ are algebraically independent over $\mathbb{C}$ and $F=\mathbb{C}(u,v)$. Of course, $d:=[\mathbb{C}(x,y):F] < \infty$.
Denote the following ...
- 2,837
1
vote
1
answer
92
views
On analytic transcendence degree and Krull dimension for homomorphic images of power series rings
Let $k$ be a field of characteristic zero and $I$ be a radical ideal of $k[[x_1,\ldots, x_n]]$. Let $P$ be a minimal prime ideal of the reduced ring $R:=k[[x_1,\ldots, x_n]]/I$. Then, $R_P$ is a field ...
- 480
2
votes
0
answers
213
views
Open problems in differential algebra and affine algebraic geometry
I am currently doing a PhD in differential algebra and affine algebraic geometry at the University of Buenos Aires. I've been struggling to find a list of interesting and big open problems in these ...
44
votes
4
answers
3k
views
Do rings of smooth functions differ from rings of continuous functions?
Let $M$, $N$ be connected nondiscrete compact smooth manifolds. Can the ring of continuous functions on $M$ be isomorphic to the ring of smooth functions on $N$?
- 6,962
1
vote
1
answer
287
views
Unpacking the plethystic substitution $h_n[n\mathbf{z}]$ in a paper by Aval, Bergeron and Garsia
I'm not familiar with the formalism of plethysm, so I need some help in unpacking the plethystic substitution $h_n[n\mathbf{z}]$ found in eqns. 5.6 and 5.9 of "Combinatorics of labelled ...
- 10.5k
5
votes
2
answers
280
views
Freeness of a quotient module over a regular local ring
Let $R$ be a regular local ring with maximal ideal $m$. Let $t\in m\setminus m^2$. Let $N$ be a submodule of a finitely generated free $R$-module $M$ satisfying
$$ tM \subseteq N \subseteq M.$$
...
- 429
1
vote
1
answer
88
views
Transcendence degree and Krull dimension for homomorphic images of power series rings
Let $k$ be a field of characteristic zero and $I$ be a radical ideal of $k[[x_1,\ldots, x_n]]$. Let $P$ be a minimal prime ideal of the reduced ring $R:=k[[x_1,\ldots, x_n]]/I$. Then, $R_P$ is a field ...
- 480
3
votes
1
answer
260
views
Cancellation in polynomial composition
Let $k$ be a field. Suppose $P,Q,R\in k[x]$ satisfy $P\circ Q=P\circ R$. What can we conclude about $Q$ and $R$?
It may not be the case that $Q=R$; for example, if $P=x^2$, any polynomials $Q,R$ with $...
- 545
4
votes
2
answers
227
views
Maximal subgroups of finite abelian $2$-groups
Suppose $G$ is a finite abelian $2$-group, and $S$ is a subset of $G$, $\langle S\rangle=G$,$S^{-1}=S$,$e\notin S$. How to determine whether there exists a maximal subgroup $M$ of $G$, such that $S$ ...
- 173
1
vote
1
answer
52
views
Exceptional Lenz-Barlotti classes IVa.3 and IVb.3
On this web-site, devoted to the Lenz-Barlotti classification of projective planes, it is written that the class IVa.3 (and its dual IVb.3) is somewhat exceptional, because it contains exactly one ...
- 42k
1
vote
0
answers
104
views
Is a normal domain a filtered colimit of Noetherian normal domains?
As described in the title, is any normal domain a filtered colimit of Noetherian normal domains? It will be great if one can show this, even with additional conditions, or if one can provide a ...
- 1,024
2
votes
1
answer
152
views
A commutative ring with unity which does not have relatively pseudo-injective ideals with zero intersection
Let $R$ be a ring with $1$ and $M$ and $N$ be any right $R$-modules. We say that $M$ is pseudo-$N$-injective if every $R$-monomorphism $f:X \to M$ from a submodule $X_R$ of $N_R$ can be extended to $N$...
- 324
7
votes
3
answers
988
views
A polynomial identity for $\displaystyle \sum_{k=0} ^m (-1)^ka^{m-k}b^k$
I asked this question on MSE here.
I was solving this problem:
Show that if $\gcd(a, b) = 1$ and $p$ is an odd prime, then $\displaystyle \gcd\left(a+b, \frac{a^p+b^p}{a+b}\right)=1$ or $p$.
This ...
- 541
2
votes
0
answers
171
views
Principle of degeneration as precursor of Zariski's connectedness theorem (geometric intuition)
I have following question about so-called "principle of degeneration"
in algebraic geometry (which in modern terms is an immediate consequence
of Zariski's main theorem and goes in it's ...
- 6,038
5
votes
2
answers
754
views
A version of Hilbert's Nullstellensatz for real zeros
$\newcommand\R{\Bbb R}$Let $Q(x_1,\dots,x_n)\in\R[x_1,\dots,x_n]$ be an irreducible polynomial such that the dimension of the set $Z:=\{(x_1,\dots,x_n)\in\R^n\colon Q(x_1,\dots,x_n)=0\}$ (defined, say,...
- 128k
4
votes
1
answer
267
views
A particular morphism being zero in the singularity category
Let $R$ be a commutative Noetherian ring and $D^b(R)$ be the bounded derived category of finitely generated $R$-modules. Let $D_{sg}(R)$ be the singularity category, which is the Verdier localization $...
- 361
5
votes
2
answers
199
views
Determining the multiplication via addition and some unary operation
It is known that the addition operation in a skew-field $F$ (more generally, in a quasifield) is uniquely determined by the multiplication operation and the unary involutive operation $1_{-}:F\to F$, ...
- 42k
1
vote
1
answer
136
views
Artinian Gorenstein subrings with same socle degree
I am looking for examples of Artinian Gorenstein subalgebras with the same socle degrees.
More precisely, let $A$ be an Artinian Gorenstein $k$-algebra (with $k$ algebraically closed of characteristic ...
- 1,593
2
votes
0
answers
182
views
Integers as polynomials in infinite variables
This question is more of a request for reference or ideas than else. Forgive (or correct) if there are imprecisions or blatant mistakes.
The main idea is that the unique factorization theorem for $\...
- 29
1
vote
0
answers
181
views
Examples of semirings where the additive neutral element is not absorbing for multiplication
In the case of a non unital ring, the additive 0 must be absorbing for the multiplication because we have a⋅0 = a⋅(a − a) = a⋅a − a⋅a = 0 and similarly on the other side.
In the case of a unital ...
- 2,655
5
votes
1
answer
349
views
Commutator subgroup of $\mathrm{GL}_n(R)$ when $R$ is a PID with unity
Hua and Reiner in their paper titled "Automorphisms of the unimodular group" have established what will be the commutator subgroup of $\mathrm{GL}_n(\mathbb{Z})$, $\forall n\geq 0$. I have ...
- 51
6
votes
0
answers
632
views
Generating functions in countable commutative monoids
Let $f: \mathbb{N}_0 \rightarrow \mathbb{C}$ be a function. The power series of $f$ can be viewed as the function $\mathscr{P}_f : q \mapsto \sum_{n \in \mathbb{N}_0}^{} f(n)q^n$ where $q \in \mathbb{...
- 405
2
votes
0
answers
275
views
Can the completion of a local domain which is not a field be a field?
I would like to prove/disprove the following claim:
Let $A$ be an equicharacteristic local domain, and denote by $\widehat{A}$ its completion with respect to its maximal ideal. If $\widehat{A}$ is ...
- 293
2
votes
0
answers
93
views
Minimal injective resolution and change of rings
Let $R$ be a commutative Noetherian ring. For an $R$-module $M$, let $0\to E^0_R(M)\to E^1_R(M)\to \ldots $ denote the minimal injective resolution of $M$. I have two questions:
(1) If $I$ is an ...
- 480
6
votes
1
answer
571
views
Original proof of Hilbert irreducibility theorem
Does there exist a modern exposition of Hilbert's original (1892) proof of the Hilbert irreducibility theorem? Of course, I can (and will) read Hilbert's original article, but I would feel more ...
- 1,294
3
votes
0
answers
33
views
Algorithm to determine closedness of orbits?
Consider a reductive group $G$ acting on an affine variety $X$. It is known that for every $x\in X$, we have $G.x\subseteq\overline{G.x}$ is open dense. Then $\partial({G.x})\subseteq X$ is a closed ...
- 930
2
votes
1
answer
181
views
Is the derived support $\{x\in X\:|\: \mathsf{L}x^* M\neq 0\}$ closed?
Let $X$ be a scheme and consider an object $M$ of its derived category $\mathsf{D}_\text{qc}(X)$, defined as the full subcategory of $\mathsf{D}(\textsf{Mod}(\mathcal{O}_X))$ consisting of the ...
- 771
1
vote
1
answer
156
views
Convergence of a product in $\mathbb Q_2[[X]]$
I thought it would be very easy to prove, but in fact, I did not manage to prove or disprove this fact:
the sequence of polynomials $$\left(\prod_{j=0}^k\big(1-2^{2^j}X\big)\right)_{k\in\mathbb N}$$
...
- 3,998
1
vote
0
answers
59
views
If $E \subseteq F=k(x_1,\ldots,x_r)$, satisfies $E(x_1^{i_1},\ldots,x_r^{i_r})=F$, for every $(i_1,\ldots,i_r) \neq (0,\ldots,0)$, then $[F:E] \leq 2$
For $r \geq 2$, let $A_r=\mathbb{C}[x_1,\ldots,x_r]$,
$F_r=\mathbb{C}(x_1,\ldots,x_r)$ the field of fractions of $A_r$, and $E_r \subseteq F_r$ an arbitrary subfield of $F_r$ with $[F_r:E_r] < \...
- 2,837
6
votes
1
answer
272
views
Ideals of functions whose zero locus is a submanifold
Let $M$ be a smooth $m$ dimensional manifold. Suppose that $f_1,\dots,f_k\in C^\infty(M)$ are smooth functions such that the zero locus $$N:=Z_f=\lbrace p\in M:\ f_i(p)=0,\ \forall i=1,2,\dots,k\...
- 3,307
3
votes
0
answers
111
views
When is a ring complete with respect to its nilradical?
Let $R$ be a commutative ring and let $I$ be its nilradical. When is $R$ complete with respect to $I$?
For example, if $I$ is finitely generated, there exists $N$ such that $I^N = 0$ and thus $R$ is ...
- 2,368
5
votes
1
answer
248
views
On the bounded derived category of sheaves with coherent cohomology
Let $(X,\mathcal{O}_X)$ be a locally ringed space such that $\mathcal{O}_X$ is locally notherian, and let $\operatorname{Coh}(\mathcal{O}_X)$ be the category of coherent $\mathcal{O}_X$-modules. The ...
- 541
1
vote
1
answer
366
views
Proj construction and nilpotent homogenous elements in graded ring
Let $A= \bigoplus_{n \ge 0} A_n$ be a commutative Noetherian graded ring and $f \in A_d$ a nonzero homogeneous element of degree $d>0$. The natural ring map $q:A \to A/(f)$ induces a well defined ...
- 6,038