Gorenstein AC-Projective and AC-Injective Modules over Formal Triangular Matrix Rings

Let A and B be rings and U a(B,A)-bimodule.If BU is flat and UA is finitely generated projective(resp.,BU is finitely generated projective and UA is flat),then the characterizations of level modules and Gorenstein AC-projective modules(resp.,absolutely clean modules and Gorenstein AC-injective modules)over the formal triangular matrix ring T=(A0 UB)are given.As applications,it is proved that every Gorenstein AC-projective left T-module is projective if and only if each Gorenstein AC-projective left A-module and B-module is projective,and every Gorenstein AC-injective left T-module is injective if and only if each Gorenstein AC-injective left A-module and B-module is injective.Moreover,Gorenstein AC-projective and AC-injective dimensions over the formal triangular matrix ring T are studied.