The Cartan ring of a finite group
type: Item
instance of: scholarly article
title: The Cartan ring of a finite group
zbMATH Open document ID: 1068.19001
author: Robert Boltje
author: Burkhard Külshammer
published in: Journal of Algebra
publication date: 2005-04-07T00:00:00Z
review text: Let \(G\) be a finite group, and \(F\) be an algebraically closed field of prime characteristic \(p>0\). Denote by \(G_{0}(FG)\) the Grothendieck ring of the group algebra \(FG\) and by \(K_{0}(FG)\) the ideal of \(G_{0}(FG)\) generated by finitely projective modules. The Cartan ring of \(G\), \(Cart(FG)\), is defined as the quotient \(G_{0}(FG)/K_{0}(FG)\). As an abelian group, it is known to be a \(p\)-group [Theorem 3.6.32 in \textit{H. Nagao} and \textit{Y. Tsushima}, ``Representations of finite groups'', Academic Press, Boston (1989; Zbl 0673.20002)]. The authors describe in this paper the {ring} structure of \(Cart(FG)\). This goes as follows: let \(\overline{\mathbb{Q}}_{p}\) be an algebraic closure of the \(p\)-adic rationals, and \(\mathbb{Z}_{p}\) denote the \(p\)-adic integers. Moreover, denote by \(\xi\) a \(| G| _{p'}\)-primitive root of unity in \(\overline{\mathbb{Q}}_{p}\), where \(| G| _{p'}\) denotes the \(p'\)-part of the order of \(G\), and \(G_{p'}\) denotes the set of \(p'\)-elements of \(G\). Finally, let \(IBr(G)\) be the set of irreducible Brauer characters \(G_{p'}\to \mathbb{Z}_{p}\) and \(RIBr(G)\) stand for the set of \(R\)-linear combinations of \(IBr(G)\) for any subring \(R\subset\overline{\mathbb{Q}}_{p}\). Now, let \(\Gamma\) be the Galois group of the Galois extension \(\mathbb{Q}_{p}[\xi]| \mathbb{Q}_{p}\), the authors observe that there is a natural action of \(G\times \Gamma\) on \(G_{p'}\), let \(G_{p'}/\!\!\sim_{G\times\Gamma}\) be the orbit space under this action, and \(m_s=| \Gamma :\Gamma_{s}| \) for each \(s\in G_{p'}\). The main theorem is the following: {For \(s\in G_{s}\), let \(R_{s}\) be the ring of integers in the unique unramified extension \(K_{s}\) of \(\mathbb{Q}_{p}\) of degree \(m_{s}\). The Cartan ring of \(G\) is isomorphic as a ring to \[ \prod_{s\in G_{p'}/\sim_{G\times\Gamma}}R_{s}/| C_{G}(s)| R_{s}, \] where \[ R_{s}=\mathbb{Z}_{p}[\phi(s):\phi\in IBr(G)]. \] } As a consequence of the above, the authors …
Mathematics Subject Classification ID: 19A22
Mathematics Subject Classification ID: 20C20
zbMATH DE Number: 2153363
zbMATH Keywords: Cartan ring
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2004.06.032
OpenAlex ID: W1996409278
cites work: Sur l'induction des modules indécomposables et la projectivité rélative
cites work: Q5634146
DOI: 10.1016/J.JALGEBRA.2004.06.032
Recommended article: Q3620475
Recommended article: Q5749458
Recommended article: Cartan invariants of group algebras of finite groups
Recommended article: Finite conjugacy in group rings
Recommended article: Finite groups of units of finite characteristic rings
Recommended article: The Cohomology Ring of a Finite Abelian Group
Recommended article: On the character rings of finite groups
Recommended article: Finitely generated group ring units
Recommended article: Q4247588
Recommended article: Q3154021
description: scientific article; zbMATH DE number 2153363