Two submodule direct summands are isomorphic iff coresponding idempotent projections are conjugate

69 Views Asked by At

I couldn't show the underlined part. Can anyone explain it further?

$End_{\mathcal{O}}(M)$ is a G-algebra where $$g \cdot \psi = (x \mapsto g \psi(g^{-1}x))$$ and hence we have $$End_{\mathcal{O}}(M)^H = End_{\mathcal{OH}}(M)$$ enter image description here

Source (full book): G-algebras and modular representation theory (Jacques Thévenaz)