Vol. 15, No. 3, 1965

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
Inflation and deflation for all dimensions

Ernst Snapper

Vol. 15 (1965), No. 3, 1061–1081
Abstract

We assume that a finite group G acts on the left on finite sets X and Y , and that there is given a function f : X Y . We assume that f(σx) = σf(x) for all σ G and x X; and that f1(y) has the same number h of elements for all y Y . We show that the cohomology groups Hr(X;G,A) and Hr(Y ;G,A) of the permutation representations (G,X) and (G,Y ) with values in a G-module A are interrelated by homomorphisms inflationr: Hr(Y ;G,A) Hr(X;G,A) and deflationr: Hr(Y ;G,A) Hr(Y ;G,A), for all r Z. The main properties of infr (inflationr) and defr (deflationr) are:

I. For all r Z, defrinfr: Hr(Y ;G,A) Hr(Y ;G,A) consists of multiplying the elements of Hr(Y ;G,A) by hq, where q 1 and q depends on r.

II. If for some r Z, Hr(Y ;G,A) is uniquely divisible by h, inf r is a monomorphism and defr is an epimorphism and Hr(X;G,A) = im(inf r) ker(def r), where denotes the direct sum of abelian groups.

III. Hr(Y ;G,A) is uniquely divisible by h for all r Z in each of the following two cases.

IIIa. A is uniquely divisible by h.

IIIb. (h,m) = 1 where m is the index of (G,Y ).

We then study the special case where the permutation representations (G,X) and (G,Y ) are transitive and where (G,X) is furthermore free of fixed points. Since the classical inflation and deflation mappings fall under this heading, we have now extended these mappings to all of Z. We describe the six mappings inf r and def r for r = 0,±1 explicity in terms of trace mappings, augmentation ideals and crossed homomorphisms.

Mathematical Subject Classification
Primary: 20.50
Secondary: 18.00
Milestones
Received: 5 March 1964
Published: 1 September 1965
Authors
Ernst Snapper