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

learn more… | top users | synonyms (1)

6
votes
0answers
79 views

Center Picard group non-commutative algebra

I am wondering if there is a way to describe the center of the Picard group of a non-commutative algebra. Namely, let $A$ be a finitely generated algebra over a field $k$. Denote by $\mathrm{Pic}(A)$...
1
vote
0answers
47 views

Modification of nonfree locus

Let $ R $ be a commutative noetherian ring with identity. Let $ M $ be an $ R $-module. By definition the nonfree locus $ NF(M) $ of $ M $ is defined as the set of prime ideals $ {\mathfrak p} $ of $ ...
1
vote
0answers
88 views

Transitivity for algebraic extensions of integral domains?

I'm trying to prove the following result. Let $R_1\subseteq R_2\subseteq R_3$ be integral domains such that $R_1\subseteq R_2$ and $R_2\subseteq R_3$ are algebraic extensions (note: I do not want to ...
2
votes
0answers
65 views

Is the positive part of an algebraic bilateral p-adic convergent power series algebraic?

Let $\mathbb{Z}_p \{ X\}$ and $\mathbb{Z}_p \{ X , X^{-1}\}$ be the henselizations of $\mathbb{Z}_p [X]$ and $\mathbb{Z}_p [ X , X^{-1}]$ with respect to the ideals $p\mathbb{Z}_p [X]$ and $p\mathbb{Z}...
0
votes
1answer
175 views

Rings with a property similar to integral domains

For an integral domain $R$, the intersection of two non-zero ideals is also non-zero, because the product of any two non-zero elements is non-zero. Is the converse true, i.e. if $R$ has the ...
1
vote
0answers
70 views

Cyclic decomposition of an infinitely generated module

My knowledge of algebra is undergraduate linear algebra, so I apologize for my complete ignorance. Thinking about Jordan normal forms, I unintensionally came to an idea that turned out to be called a ...
6
votes
0answers
92 views

Relative variants of the Jacobson radical

