交换代数

We give a constructive proof of the general Nullstellensatz: a univariate polynomial ring over a commutative Jacobson ring is Jacobson. This theorem implies that every finitely generated algebra over a zero-dimensional ring or the ring of…

Over a commutative Noetherian ring, we show that the Auslander-Reiten conjecture holds true for the class of (finitely generated) modules whose dual has finite complete intersection dimension. We provide another result that validates the…

Let $R$ be a Noetherian ring, $I$ an ideal of $R$, and $M$ a finitely generated $R$-module. In this article, we prove that $$\mathrm{Ass}_R(M/I^{n} M) = \mathrm{Ass}_R(0:_{M} I) \cup \mathrm{Ass}_R(I^{n-1} M/I^{n} M) \text{ for all } n \gg…

Much progress has been made in classifying when the weak Lefschetz property holds for $A=\mathbb{F}[x,y,z]/I$ where $\text{char}(\mathbb{F})=0$ and $I=(x_{1}^{d_{1}},y^{d_{2}},z^{d_{3}},x^{a_{1}}y^{a_{2}}z^{a_{3}})$ is a monomial almost…

We count the numbers of associated primes of powers of ideals as defined by Bandari, Hibi, and Herzog in 2014. We generalize those ideals to monomial ideals $\operatorname{BHH}(m,r,s)$ for $r \ge 2$, $m$, $s \ge 1$; we establish partially…

Let R be a d-dimensional Cohen-Macaulay complete local ring with infinite residue field k. The dominant index $\operatorname{dx}(R)$ is by definition the least number of extensions necessary to build k in the singularity category…

An integral domain $D$ is called a \emph{prime-divisor-finite domain} (PDF-domain) if every nonzero element has only finitely many nonassociate prime divisors. A domain $D$ is said to be a \emph{tightly prime-divisor-finite domain}…

We investigate the notion of partial trace ideals, recently introduced by Maitra. We first establish several properties of partial trace ideals and give affirmative answers to questions posed by Maitra. We then study the invariant defined…

We study closed subschemes $X$ in ${\mathbb P}^n$ of dimension one, locally defined at any point by at most $n$ equations such that the analytic spread of $I_{\mathfrak{m}}$ is at most $n$, where $I \subseteq \Bbbk[x_0, \ldots, x_n] $ is…

In this paper, we study the multigraded Betti numbers of Veronese embeddings of projective spaces. Due to Hochster's formula, we interpret these multigraded Betti numbers in terms of the homology of certain simplicial complexes. By…

The set C of complex-valued continuous functions on [0,\infty) is a ring by the addition and the convolution. It has the quotient field Q(C), by which J. Mikusinski developed his operational calculus. In this paper, we revisit a derivation…

We describe the rings of invariants for the finite orthogonal groups of plus type in odd characteristic acting on the defining representations. We also describe the invariants of the corresponding Sylow subgroups in the defining…

This work concerns maps of commutative noetherian local rings containing a field of positive characteristic. Given such a map $\varphi$ of finite flat dimension, the results relate homological properties of the relative Frobenius of…

We study local generalized additive decompositions (GADs) of homogeneous polynomials and their associated point schemes through their local inverse systems. We prove that their construction and algebraic properties are independent of the…

The main contribution of this note is to establish a framework to extend results of tensor functions over specific field to general field. As a consequence of this framework, we extend the existing work to more general settings: \emph{(1)}…

Let $G$ be a finite simple graph with edge ideal $I(G)$. For $q\ge 1$, the $q$-th squarefree power $I(G)^{[q]}$ is generated by products of $q$ pairwise disjoint edges of $G$. It is the Stanley-Reisner ideal of a simplicial complex…

Building on work of Briggs, Grifo and Pollitz arXiv:2506.10827, we give an example of two cohomological support varieties of monomial ideals which are not unions of linear subspaces. We provide a procedure for the computation of the…

We show that every Hardy field extends to an $\omega$-free Hardy field. This result relates to classical oscillation criteria for second-order homogeneous linear differential equations. It is essential in [10], and here we apply it to…

Let $(\mathcal{O}_n, \mathfrak{m})$ denote the ring of germs of holomorphic functions $\mathbb{C}^n\to \mathbb{C}$, and let $I\subseteq \mathcal{O}_n$ be an $\mathfrak{m}$-primary ideal. Demailly and Pham showed that $\mathrm{lct}(I) \geq…

We characterise Dedekind rings among not necessarily Noetherian domains by a property of their module homomorphisms. Our proof relies on a homological algebra argument.