A method for constructing minimal projective resolutions over idempotent subrings

Authors

Publication date 8 September 2023

Abstract: We show how to obtain a minimal projective resolution of finitely generated modules over an idempotent subring

G a m m a_{e} := (1 - e) R (1 - e)

of a semiperfect noetherian basic ring

R

by a construction inside

m a t h s f m o d R

. This is then applied to investigate homological properties of idempotent subrings

G a m m a_{e}

under the assumption of

R / l a n g l e 1 - e a n g l e

being a right artinian ring. In particular, we prove the conjecture by Ingalls and Paquette that a simple module

S_{e} := e R / o p e r a t o r n a m e r a d e R

with

o p e r a t o r n a m e {E x t}_{R}^{1} (S_{e}, S_{e}) = 0

is self-orthogonal, that is

o p e r a t o r n a m e {E x t}_{R}^{k} (S_{e}, S_{e})

vanishes for all

k g e q 1

, whenever

o p e r a t o r n a m e g l R

and

o p e r a t o r n a m e p d i m e R (1 - e)_{G a m m a_{e}}

are finite. Indeed, a slightly more general result is established, which applies to sandwiched idempotent subrings: Suppose

e i n R

is an idempotent such that all idempotent subrings

G a m m a

sandwiched between

G a m m a_{e}

and

R

, that is

G a m m a_{e} s u b s e t G a m m a s u b s e t R

, have finite global dimension. Then the simple summands of

S_{e}

can be numbered

S_{1}, d o t s, S_{n}

such that

o p e r a t o r n a m e {E x t}_{R}^{k} (S_{i}, S_{j}) = 0

for

1 l e q j l e q i l e q n

and all

k > 0

.

Recommendations

Cites work

Cited in

(1)

This page was built for publication: A method for constructing minimal projective resolutions over idempotent subrings