Blocks of finite groups. The hyperfocal subalgebra of a block

From MaRDI portal





The book under review contains an exposition of the author's main result on the hyperfocal subalgebra of a block [cf. Invent. Math. 141, No. 2, 365-397 (2000; Zbl 0957.20007)]. It developed out of lectures given by the author at the University of Wuhan (China). The book is bilingual; each page consists of two colums, one with the Chinese and one with the English text. The author has made an effort to make his exposition self-contained; thus he has included material on the \(p\)-adic exponential and logarithm functions, on the lifting of idempotents and on Green's Indecomposability Theorem. Also, the original proof of the main result has been modified and improved at several points. One of the new concepts that is studied in this book is that of a divisor on a \(G\)-algebra (generalizing the concept of a point on a \(G\)-algebra). Let us restate the author's existence and uniqueness theorem on the hyperfocal subalgebra: Suppose that \(\mathcal O\) is a suitable complete discrete valuation ring of characteristic \(0\) with residue field of characteristic \(p>0\), let \(G\) be a finite group, and let \(b\) be a block of the group algebra \({\mathcal O}G\). Moreover, let \(P_\gamma\) be a defect pointed group of the corresponding pointed group \(G_{\{b\}}\), and let \(i\in\gamma\). Then \(B=i{\mathcal O}Gi\) is called the source algebra of \(b\); it is an interior \(P\)-algebra and, as an abstract algebra, Morita equivalent to the block algebra \({\mathcal O}Gb\). The hyperfocal subgroup \(Q={\mathfrak h}_G(P_\gamma)\) is defined as the subgroup of \(P\) generated by all \([R,g]\) where \(R_\varepsilon\) is a local pointed subgroup of \(P_\gamma\) and \(g\) is a \(p'\)-element in \(N_G(R_\varepsilon)\). The author's hyperfocal subalgebra theorem shows the existence and uniqueness (up to conjugation) of a \(P\)-stable interior \(Q\)-subalgebra \(D\) of \(B\) such that \(B=\bigoplus_{xQ\in P/Q}Dx\); then \(D\) is called the hyperfocal subalgebra of \(b\). If the block \(b\) is nilpotent then \(Q=1\), and it can be shown that \(D\) is just a full matrix algebra over \(\mathcal O\). Thus the author's hyperfocal subalgebra theorem can be considered as an extension of his earlier theorem on the structure of nilpotent blocks.











This page was built for publication: Blocks of finite groups. The hyperfocal subalgebra of a block

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539515)