交换代数

We compare two henselisations of a residually discrete valuation domain. Our constructive proof that a certain natural morphism is an isomorphism is also a proof in classical mathematics. Although this isomorphism is implicitly accepted as…

In this article, we provide an explicit description of the Lipschitz saturation $A^*_{B,R}$ of a subalgebra $A\subseteq R[[t^{\gamma_1},\ldots, t^{\gamma_n}]]$ over a ring $R$ in terms of the numerical semigroup $\Gamma =…

A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We…

Let $f:R\to S$ be a ring homomorphism and $J$ be an ideal of $S$. Then the subring $R\bowtie^fJ:=\{(r,f(r)+j)\mid r\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$ along $J$ with respect to $f$. In this paper,…

Let M be a finitely generated submodule of a free module over a multivariate polynomial ring with coefficients in a discrete coherent ring. We prove that its module MLT(M ) of leading terms is countably generated and provide an algorithm…

In this article, we study two fundamental questions on polyomino ideals which are radicality and primality. In order to study the question of radicality, we initiate the study of Knutson ideals among polyominoes. Knutson ideals were…

The ascending chain condition on principal ideals (ACCP) is almost always complementary to atomicity within integral domains: in fact, Cohn initially stated that these two conditions were equivalent. This assertion has been shown to be…

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…

In this paper, we first show that any square-free monomial ideal in $K[x_1, x_2, x_3, x_4, x_5]$ has the strong persistence property. Next we will provide a criterion for a minimal counterexample to the Conforti-Cornuejols conjecture.…

The Casas--Alvero conjecture predicts that every univariate polynomial over a field of characteristic zero having a common factor with each of its derivatives $H_i(f)$ is a power of a linear polynomial. One approach to proving the…

In this paper, we focus on the associated primes of powers of monomial ideals and asymptotic behavior properties such as normally torsion-freeness, normality, the strong persistence property, and the persistence property. In particular, we…

Let $R$ and $S$ be commutative rings with unity, $f:R\to S$ a ring homomorphism and $J$ an ideal of $S$. Then the subring $R\bowtie^fJ:=\{(a,f(a)+j)\mid a\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$ along…

Let $R$ and $S$ be commutative rings with identity, $f:R\to S$ a ring homomorphism and $J$ an ideal of $S$. Then the subring $R\bowtie^fJ:=\{(r,f(r)+j)\mid r\in R$ and $j\in J\}$ of $R\times S$ is called the amalgamation of $R$ with $S$…

Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1)…

We describe the minimal free resolution of the ideal of $2 \times 2$ subpermanents of a $2 \times n$ generic matrix $M$. In contrast to the case of $2 \times 2$ determinants, the $2 \times 2$ permanents define an ideal which is neither…

We study rational normal curves via a connection to the chip firing game. A key technique, introduced in this article, is to interpret the defining ideal of the rational normal curve as an ideal associated to a generalisation of a cycle…

We describe the canonical module of a simplicial affine semigroup ring $\mathbb{K}[S]$ and its trace ideal. As a consequence, we characterize when $\mathbb{K}[S]$ is nearly Gorenstein in terms of arithmetic properties of the semigroup $S$.…

Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…

We show that perfectoidization can be (almost) calculated by using $p$-root closure in certain cases, including the semiperfectoid case. To do this, we focus on the universality of perfectoidization and uniform completion, as well as the…

In this article, we prove that if a Hibi ring satisfies property $N_2$, then its Segre product with a polynomial ring in finitely many variables also satisfies property $N_2$. When the polynomial ring is in two variables, we also prove the…