**2**

votes

**3**answers

190 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

137 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

125 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

343 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

322 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

169 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

55 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

72 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

87 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

191 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

166 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

221 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

272 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

96 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

325 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

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

**35**

votes

**13**answers

3k views

### Applications of the Cayley-Hamilton theorem

The Cayley-Hamilton theorem is usually presented in standard undergraduate courses in linear algebra as an important result. Recall that it says that any square matrix is a "root" of its own ...

**2**

votes

**0**answers

51 views

### Determining Inconsistency of (first-order) Non-linear System of Equations [closed]

Is there a way I can figure out what values of the coefficients of some system of non-linear equations makes the system inconsistent?
Take the following system of equations as an example. The ...

**2**

votes

**0**answers

112 views

### Flat Quotients of Power Series Rings

I apologize if the question is too elementary. I did not get any response on math stackexchange.
I read the following statement in some algebraic topology notes and I want to know if it is true and, ...

**1**

vote

**0**answers

157 views

### Number of minimal primes for UFD

Let $R$ be a UFD which is NOT noetherian. It is well-known that $R$
is a Krull ring. Let $I$ be an ideal of $R$ such that the height of $I$
is $d$ which is finite.
Question. Is the number of minimal ...

**2**

votes

**1**answer

73 views

### Division of multivariable polynomials by an ideal

Let $K$ be a commutative field and consider an ideal $I$ of $K[X_1,\dots,X_n]$.
Is there a well behaved "reduction modulo I", in the following sense :
Given a well-ordering $\leq$ on the set of ...

**2**

votes

**1**answer

154 views

### Number of generators of ideal if quotient field has certain transcendence degree

I am trying to prove a result which is used in A. Macintyre and A. J. Wilkie (1995), 'On the decidability of the real exponential field', in Odifreddi, P.G., Kreisel 70th Birthday Volume, CLSI, p. ...

**2**

votes

**0**answers

169 views

### Hilbert series of the weight 0 sub-algebra of the algebra of functions on GL(N)

Let $A$ be the algebra of polynomials in $N^2$ variables $x^i_j$, $i,j=1,\dots,N$. It is $\mathbb{Z}^N$ graded, with $\text{weight}(x^i_j)=e_i-e_j$. Here $(e_1,\dots,e_n)$ is the standard basis of $\...

**0**

votes

**0**answers

56 views

### when: $depth\ R/I\ge depth\ R/J$ then $depth\ (R/I)_p\ge depth\ (R/J)_p$

Let $(R,m)$ be a Noetherian local ring, $M$ and $N$ finite R-modules, $p$ a prime ideal, and $I$ and $J$ ideals of $R$. Here, Count Dracula proves that in general assuming $depth\ R/I\ge depth\ R/...

**0**

votes

**1**answer

105 views

### Functions of several variables over finite fields [closed]

For a finite field $F$ any function $f\colon F\to F$ is given by a polynomial. My question is what happens when we are given a function of two or more variables? Is this necessarily a polynomial ...

**3**

votes

**1**answer

93 views

### Characterization of Lagrangian planes in symplectic vector spaces over finite fields [closed]

EDIT: As L Spice pointed out, there is an error in the observation. The question is void therefore
Let $p$ be a prime and $q=p^r$. Let $V$ be a $\mathbb F_q$-vector space of dimension four, with a ...

**4**

votes

**0**answers

79 views

### Example request: seriously deficient homogeneous spaces

In a previous post, I cite a dimension condition commonly satisfied by homogeneous spaces and claim that a counterexample must have deficiency at least $3$. For convenience, I reproduce the definition ...

**4**

votes

**0**answers

64 views

### A dimension condition on the cohomology of a homogeneous space

The rational cohomology of a homogeneous space $G/K$ admits a homomorphism from $H^*(BK)$ induced from the classifying map $G/K \to BK$ of the principal $K$-bundle $G \to G/K$. Assume the Lie group is ...

**2**

votes

**1**answer

191 views

### Rings such that all quotients by prime ideals are PIDs?

Let $R$ be a commutative ring such that for every prime ideal $P$ of $R$, the ring $R/P$ is a PID. Do you know how these rings are called or another characterization of them?
I know there are a lot ...

**2**

votes

**1**answer

95 views

### Elementary divisors for chains of submodules

Given free modules $N \le M$ of finite rank over a PID $R$, it's well-known that there is a basis $\{x_1,\ldots,x_n\}$ of $M$ and there are $e_1,\ldots,e_n \in R$ such that $\{e_ix_i\mid e_i \neq 0\}$...

