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
0 votes
0 answers
71 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 ...
2 votes
0 answers
74 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$, ...
2 votes
0 answers
50 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 $...
3 votes
1 answer
207 views

Van der Waerden's classical paper on Hilbert polynomials and Bezout's theorem

Is it possible to obtain an electronic copy of Van der Waerden's "On Hilbert series of composition of ideals and generalisation of the Theorem of Bezout", Proceedings of the Koninklijke ...
5 votes
1 answer
571 views

Infinite dimensional involutions: infinitely large sets of multivariate polynomials self-inverse under self-substitution

Examples of infinite dimensional involutions Edit 2/25/23, as suggested by YCOR below: (Start) The first return on a Google search on involution--from late Latin 'a rolling up'--gives the Oxford ...
70 votes
14 answers
21k views

Elementary / Interesting proofs of the Nullstellensatz

Is there an easy proof of the Nullstellensatz that avoids the standard Noether-normalization techniques? One proof I know proves first the 'weak' Nullstellensatz which ensures that maximal ideals ...
3 votes
1 answer
150 views

Kernel of a map of Tate algebras

Let $A$ and $B$ be a pair of noetherian Tate algebras over $\mathbb{Q}_p$, and assume $\text{dim}_{\text{Krull}}(B) > \text{dim}_{\text{Krull}}(A)$. Is it true that any morphism $B \longrightarrow ...
3 votes
0 answers
72 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-...
1 vote
1 answer
97 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 ...
101 votes
30 answers
28k views

Errata for Atiyah–Macdonald

Is there a good list of errata for Atiyah–Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists ...
1 vote
0 answers
55 views
+50

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$ ...
1 vote
0 answers
105 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 votes
1 answer
174 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, ...
3 votes
1 answer
241 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 ...
4 votes
1 answer
350 views

Values attained by the coheight of $(H \setminus H^\times)^k$ as a function of $H$ and $k$

Edit (Apr 24, 2017). I'm updating this post in the light of the latest developments of a related thread. Let $H$ be a multiplicatively written, commutative monoid, and set $M := H \setminus H^\times$,...
5 votes
0 answers
163 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} \...
7 votes
1 answer
525 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 ...
0 votes
1 answer
217 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 ...
1 vote
1 answer
152 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 ...
1 vote
1 answer
186 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 ...
2 votes
0 answers
110 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 ...
1 vote
0 answers
40 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 ...
1 vote
0 answers
48 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$...
2 votes
0 answers
152 views

A direct proof that every projectivity between parallel lines is affine

Definition 1. An affine plane is a pair $(X,\mathcal L)$ consisting of a set $X$ and a family $\mathcal L$ of subsets of $X$ called lines which satisfy the following axioms: Any distinct points $x,y\...
18 votes
5 answers
7k views

Is $x^p-x+1$ always irreducible in $\mathbb F_p[x]$?

It seems that for any prime number $p$ and for any non-zero element $a$ in the finite field $\mathbb F_p$, the polynomial $x^p-x+a$ is irreducible over $\mathbb F_p$. (It is of course obvious that ...
21 votes
1 answer
570 views

Existence of a polynomial $Q$ of degree $\geq (p-1)/4$ in $\mathbb F_p[x]$ such that $QQ'$ factorizes into distinct linear factors

For all primes up to $p=89$ there exists a product $Q=\prod_{j=1}^d(x-a_j)$ involving $d\geq (p-1)/4$ distinct linear factors $x-a_j$ in $\mathbb F_p[x]$ such that $Q'$ has all its roots in $\mathbb ...
4 votes
0 answers
220 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 votes
1 answer
169 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 votes
3 answers
496 views

Cohen-Macaulay property for reducible schemes

I have the following question about certain schemes being Cohen-Macaulay. Let $X$ be the union of all coordinate $k$-planes in ${\mathbb A}^N$. Is it CM? Let $R$ be a collection of $k$-element ...
1 vote
0 answers
123 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 ...
6 votes
0 answers
571 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{...
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. ...
11 votes
1 answer
2k views

geometric interpretation and differences of Gorenstein rings, Complete intersections and regular rings

Let $R$ be a local Noetherian ring. What is the geometric interpretation of: 1- Gorenstein rings 2- Complete intersections 3- Regular rings? and how can I realize differences by geometric ...
3 votes
1 answer
190 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 ...
6 votes
0 answers
489 views

Finite extensions of $\mathbb Q_p$

Is there any finite extension of $\mathbb Q_p$ which is not the completion of a finite extension of $\mathbb Q$ at some place over $p$? Analogously in equicharacteristic, if $k=\overline {\mathbb F_p}$...
1 vote
0 answers
96 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 $\...
12 votes
3 answers
4k views

Existence of prime ideals and Axiom of Choice.

One of the must obvious equivalences of Axiom of Choice is the converse of Krull Theorem. Bernhard Banaschewski in the Article titled by A New Proof that “Krull implies Zorn” showed a very simple ...
23 votes
7 answers
3k views

When can we prove constructively that a ring with unity has a maximal ideal?

Many commutative algebra textbooks establish that every ideal of a ring is contained in a maximal ideal by appealing to Zorn's lemma, which I dislike on grounds of non-constructivity. For Noetherian ...
1 vote
1 answer
458 views

Family of curve singularities whose generic members are smooth

Let $f: (X,x)\rightarrow (\mathbb C,0)$ be a deformation of a curve singularity $(X_0,x)$, and let $f: X \rightarrow T$ be a sufficiently small representative. Assume that $(X,x)$ is reduced and pure ...
1 vote
0 answers
81 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 $\...
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 $...
5 votes
0 answers
91 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$ ...
0 votes
0 answers
165 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\...
3 votes
0 answers
62 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 ...
3 votes
2 answers
337 views

$R$-Module objects in cartesian closed categories

I am looking for a reference for the following statement. Theorem. Let $C$ be a regular, well-powered, countably complete cartesian closed category, $R$ be a (commutative) ring object in $C$, $R\...
5 votes
2 answers
1k views

Surjectivity of the natural map of injective module to its localization

Lemma 3.3 page 214 in Hartshorne's Algebraic Geometry book states: "If $I$ is an injective module over a Noetherian ring $A$. Then for any $f\in A$, the natural map of $I$ to its localization $...
2 votes
0 answers
144 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 ...
2 votes
1 answer
287 views

When is Hilbert-Samuel multiplicity of a local ring non-increasing along localization at prime ideals?

For Noetherian local ring $(R,\mathfrak m)$, let $e(R)$ denote the Hilbert-Samuel multiplicity of $R$ with respect to $\mathfrak m$ (https://en.m.wikipedia.org/wiki/Hilbert%E2%80%93Samuel_function#...
2 votes
1 answer
392 views

Finite generation of certain graded sequences of ideals

Let $U\subset\mathbb{C}^n$ be an open set containing the origin $o$ and $Y\subset U$ a complex analytic subvariety of pure codimension $c$ with ideal sheaf $\mathcal{I}_Y$. Let $\frak{a}_{\bullet}=\{{\...
4 votes
1 answer
234 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 ...

1
2 3 4 5
107