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.
Definition 64.15.2. Let f : P\to P be an endomorphism of a finite projective \Lambda [G]-module P. We define
to be the G-trace of f on P.
Comments (0)