All Questions
6,055 questions
0
votes
0
answers
117
views
A question on a system of quadratic polynomials
Consider the following system of quadratic polynomials $f_1,...,f_n \in \bar{\mathbb{F}}_2[x_1,....,x_n]$ :
$f_1 (\bar{x}) = x_1 + x_n^2 + q_1$
$f_i(\bar{x}) = x_i + q_i$ for $i \in \{2,...,n-1 \}$
$...
- 341
0
votes
0
answers
71
views
"Approximating" ring of semi-invariants
I'm trying to calculate the semi-invariant ring for certain types of quivers. For a very brief introduction to semi-invariant rings of quiver please have a look at this wikipedia article at the ...
- 839
0
votes
0
answers
163
views
A complex with homology $=R/p$
Given a Noetherian ring $R$ .
I am looking for a bounded complex $X$ of finitel geenerated projectives over $R$ whose homology is $R/p$. Infact I just need $X$ to have $\operatorname{Supp}(H(X)) = \...
- 159
0
votes
0
answers
92
views
What is the highest $n\in\Bbb N$ for which a complete classification of inverse semigroups of order up to $n$ is known?
What is the highest $n\in\Bbb N$ for which a complete classification of inverse semigroups of order up to $n$ is known?
Given that there are $3{,}684{,}030{,}417$ semigroups of order $8$, I guess $n\...
- 379
0
votes
0
answers
78
views
Let $A, B$ be matrices with elements in $\mathbb{Z}_n$, does $\ker A = \ker B$ imply that they are row equivalent?
Let $A, B$ be matrices with elements in $\mathbb{Z}_n$. If $A x = 0$ and $B x = 0$ have the same set of solutions, where the vectors also have elements in $\mathbb{Z}_n$, does this mean that there is ...
- 219
0
votes
0
answers
90
views
Invariants of primary groups
In Kaplansky's book "Infinite Abelian Groups", an abelian group $G$ is called primary if every element has order power of $p$ for some fixed prime number $p$. It is well-known that every ...
- 31
0
votes
0
answers
177
views
Finite monomorphism $A \to B$ with reduced $A$ and special fiber implies $B$ reduced
I have a question about correctness of following statement claimed here in $\boxed{2} \ $:
Let $k$ arbitrary field, let $f : X \longrightarrow Y$ be a finite dominant morphism between finite type $k$-...
- 6,038
0
votes
0
answers
136
views
Understanding the relations without the knowledge of Plucker relations [duplicate]
Consider the grassmannian $\mathrm{Gr}(2,5)$. We know there is an embedding of $\mathrm{Gr}(2,5)$ into $\mathbb{P}^9$ by using the 10 Plucker coordinates, and they satisfy 5 Plucker relations. And, so ...
- 839
0
votes
0
answers
124
views
Krull dimension of ring of invariants
Let $A$ be a $K$-algebra for some local number field $K$, and denote by $\dim A$ its Krull dimension. Let $G$ be an algebraic group defined over $\text{Spec}K$, and assume $G$ acts on $A$ by $K$-...
- 2,907
0
votes
0
answers
213
views
Taking polynomial inverses over a field?
Let $f \in F_p[x] / q(x)$. I know for a fact that the inverse of $f$, $g$ exists in the field. Taking the regular inverse is easy, but I'm looking for the compositional inverse.
I'm looking for ...
- 591
0
votes
0
answers
63
views
A construction that sort of merges two semigroups to build a new one
Suppose $H$ and $K$ are semigroups and assume without loss of generality that (the underlying sets of) $H$ and $K$ are disjoint. We can then extend the operations of both $H$ and $K$ to a binary ...
- 10.5k
0
votes
0
answers
122
views
Is there a name for this condition on a monoid?
Suppose we have a commutative monoid ${\mathcal M}=\langle M,\otimes\rangle$ such that the usual divisibility relation $\leq_\otimes$ given by $a\leq_\otimes b\Leftrightarrow \exists c(a\otimes c=b)$ ...
- 1,951
0
votes
0
answers
156
views
Absolute integral closure of Noetherian local domain
Let $(R,\mathfrak{m})$ be a Noetherian local domain, let $K(R)$ be the total fraction field of $R$ and let $R^{+}$ be the absolute integral closure of $R$. Consider the $R^{+}$-module $K(R)\otimes_{R} ...
- 39
0
votes
0
answers
215
views
On linear schemes
Let $X$ be a smooth projective curve and $T$ is any smooth variety. Let $E$ be a family of vector bundles over $X\times T$ which is flat over $T$. Then there exists a scheme $Y$ over $T$ such that for ...
- 494
0
votes
0
answers
179
views
Product/intersection of two ideals
Let $I_{1}$ and $I_{2}$ be two ideals in polynomial ring $C[u,v,t]$, defined as $I_1 = \langle t-u^3, (v-u^5)^2\rangle$ and $I_2 = \langle u^{11} + v^{11} + t^{11} + 3\rangle$. Is there a method for ...
- 1
0
votes
0
answers
91
views
Comparison of depth of two monomial ideals
Let $I$ and $J$ be two monomial ideals of $R=K[x_1,\dotsc,x_n]$ where $K$ is a field.
Could we say $\mid\operatorname{depth} (R/I)- \operatorname{depth}(R/(I:J))\mid\leq 1$, where $(I:J)$ is colon ...
- 113
0
votes
0
answers
61
views
A sequence of polynomials that the variety defined by every $n$ of them is small
Let $\mathbb{C}[x_1,x_2,\cdots,x_n]_{= d}$ denote the set of polynomials in $\mathbb{C}[x_1,x_2,\cdots,x_n]$ of total degree $d$.
Is there exists a sequence of polynomials $f_1,f_2,f_3,\cdots$ in $\...
- 25
0
votes
0
answers
28
views
Differentials for a nonsigular subvarity of a nonsigular variety
Let $A$ be a noetherian regular local ring of dimension $n$, and $P\subset A$ a prime ideal, such that $A/P$ still a regular local ring of dimension $m$.
I want to show $P/P^2$ is a $n-m$ rank free ...
- 39
0
votes
0
answers
226
views
Geometric interpretation of normalization inside a finite extension of function field
$\DeclareMathOperator\Spec{Spec}$Suppose $X = \Spec A$ is a smooth affine variety over $\mathbb C$ and suppose $L/K$ is a finite extension of its function field. Let $Y = \Spec B$, where $B$ is the ...
- 1,761
0
votes
0
answers
53
views
When a given set of primes of height 1 is a set associated primes of an element
Let $R$ be a Noetherian local ring of dimension $\geq 3$ and $\{p_1,\ldots , p_n\}$ be a collection of prime ideals of height $1$. Does there exist an element $x\in R$ such that $Ass(R/xR)=\{p_1,\...
- 1,713
0
votes
0
answers
172
views
When does this commutative non-associative algebra have nilpotent elements?
Consider a non-associative commutative unital algebra of finite dimension where the product is defined by a Cayley table such that elements are generated with real number coefficients
$(a_0, \dotsc, ...
- 763
0
votes
1
answer
362
views
Derivations and ideals
Let $R$ be a regular local ring and $I$ and ideal of $R$. If $D$ is a derivation of $R$, let
$$\lambda_D:I/I^2\to R/I$$
be the composition of the restriction of $D$ to $I$ and the quotient map $R\to R/...
- 739
0
votes
0
answers
267
views
completion and tensor product
Let $A$ be a commutative ring, consider the map $Spec(A[[t]])\rightarrow Spec(A)$, does it have geometrically connected fibers?
If $A$ is noetherian, it is clear because one has for $k$ a residue ...
- 3,472
0
votes
0
answers
133
views
Example of a periodic free resolution over a hypersurface
I'm reading "HOMOLOGICAL ALGEBRA ON A COMPLETE INTERSECTION,
WITH AN APPLICATION TO GROUP REPRESENTATIONS" by David Eisenbud
I'm wondering what would be a nice example illustrating Theorem 6....
- 839
0
votes
0
answers
130
views
Is a closed subsecheme contained in a Cartier divisor?
Let $X$ be a variety over a field $k$. For a closed subscheme $Z\hookrightarrow X$ and a closed point $x\in X$ such that $\text{codim}_XZ \geq 1$ and $x\notin |Z|$, is there an effective Cartier ...
- 349
0
votes
0
answers
89
views
Representing an $m$ dimensional quadratic polynomial as a polynomial on $\mathbb F_{q^m}$
We can represent $\mathbb{F}_{q^m}$ as $\mathbb{F}_q[\alpha]$ where $\alpha$ is root of an irreducible $m$-degree polynomial on $\mathbb{F}_q$.
By sending $\sum_{i=0}^{m-1} c_i\alpha^i \mapsto (c_{m-1}...
- 1
0
votes
0
answers
130
views
Complex dimension of zeros of vanishing ideal vs real dimension
Let $S \subseteq \mathbb{R}^n$ be a subset of real points and $I(S)$ be the vanishing ideal of $S$ in $\mathbb{R}[x_1,\dotsc,x_n]$. Is $\dim V_{\mathbb{R}}(I(S)) = \dim V_{\mathbb{C}}(I(S))$? I.e., is ...
- 263
0
votes
0
answers
350
views
Relation between $3$-term Plücker relations and more than $3$-term Plücker relations
$\DeclareMathOperator\Gr{Gr}$Let $\Gr(k,n)$ be the Grassmannian variety of $k$-planes in an $n$-dimensional vector space. The coordinate algebra $\mathbb{C}[\Gr(k,n)]$ is generated by Plücker ...
- 6,201
0
votes
0
answers
41
views
Polyextremal groups
A polynomial of a semigroup $X$ is a function $f:X\to X$ of the form
$f(x)=a_0xa_1\cdots xa_n$, where $a_0,a_1,\dots,a_n$ some elements of the semigroup $X^1=X\cup\{1\}$, called the coefficients of ...
- 41.9k
0
votes
0
answers
62
views
To find a DFT for complex functions on a semigroup
For a certain commutative semigroup of integer size $n$, $G=(\{1,2,\dots,n\},\circ: x\circ y\mapsto \min(n,x+y))$, consider all complex functions on it, denoted by $\mathbb C[G]$ or $\mathbb CG$. ...
0
votes
0
answers
132
views
Which consequences can be deduced from this peculiar property of tetration?
Recently (assuming radix-$10$), I showed that, for any $a \in \mathbb{N}_{0}$ that is not a multiple of $10$, there exists a unique value $V(a) \in \mathbb{N}_{0}$ which corresponds to the number of ...
- 1,451
0
votes
0
answers
162
views
Finite-exponent abelian groups
Let $G$ be an abelian group and $G=\bigoplus_{i=1}^t{{\Bbb{Z}}_{p_i}^{n_i}}^{(\Lambda_i)}$ where each $\Lambda_i$ is a set (at least one of $\Lambda_i$ is infinite). Since $G_{\Bbb{Z}}$ is a finite-...
- 321
0
votes
0
answers
72
views
countable direct sum of cyclic abelian $p^{2}$ groups
Let $G={{\Bbb{Z}}_{p^{2}}}^{(\aleph)}$ (countable direct sum of copies of ${\Bbb{Z}}_{p^2}$). It is clear that every subgroup of $G$ is a homomorphic image of $G$. Now this is my question:
Is it true ...
- 321
0
votes
0
answers
39
views
Countably infinite monoids with minimal right ideals
Is there any classification of countably infinite monoids with minimal right ideal? or at least in some classes of monoids?
- 237
0
votes
0
answers
180
views
Proof of Co-H map the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$
How to show the map $f:\Sigma SU(4)\rightarrow \Sigma^2 \mathbb{CP^3}$ is Co-H-map?
0
votes
0
answers
72
views
Which power series in $\mathbb{Z}_p[[T]]$ are rational functions? [duplicate]
Consider the power series ring $\mathbf{Z}_p[[T]]$, where $\mathbf{Z}_p$ denotes the $p$-adic integers. I'll call a function $f(T) \in \mathbf{Z}_p[[T]]$ a rational function if I can write it as:
$$f(...
- 1,949
0
votes
0
answers
93
views
In $\mathbb{Z}[G]$, $G\cong \mathbb{Z}^r$, does $f\cdot g\geq 0$ imply $f\geq0$?
Let $G=\mathbb{Z}^r$ be a free abelian group, and $\mathbb{Z}[G]$ be the group ring of $G$. Define a partial ordering $\leq$ on $\mathbb{Z}[G]$ by
$$\sum_{g\in G}n_g[g]\leq\sum_{g\in G}n'_g[g]\iff n_g\...
- 2,902
0
votes
0
answers
228
views
Generalization of "Lagrange interpolation" over non-division rings
The theorem below is from pages 4 and 5 in Singmaster - On polynomial functions $\pmod m$ (Theorem 10) on polynomials in $\mathbb{Z}_m[x]$.
Let $f$ be a polynomial function $\pmod{m}$. Then $f$ has a ...
- 11
0
votes
0
answers
139
views
Primary ideals and radical of an ideal
Let $R$ be a regular local ring (for example, $R=\mathbb{C}\{x_1, \dots, x_n\}$) and let $\mathfrak{p}$ be a prime ideal in $R$.
Given an ideal $\mathfrak{a} \subset R$ such that $\sqrt{\mathfrak{a}}=\...
0
votes
1
answer
137
views
Monomial order and initial ideals
Let $S=K[x_1,\ldots, x_n]$ polynomial ring. Let $I \subseteq S$ an ideal and $<$ be a (global) monomial order in $S$. If in$_<(I)$ a radical ideal, then in$_<(I)=$ in$_<(P_1) \;\cap$ in$_&...
- 177
0
votes
0
answers
185
views
Exactness of $I$-adic completion in a certain non-finitely generated case
I would like the functor
$$(-\otimes_{\mathbb Z} F)\hat{}: \mathbb{Z}[x_1,\dots,x_r]\text{-Mod}_{\mathrm{f.g.}}\longrightarrow \mathbb{Z}[x_1,\dots,x_r]\text{-Mod}$$
to be exact, where completion is w....
- 91
0
votes
0
answers
218
views
Cohen-Macaulay modules and connections to Mirror Symmetry
Let $ R $ be a local Noetherian Gorenstein domain. Suppose a module $ M $ fits into an exact sequence $$ 0 \rightarrow K \rightarrow R^n \rightarrow M \rightarrow 0 $$ Then we write $ K = tM $. A ...
- 936
0
votes
0
answers
112
views
Existence of a subspace of having no isotropic 2-plane
Let $V$ be a vector space of dimension $n$ over the field $\mathbb {Q} $. A subspace $W$ is isotropic for a skew-bilinear form $\alpha$ on $V$ if $\alpha(x,y) = 0$ for all $x,y \in W$.
More ...
- 923
0
votes
0
answers
538
views
Is being finitely generated module a local property?
There is this result on stack project, saying that let $S$ be a $R$-module and $f_1,...,f_n \in R$ that generates $R$, if $S_{f_i}$ is finitely generated $R_{f_i}$-module then $S$ is a finitely ...
- 241
0
votes
0
answers
229
views
Coordinate ring of a flag variety
Edited:
[If G here is a simply connected semismple complex algebraic group.
A partial flag variety $G/P$ can be naturally embedded as a closed subset of $\prod_j \mathbb{P} (L(\omega_j)^*)$.
The ...
- 201
0
votes
0
answers
44
views
Polynomial representation with shared root
Let $R$ be a polynomial quotient ring of the form $F_3[x_1,x_2,...,x_n]/\langle \{x_i^3-x_i\}_{1\le i\le n} \rangle$ and $\{f_i\}_{1\le i \le m}$ be elements of $R$, where $m > n$. We know that the ...
0
votes
0
answers
151
views
zero divisors of group ring when the group is abelian
Let G be an abelian group with torsion and C[G] be the group ring over complex numbers C. Is there a clear description or classification of zero divisors of C[G]?
- 31
0
votes
0
answers
95
views
On some loci of rings
Let $(R, \mathfrak m)$ be a Noetherian local ring. Let P be a property of $R$. Set
$$ P(R) =\{\mathfrak p \in Spec(R)\,\,\, |\,\,\, R_{\mathfrak p}\, \, \mbox{is } P\},$$
$$ nP(R) =\{\mathfrak p \in ...
- 89
0
votes
0
answers
308
views
Faithfully flat etale morphism from strictly Henselian ring (from Etale Cohomology and the Weil Conjecture by Freitag/Kiehl)
I have question about a statement found in Etale Cohomology and the Weil Conjecture by Freitag, Kiehl at the end of page 15.
It starts with the Remark 1.18 : Let $A$ be a strictly Henselian ring (i.e. ...
- 6,038
0
votes
0
answers
160
views
Are irreducible components of regularly embedded varieties regularly embedded?
Suppose I have a (reduced) subvariety $V \hookrightarrow X$ of a smooth variety $X$ such that $V$ is regularly embedded in $X$. (i.e. is locally cut out by a regular sequence of $\operatorname{codim}(...
- 111