Equivariant Witt groups of finite groups of odd order (Q919457)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equivariant Witt groups of finite groups of odd order
scientific article

    Statements

    Equivariant Witt groups of finite groups of odd order (English)
    0 references
    0 references
    1990
    0 references
    In a sense, this paper is a continuation of researches initiated by \textit{J. P. Alexander}, \textit{P. E. Conner} and \textit{G. C. Hamrick} in the mid- seventies [Odd order group actions and Witt classification of inner products (Lect. Notes Math. 625) (1977; Zbl 0363.57025)] and based on work of \textit{A. W. M. Dress} [see, for example, Ann. Math., II. Ser. 102, 291-325 (1975; Zbl 0315.20007)]. It would be helpful to be informed also about some other previous work by the author [see J. Algebra 91, 32-35 (1984; Zbl 0547.20005)]. The important result is a (positive) answer to a question of Alexander, Conner and Hamrick, namely that the Dress exact sequence of equivariant Witt groups \[ 0\quad \to \quad W_ 0({\mathbb{Z}},{\mathbb{Z}}G)\quad \to \quad W_ 0({\mathbb{Q}},{\mathbb{Q}}G)\to^{\partial}W_ 0({\mathbb{Q}}/{\mathbb{Z}},{\mathbb{Z}}G) \] has \(\partial\) an epimorphism when G is a finite group of odd order. Another result is a generalization of a theorem of the above mentioned authors implying that \(W_ 0({\mathbb{Z}},{\mathbb{Z}}G)\) is ``sufficiently large'' to study \(W_ 0({\mathbb{Z}}G)\). Thus, the following is proven. Theorem. Let G be a finite p-group (p odd prime), M a projective \({\mathbb{Z}}G\)-module, b a metabolic, non-singular, \({\mathbb{Z}}\)-valued, G- invariant bilinear form on M. Then (M,b) has a projective metabolizer.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Dress exact sequence
    0 references
    equivariant Witt groups
    0 references
    finite group of odd order
    0 references
    finite p-group
    0 references
    projective \({\mathbb{Z}}G\)-module
    0 references
    bilinear form
    0 references
    0 references