ブラウアー指標に対するある直交関係式
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/08/24 06:18 UTC 版)
「モジュラー表現論」の記事における「ブラウアー指標に対するある直交関係式」の解説
射影加群が持ち上げられたとき、対応する指標は位数が p で割れる各元の上で消え、(1 の冪根の選び方と整合的に)もとの標数 p の加群の p-正則元上のブラウアー指標と一致する。従って、直既約射影加群のブラウアー指標と任意のブラウアー指標との(通常の指標環の)内積が定義可能である。この内積の値は、任意に与える後者のブラウアー指標が前者の直既約射影加群の座と同型でない座を持てば 0 であり、同型であれば 1 となる。直既約射影加群の持ち上げの指標における通常既約指標の重複度は、通常指標の p-正則元への制限を既約ブラウアー指標の和として表すとき、直既約射影加群の座のブラウアー指標の現れる回数に等しい。
※この「ブラウアー指標に対するある直交関係式」の解説は、「モジュラー表現論」の解説の一部です。
「ブラウアー指標に対するある直交関係式」を含む「モジュラー表現論」の記事については、「モジュラー表現論」の概要を参照ください。
- ブラウアー指標に対するある直交関係式のページへのリンク