**6**

votes

**2**answers

721 views

### Tensor product of fields over integers

Inspired by this question we ask;
Is there a name for each of the following properties about fields? what are some examples other than $\mathbb{Q}$?:
1.A field $K$ with the property that $K\otimes_{...

**0**

votes

**0**answers

126 views

### if 0→A→A⊕B→B→0 is an exact sequence of finitely generated modules over a commutative Noetherian ring, then the exact sequence does split [duplicate]

Here, Martin Brandenburg says it is not true that "Every short exact sequence of the form $0 \to A \to A \oplus B \to B \to 0$ splits." Then Mohan says in comments that "As a positive result,
If $...

**3**

votes

**2**answers

504 views

### Primary structures in $\mathbb Q$

I'll formulate a topic restricted here to the positive rational
numbers $\ \mathbb Q_{_{>0}},\ $, then will pose a question (Q2) plus some related, to which I don't know the answers nor reference. ...

**6**

votes

**0**answers

167 views

### Flat + locally of finite presentation + monomorphism = open immersion

It is known that the following are equivalent for an epimorphism $A \to B$ in $\mathbf{CRing}$:
Let $S$ be the set of elements $a \in A$ such that $A [a^{-1}] \to B [a^{-1}]$ is an isomorphism. Then ...

**4**

votes

**1**answer

112 views

### Completeness of Localizations of Completions of Commutative Rings

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...

**1**

vote

**0**answers

98 views

### Invertible elements in a group algebra

Let $H$ be a torsion-free abelian group and let $\mathbb{K}$ be a field with two elements.
I would like to ask the following question:
Is the group of units of the group algebra $\mathbb{K}[H]$ ...

**3**

votes

**1**answer

212 views

### A technical question about affine grassmanian

For a commutative ring $R$, consider $R[[t]]$-modules $$t^k R[[t]]^n \subset M \subset t^{-k} R[[t]]^n \subset R((t))^n.$$ It is known that if $t^{-k} R[[t]]^n / M$ is finitely generated projective $R$...

**6**

votes

**1**answer

113 views

### Partial Orders realized by Prime Ideals on commutative rings

Is there a general criterion for which partial orders can be realized by the prime ideals of commutative rings (like we have for topological spaces - https://en.wikipedia.org/wiki/Spectral_space)?
...

**5**

votes

**1**answer

154 views

### Pythagorean number in Artin's theorem on nonnegative rational fractions

Emil Artin's theorem on nonnegative rational fractions says that a rational fraction $Q$ with $n$ variables with real coefficients which is non-negative on $\mathbb R^n$ is a sum of squares of ...

**0**

votes

**0**answers

124 views

### on the ``generic" modules of finite length (skyscrapers)

Let $R$ be a local or graded ring. (If it helps, can assume the ring is "good", e.g. $R=k[[x_1,..,x_p]]$, where $k$ is a field of zero characteristic.)
Let $M$ be a finitely generated $R$-module ...

**0**

votes

**0**answers

35 views

### finite orbits of transformations of the rational function field

Let $K : = k(x_1, x_2, \cdots, x_t)$ be the rational function field and consider the transformation $\tau$ of $K$ defined by $u \mapsto \frac{\alpha(u) + b}{a}$, where $a \ne 0 , b \in k$ and $\alpha$ ...

**2**

votes

**1**answer

155 views

### programming to compute kernel quotient image of a $\mathbb{Z}$-module endomorphism

Let the integers $n\geq 2$, $k\geq 1$, $v=0$ or $1$ and $n_1,\cdots,n_k\geq 1$ such that
$$
\sum_{i=1}^k n_i+v=n.
$$
Define $P_a^b=0$ if both $a,b$ are odd and $P_a^b={{[a/2]}\choose {[(a+b)/2]}}$ ...

**3**

votes

**0**answers

99 views

### Are there necessary and sufficient conditions for a chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ to be Poincare?

I am looking for necessary and/or sufficient conditions for the chain complex $0 \to C_0 \to C_1 \to C_2 \to 0$ over a principal ideal domain to be Poincare in the sense that $H_0 \cong H^2$, $H_1 \...

**15**

votes

**2**answers

746 views

### Witt-vector vectors

I've never really made my way in any detail through the Witt-vector construction. I did read all the articles that a quick Google and MSN search turned up, and none seemed to address it, but I could ...