Ding modules and dimensions over formal triangular matrix rings

Publication date 14 December 2019

Abstract: Let

be a formal triangular matrix ring, where

A

and

B

are rings and

U

is a

(B, A)

-bimodule. We prove that: (1) If

U_{A}

and

_{B} U

have finite flat dimensions, then a left

T

-module

is Ding projective if and only if

M_{1}

and

M_{2} / m i m (v a r p h i^{M})

are Ding projective and the morphism

v a r p h i^{M}

is a monomorphism. (2) If

T

is a right coherent ring,

_{B} U

has finite flat dimension,

U_{A}

is finitely presented and has finite projective or

F P

-injective dimension, then a right

T

-module

(W_{1}, W_{2})_{v a r p h i_{W}}

is Ding injective if and only if

W_{1}

and

k e r (w i d e t i l d e v a r p h i_{W})

are Ding injective and the morphism

w i d e t i l d e v a r p h i_{W}

is an epimorphism. As a consequence, we describe Ding projective and Ding injective dimensions of a

T

-module.

This page was built for publication: Ding modules and dimensions over formal triangular matrix rings