交换代数

In this paper, we discuss topological aspects of the space of valuations $\mathbb{V}$ and the valuative tree $\mathcal{T}(v,\Lambda)$. We present a relation between the weak tree topology and the Scott topology in $\mathcal{T}(v,\Lambda)$…

Let $A \bowtie^{f,g} (J,J')$ be the bi--amalgamation of a commutative ring $A$ with $(B,C)$ along the ideals $(J,J')$ with respect to the ring homomorphisms $(f,g)$. In this article, we study the basic homological properties of the…

We introduce and study strongly vertex dismissible, vertex dismissible, and scalable simplicial complexes as non-pure extensions of vertex decomposability and shellability. Strong vertex dismissibility is defined recursively by relaxing the…

We introduce the notion of the $\infty$-category of (complete) derived $G$-graded modules over a $G$-graded ring $R$ for a torsion-free abelian group $G$, and we study its foundational properties. Moreover, we prove a categorical…

Let $I(\Delta)^{[k]}$ denote the $k^{\text{th}}$ square-free power of the facet ideal of a simplicial complex $\Delta$ in a polynomial ring $R$. Square-free powers are intimately related to the `Matching Theory' and `Ordinary Powers'. In…

In this paper, we prove that for Noetherian graded families $\mathcal{I} = \{I_k\}_{k \ge 0}$ of homogeneous ideals, $\lim\limits_{k \to \infty} \frac{\mathrm{v}(I_k)}{k}$ exists, %equals $\lim\limits_{k \to \infty} \frac{\alpha(I_k)}{k}$,…

A module $M$ is {called} stable if it has no nonzero projective direct summand. For a ring $ R $, we study conditions under which $R$-modules from certain classes decompose as a direct sum of a projective submodule and a stable submodule.…

Mennicke--Newman lemma for unimodular rows was used by W. van der Kallen to give a group structure on the orbit set $\frac{Um_{n}(R)}{E_{n}(R)}$ for a commutative noetherian ring of dimension $d\leq 2n-4.$ In this paper, we generalise the…

We display a new family of prime ideals with unbounded minimal number of generators in a three-dimensional power series ring over a field of characteristic zero. These primes are obtained as the kernel of a quasi-monomial algebra…

Let $R$ be a standard graded polynomial ring over a field $k$. The paper focuses on homogeneous ideals $J \subset R$ of codimension $2$ generated by three forms of the same degree $d \geq 2$ that are almost Cohen--Macaulay, i.e., of…

The van der Waerden simplicial complex, denoted ${\tt vdw}(n,k)$, is the simpicial complex whose facets correspond to the arithmetic progressions of length $k$ in the set $\{1,\ldots,n\}$. We study the Lefschetz properties of the Artinian…

Bertin (1972) defined regularity for coherent local rings, and Knaf (2004) studied the property for a local ring $A$ essentially finitely presented over a valuation ring $V$. We discuss several properties of this notion of regularity for…

In this article, we prove the following results:\\ \noindent \text{(1).} Let $R$ be a smooth affine algebra of dimension $3$ over an algebraically closed field $K$ with $3!\in K$, then we show that $\Um_4(R)=e_1\Sp_4(R)$ and $\Um_4(R…

Let R be a commutative noetherian ring. Let D^b(R) be the bounded derived category of finitely generated R-modules. Let X and Y be thick subcategories of D^b(R). In this paper, we consider the question asking when the equality Supp(X\cap…

Finitely generated modules over the polynomial ring in $n$ indeterminates are isomorphic to quotients of finite rank free modules. We introduce a theory of relative Gr\"obner bases for those quotients of free modules and, equivalently, for…

This article gives an overview of some recent results in commutative algebra that are inspired by the work of Wiles, Taylor and Wiles, Diamond, Lenstra and others on the modularity of elliptic curves.

In this paper, we introduce the notion of uniformly S-pseudo-projective (u-S-pseudo-projective) modules as a generalization of u-S-projective modules. Let R be a ring and S a multiplicative subset of R. An R-module P is said to be…

In our previous paper an effective algorithm for inverting polynomial automorphisms was proposed. We extend its application to the case of formal power series over a field of arbitrary characteristic and illustrate the proposed approach…

Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…

We use dual graphs and generating sequences of valuations to compute the Poincare series of non-divisorial valuations on function fields of dimension two. The Poincare series are shown to reflect data from the dual graphs and hence carry…