I’m utterly confused by this one:
It looks like the left-hand side lives in and the rhs lives in H. I’m assuming this: first, is a multiplication operation, and since S sends H to H, this would live in H.
I’ve tried mapping the elements, and that hasn’t helped clarify this.
What am I doing wrong here? I assume it has something to do with the relationship between and