Related papers: The constructive content of a local-global princip…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…

In this article, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either a…

In this paper, we construct indecomposable integrally closed modules of arbitrary rank over a two-dimensional regular local ring. The modules are quite explicitly constructed from a given complete monomial ideal. We also give structural and…

In this paper, the projectivity of a finitely generated flat module of a commutative ring is studied through its exterior powers and invariant factors and then various new results are obtained. Specially, the related results of Endo,…

Let $K$ be a complete discrete valued field with residue field $k$ and $F$ the function field of a curve over $K$. Let $A \in {}_2Br(F)$ be a central simple algebra with an involution $\sigma$ of any kind and $F_0 =F^{\sigma}$. Let $h$ be…

Idempotent elements play a fundamental role in ring theory, as they encode significant information about the underlying algebraic structure. In this paper, we study idempotent matrices from two perspectives. First, we analyze the partially…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…

The primary goal of this paper is to investigate the structure of irreducible monomorphisms to and irreducible epimorphisms from finitely generated free modules over a noetherian local ring. Then we show that over such a ring,…

In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.

Let $G$ be a group scheme of finite type over a field, and consider the cohomology ring $H^*(G)$ with coefficients in the structure sheaf. We show that $H^*(G)$ is a free module of finite rank over its component of degree 0, and is the…

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying…

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

Let $R$ denote a commutative Noetherian ring. Brodmann et al. defined and studied the concept of the local-global principle for annihilation of local cohomology modules at level $r\in\mathbb{N}$ for the ideals $\frak a$ and $\frak b$ of…

We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer…

Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp…

Let $\fa$ be an ideal of a local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. We investigate the structure of the formal local cohomology modules ${\vpl}_nH^i_{\fm}(M/\fa^n M)$, $i\geq 0$. We prove several results concerning…

In this article, we construct integrally closed modules of rank two over a two-dimensional regular local ring. The modules are explicitly constructed from a given complete monomial ideal with respect to a regular system of parameters. Then…

Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…

We construct elementary subgroups of all reductive groups of the local isotropic rank $\geq 2$ over rings and prove their basic properties. In particular, our results may be applied to the automorphism groups of any finitely generated…