**6**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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 ...