Relative Ding Projective Modules over Formal Triangular Matrix Rings

Let U be a (B, A)-bimodule, A and B be rings, and be a formal triangular matrix ring. In this paper, we characterize the structure of relative Ding projective modules over T under some conditions. Furthermore, using the left global relative Ding projective dimensions of A and B, we estimate the relative Ding projective dimension of a left T-module.

n-strongly Gorenstein Projective and Injective and Flat Modules

In this paper, we study some properties of n-strongly Gorenstein projective,injective and flat modules, and discuss some connections between n-strongly Gorenstein injective, projective and flat modules. Some applications are given.

Singularity Categories with Respect to Ding Projective Modules

Abstract We introduce the singularity category with respect to Ding projective modules, Db dpsg（R）, as the Verdier quotient of Ding derived category Db DP（R） by triangulated subcategory Kb（DP）, and give some triangle equivalences. Assume DP is precovering. We show that Db DP（R） ≌K-,dpb（DP） and Dbpsg（R） ≌ DbDdefect（R）. We prove that each R-module is of finite Ding projective dimension if and only if Dbdpsg（R） = 0.

Notes on Strongly n-Gorenstein Projective, Injective and Flat Modules

In this paper, we mainly investigate some properties of strongly n-Gorenstein projective, injective and flat modules under the extension of rings, which mainly including excellent extensions, morita equivalences, polynomial extensions and localizations.

Algebraic K-theory of Gorenstein projective modules

We introduce the Gorenstein algebraic K-theory space and the Gorenstein algebraic K-group of a ring, and show the relation with the classical algebraic K-theory space, and also show the ＇resolution theorem＇ in this context due to Quillen. We characterize the Gorenstein algebraic K-groups by two different Mgebraic K-groups and by the idempotent completeness of the Gorenstein singularity category of the ring. We compute the Gorenstein algebraic K-groups along a recollement of the bounded Gorenstein derived categories of CM-finite Gorenstein algebras.

F-perfect Rings and Modules

Let R be a ring, and let （F, C） be a cotorsion theory. In this article, the notion of F-perfect rings is introduced as a nontrial generalization of perfect rings and A-perfect rings. A ring R is said to be right dr-perfect if F is projective relative to R for any F ∈ F. We give some characterizations of F-perfect rings. For example, we show that a ring R is right F-perfect if and only if F-covers of finitely generated modules are projective. Moreover, we define F-perfect modules and investigate some properties of them.

The stable Auslander-Reiten components of certain monomorphism categories

Let Λ be an Artin algebra and let Gprj-Λ denote the class of all the finitely generated Gorenstein projective Λ-modules. In this paper, we study the components of the stable Auslander-Reiten quiver of a certain subcategory of the monomorphism category S(Gprj-Λ) containing boundary vertices. We describe the shape of such components. It is shown that certain components are linked to the orbits of an auto-equivalence on the stable category Gprj. In particular, for the finite components, we show that under certain mild conditions,their cardinalities are divisible by 3. We see that this three-periodicity phenomenon reoccurs several times in the paper.

Generalized Gorenstein Modules

We introduce a generalization of the Gorenstein injective modules:the Gorenstein FPn-injective modules(denoted by GI_(n)).They are the cycles of the exact complexes of injective modules that remain exact when we apply a functor Hom(A,-),with A any FP_(n)-injective module.Thus,GL_(o)is the class of classical Gorenstein injective modules,and GI_(1)is the class of Ding injective modules.We prove that over any ring R,for any n≥2,the class GI_(n)is the right half of a perfect cotorsion pair,and therefore it is an enveloping class.For n=1 we show that GI_(1)(i.e.,the Ding injectives)forms the right half of a hereditary cotorsion pair.If moreover the ring R is coherent,then the Ding injective modules form an enveloping class.We also define the dual notion,that of Gorenstein FP_(n)-projectives(denoted by GP_(n)).They generalize the Ding projective modules,and so,the Gorenstein projective modules.We prove that for any n≥2 the class GP_(n)is the left half of a complete hereditary cotorsion pair,and therefore it is special precovering.

Gorenstein Projective Dimensions of Complexes

We show that over a right coherent left perfect ring R, a complex C of left R-modules is Gorenstein projective if and only if C^m is Gorenstein projective in R-Mod for all m E Z. Basing on this we show that if R is a right coherent left perfect ring then Gpd（C） = sup{Gpd（C^m）｜m ∈ Z} where Gpd（-） denotes Gorenstein projective dimension.

On Ding Projective Complexes

In the paper, Ding projective modules and Ding projective complexes are considered. In particular, it is proven that Ding projective complexes are precisely the complexes X for which each Xm is a Ding projective R-module for all m ∈ Z.

