On Gorenstein homological dimension of groups

Abstract: Let

G

be a group and

R

be a ring. We define the Gorenstein homological dimension of

G

over

R

, denoted by

{m G h d}_{R} G

, as the Gorenstein flat dimension of trivial

R G

-module

R

. It is proved that

{m G h d}_{S} G l e q {m G h d}_{R} G

for any flat extension of commutative rings

R i g h t a r r o w S

; in particular,

{m G h d}_{R} G

is a refinement of

{m G h d}_{m a t h b b Z} G

if

R

is

m a t h b b Z

-torsion-free. We show a Gorenstein homological version of Serre's theorem, i.e.

{m G h d}_{R} G = {m G h d}_{R} H

for any subgroup

H

of

G

with finite index. As an application,

G

is a finite group if and only if

{m G h d}_{R} G = 0

; this is different from the fact that the homological dimension of any non-trivial finite group is infinity.

This page was built for publication: On Gorenstein homological dimension of groups