Let $B$ be a commutative ring (with 1). The Jacobson radical can be defined as $$ J(B) = \{b \in B \mid \forall a \in B \colon \quad 1 + a\cdot b \text{ is a unit in } B \} $$ or $$ J(B) =\{ b \in B ...
1
vote
1answer
233 views

When are Segre- and Veronese embeddings Gorenstein?

Given a Segre product $\mathbb P^m \times \mathbb P^n$, or more generally $\mathbb P^{m_1}\times\cdots\times\mathbb P^{m_n}$, is there a characterization in terms of $m$ and $n$, or the $m_i$, for the ...
0
votes
1answer
121 views

When Hom(M,E) is injective? [closed]

Let $R$ be a commutative Noetherian ring with non-zero identity, $M$ be an $R$-module and $E$ be an injective $R$-module. When $Hom(M,E)$ is injective? Thanks.
3
votes
0answers
100 views

An operator derived from the divided difference operator $\partial_{w_0}$

Some main definitions and basic facts of divided differences: In the symmetric group $S_n$, let $s_i$ denote the adjacent transposition $(i,i+1),i\in \{1,2,\cdots,n-1\}.$ Since $S_n$ is generated by ...
0
votes
0answers
146 views

Chow classes of non-reduced sub-schemes

I am trying to understand the geometric picture of primary ideals, in particular if and how one can define a notion of multiplicity for the underlying geometric 'sets'. My understanding of the subject ...
3
votes
1answer
134 views

is the normalization of a smooth curve in a tamely ramified finite separable extension of the function field also smooth?

Let $X$ be a smooth proper curve over a field $k$, with function field $K$. Let $L$ be a finite separable tamely ramified extension of $K$, and let $Y$ be the normalization of $X$ in $L$. Is $Y\...
1
vote
1answer
93 views

Does local cohomology commute with taking the degree-zero component?

Let $S = \oplus_{d \geq 0} S_d$ be a graded (Noetherian) ring, let $I \subset S$ be a homogeneous ideal, and let $f \in S$ be a homogeneous element. Denote by $S_{(f)}$ the subring of degree-$0$ ...
3
votes
1answer
71 views

Prime ideal ramified in extension if and only if certain polynomial divides another one?

Let $k$ be a field of characteristic $ \neq 2$, and let $f \in k[T]$ be a polynomial of degree $\ge 1$ which is square free. Let $K$ be the quadratic extension $k(T)(\sqrt{f})$ of $k(T)$. I know that ...
3
votes
1answer
131 views

Non-zero coefficients of primitive polynomials

Let $R$ be the finite field with $q$ elements, and let $m,n\in \mathbb{N}$ be positive integers $\geq 2$. I want to prove that there exists a primitive polynomial $$F(x) = x^{mn}-\sum\limits_{j=0}^{...
7
votes
1answer
266 views

What does the notation $[b_1,b_2]$ in M. Hochster's “Prime Ideal Structure in Commutative Rings” mean?

I'm reading the article M. Hochster, Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969), 43--60. Freely available here on the journal's website. But, I can not find the ...
8
votes
1answer
286 views

Intersection between integral closures is algebraically closed field

Consider an algebraically closed field $k$, a finite field extension $K$ of $k(T)$, the integral closure $A$ of $k[T]$ in $K$, and the integral closure $A'$ of $k[T^{-1}]$ in $K$. Does it follow that $...
7
votes
1answer
172 views

How fine an invariant of a representation is its quotient singularity?

This is a refinement of a question asked on MSE. Let $G$ be a finite group and let $V$ be a finite-dimensional faithful complex representation of $G$. Consider $V$ as an affine complex variety. In ...
1
vote
0answers
80 views

Dimension of a module (which is not necessarily finite)

Let $R=\bigoplus_{ n\in\mathbb N}R_{ n}$ be a Noetherian standard ring defined over an Artinian local ring. Let $M=\bigoplus_{ n\in\mathbb N}M_{ n}$ be an $\mathbb N$-graded $R$-module (not ...
0
votes
1answer
96 views

$0 :_M I^n$ is finitely generated for all $i\ge 1$?

I see the remark that: "Let $R$ be a Noetherian commutative ring, $M$ an $R$-module and $I$ an ideal of $R.$ Assume that $0 :_M I$ is finitely generated. Then $0 :_M I^n$ is finitely generated for all ...
0
votes
1answer
143 views

Hilbert function and numerical polynomial

Let $R=\bigoplus_{ n\in\mathbb N}R_{ n}$ be a Noetherian standard ring defined over an Artinian local ring. Let $M=\bigoplus_{ n\in\mathbb N}M_{ n}$ be an $\mathbb N$-graded $R$-module (not ...
3
votes
0answers
75 views

Sign of bivariate polynomial evaluated over two algebraic numbers

I would like to compute the sign of a bivariate polynomial $f$ evaluated over two algebraic numbers $a$, $b$. The numbers are in "isolating interval representation" meaning that each one is defined by ...
5
votes
2answers
355 views

A question about homogenous polynomials of degree $\frac{n(n-1)}{2}$

Let $n$ be a positive integer and $S_n$ be the symmetric group on $\{1,2,\ldots,n\}$. For any $w\in S_n$ and polynomial $f\in \mathbb{R}[x_1,x_2,\ldots,x_n]$, denote $w(f)=f(x_{w(1)},x_{w(2)},\ldots,...
3
votes
1answer
219 views

etale localization reference request

I'm looking for a reference for the following statement: Let $P$ be a property of morphisms of schemes local on the target in the etale topology. Let $f : X\rightarrow Y$ be a morphism of schemes ...
0
votes
1answer
131 views

The injectivity of Noetherian ring

Let $R$ be a ring with 1, $M$ be a left $R$-module. Then $M$ is fp-injective if every $R$-homomorphism from a finitely presented left ideal to $M$ extends to a homomorphism of $R$ to $M$ i.e. if $\...
6
votes
1answer
138 views

What is the cokernel of $O_S \to F_\infty/O_\infty$?

Let $k$ be a field of characteristic $\neq 2$ and consider the quadratic extension $F$ of $k(T)$ generated by $\sqrt{T^3 + 1}$. Let $X$ be the set of all places of $F$. Let $S = \{\infty\} \subset X$ ...
3
votes
2answers
112 views

The injective hull of cyclic modules and self injective ring

It is well-known that if $R$ is a Noetherian ring, and the injective hull of every finitely generated $R$-module is projective, then $R$ is a self-injective. My question is that could one replace "...
0
votes
0answers
65 views

A question about divided differences

I want to ask a question about divided differences. Let $n\equiv0,1 \pmod 4$ is a positive integer. We know that for any polynomial $f\in \mathbb{Z}[x_1,x_2,\cdots,x_n]$, $$\partial_{w_0}(f)=\left(\...
2
votes
3answers
189 views

Isolating roots of polynomial system

I would like to isolate the regions which contain the roots of a system of two bivariate cubic polynomials. I thought I would project the solutions onto $x$ and $y$ axis by means of resultant ...
0
votes
0answers
134 views

Structure theorem for non-Noetherian local rings

Is there a structure theorem (like Cohen 's structure theorem) for non-Noetherian local rings? I am adding what I am looking for as someone asked in the comment. If $R$ is a local domain (not ...
1
vote
1answer
124 views

when there is an injection $0 \to R \to K_R$?

Let $(R,m)$ be a Cohen-Macaulay local ring which possesses the canonical module $K_R$. Then $R$ is said to be an almost Gorenstein local ring, if there is an exact sequence $0 \to R \to K_R \to C \to ...
7
votes
2answers
335 views

invariants that can be measured by Local Cohomology

What invariants can be measured by Local Cohomology (and what application it has)? As an example of what I mean: Local Cohomology can measure invariants like depth and dim. So in some cases ...
6
votes
0answers
147 views

When is a commutative ring the limit of its factor rings?

Let $R$ be a commutative ring. Consider the limit of rings $L = lim_{I \in Spec(R)}(R/I)$. Then there is a canonical map $R \to L$. The question is when this map is an isomorphism. For example, this ...
2
votes
0answers
313 views

About relative normalization in Deligne's definition of a “tangential morphism”

I'm reading Deligne's paper "Le Groupe Fondamental de la Droite Projective Moins Trois Points", specifically in the section "Theorie profinie" (sections 15.13 - 15.27) I'm specifically interested in ...
5
votes
0answers
166 views

Solving a Laurent polynomial functional equation

I'm considering a set of functional equations: For a given $\phi(x)\in\mathbb {Z}[x,\frac {1}{x}] $ with $\phi(x)=\phi(\frac{1}{x}) $, $f(x)f(\frac {1}{x})+\phi (x)g(x)g(\frac {1}{x})=1, $ where $f(x)...
5
votes
2answers
162 views

The coefficient of a specific monomial in the expansion of the following polynomial

Let $a_{n,k}$ be the coefficient of $$X_1^{\frac{k(n-1)}{2}}X_2^{\frac{k(n-1)}{2}}\cdots X_n^{\frac{k(n-1)}{2}}$$ in the expansion of the real polynomial $$\left(\prod\limits_{1\leq i<j\leq n}(X_j-...
1
vote
0answers
52 views

if $\Delta$ is pure, then what happens to betti-numbers of $I_{\Delta}$ or $I_{\Delta^v}$

Assume that $\Delta$ is a simplicial complex and $\Delta ^v$ is its Alexander dual. Let in addition $\Delta$ be pure, then what happens to betti-numbers of $I_{\Delta}$ or $I_{\Delta^v}$? Is there a ...
2
votes
1answer
212 views

A condition like primeness for zero ideal

Let $D$ be an integral domain (zero ideal is prime). Then for every nonzero element $a,b \in D$, we have $\langle a\rangle\cap \langle b\rangle\neq 0$. Now in a general case, let $R$ be a commutative ...
1
vote
1answer
71 views

A linear subspace of $\mathbb{R}[X_1,\cdots,X_n]$ and its generated set

Let $n$ be a positive integer and $W_n$ be the linear subspace of the real vector space $\mathbb{R}[X_1,\cdots,X_n]$ generated by the following set $$S_n=\{X_1^{i_1}\cdots X_n^{i_n}:i_1+\cdots+i_n=n\ \...
2
votes
0answers
86 views

Exterior power of a torsion-free sheaf on a DVR

Let $R$ be a discrete valuation ring and $X$ be a regular, integral. projective $R$-scheme, flat over $R$. Let $F$ be a torsion-free coherent sheaf on $X$ of rank $n$, flat over $\mathrm{Spec}(R)$. Is ...
2
votes
1answer
160 views

Is flatness preserved under exterior power

Let $\phi:A \to B$ be a flat ring homomorphism, $M$ be a $B$-module which is flat when considered as an $A$-module. Is the tensor product $M \otimes_B M \otimes_B ... \otimes_B M$ flat over $A$? If ...
3
votes
1answer
189 views

Maximal length of filter regular sequence

Let $A$ be a Noetherian ring and $R$ is a standard graded ring over $A.$ Let $M$ be a finitely generated graded $R$-module and $I$ be a graded ideal of $R.$ Then $x_1,\ldots,x_r\in I$ is called $M$-...
1
vote
1answer
160 views

Flat family: limit of intersection vs intersection of limits

Consider a $\textbf{flat}$ surjective map $f: X \rightarrow \mathbb{A}^1$. The general fibers $F_{\epsilon}$ are canonically isomorphic, and the special fiber $F_0$ above $0 \in \mathbb{A}^1$ is not ...
4
votes
1answer
217 views

Equi-dimensionality of special fibers in a flat family

Given a flat map $f: X \rightarrow Y$ such that $X$ is a projective variety and $Y$ is a smooth curve. Each generic fiber is isomorphic to an irreducible projective variety $A$ of dimension $d$. The ...
3
votes
0answers
271 views

Are prime ideals of finite height in the powers series ring in infinitely variables finitely generated?

Let $A:= {\mathbb F}_p[[X_1,...,X_∞]]$ be the infinitely many variables formal power series ring over ${\mathbb F}_p$, which is UFD. Consider an arbitrary prime ideal $P$ of $A$ such that the height ...
4
votes
1answer
93 views

Projective resolutions for commutative monoids

What is the right notion of a projective resolution of a commutative monoid? The category Mon of commutative monoids has plenty of projective (and even free) objects. Indeed, for every set $X$ one ...
5
votes
1answer
322 views

A Hom-Tensor identity - $\text{Hom}_{R}(P,B)\otimes _SC \cong \text{Hom}_{R}(P,B \otimes_S C) $

let $R,S$ be associative algebras over $\mathbb{C}$. Let $\mathcal{C} \subseteq$ $R$-Mod be a full abelain subcategory of $R$-Mod which is the category of $R$-modules. Let $B$ and $C$ be, a $(R,S)$-...
4
votes
2answers
192 views

Tensor product of monomorphisms is a monomorphism?

Given a commutative ring $k$ and for $i = 1,2$ a homomorphism of $k$-modules $X_i \overset {f_i} \longrightarrow Y_i$ with $X_i$ flat over $k$. Is the following conclusion true for general $k$? If $...
7
votes
0answers
119 views

Associated graded of double Koszul dual

Let $k$ be a field, and let $A$ be a graded, connected, augmented, locally finite $k$-algebra. If $\Omega^* A$ denotes the cobar complex of $A$ (i.e., the dual $Hom_k(B_*(A), k)$ of the bar complex ...
3
votes
0answers
49 views

Antichains defining facets of a certain cone

Let $(P,<)$ be a finite poset. Let $V$ be the free $\mathbb{R}$-vector space on $P \times \{0,1\}$; I'll write elements as sums of pairs of the form $(p,0)$ and $(0,q)$, so a general element is $$v ...