Block induction for group algebras over semi-local rings
type: Item
instance of: scholarly article
title: Block induction for group algebras over semi-local rings
zbMATH Open document ID: 0827.20014
author: Wayne W. Wheeler
published in: Journal of Algebra
publication date: 1994-08-17T00:00:00Z
review text: The paper continues the development of the theory of \(\pi\)-blocks, where \(\pi\) is a set of primes. The work in this direction began with the papers of \textit{G. R. Robinson} [J. Algebra 117, 409-418 (1988; Zbl 0648.20008)] and \textit{G. R. Robinson} and \textit{R. Staszewski} [ibid. 126, 310-326 (1989; Zbl 0684.20009)]. The analogue of Brauer's Second Main Theorem has been proved in Robinson's paper and Robinson and Staszewski studied subpairs. For \(\pi\)-separable groups the theory of \(\pi\)-blocks is very similar to the theory of \(p\)-blocks. Such a theory was developed by \textit{M. Slattery} [ibid. 102, 60-77 (1986; Zbl 0595.20014); ibid. 124, 236-269 (1989; Zbl 0684.20008)]. The author deals with block induction. Let \(G\) be a finite group and \(R\) be a principal ideal domain containing a primitive \(|G|\)th root of unity and having quotient field of characteristic zero. Let \(p_1,\dots,p_r\) be primes, \(\pi=\{p_1,\dots,p_r\}\). Suppose that \(R\) contains a unique prime ideal \({\mathcal P}_i\) such that \(p_i\in{\mathcal P}_i\), \(i =1,\dots,r\). The group \(G\times G\) acts on \(RG\) by \(\alpha (x,y)=x^{-1}\alpha y\), \(\alpha\in RG\), \(x,y\in G\). The \(\pi\)- blocks are the indecomposable summands of the \(R(G\times G)\)-module \(RG\). The main results are: Theorem 1. Let \(D\) be a nilpotent \(\pi\)-subgroup of \(G\), and let \(b\) be a \(\pi\)-block of \(L=DC_G(D)\). Then \(b^G\) is the unique block of \(G\) satisfying the following conditions: (1) \(b|(b^G)_{L\times L}\): (2) If \(p\in \pi\) and \(P\) is a Sylow \(p\)-subgroup of \(D\), then \((b^{PC_G(D)})^G=b^G\). Theorem 2. Suppose that \(G\) is a group with nilpotent Hall \(\pi\)- subgroup. Let \(B\) be a block of \(G\), and let \({\mathcal L}_G(B)=\{(D_i,b^*_i):i\in I\}\) be a set of representatives for the conjugacy classes of maximal \(B\)-subpairs of \(G\). Then \(B|\bigoplus_{i\in I}b_i^{G\times G}\).
Mathematics Subject Classification ID: 20C20
Mathematics Subject Classification ID: 20D20
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 20C05
zbMATH DE Number: 614241
zbMATH Keywords: \(\pi\)-blocks
zbMATH Keywords: Brauer's Second Main Theorem
zbMATH Keywords: subpairs
zbMATH Keywords: \(\pi\)-separable groups
zbMATH Keywords: \(p\)-blocks
zbMATH Keywords: block induction
zbMATH Keywords: finite groups
zbMATH Keywords: nilpotent \(\pi\)- subgroups
zbMATH Keywords: Sylow \(p\)-subgroups
zbMATH Keywords: nilpotent Hall \(\pi\)-subgroups
MaRDI profile type: Publication
full work available at URL: jabr.1994.1163
OpenAlex ID: W2084342430
DOI: 10.1006/JABR.1994.1163
description: scientific article; zbMATH DE number 614241