A cocycle construction for groups (Q759831)

A unified theory of transfer is developed in this elegant paper, which is based on a method by Wielandt [cf. \textit{J. S. Rose}, A course on group theory (1978; Zbl 0371.20001)], and which yields, besides a number of known results, a construction of group automorphisms which centralize large factor groups. Let M be a set, H a group acting faithfully on M, \(H_ 0\triangleleft H\) such that \(C_ H(m)\leq H_ 0\) for all \(m\in M\). For any two elements m,n\(\in M\) of the same H-orbit, let n/m be the unique coset \(H_ 0h\in H/H_ 0\) with the property \(n=mh\). Furthermore, if R and S are full sets of representatives of the H-orbits in M, let S/R denote the product \(\prod s/r\in H/H_ 0\), taken over all those pairs (r,s)\(\in R\times S\) which have the property that r and s are in the same H-orbit. If G is a group acting on M such that it normalizes both H and \(H_ 0\), then G induces an action on the set of full sets of representatives of the H- orbits in M which allows one to define a map \(W_ R: G\to H/H_ 0\) by \(W_ R(X)=RX/R\) for all \(X\in G\). If \(H/H_ 0\) is abelian, then (i) \(W_ R\) is a 1-cocycle of G into \(H/H_ 0\), (ii) \(W_ S(X)=W_ R(X)\prod [s/r,X]\), the product taken over the same pairs (r,s) as above, (iii) if \([G,H]\leq H_ 0\), then \(W_ R=W_ S\), and \(W_ R\) is a homomorphism. (Theorem 1). Special cases of this theorem are the transfer, the ''Totalverlagerung'' (total transfer) by \textit{H. Laue}, \textit{H. Lausch} and \textit{G. Pain} [Math. Z. 154, 257-260 (1977; Zbl 0337.20013)] and an elegant result by \textit{A. Brandis} [Math. Z. 162, 205-217 (1978; Zbl 0386.20009)]. Theorem 2: Let G be a group, A an abelian normal subgroup of G, \(A\leq B\leq G\), [G:B] finite, and assume that B splits over A. Let t be an integer such that \(a\to a^{[G:B]t+1}\) is an automorphism of A. Then there is an automorphism \(\alpha\) of G such that [G,\(\alpha\) ]\(\leq A\) and which extends the given automorphism of A. Theorem 3 is of similar nature. Furthermore, the role of the Brandis construction is highlighted.