Another Gorenstein Analogue of Projective Complexes

As we know,a complex P is projective if and only if P is exact with Z_n(P)projective in R-Mod for each n∈Z and any morphism f:P→C is null homotopic for any complex C.In this article,we study the notion of DG-Gorenstein projective complexes.We show that a complex G is DG-Gorenstein projective if and only if G is exact with Z_n(G)Gorenstein projective in R-Mod for each n∈Z and any morphism f:G→Q is null homotopic whenever Q is a DG-projective complex.

The Projective Cover of the Trivial Representation for a Finite Group of Lie Type in Defining Characteristic

We give a lower bound of the Loewy length of the projective cover of the trivial module for the group algebra kG of a finite group G of Lie type defined over a finite field of odd characteristic p, where k is an arbitrary field of characteristic p. The proof uses Auslander-Reiten theory.

Inverse Limits in Representations of a Restricted Lie Algebra

Let （g, [p]） be a restricted Lie algebra over an algebraically closed field of characteristic p 〉 O. Then the inverse limits of ＂higher＂ reduced enveloping algebras {uxs （g） I s ∈ N} with X running over g＊ make representations of g split into different ＂blocks＂. In this paper, we study such an infinite- dimensional algebra Ax （g） ：=lim Uxs （g） for a given X C g＊. A module category equivalence is built between subcategories of U（g）-rnod and Ax（g）-mod. In the case of reductive Lie algebras, （quasi） generalized baby Verma modules and their properties are described. Furthermore, the dimensions of projective covers of simple modules with characters of standard Levi form in the generalized x-reduced module category are precisely determined, and a higher reciprocity in the case of regular nilpotent is obtained, generalizing the ordinary reciprocity.

Acyclic Complexes and Gorenstein Rings

For a given class of modules A,let A be the class of exact complexes having all cycles in A,and dw(A)the class of complexes with all components in A.Denote by GL the class of Gorenstein injective modules.We prove that the following are equivalent over any ring R:every exact complex of injective modules is totally acyclic;every exact complex of Gorenstein injective modules is in every complex in dw(GL)is dg-Gorenstein injective.The analogous result for complexes of flat and Gorenstein flat modules also holds over arb计rary rings.If the ring is n-perfect for some integer n≥0,the three equivalent statements for flat and Gorenstein flat modules are equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules.We also prove the following characterization of Gorenstein rings.Let R be a commutative coherent ring;then the following are equivalent:(1)every exact complex of FP-injective modules has all its cycles Ding injective modules;(2)every exact complex of flat modules is F-totally acyclic,and every R-modulc M such that M^(+)is Gorenstein flat is Ding injective;(3)every exact complex of injectives has all its cycles Ding injective modules and every R-module M such that is Gorenstein flat is Ding injective.If R has finite Krull dimension,statements(1)-(3)are equivalent to(4)R is a Gorenstein ring(in the sense of Iwanaga).

A Note on the Auslander-Reiten Conjecture

It is proved that the Auslander-Reiten conjecture is true for local Artin algebras with radical cube zero.

On Endomorphism Rings of Regular Modulos (Dedicated to Professor Zhou Boxun for his 80'th Birthday)

In this paper. we study the endomorphism rings of regular modules.We give sufficient conditions on a regular projective module P such that End_R(P) has stable range one.

Some Results on Noetherian Warfield Domains

Let R be a domain.In this paper,we show that if R is one dimensional,then R is a Noetherian Warfield domain if and only if every maximal ideal of R is 2-generated and for every maximal ideal M of R,M is divisorial in the ring(M:M).We also prove that a Noetherian domain R is a Noetherian Warfield domain if and only if for every maximal ideal M of R,M^(2) can be generated by two elements.Finally,we give a sufficient condition under which all ideals of R are strongly Gorenstein projective.

Cartan Invariants in the Category of Restricted Representation for gl(m|n)

Let k be an algebraically closed field of characteristic p 〉 2, and gl（m｜n） be the general linear Lie superalgebra over k. The Cartan invariants for the restricted supermodule category for gl（m｜n） are presented.

A position sensor based on grating projection with spatial filtering and polarization modulation

A position sensor based on grating projection with spatial filtering and polarization modulation is presented. A grating is projected onto the object to be measured through a 4f optical system with a spatial filter. After reflected by the object, the grating projection is imaged on a detection grating through another 4f optical system to form moiré fringes, The polarization modulated moiré signal is detected to obtain the position information of the object. In the position sensor, the moiré signal varies sinusoidally with the position of object. The measurement is independent of the incident intensity on the projection grating and the reflectivity of the object to be measured, In experiments, the effectiveness of the position sensor is proved, and the root mean square （RMS） error at each measurement position is less than 13 nm.