All Questions
7 questions from the last 7 days
6
votes
1
answer
642
views
Is decomposability of polynomials over a field an undecidable problem?
By a decomposition of a polynomial $F(x)$ over a field $K$ we mean writing $F(x)$ as
$$
F(x)=G(H(x)) \quad(G(x), H(x) \in K[x]),
$$
which is nontrivial if $\operatorname{deg} G(x)>1$ and $\...
- 310
2
votes
1
answer
144
views
Exotic Hopf algebra structures on the $p$-fold direct product in characteristic $p > 0$
Let $k$ be an algebraically closed field of characteristic $p > 0 $ and let $A$ be an algebra over $k$, which is a local ring.
There is an isomorphism of algebras $\prod_{i=1}^p A \cong A \otimes k[...
- 542
0
votes
1
answer
69
views
Is there a characterization of monoids that distribute over each other?
Let $(M, e_1, \times_1, e_2, \times_2)$ be an algebraic structure such that
$(M, e_1, \times_1)$ and $(M, e_2, \times_2)$ are monoids
$x \times_1 (y \times_2 z) = (x \times_1 y) \times_2 (x \times_1 ...
- 631
2
votes
0
answers
124
views
Derived tensor products and regular sequences
Let $R \to A$ be a homomorphism of commutative rings, and let $x\in R$ be an element (or a sequence of elements in $R$, if you prefer) that is both $R$-regular and $A$-regular. Then we have
$$
A\...
- 125
2
votes
0
answers
90
views
Connectedness of equivariant Hilbert schemes of points of affine spaces (or as orbifolds)?
Let $G$ be an abelian finite group act on $\mathbb C^n$, when the equivariant Hilbert scheme $\mathrm{Hilb}^{R}(\mathbb C^n)^G=\mathrm{Hilb}^{R}([\mathbb C^n/G])$ is connected? Now $R$ is a ...
- 249
2
votes
0
answers
97
views
Action of torus on Laurent polynomials
Let $F$ be a field and suppose that the torus $(F^*)^n$ acts on the Laurent polynomial ring $L$ in $n$ variables $X_1, \dots, X_n$ defined by $X_i \dashrightarrow a_iX_i$ for suitable scalars $a_i$.
...
- 376
1
vote
0
answers
31
views
Primary invariants on MAGMA for a graded ring
I have asked this question on mathstacks, but a collegue of mine recommended me to post it here.
I am trying to find an optimal system of parameters for a graded ring using Magma. Specifically, I want ...
- 11