Handling integralp-Group rings

From MaRDI portal
Publication:4338191





The paper studies the pair of orders \(\mathbb{Z} G\subset\bigoplus^h_{i=1}\Lambda_i\) in the rational group algebra \(\mathbb{Q} G\) of a finite group \(G\), where \(\Lambda_i=e_i\mathbb{Z} G\) and \(e_1,\dots,e_h\) is the full set of primitive idempontents in \(\mathbb{Q} G\). \(G\) is often assumed to be a \(p\)-group. By means of an iteration process built up by fibre products it is first shown how one can get from \(\mathbb{Z} G\) to the \(\Lambda_i\). The main idea here comes from the observation that, if \(S(\overline G)\) is an \(S\)-order spanned by a homomorphic image \(\overline G\) of \(G\) over an integral domain \(S\) of characteristic not dividing \(|G|\), and if \(x\in\overline G\) is central with \(\sum^{\text{ord}(x)}_{i=0}x^i=\widehat x\neq 0\), one has a fibre diagram presenting \(S(\overline G)\) as the pull-back of \(S(\overline G/\langle x\rangle)\to S/\text{ord}(x)(\overline G/\langle x\rangle)\) and \(S(\overline G)/\langle\widehat x\rangle\to S/\text{ord}(x)(\overline G/\langle x\rangle)\). Applying induction, i.e., the above to the two orders \(S(\overline G/\langle x\rangle)\) and \(S(\overline G)/\langle\widehat x\rangle\), one arrives at the simple factors \(\Lambda_i\) (at least in principle). Quite a few examples are given. Finally, it is shown that the \(\Lambda_i\) carry a structure of crossed products in a natural way, if the group structure of \(G\) is somewhat restricted (e.g., metabelian).











This page was built for publication: Handling integralp-Group rings

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