Let $R=\text{Mat}_n(\mathbb{Z})$ and $M=\mathbb{Z}^n$ the (left) $R$-module with action the matrix multiplication.

How do I prove that $\text{End}_RM\cong\mathbb{Z}$?

Should I find an explicit isomorphism?

  • $\begingroup$ Sorry that I havent tried anything yet, but I dont see it at all :( $\endgroup$ – TR-8R Jan 17 '16 at 13:27
  • $\begingroup$ Here is a hint: every linear transformation from $\Bbb{Z}^n$ to itself has the matrix representation (under standard basis, of course.) Which condition holds for such matrix representation? $\endgroup$ – Hanul Jeon Jan 17 '16 at 13:43
  • $\begingroup$ @HanulJeon I am not sure... $\endgroup$ – TR-8R Jan 17 '16 at 13:46
  • $\begingroup$ Which point is a point you have not understood? Let me know what it is. Possible statements you have not gotten are: First, every $R$-module endomorphism over $M$ is also a linear transformation over $M$ to itself. Second, every linear transformation from finite-dimensional free module to itself has corresponding matrix representation. If you get such steps then you are almost done; next steps are described in @rschwieb's answer. $\endgroup$ – Hanul Jeon Jan 17 '16 at 14:03

To rephrase your question, the elements of $End(M_R)$ are those elements of $R$ which commute with all other elements of $R$.

So, you are just looking for the center of a matrix ring.

Here are breadcrumbs to follow to get to this idea:

For any $S$-module $M$, we have $S\subseteq End(M_\Bbb Z)$ in a natural way (multiplication by elements of $S$ make additive maps.)

For any ring $S$, $End(S^n_S)\cong Mat_n(S)$.

Finally, $End(M_S)$ is, by definition, the subring of $End(M_\Bbb Z)$ whose elements all commute with the elements of $S$.

By slotting these with the specific situation you were given, you arrive at my original suggestion.

  • $\begingroup$ Why would that be? $\endgroup$ – TR-8R Jan 17 '16 at 13:38
  • $\begingroup$ $End(M_R)$ is just the subring of $End(M_\Bbb Z)=R$ which centralizes $R$. That is what it means to be $R$ linear, in this case. $\endgroup$ – rschwieb Jan 17 '16 at 13:44
  • $\begingroup$ And why do I have an isomorphism when i find the center? $\endgroup$ – TR-8R Jan 17 '16 at 13:45
  • $\begingroup$ @TR-8R if you know what the center of $R$ looks like, then the isomorphism is obvious. $\endgroup$ – rschwieb Jan 17 '16 at 13:48
  • 1
    $\begingroup$ @ThomasAndrews Don't say useless, because it did help me understand my problem better $\endgroup$ – TR-8R Jan 17 '16 at 14:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.