Orthogonal Frobenius reciprocity
type: Item
instance of: scholarly article
title: Orthogonal Frobenius reciprocity
zbMATH Open document ID: 0954.20005
author: Gabriele Nebe
published in: Journal of Algebra
publication date: 2000-08-13T00:00:00Z
review text: Let \(K\) be a field of characteristic \(0\), \(H\) a subgroup of the finite group \(G\), and \(W\) a \(KH\)-module. If \(F_W\colon W\times W\to K\) is a non-degenerate symmetric \(H\)-invariant bilinear form, then \((W,F_W)\) is called an orthogonal \(KH\)-module, and \(F_W\) induces a symmetric non-degenerate \(G\)-invariant bilinear form \(F_W^G\) on \(W^G=KG\otimes_{KH}W\). Furthermore, if \((V,F_V)\) is an orthogonal \(KG\)-module, then the \(K\)-dual \(V^*\) of \(V\) becomes an orthogonal \(KG\)-module. The author proves that if \(F_V\) generates the space of all \(G\)-invariant symmetric bilinear forms on \(V\), then there is a canonical bijection between \(\text{Isom}_{KH}((W,F_W),(V,F_V))\) and \(\text{Isom}_{KG}((V^*,F^*_V),((W^G)^*,(F_W)^*))\). This result is applied to determine the rational isometry class of some irreducible orthogonal \(\mathbb{Q} S_n\)-modules.
reviewed by: Andrei Marcus
Mathematics Subject Classification ID: 20C05
Mathematics Subject Classification ID: 20C15
Mathematics Subject Classification ID: 20C30
zbMATH DE Number: 1423612
zbMATH Keywords: orthogonal modules
zbMATH Keywords: isometries
zbMATH Keywords: Frobenius reciprocity
zbMATH Keywords: Specht modules
zbMATH Keywords: symmetric groups
zbMATH Keywords: finite groups
zbMATH Keywords: symmetric bilinear forms
MaRDI profile type: Publication
OpenAlex ID: W1980690750
cites work: Q3996909
cites work: The representation theory of the symmetric groups
cites work: Q3952291
cites work: Orthogonal representations of finite groups and group rings.
DOI: 10.1006/JABR.1999.8114
description: scientific article; zbMATH DE number 1423612