“…\end{equation*}$$Precomposing with this automorphism, the action of the second factor of
on
becomes trivial, that is, this action is the one obtained by the augmentation map of
. Using the Künneth formula [
3, eq. (2)], we obtain the following:
…”