Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
PERIODIC FLAT MODULES, AND FLAT MODULES FOR FINITE GROUPS D. J. BENSON AND K. R. GOODEARL
 

Summary: PERIODIC FLAT MODULES, AND FLAT MODULES FOR FINITE GROUPS
D. J. BENSON AND K. R. GOODEARL
Abstract. If R is a ring of coefficients and G a finite group, then a flat RG­module which is
projective as an R­module is necessarily projective as an RG­module. More generally, if H is a
subgroup of finite index in an arbitrary group \Gamma, then a flat R\Gamma­module which is projective as an
RH­module is necessarily projective as an R\Gamma­module. This follows from a generalization of the
first theorem to modules over strongly G­graded rings. These results are proved using the following
theorem about flat modules over an arbitrary ring S: If a flat S­module M sits in a short exact
sequence 0 ! M ! P ! M ! 0 with P projective, then M is projective. Some other properties
of flat and projective modules over group rings of finite groups, involving reduction modulo primes,
are also proved.
1. Introduction
In the representation theory of finite groups, a great deal of attention has been given to the
problem of determining whether a module over a group ring is projective. For example, a well
known theorem of Chouinard [13] states that a module is projective if and only if its restriction
to each elementary abelian subgroup is projective. A theorem of Dade [16] states that over an
algebraically closed field of characteristic p, a finitely generated module for an elementary abelian
p­group is projective if and only if its restriction to each cyclic shifted subgroup is projective,
where a cyclic shifted subgroup is a certain kind of cyclic subgroup of the group algebra. For an
infinitely generated module, the statement is no longer valid, but in [8] it is proved that an infinitely

  

Source: Akhmedov, Azer - Department of Mathematics, University of California at Santa Barbara

 

Collections: Mathematics