1
$\begingroup$

Let $K$ be a field, $G$ group, $V$ and $W$ be finite dimensional $K[G]$ modules and $X$ and $Y$ be the representations afforded by $V$ and $W$ respectively.I need to show that $X$ and $Y$ are equivalent if and only when $V$ and $W$ are as $K[G]$ modules isomorphic . Any hints !

  • 0
    What is your definition of equivalent? Giving the same homomorphism of $G$ into a matrix group up to conjugation?2012-04-17
  • 0
    yes thats what i mean. X=ZYZ^-1 for some Z .2012-04-17

1 Answers 1

1

Let $\varphi$ be an isomorphism from $V$ to $W$. Look at the action of $g$ on $W$ by writing it in terms of $\varphi$ and action on $V$. (Remember, the action of a ring on a module commutes with module homomorphisms). That should hopefully be enough of a hint. Let me know if you're still confused after trying to work this out.

EDIT: $V=\varphi(\varphi^{-1} (W))$. So if $v \in V$, $g\cdot v=g\cdot \varphi(\varphi^{-1} (v))=\varphi(g\cdot\varphi^{-1} (v))$ In other words, acting by $g$ is the same as mapping $V$ to $W$, acting by $g$ in $W$, and then mapping back to $V$. Writing $\varphi$ as the linear map $Z$, we get that for any $g\in G$, $X(g)=Z\cdot Y(g)\cdot Z^{-1}$

  • 0
    I am not able to see much further from what you said . I just applied the isomorphism between V and W and wrote group elements in terms of 'Phi'. after that i am stuck :(2012-04-17
  • 0
    Let me know if it makes sense now. I think this spells things out in more or less full detail.2012-04-17
  • 0
    Thanks :) one more thing how did you move 'g' inside ?2012-04-17
  • 0
    By definition, ring action commutes with module homomorphisms.2012-04-17