be the set of (iso-classes of) finite dimensional simple right A-modules. An ndimensional simple A-module V ∈ Simpn(A) defines a surjectiv homomorphism of k-algebras, ρ : A → Endk(V ), the kernel of which is a two-sided maximal ideal mV , of A. Let Max≤∞ be the set of all such maximal ideals of A, for n ≥ 1. To exclude some strange and for our purposes non-interesting cases, we shall assume tha...

Let $$Q \rightarrow R$$ be a surjective homomorphism of Noetherian rings such that Q is Gorenstein and R as Q-bimodule admits finite resolution by modules which are projective on both sides. We define an adjoint pair functors between the homotopy category totally acyclic R-complexes Q-complexes. This analogous to classical module categories Q. As consequence, we obtain precise notion approximat...

We show that there exists a natural non-degenerate pairing of the homomorphism space between two neighbor standard modules over a quasi-hereditary algebra with the first extension space between the corresponding costandard modules and vise versa. Investigation of this phenomenon leads to a family of pairings involving standard, costandard and tilting modules. In the graded case, under some ”Kos...

In this paper we compute some derived functors Ext of the internal homomorphism functor in the category of modules over the representation Green functor. This internal homomorphism functor is the left adjoint of the box product. When the group is a cyclic 2-group, we construct a projective resolution of the module fixed point functor, and that allows a direct computation of the graded Green fun...

4.3. (i) Since HomA(A (I),M) ∼= M (I) for a set I and ⊕ is exact, it is clear that HomA(A (I),−) is exact, i.e. A(I) is projective. (ii) “Only if” part: Let A(P ) = ⊕ p∈P Ap be the free A-module indexed by P and ψ : A (P ) → p be the A-homomorphism such that ψ(1p) = p. Then ψ is surjective. If P is projective, then ψ has a section, i.e. an A-homomorphism φ : P → A(P ) such that ψ ◦ φ = idP . Th...

The main goal of this paper is to introduce a new class in the category modules. It called quasi-invertibility monoform (briefly QI-monoform) This modules generalization Various properties and another characterization QI-monoform are investigated. So, we prove that an R-module M if only for each non-zero homomorphism f:M E(M), kernel not quasi-invertible submodule M. Moreover, cases under which...

Let (R, m) and (S, n) be commutative Noetherian local rings, and let φ : R→ S be a flat local homomorphism such that mS = n and the induced map on residue fields R/m→ S/n is an isomorphism. Given a finitely generated R-module M , we show that M has an S-module structure compatible with the given R-module structure if and only if Ext R (S, M) is finitely generated as an R-module for each i ≥ 1. ...

4.3. (i) Since HomA(A (I),M) ∼= M (I) for a set I and ⊕ is exact, it is clear that HomA(A (I),−) is exact, i.e. A(I) is projective. (ii) “Only if” part: Let A(P ) = ⊕ p∈P Ap be the free A-module indexed by P and ψ : A (P ) → p be the A-homomorphism such that ψ(1p) = p. Then ψ is surjective. If P is projective, then ψ has a section, i.e. an A-homomorphism φ : P → A(P ) such that ψ ◦ φ = idP . Th...