$\overline{\mathbb F}_p$係数表現の$\mathbb C$係数への持ち上げ (Brauer持ち上げ。指標経由のものと, Serreの本のもの) K群の計算で使う例 まず$\mathbb C$係数の話を少し思い出します。 $G$が有限群で, 有限次元$\mathbb C$ベクトル空間$V$に作用している…