Lemma 64.15.7. Let $P$ be a $\Lambda [\Gamma ]$-module, finite and projective as a $\Lambda [G]$-module, and $\gamma \in \Gamma $. Then
\[ \text{Tr}_{\Lambda }(\gamma , P) = \# Z_\gamma \cdot \text{Tr}_\Lambda ^{Z_\gamma }\left(\gamma , P\right). \]
Comments (0)