Perfect isometries and isotypies for blocks with Abelian defect groups and the inertial quotients isomorphic to \(\mathbf Z_ 3\times\mathbf Z_ 3\) (Q1920003): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q186517 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Morton E. Harris / rank | |||
Normal rank |
Revision as of 22:06, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Perfect isometries and isotypies for blocks with Abelian defect groups and the inertial quotients isomorphic to \(\mathbf Z_ 3\times\mathbf Z_ 3\) |
scientific article |
Statements
Perfect isometries and isotypies for blocks with Abelian defect groups and the inertial quotients isomorphic to \(\mathbf Z_ 3\times\mathbf Z_ 3\) (English)
0 references
13 July 1997
0 references
Let \(p\) be a prime number, let \(\mathcal O\) be a complete discrete valuation ring with algebraically closed residue field \(k\) of characteristic \(p\) and with quotient field \(K\) of characteristic zero. Let \(G\) be a finite group and let \(b\) be a block of \({\mathcal O}G\) with defect group \(P\). Also let \(e\) be a root of \(b\) in \(C_G(P)\) (i.e., a block of \({\mathcal O}C_G(P)\) such that \(e^G=b\)). The inertial quotient of \(b\) is the group \(E=N_G(P,e)/(PC_G(P))\). Assume also that \(\mathcal O\) contains all \(|P|\)-th roots of unity. The main result of this paper is: Theorem 1.12. Assume in the above that \(P\) is abelian, that \(p\neq 2,7\) and that \(E\cong Z_3\times Z_3\). Then \(b\), its Brauer correspondent \(\text{Br}_P(b)\) and \(e\) considered as blocks of \({\mathcal O}G\), \({\mathcal O}N_G(P)\) and \({\mathcal O}N_G(P,e)\) resp. are all isotypic (in the ``good definition'' of an isotopy). (See Definitions 1.7 and 1.8 for the definition of an isotypy and the ``good definition'' of an isotypy).
0 references
good definition of isotypy
0 references
complete discrete valuation rings
0 references
finite groups
0 references
blocks
0 references
defect groups
0 references
Brauer correspondence
0 references