Skip to main content

Questions tagged [ac.commutative-algebra]

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

Filter by
Sorted by
Tagged with
6 votes
1 answer
648 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 $\...
SARTHAK GUPTA's user avatar
2 votes
1 answer
145 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[...
Justin Bloom's user avatar
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\...
Zuka's user avatar
  • 125
2 votes
0 answers
106 views

Action of torus on Laurent polynomials

Let $F$ be an algebraically closed 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 ...
A. Gupta's user avatar
  • 376
2 votes
0 answers
93 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 ...
DVL-WakeUp's user avatar
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 ...
Rustam T's user avatar