An inequality in integral representation theory (Q1095247): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q786228 |
Changed an Item |
||
Property / author | |||
Property / author: Gerald J. Janusz / rank | |||
Normal rank |
Revision as of 05:09, 21 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An inequality in integral representation theory |
scientific article |
Statements
An inequality in integral representation theory (English)
0 references
1988
0 references
Let p be a prime number and G an abelian group of order \(p^ n\), \(n\geq 1\). Let M be a module for the integral group ring ZG which is Z-free and finitely generated and which affords a faithful representation of G. Let V denote the corresponding QG-module, \(V=Q\otimes M=QM\). The main result of this paper gives a relation involving the \(rank_ Z(M)\), the dimension over \({\mathbb{F}}=Z/pZ\), of the space \((M/pM)^ G\) of G-fixed points on M/pM, and the elementary divisors of G. Let \(d_ i(G)\) denote the number of cyclic direct factors of G having order \(p^ i\) in a fixed decomposition of G as a direct product of cyclic groups, \(\phi\) is the usual Euler function, \(\lambda\) (V) is the composition length of the QG-module V. Theorem 1. Let G be a finite abelian p-group and let M be a Z-free ZG- module on which G acts faithfully. Then \[ rank_ Z(M)-\dim _{{\mathbb{F}}}(M/pM)^ G\geq \sum ^{e}_{i=1}d_ i(G)(\phi (p^ i)-1), \] where \(p^ e\) is the exponent of G. - The proof is carried out by proving two auxiliary results: Proposition. With G as above, and V any finite dimensional QG-module on which G acts faithfully, \[ \dim _ Q(V)\geq \sum ^{e}_{i=1}d_ i(G)\phi (p^ i). \] Proposition. Let M be any Z-free finitely generated ZG-module. Then \(\dim _{{\mathbb{F}}}(M/pM)^ G\leq \lambda (QM).\) The bound in Theorem 1 is best possible in the sense that for any given G, there is an M for which equality holds. Interest in bounds of this type is motivated by work of Wm. Browder and A. Adem in which they study groups acting on products of spheres.
0 references
abelian group
0 references
integral group ring
0 references
faithful representation
0 references
number of cyclic direct factors
0 references
direct product of cyclic groups
0 references
composition length
0 references
finitely generated ZG-module
0 references