Related papers: Serre Dimension of Monoid Algebras

Let $R$ be a commutative noetherian ring of dimension $d$ and $M$ be a commutative$,$ cancellative$,$ torsion-free monoid of rank $r$. Then $S$-$dim(R[M]) \leq max\{1, dim(R[M])-1 \} = max\{1, d+r-1 \}$. Further$,$ we define a class of…

Let R be a commutative Noetherian ring of dimension d and B=R[X_1,\ldots,X_m,Y_1^{\pm 1},\ldots,Y_n^{\pm 1}] a Laurent polynomial ring over R. If A=B[Y,f^{-1}] for some f\in R[Y], then we prove the following results: (i) If f is a monic…

Let $A$ be a Rees-like algebra of dimension $d$ and $N$ a commutative partially cancellative torsion-free seminormal monoid. We prove the following results. \begin{enumerate} \item Let $P$ be a finitely generated projective $A$-module of…

We call a monoidal category ${\mathcal C}$ a Serre category if for any $C$, $D \in {\mathcal C}$ such that $C\ot D$ is semisimple, $C$ and $D$ are semisimple objects in ${\mathcal C}$. Let $H$ be an involutory Hopf algebra, $M$, $N$ two…

Let $A$ be a symbolic (or an extended symbolic) Rees algebra (need not be Noetherian) of dimension $d$. Let $P$ be a finitely generated projective $A$-module of rank $\geq$ $d$. Then P has a unimodular element. This improves the classical…

We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian…

Let $R$ be a commutative ring of dimension $d$, $S = R[X]$ or $R[X, 1/X]$ and $P$ a finitely generated projective $S$ module of rank $r$. Then $P$ is cancellative if $P$ has a unimodular element and $r \geq d + 1$. Moreover if $r \geq \dim…

Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$.…

We provide a class of commutative Noetherian domains $R$ of dimension $d$ such that every finitely generated projective $R$-module $P$ of rank $d$ splits off a free summand of rank one. On this class, we also show that $P$ is cancellative.…

We show, for a finitely generated partially cancellative torsion-free commutative monoid $M$, that $K_i(R) \cong K_i(R[M])$ whenever $i \le -d$ and $R$ is a quasi-excellent $\Q$-algebra of Krull dimension $d \ge 1$. In particular,…

Let $R$ be a Noetherian ring of dimension $d$ and $A$ be a graded $R$-subalgebra of $R[X,1/X]$. Let $P$ be a projective module over $A$ of rank $r \geq \max\{d+1,2\}$ and $\v=(a,p)$ be a unimodular element of $A \oplus P$. We find an…

Let $R$ be a commutative Noetherian ring of dimension $d$. First, we define the "geometric subring" $A$ of a polynomial ring $R[T]$ of dimension $d+1$ (the definition of geometric subring is more general, see (1.2)). Then we prove that…

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

Let A be a commutative Noetherian ring of dimension d and let P be a projective R=A[X_1,\ldots,X_l,Y_1,\ldots,Y_m,\frac {1}{f_1\ldots f_m}]-module of rank r\geq max {2,dim A+1, where f_i\in A[Y_i]. Then (i) \EL^1(R\op P) acts transitively…

Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid…

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…

A commutative cancellative monoid is atomic if every non-invertible element factors into irreducibles (also called atoms), while an integral domain is atomic if its multiplicative monoid is atomic. Back in the eighties, Gilmer posed the…

Let $P$ be a finitely generated commutative semiring. It was shown recently that if $P$ is a parasemifield (i.e. the multiplicative reduct of $P$ is a group) then $P$ cannot contain the positive rationals $\mathbb{Q}^+$ as its subsemiring.…

Let $R$ be a commutative ring with identity. The small finitistic dimension $\fPD(R)$ of $R$ is defined to be the supremum of projective dimensions of $R$-modules with finite projective resolutions. In this paper, we characterize a ring $R$…

Let $R$ be an affine algebra over an algebraically closed field of characteristic $0$ with dim$(R)=n$. Let $P$ be a projective $A=R[T_1,\cdots,T_k]$-module of rank $n$ with determinant $L$. Suppose $I$ is an ideal of $A$ of height $n$ such…