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 !
When are two Representations equivalent?
1
$\begingroup$
representation-theory
modules
-
0yes thats what i mean. X=ZYZ^-1 for some Z . – 2012-04-17
1 Answers
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}$
-
0By definition, ring action commutes with module homomorphisms. – 2012-04-17