Questions tagged [ac.commutative-algebra]
Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.
5,336
questions
1
vote
0
answers
17
views
Monomorphism which is locally of finite presentation
$\DeclareMathOperator\Spec{Spec}$Let $X$ be an affine scheme of finite type over a field. Let $Y\to X$ be a monomorphism of schemes, which is locally of finite presentation. Is it true that $f$ is ...
- 11
1
vote
1
answer
62
views
How to decompose a given polynomial by ideal generators
Given a finite set of polynomials $f_1, f_2,..., f_n$ of variables $x_1,...,x_m$, generating the ideal $I$, suppose that we have one more polynomial $g\in I$.
What is the algorythm for decomposing $g$ ...
- 609
-2
votes
0
answers
101
views
Do there exist that nonnegative polynomials? [closed]
Do there exist real polynomials $P(x)$ and $Q(x)$ with nonnegative coefficients, and $n>20$ a natural number such that
$$\left(\sum\limits_{k=0}^{n} x^k\right)^2=(x-3)^2P(x)+(x+4)^2 Q(x)?$$
- 3,801
0
votes
0
answers
45
views
Reference for packing property and König property
Can someone please suggest reference material to study about the packing property and König property of ideals and some examples?
- 11
1
vote
0
answers
61
views
Shedding faces and decomposability in simplicial complexes
Definition:
A pure d-dimensional complex
$\Delta$ is $k$-decomposable if either $\Delta$ is a $d-$simplex or $\Delta$ contains a face $F$ such that
$\dim(F) \leq k$
both $\Delta \setminus F$ and $\...
- 393
2
votes
1
answer
399
views
About nonnegative polynomials
Do there exist real polynomials $P(x)$ and $Q(x)$ with nonnegative coefficients such that
$$\left(\sum\limits_{k=0}^{20} x^k\right)^2=(x-3)^2P(x)+(x+4)^2 Q(x)?$$
I asked this question here, but I ...
- 3,801
1
vote
0
answers
69
views
Koszul cohomology associated with a regular sequence
Let $A$ be a local Noetherian ring and $M$ be an $A$-module. Let $\mathfrak{a}$ be an ideal of $A$ generated by a regular $M$-sequence $s_1,\cdots,s_r$. Let $K_\bullet(s_1,\cdots,s_r;M)$ be the Koszul ...
- 393
5
votes
2
answers
563
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,...
- 118k
1
vote
0
answers
65
views
When does sum of algebraically independent polynomial become dependent?
Given $f_1,...,f_n \in \mathbb{F}[x_1,...,x_n]$ where $f_n = g + h$. Suppose the sets $\{ f_1,...,f_{n-1},g \}$ and $\{ f_1,...,f_{n-1},h \}$ are algebraically independent then is there a ...
- 159
5
votes
0
answers
141
views
Decomposing an endomorphism as a tensor product
$\DeclareMathOperator\End{End}$Let $f$ be an endomorphism of the finite-dimensional vector space $V$, over the field $K$. The question of whether $f$ is decomposable, that is, whether $V$ can be ...
- 2,195
5
votes
0
answers
208
views
A standard name for the algebraic structure on a projective line?
Question: Is there any name for the natural algebraic structure of the projective line?
Algebraically, a projective line over a field is a set $L$ endowed with two binary operations $+$ and $\cdot$ ...
- 40.9k
2
votes
1
answer
131
views
Hilbert–Samuel multiplicity under hypersurface sections
Let $\newcommand{\frakm}{\mathfrak{m}}(R,\frakm)$ be a reduced Noetherian local ring of dimension $d$ and $f\in\frakm^\alpha\setminus\frakm^{\alpha+1}$ a parameter of $R$, i.e. $\dim R/(f)=d-1$. Let $...
- 123
12
votes
1
answer
490
views
Injective ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$
Is there an injective $\mathbb{Z}_p$-ring homomorphism from $\mathbb{Z}_p[[x,y]]$ to $\mathbb{Z}_p[[x]]$?
- 1,641
-1
votes
0
answers
70
views
A question about $M_n (R)[x]\cong M_n (R[x])$
Let $R$ be a commutative ring and $n\geq 1$. Assume that $\mathcal{I}'$ is a two-sided ideal of $M_n (R)[x]$. We know that $M_n (R)[x]\cong M_n (R[x])$. Then $\mathcal{I}'$ corresponds to an ideal $\...
- 255
1
vote
0
answers
156
views
Is it true that monomorphisms of local Artinian $\mathbb{R}$-algebras are regular?
A Weil algebra is a finite-dimensional real algebra, in which each element is the uniquely sum of a scalar and a nilpotent (so nilpotents constitute the only maximal ideal of codimension 1). In other ...
- 6,484
1
vote
0
answers
134
views
Finding if an ideal is the radical of another one
Let's suppose we have, in the ring $\mathbb{Z} [x,y,z,w,v]$, the following polynomials:
$f=xw-yz$,
$g=x^2z-y^3$,
$h=yw^2-z^3$,
$k=xz^2-y^2w$.
The question is to prove that $I=(f,g,h,k)$ is the radical ...
1
vote
0
answers
113
views
What can we say when a module of differential is free?
Let $\mathbb{C}$ complex number.
$R=\mathbb{C}[x,y]/(f)(f\in \mathbb{C}[x,y])$
If the module of differential $\Omega_{R/\mathbb{C}}$ is free $R$ module of rank one,
what can we say about $R$.
How far ...
- 83
5
votes
1
answer
276
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
2
votes
0
answers
108
views
A pattern in factorization of certrain symmetric polynomials made of sums of squares and products
Secondary-school pupils may learn things like
$$(a+b-c)^2 = a^2+b^2+c^2 +2ab - 2ac - 2bc$$
and that no choice of plus versus minus can give us
$$
(\pm a\pm b\pm c)^2 = a^2+b^2+c^2 - 2ab - 2ac - 2bc,
$$...
- 11.9k
4
votes
1
answer
237
views
$\mathbb{Z}$-homomorphism and $\mathbb{Z}_p$-homomorphism
$\newcommand{\cts}{\mathrm{cts}}$Thanks for your reading. Let $A,B$ be two $\mathbb{Z}_p$-modules, where $\mathbb{Z}_p$ is the $p$-adic integer ring. I have two questions.
Is $\mathrm{Hom}_{\mathbb{Z}...
- 61
2
votes
1
answer
171
views
Artin-Schreier theorem for rings (a little different)
Motivation:
Let me recall the well-known Artin-Schreier theorem (AST) for fields in a non-formal way; if $L$ is an algebraically closed field, and $K \subset L$ a subfield not 'much smaller' than $L$, ...
- 738
0
votes
0
answers
81
views
Relation between nullspace and row-equivalence of matrices over $\mathbb{Z}$ and $\frac{\mathbb{Z}}{n \mathbb{Z}}$?
Two matrices $D$ and $E$ over a field have the same nullspace if only if they are row-equivalent. Is the same true if those matrices are over the ring of integers ($\mathbb{Z}$) or integers mod a ...
- 209
2
votes
0
answers
108
views
Quasi-isomorphisms of P-algebras
In the paper "Homotopy algebras are homotopy algebras" from Markl a notion of strong homotopy morphism between strong homotopy P-algebras is defined. The author restricts to the case where $...
- 217
3
votes
0
answers
95
views
The criterion for dimensional conjecture for universal Galois deformation rings
I’m writing to ask a question about Mazur’s dimensional conjecture in Lemma 7.5 of the paper [Galatius S, Venkatesh A. Derived Galois deformation rings. Advances in Mathematics. 2018 Mar 17;327:470-...
- 817
1
vote
1
answer
103
views
Particular example of a quadratic extension of a nonunital ring
I want to construct a concrete non-unital ring $R$ with the following properties:
$R$ is a noncommutative non-unital ring with a right unite $r$ i.e $t.r=t$ for any $t\in R$.
$S\subset R$ is a ...
- 153
2
votes
1
answer
173
views
Noetherian local ring with non-lci formal fibers
I am looking for an example of a noetherian local ring $A$ such that its formal fibers are not complete intersection rings in the sense of https://stacks.math.columbia.edu/tag/09PY (i.e., there is a ...
- 2,863
2
votes
1
answer
187
views
Regular sequence in cohomology of Grassmannians
$\DeclareMathOperator\Gr{Gr}$Consider the polynomial ring $\mathbb{Z}[x_1,\dots,x_m, y_1,\dots,y_n]$, I want to prove that the sequence $$x_1 + y_1, x_2 + x_1y_1 + y_2, \dots, x_my_{n-1} + x_{m-1}y_n, ...
- 23
3
votes
1
answer
258
views
Is there a variety which is not locally set theoretic complete intersection?
A variety $X$ is a locally set theoretic complete intersection in a nonsingular variety $Y \supseteq X$ if each point in $X$ has a neighborhood $U$ in $Y$ such that $X \cap U$ is set theoretically the ...
- 5,099
5
votes
0
answers
200
views
Monotonicity of ratio of symmetric polynomials
The complete homogeneous symmetric polynomials of degree $\ell$ in $n$ variables are defined by
\begin{equation*}
h_{\ell}(x_1,x_2,\ldots,x_n) = \sum_{1 \leq i_1 \leq i_2 \leq \ldots \leq i_{\ell} \...
1
vote
0
answers
75
views
Is $(I(R:_{Q(R)} I))^n$ generated by $(fI)^n$ as $f$ varies over $(R:_{Q(R)} I)$?
Let $(R, \mathfrak m)$ be a Noetherian local domain of dimension $1$ which is not a UFD. Let $Q(R)$ be the fraction field of $R$. If $I\subsetneq \mathfrak m$ is a non-zero, non-principal ideal of $R$ ...
- 323
1
vote
1
answer
156
views
Isn't every algebraic operad equipped with a trivial weight?
In Loday–Vallette "Algebraic Operads" they state the following result (Theorem 6.6.2, Operadic twisting morphism fundamental theorem):
Let $P$ be a connected weight graded differential ...
- 217
1
vote
1
answer
187
views
Shrinking the base field of an affine variety
This is a question on algebraic geometry/commutative algebra.
Let $K,L$ be fields of characteristics zero and let $K\subset L$ be a field extension (I am interested in the case when this is ...
- 21
7
votes
1
answer
534
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,130
2
votes
0
answers
116
views
How to find a single-variable polynomial in a zero-dimensional ideal?
Given finitely many multivariate polynomials with algebraic coefficients that generate a zero-dimensional ideal, is there an easy way to find a nonzero single-variable polynomial in this ideal?
If we ...
- 7,573
1
vote
0
answers
42
views
If $G$ is a connected bipartite graph, then the edge ideal $I(G)$ is normally torsion free
I am studying the paper "On the Ideal Theory of Graphs" by Simis, Vasconcelos and Villarreal, Journal of Algebra 167, No. 2, 389-416 (1994), MR1283294, Zbl 0816.13003. I got stuck at theorem ...
- 11
1
vote
0
answers
50
views
Symmetric 0-dimensional schemes with generic Hilbert function and Grassmannians
I've came across this problem while thinking about some properties of fat schemes.
Let me give you an explicit (motivating) example:
We have $S=\mathbb{C}[x,y,z]$, the coordinate ring of $\mathbb{P}^2$...
- 1,333
4
votes
0
answers
223
views
When $\langle u,v,w \rangle$ is a maximal ideal in $\mathbb{C}[x,y]$?
Let $u,v,w \in \mathbb{C}[x,y]$ and let $\langle u,v,w \rangle$ be the ideal generated by $u,v,w$.
It is known that for two elements the following result holds:
$\langle u,v \rangle$ is a maximal ...
- 2,783
1
vote
0
answers
126
views
A basis of the weight space in the semi-invariant ring corresponding to the weight $\langle(2,3,2),\cdot\rangle$
I'm trying to understand Example 10.11.1 on page 225 of the book "An introduction to quiver representations" by Harm Derksen and Jerzy Weyman (see the attached screenshot below)
I want to ...
- 767
2
votes
1
answer
170
views
Finite étale cover of factorial ring
Let $A$ be a regular factorial ring.
Consider $B=A[X]/(P)$ such that $B$ is finite étale over $A$. When do we have that $B$ is also factorial?
- 3,432
2
votes
0
answers
69
views
On the closed subring of valuation rings
Let $(K,v)$ be a (not necessarily discrete) valued field of characteristic $p$ with valuation ring $\mathcal{O}$ and residue field $k$. We endow $K$ and $\mathcal{O}$ with the valuation topology. ...
- 569
3
votes
1
answer
193
views
Discrepancy between $\dim H^2(G, \mathrm{ad}(\bar \rho))$ and the number of relations in a minimal presentation of the universal deformation ring $R$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\ad{ad}\DeclareMathOperator\gen{gen}$Let $p$ be a prime and $G$ be a profinite group such that the pro-$p$ completion of every open subgroup is ...
- 817
1
vote
0
answers
102
views
Recovering a ring from its localization and completion with respect to a fixed element
Suppose I have a commutative ring $k$ and an element $x \in k$. Then I can form the localization $k[x^{-1}]$ of $k$ at the multiplicative subset $\{ 1, x, x^2, ... \}$, and I can form the completion $\...
- 61
1
vote
0
answers
82
views
Factorial surfaces and smoothness
It is well-known that normal curves are smooth. Moreover, a UFD of Krull dimension one is regular. Is there any higher-dimensional analog?
For example, given a normal projective surface $S$ over $\...
- 131
2
votes
0
answers
53
views
When does an algebraically independent set "satisfy Noether normalization"?
Let $k$ be a field, $A$ a finitely generated $k$-algebra.
By Noether normalization, we know that there exists a finite morphism of $k$-algebras $\varphi : k[x_1, \ldots, x_d] \hookrightarrow A$, with $...
- 227
0
votes
0
answers
169
views
Degree 6 Galois extension over $\mathbb{Q} $
Let L be the splitting field of $ x^3- 2$ over $ \mathbb{Q}$. Then $ G=\operatorname{Gal}(L/K) \cong S_3$. Let $\sigma\in G$ such that the fixed field of $ \sigma$ is $\mathbb{Q}(2^{1/3})$. Let $x,y\...
- 913
3
votes
0
answers
63
views
Fast checking that a system of polynomial equations is satisfiable over $\mathbb{F}_2$
I have a (fairly large) system of polynomial equations, of the form
$$
c_1d_1=0,\ c_1d_2+c_2d_1=0,\ldots
$$
(In case it is relevant, all the polynomials are homogeneous of degree 2, except for exactly ...
- 18.1k
6
votes
0
answers
581
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{...
- 397
5
votes
0
answers
94
views
Generalized Puiseux series for diagonal reflections of the curves $y = \frac{x}{(1-ax)(1-bx)^m}$
Reflection of the curve $y = f_m(x) = \frac{x}{(1-ax)(1-bx)^m}$ through the diagonal line $y=x$ in the $xy$-plane can be regarded as local compositional inversion of the curve $y=f_m(x)$. ($x,y,a,b$ ...
- 9,931
2
votes
0
answers
146
views
Resolutions of semi free (or almost free) commutative dg algebras with finitely generated cohomology
Let $A^{\bullet}:=\{ \cdots \rightarrow A^i \overset{d^i}{\rightarrow} A^{i+1} \rightarrow \cdots \rightarrow A^{-1} \rightarrow A^0 \rightarrow 0 \rightarrow \cdots \}$ be a non-positively graded ...
- 639
4
votes
1
answer
235
views
Height of a conductor ideal
We say an extension of Noetherian rings $R\subset S$ is elementary subintegral if $S=R[b]$ for some $b\in S$ with $b^2,b^3\in R$. The conductor ideal is defined to be $\operatorname{Ann}_R(S/R)$. What ...
- 161