The structure over \(\mathbb{Z}[q,q^{-1}]\) of Hecke orders of dihedral groups
type: Item
instance of: scholarly article
title: The structure over \(\mathbb{Z}[q,q^{-1}]\) of Hecke orders of dihedral groups
zbMATH Open document ID: 0955.16020
author: Klaus W. Roggenkamp
published in: Journal of Algebra
publication date: 2000-11-27T00:00:00Z
review text: The article provides an inductive description of Hecke orders \({\mathcal H}_G\) over \(\mathbb{Z}[q,q^{-1}]\), where \(G\) is a dihedral group of order \(2\cdot p^n\), and \(p\) is an odd prime. Thus \({\mathcal H}_G\) is an order in the separable \(\mathbb{Q}(q)\)-algebra \(\mathbb{Q}(q)\otimes_{\mathbb{Z}[q]}{\mathcal H}_G\cong\mathbb{Q}(q)[G]\). Notice that the two-dimensional coefficient ring \(\mathbb{Z}[q,q^{-1}]\) belongs to an integral affine scheme \(X\) that involves all algebraic number fields as well as the function fields \(\mathbb{F}_p(q)\) for any rational prime \(p\). Namely, these fields arise as function fields of irreducible closed subschemes of \(X\). Therefore, the representation theory over \(\mathbb{Z}[q,q^{-1}]\) comprises the theory of (integral and rational) representations over algebraic number fields as well as modular representation theory as a special case. Let \(\vartheta_i\) be a primitive \(p^i\)-th root of unity, and let \(K_i\) denote the quotient field of \(R_i:=\mathbb{Z}[q,q^{-1}]\otimes\mathbb{Z}[\eta_i]\), where \(\eta_i:=\vartheta_i+\vartheta^{-1}_i\). Then \(\mathbb{Q}(q)[G]\) has \(n\) irreducible representations of the form \(M_2(K_i)\). By a suitable choice of the basis in \(M_2(K_i)\), the author shows that the projection of \({\mathcal H}_G\) into \(M_2(K_i)\) is of the form \(\left(\begin{smallmatrix} R_i &\pi\\ R_i &R_i\end{smallmatrix}\right)\), where \(\pi_i\) is the principal ideal generated by \(q^2-\eta_iq+1\). (Hence \(R_i/\pi_i\cong\mathbb{Z}[\vartheta_i]\).) The order \({\mathcal H}_G\) is then constructed inductively from these projections by a series of amalgamations.
reviewed by: Wolfgang Rump
Mathematics Subject Classification ID: 16H05
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20C08
Mathematics Subject Classification ID: 16G30
zbMATH DE Number: 1428246
zbMATH Keywords: Hecke orders
zbMATH Keywords: dihedral groups
zbMATH Keywords: integral affine schemes
zbMATH Keywords: algebraic number fields
zbMATH Keywords: function fields
zbMATH Keywords: irreducible closed subschemes
zbMATH Keywords: modular representations
zbMATH Keywords: irreducible representations
MaRDI profile type: Publication
full work available at URL: jabr.1999.8060
OpenAlex ID: W2087330041
cites work: Q5580319
cites work: Q5662096
cites work: Q3353247
cites work: Q4724810
cites work: Cellular algebras
cites work: Q3998721
cites work: Higher-dimensional orders, graph-orders, and derived equivalences
cites work: Q3218257
cites work: Blocks of cyclic defect and green-orders
cites work: The cellular structure of integral group rings of dihedral groups
cites work: The cell structure, the Brauer tree structure, and extensions of cell modules for Hecke orders of dihedral groups
cites work: Blocks with cyclic defect of Hecke orders of Coxeter groups
DOI: 10.1006/JABR.1999.8060
description: scientific article; zbMATH DE number 1428246