An inequality in integral representation theory
type: Item
instance of: scholarly article
title: An inequality in integral representation theory
zbMATH Open document ID: 0632.20004
published in: Illinois Journal of Mathematics
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20C10
zbMATH DE Number: 4027731
zbMATH Keywords: abelian group
zbMATH Keywords: integral group ring
zbMATH Keywords: faithful representation
zbMATH Keywords: number of cyclic direct factors
zbMATH Keywords: direct product of cyclic groups
zbMATH Keywords: composition length
zbMATH Keywords: finitely generated ZG-module
author: Gerald J. Janusz
MaRDI profile type: Publication
Recommended article: Q4361772
Recommended article: Inequalities for moment cones of finite-dimensional representations
Recommended article: Q3769406
Recommended article: An inequality in character algebras
Recommended article: Q4240907
Recommended article: Q3329661
Recommended article: Q3689393
Recommended article: Integral representations of quermass-integrals and Bonnesen-Style inequalities
Recommended article: Basmajian-type inequalities for maximal representations
Recommended article: On the inequality of I. Schur
description: scientific article; zbMATH DE number 4027731