Definition 64.15.2. Let $f : P\to P$ be an endomorphism of a finite projective $\Lambda [G]$-module $P$. We define
\[ \text{Tr}_{\Lambda }^ G(f; P) := \varepsilon \left(\text{Tr}_{\Lambda [G]}(f; P)\right) \]
to be the $G$-trace of $f$ on $P$.
Comments (0)