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

110 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

156 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

72 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

46 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

101 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

92 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

189 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

710 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

503 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

164 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

108 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

95 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

211 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

122 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

153 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

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

**5**

votes

**0**answers

161 views

### Is a wild automorphism of $k[x_1,\ldots,x_n]$, $n \geq 3$, necessarily of infinite order?

Let $k[x_1,\ldots,x_n]$ be a polynomial ring over a field $k$ of characteristic zero.
When $n=2$, it is known that every automorphism of $k[x_1,x_2]$ is tame, namely, a finite product of elementary ...

**0**

votes

**1**answer

126 views

### Tensor products of simple modules over algebras [closed]

Let $A$ and $B$ be $\mathbb{C}$-algebras. Suppose that $M$ and $N$ are respectively simple $A$ and $B$ modules.
We can regard $M\otimes_{\mathbb C}N$ as $A\otimes_{\mathbb C} B$-modules in natural ...

**2**

votes

**1**answer

150 views

### the pfaffian-adjugate and its counterparts for matrices odd size

Let $R$ be a commutative ring (zero characteristic). Take a skew-symmetric matrix $A\in Mat^{skew-sym}(n,R)$.
If $n$ is even, then $\det(A)=Pf^2(A)$ and there exists the "Pfaffian adjugate/adjoint" ...

**2**

votes

**0**answers

149 views

### Description of the equalizer of $\prod _j R/I_j \rightrightarrows \prod _{i,j}R/(I_i+I_j)$

This is a crosspost of this MSE question.
I have asked several questions in an attmept to get a general version of the Chinese remainder theorem without conditions on the ideals which will ...

**1**

vote

**0**answers

139 views

### ideals linked to an almost complete intersection

Is a grade $3$ type $3$ perfect ideal in a Noetherian ring linked to a grade $3$ almost complete intersection? I know that grade $3$ type $2$ perfect ideals are (by a work of Anne Brown).

**3**

votes

**1**answer

115 views

### non-Noetherian r-Noetherian ring with Noetherian total quotient ring

A commutative ring is said to be r-Noetherian if every regular ideal is finitely generated, where an ideal is said to be regular if it contains a non-zerodivisor. Does there exist a non-Noetherian r-...

**29**

votes

**2**answers

452 views

### If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?

I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...

**0**

votes

**2**answers

474 views

### Solving a system of equations using Gröbner basis

In Sage (or any other package) when using Gröbner basis to solve a system of equations (some of which are non-linear equations) does computing the Gröbner basis for the ideal ID generated by the ...

**0**

votes

**2**answers

175 views

### Ring with Cohen-Macaulay canonical module

Let $(R,m)$ be Noetherian local ring which is an imagine of a Gorenstein ring $(S,n)$. Set
$$ K_R:= Ext_S^{s-d}(R,S), $$
where $d=\dim R$, $s=\dim S$.
If $K_R$ is Cohen-Macaulay (i.e. $R$ is a ...

**1**

vote

**0**answers

53 views

### How to associate the following two kinds of real polynomials?

Suppose the following real polynomial of $n$ variables
$$f(X_1,X_2,\cdots,X_n)=\sum_{I=(i_1,i_2,\cdots,i_n)}a_IX_1^{i_1}X_2^{i_2}\cdots X_n^{i_n}$$
is easy or familiar to us, but I need to deal with ...

**3**

votes

**0**answers

86 views

### Shifts in the decomposition of Bott-Samelson bimodules

Let $k$ be an algebraically closed field of characteristic $0$, let $V=k^n$ be a $k$ vector space of dimension $n$, and let $R=k[V]$ be the ring of polynomial functions on $V$. Suppose that $W\subset\...

**1**

vote

**1**answer

129 views

### What can be said about $A$ and $B$ given the exact sequence $0 \to R^p \to A \to R^r \to R^q \to B \to 0$?

Let $A,B$ be two $R$-modules over a commutative ring $R$ (restrict to $R = \mathbb{Z}$ or $R= \mathbb{K}$ a field where appropriate). Suppose $A$ and $B$ fit into an exact sequence
$0 \to R^p \to ...

**0**

votes

**0**answers

60 views

### grade of ideals in non-noetherian rings

Let $R$ be a commutative ring with unity, and $M$ an $R$-module. Assume that $I$ and $J$ are finitely generated ideals and $K$ another ideal of $R$. Let $\textbf{x}$ be a sequence of generators of $I$...

**7**

votes

**1**answer

262 views

### Ring of invariants for the regular representation

The symmetric group $S_n$ acts on $\mathbb C^n$ by permuting the coordinates. In this case the ring of invariants is generated by elementary symmetric polynomials in n-variables. Now consider the ...

**1**

vote

**1**answer

223 views

### Solving Non-Linear Equations over a Finite Field of a Large Prime Order

I want to know is there is an efficient way to figure out whether or not a ( underdetermined) system of non-linear equations have a solution over a finite field of large prime order. The equations ...

**9**

votes

**2**answers

747 views

### Algebraic independance of exponentials

First of all, a happy new year. Be it better than 2015,
healthy, wealthy, fruitful and cross-fertilizing
for you, familly and friends.
In order to cope with families of solutions of evolution ...

**1**

vote

**1**answer

154 views

### Base change for non-flat coherent sheaves and affine maps

Let $A$ be a finitely generated $k$-algebra, where $k$ is a field, let $I$ be an ideal in $A$, let $M$ be a finitely generated $A/I$-module, and let $M^{\prime}$ denote $M$ considered as an $A$-module....

**0**

votes

**0**answers

133 views

### Deeply ramified implies non discrete valuation - Almost ring theory

In their book "Almost Ring Theory" (http://arxiv.org/abs/math/0201175), Ofer Gabber and Lorenzo Ramero define a valued field $K$ to be "deeply ramified" if the module of Kähler differentials $\Omega_{...

**1**

vote

**0**answers

27 views

### Elimination theory for variables packaged in a matrix

I am wondering if the elimination theory in computational algebraic geometry can be more efficiently carried out if all variables lies within some given matrices.
For instance, consider the following:
...

**0**

votes

**1**answer

88 views

### Properties of Betti number of ideal

Notations:
$R$- Noetherian graded ring and $I,J$ homogeneous ideals in $R$
Definition:
The projective dimension of $R/I$, denoted $pd(R/I)$, is the length of a minimal free graded resolution of $R/...

**2**

votes

**1**answer

158 views

### Division and multiplication that preserve Euclidean norms

I am looking for ways to define
$$\frac{1}{x}\in \mathbb{R}^n\quad \quad and\quad \quad x\cdot y\in \mathbb{R}^n ,$$
where $x,y\in \mathbb{R}^n$ such that
$$\left\|\frac{1}{x}\right\|=\frac{1}{\|...

**1**

vote

**1**answer

181 views

### Generalizing Dedekind's Factorization Theorem

A classical theorem due to Dedekind states the following:
Let $O_{K}$ be the ring of integers of a number field $K$, and assume
$K$ is generated by adjoining the algebraic integer $\alpha$ to
...

**-1**

votes

**1**answer

169 views

### Which finite cyclic groups can be characterized by Lattice isomorphism and isomorphism between their automorphism groups?

Given a finite cyclic group $G$, we denote by $L(G)$ the lattice of its subgroups, and by $\mathop{\rm Aut}(G)$ the automorphism group of $G$. Let $H$ be any group. Assume that $L(G)\cong L(H)$ and $...