Invertible modules (Q582376): Difference between revisions

Let G be a finite group and let R be a Dedekind domain. A permutation module is defined to be a finitely generated R-free KG-module which has an R-basis permuted by G and an invertible module is defined to be a direct summand of a permutation module. A main result is that if M is an invertible RG-module then \(M_ P=R_ P\otimes M\) is a permutation \(R_ PG\)-module for all primes P in R, from this it follows that KM is a permutation module where K is the quotient field of R. This main result is an analogue for invertible modules of Swan's theorem on projective modules that if R has characteristic 0 and G has order n such that no prime divisor of n is a unit in R then every finitely generated and projective RG-module is locally free. It is shown that an RG-module M is invertible if and only if \(M_ P\) is an \(R_ PG_ p\)-permutation module for each p-Sylow subgroup \(G_ p\) of G. The \({\mathbb{Q}}\)-class of an invertible \({\mathbb{Z}}G\)-module M is defined to be the set of all finitely generated \({\mathbb{Z}}\)-free \({\mathbb{Z}}G\)-modules N for which \({\mathbb{Q}}N\cong {\mathbb{Q}}M\); a succinct characterization of those \({\mathbb{Q}}\)-classes containing an invertible module is obtained when G is a cyclic group. The arguments are mainly homological and the paper contains a number of examples and counter-examples.