Characteristic polynomial of $T:M_n(mathbb{F}) rightarrow M_n(mathbb{F}) , TX = AX (Ain M_n(mathbb{F}))$











up vote
6
down vote

favorite
1












Question - how would I proceed to find the characteristic polynomial of $T:M_n(mathbb{F}) rightarrow M_n(mathbb{F}) , TX = AX (Ain M_n(mathbb{F}))$ ?



What I've been trying:



Given the the standard base ${E_{11}, E_{12}, dots, E_{nn}}$ of $M_n(mathbb{F})$ in which ($E_{ij})_{kl} =left{begin{matrix}
1,& k=i and l=j \ 0, &otherwise
end{matrix}right.$



$T$ can be represented by the following $n^2times n^2$ matrix:
$$[T] = begin{pmatrix}
(A)_{11}I_n&(A)_{12}I_n&cdots&(A)_{1n}I_n\
(A)_{21}I_n&(A)_{22}I_n&cdots&(A)_{2n}I_n\
vdots&vdots&ddots&vdots\
(A)_{n1}I_n&(A)_{n2}I_n&cdots&(A)_{nn}I_n
end{pmatrix} $$



Now, from from here I'd like to calculate $det([T]-tI_{n^2})$, and this is the point where I got stuck.



I'd be glad for ideas on how to proceed from here, or ideas for other ways to tackle the problem.










share|cite|improve this question




























    up vote
    6
    down vote

    favorite
    1












    Question - how would I proceed to find the characteristic polynomial of $T:M_n(mathbb{F}) rightarrow M_n(mathbb{F}) , TX = AX (Ain M_n(mathbb{F}))$ ?



    What I've been trying:



    Given the the standard base ${E_{11}, E_{12}, dots, E_{nn}}$ of $M_n(mathbb{F})$ in which ($E_{ij})_{kl} =left{begin{matrix}
    1,& k=i and l=j \ 0, &otherwise
    end{matrix}right.$



    $T$ can be represented by the following $n^2times n^2$ matrix:
    $$[T] = begin{pmatrix}
    (A)_{11}I_n&(A)_{12}I_n&cdots&(A)_{1n}I_n\
    (A)_{21}I_n&(A)_{22}I_n&cdots&(A)_{2n}I_n\
    vdots&vdots&ddots&vdots\
    (A)_{n1}I_n&(A)_{n2}I_n&cdots&(A)_{nn}I_n
    end{pmatrix} $$



    Now, from from here I'd like to calculate $det([T]-tI_{n^2})$, and this is the point where I got stuck.



    I'd be glad for ideas on how to proceed from here, or ideas for other ways to tackle the problem.










    share|cite|improve this question


























      up vote
      6
      down vote

      favorite
      1









      up vote
      6
      down vote

      favorite
      1






      1





      Question - how would I proceed to find the characteristic polynomial of $T:M_n(mathbb{F}) rightarrow M_n(mathbb{F}) , TX = AX (Ain M_n(mathbb{F}))$ ?



      What I've been trying:



      Given the the standard base ${E_{11}, E_{12}, dots, E_{nn}}$ of $M_n(mathbb{F})$ in which ($E_{ij})_{kl} =left{begin{matrix}
      1,& k=i and l=j \ 0, &otherwise
      end{matrix}right.$



      $T$ can be represented by the following $n^2times n^2$ matrix:
      $$[T] = begin{pmatrix}
      (A)_{11}I_n&(A)_{12}I_n&cdots&(A)_{1n}I_n\
      (A)_{21}I_n&(A)_{22}I_n&cdots&(A)_{2n}I_n\
      vdots&vdots&ddots&vdots\
      (A)_{n1}I_n&(A)_{n2}I_n&cdots&(A)_{nn}I_n
      end{pmatrix} $$



      Now, from from here I'd like to calculate $det([T]-tI_{n^2})$, and this is the point where I got stuck.



      I'd be glad for ideas on how to proceed from here, or ideas for other ways to tackle the problem.










      share|cite|improve this question















      Question - how would I proceed to find the characteristic polynomial of $T:M_n(mathbb{F}) rightarrow M_n(mathbb{F}) , TX = AX (Ain M_n(mathbb{F}))$ ?



      What I've been trying:



      Given the the standard base ${E_{11}, E_{12}, dots, E_{nn}}$ of $M_n(mathbb{F})$ in which ($E_{ij})_{kl} =left{begin{matrix}
      1,& k=i and l=j \ 0, &otherwise
      end{matrix}right.$



      $T$ can be represented by the following $n^2times n^2$ matrix:
      $$[T] = begin{pmatrix}
      (A)_{11}I_n&(A)_{12}I_n&cdots&(A)_{1n}I_n\
      (A)_{21}I_n&(A)_{22}I_n&cdots&(A)_{2n}I_n\
      vdots&vdots&ddots&vdots\
      (A)_{n1}I_n&(A)_{n2}I_n&cdots&(A)_{nn}I_n
      end{pmatrix} $$



      Now, from from here I'd like to calculate $det([T]-tI_{n^2})$, and this is the point where I got stuck.



      I'd be glad for ideas on how to proceed from here, or ideas for other ways to tackle the problem.







      linear-algebra matrices






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Nov 19 at 10:23









      red_trumpet

      702218




      702218










      asked Apr 14 '17 at 14:15









      j3M

      609516




      609516






















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          5
          down vote



          accepted










          You have $(AE_{i,j})_{k,l}= 0$ if $lneq j$ and $a_{ki}$ if $l=j$.
          Thus, if you consider the basis $(E_{11}, E_{21}, ..., E_{n1}, E_{12}, ... , E_{n2}, ... , E_{1n}, ... , E_{nn})$ of $M_n(mathbb{F})$, then you're lead to computing the determinant of a bloc diagonal matrix of size $n^2times n^2$, whose $n$ blocks are all equal to $A-XI_n$.
          This gives you that $chi_T(X)=chi_A(X)^n$.






          share|cite|improve this answer






























            up vote
            1
            down vote













            You can view $M_n(Bbb{F})$ as the direct sum of $n$ copies of $Bbb{F}^n$, say $V_1,V_2,ldots,V_n$, where $V_i$ represents the $i$th column. So, basically, $T:bigoplus_{i=1}^nV_ito bigoplus_{i=1}^n V_i$ by sending $$(v_1,v_2,ldots,v_n)mapsto (Av_1,Av_2,ldots,Av_n).$$ So, each $V_i$ is a $T$-invariant subspace, and $T|_{V_i}:V_ito V_i$ is the same as the linear operator $A$. We can use a more general result below to prove that $chi_T(t)=big(chi_A(t)big)^n$.



            Let $U_1,U_2,ldots,U_k$ be finite dimensional vector spaces and let $S_i:U_ito U_i$ be linear maps. Then, the direct sum $S=bigoplus_{i=1}^kS_i$ of the linear maps $S_1,S_2,ldots,S_k$ is the linear transformation $S:bigoplus_{i=1}^kU_ito bigoplus_{i=1}^k U_i$ such that
            $$S(u_1,u_2,ldots, u_k)=(S_1u_1,S_2u_2,ldots,S_ku_k).$$
            Then, the characteristic polynomial $chi_S(t)$ of $S$ is the product of the characteristic polynomials $chi_{S_i}(t)$ of each $S_i$. Id est,
            $$chi_{bigoplus_{i=1}^kS_i}(t)=prod_{i=1}^kchi_{S_i}(t).$$ (A proof can be done by choosing a good basis so that the matrix of $S$ is a block matrix with zero non-diagonal blocks.)






            share|cite|improve this answer





















              Your Answer





              StackExchange.ifUsing("editor", function () {
              return StackExchange.using("mathjaxEditing", function () {
              StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
              StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
              });
              });
              }, "mathjax-editing");

              StackExchange.ready(function() {
              var channelOptions = {
              tags: "".split(" "),
              id: "69"
              };
              initTagRenderer("".split(" "), "".split(" "), channelOptions);

              StackExchange.using("externalEditor", function() {
              // Have to fire editor after snippets, if snippets enabled
              if (StackExchange.settings.snippets.snippetsEnabled) {
              StackExchange.using("snippets", function() {
              createEditor();
              });
              }
              else {
              createEditor();
              }
              });

              function createEditor() {
              StackExchange.prepareEditor({
              heartbeatType: 'answer',
              convertImagesToLinks: true,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader: {
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              },
              noCode: true, onDemand: true,
              discardSelector: ".discard-answer"
              ,immediatelyShowMarkdownHelp:true
              });


              }
              });














              draft saved

              draft discarded


















              StackExchange.ready(
              function () {
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2233959%2fcharacteristic-polynomial-of-tm-n-mathbbf-rightarrow-m-n-mathbbf%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              2 Answers
              2






              active

              oldest

              votes








              2 Answers
              2






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes








              up vote
              5
              down vote



              accepted










              You have $(AE_{i,j})_{k,l}= 0$ if $lneq j$ and $a_{ki}$ if $l=j$.
              Thus, if you consider the basis $(E_{11}, E_{21}, ..., E_{n1}, E_{12}, ... , E_{n2}, ... , E_{1n}, ... , E_{nn})$ of $M_n(mathbb{F})$, then you're lead to computing the determinant of a bloc diagonal matrix of size $n^2times n^2$, whose $n$ blocks are all equal to $A-XI_n$.
              This gives you that $chi_T(X)=chi_A(X)^n$.






              share|cite|improve this answer



























                up vote
                5
                down vote



                accepted










                You have $(AE_{i,j})_{k,l}= 0$ if $lneq j$ and $a_{ki}$ if $l=j$.
                Thus, if you consider the basis $(E_{11}, E_{21}, ..., E_{n1}, E_{12}, ... , E_{n2}, ... , E_{1n}, ... , E_{nn})$ of $M_n(mathbb{F})$, then you're lead to computing the determinant of a bloc diagonal matrix of size $n^2times n^2$, whose $n$ blocks are all equal to $A-XI_n$.
                This gives you that $chi_T(X)=chi_A(X)^n$.






                share|cite|improve this answer

























                  up vote
                  5
                  down vote



                  accepted







                  up vote
                  5
                  down vote



                  accepted






                  You have $(AE_{i,j})_{k,l}= 0$ if $lneq j$ and $a_{ki}$ if $l=j$.
                  Thus, if you consider the basis $(E_{11}, E_{21}, ..., E_{n1}, E_{12}, ... , E_{n2}, ... , E_{1n}, ... , E_{nn})$ of $M_n(mathbb{F})$, then you're lead to computing the determinant of a bloc diagonal matrix of size $n^2times n^2$, whose $n$ blocks are all equal to $A-XI_n$.
                  This gives you that $chi_T(X)=chi_A(X)^n$.






                  share|cite|improve this answer














                  You have $(AE_{i,j})_{k,l}= 0$ if $lneq j$ and $a_{ki}$ if $l=j$.
                  Thus, if you consider the basis $(E_{11}, E_{21}, ..., E_{n1}, E_{12}, ... , E_{n2}, ... , E_{1n}, ... , E_{nn})$ of $M_n(mathbb{F})$, then you're lead to computing the determinant of a bloc diagonal matrix of size $n^2times n^2$, whose $n$ blocks are all equal to $A-XI_n$.
                  This gives you that $chi_T(X)=chi_A(X)^n$.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Apr 14 '17 at 14:54

























                  answered Apr 14 '17 at 14:46









                  Yoël

                  451111




                  451111






















                      up vote
                      1
                      down vote













                      You can view $M_n(Bbb{F})$ as the direct sum of $n$ copies of $Bbb{F}^n$, say $V_1,V_2,ldots,V_n$, where $V_i$ represents the $i$th column. So, basically, $T:bigoplus_{i=1}^nV_ito bigoplus_{i=1}^n V_i$ by sending $$(v_1,v_2,ldots,v_n)mapsto (Av_1,Av_2,ldots,Av_n).$$ So, each $V_i$ is a $T$-invariant subspace, and $T|_{V_i}:V_ito V_i$ is the same as the linear operator $A$. We can use a more general result below to prove that $chi_T(t)=big(chi_A(t)big)^n$.



                      Let $U_1,U_2,ldots,U_k$ be finite dimensional vector spaces and let $S_i:U_ito U_i$ be linear maps. Then, the direct sum $S=bigoplus_{i=1}^kS_i$ of the linear maps $S_1,S_2,ldots,S_k$ is the linear transformation $S:bigoplus_{i=1}^kU_ito bigoplus_{i=1}^k U_i$ such that
                      $$S(u_1,u_2,ldots, u_k)=(S_1u_1,S_2u_2,ldots,S_ku_k).$$
                      Then, the characteristic polynomial $chi_S(t)$ of $S$ is the product of the characteristic polynomials $chi_{S_i}(t)$ of each $S_i$. Id est,
                      $$chi_{bigoplus_{i=1}^kS_i}(t)=prod_{i=1}^kchi_{S_i}(t).$$ (A proof can be done by choosing a good basis so that the matrix of $S$ is a block matrix with zero non-diagonal blocks.)






                      share|cite|improve this answer

























                        up vote
                        1
                        down vote













                        You can view $M_n(Bbb{F})$ as the direct sum of $n$ copies of $Bbb{F}^n$, say $V_1,V_2,ldots,V_n$, where $V_i$ represents the $i$th column. So, basically, $T:bigoplus_{i=1}^nV_ito bigoplus_{i=1}^n V_i$ by sending $$(v_1,v_2,ldots,v_n)mapsto (Av_1,Av_2,ldots,Av_n).$$ So, each $V_i$ is a $T$-invariant subspace, and $T|_{V_i}:V_ito V_i$ is the same as the linear operator $A$. We can use a more general result below to prove that $chi_T(t)=big(chi_A(t)big)^n$.



                        Let $U_1,U_2,ldots,U_k$ be finite dimensional vector spaces and let $S_i:U_ito U_i$ be linear maps. Then, the direct sum $S=bigoplus_{i=1}^kS_i$ of the linear maps $S_1,S_2,ldots,S_k$ is the linear transformation $S:bigoplus_{i=1}^kU_ito bigoplus_{i=1}^k U_i$ such that
                        $$S(u_1,u_2,ldots, u_k)=(S_1u_1,S_2u_2,ldots,S_ku_k).$$
                        Then, the characteristic polynomial $chi_S(t)$ of $S$ is the product of the characteristic polynomials $chi_{S_i}(t)$ of each $S_i$. Id est,
                        $$chi_{bigoplus_{i=1}^kS_i}(t)=prod_{i=1}^kchi_{S_i}(t).$$ (A proof can be done by choosing a good basis so that the matrix of $S$ is a block matrix with zero non-diagonal blocks.)






                        share|cite|improve this answer























                          up vote
                          1
                          down vote










                          up vote
                          1
                          down vote









                          You can view $M_n(Bbb{F})$ as the direct sum of $n$ copies of $Bbb{F}^n$, say $V_1,V_2,ldots,V_n$, where $V_i$ represents the $i$th column. So, basically, $T:bigoplus_{i=1}^nV_ito bigoplus_{i=1}^n V_i$ by sending $$(v_1,v_2,ldots,v_n)mapsto (Av_1,Av_2,ldots,Av_n).$$ So, each $V_i$ is a $T$-invariant subspace, and $T|_{V_i}:V_ito V_i$ is the same as the linear operator $A$. We can use a more general result below to prove that $chi_T(t)=big(chi_A(t)big)^n$.



                          Let $U_1,U_2,ldots,U_k$ be finite dimensional vector spaces and let $S_i:U_ito U_i$ be linear maps. Then, the direct sum $S=bigoplus_{i=1}^kS_i$ of the linear maps $S_1,S_2,ldots,S_k$ is the linear transformation $S:bigoplus_{i=1}^kU_ito bigoplus_{i=1}^k U_i$ such that
                          $$S(u_1,u_2,ldots, u_k)=(S_1u_1,S_2u_2,ldots,S_ku_k).$$
                          Then, the characteristic polynomial $chi_S(t)$ of $S$ is the product of the characteristic polynomials $chi_{S_i}(t)$ of each $S_i$. Id est,
                          $$chi_{bigoplus_{i=1}^kS_i}(t)=prod_{i=1}^kchi_{S_i}(t).$$ (A proof can be done by choosing a good basis so that the matrix of $S$ is a block matrix with zero non-diagonal blocks.)






                          share|cite|improve this answer












                          You can view $M_n(Bbb{F})$ as the direct sum of $n$ copies of $Bbb{F}^n$, say $V_1,V_2,ldots,V_n$, where $V_i$ represents the $i$th column. So, basically, $T:bigoplus_{i=1}^nV_ito bigoplus_{i=1}^n V_i$ by sending $$(v_1,v_2,ldots,v_n)mapsto (Av_1,Av_2,ldots,Av_n).$$ So, each $V_i$ is a $T$-invariant subspace, and $T|_{V_i}:V_ito V_i$ is the same as the linear operator $A$. We can use a more general result below to prove that $chi_T(t)=big(chi_A(t)big)^n$.



                          Let $U_1,U_2,ldots,U_k$ be finite dimensional vector spaces and let $S_i:U_ito U_i$ be linear maps. Then, the direct sum $S=bigoplus_{i=1}^kS_i$ of the linear maps $S_1,S_2,ldots,S_k$ is the linear transformation $S:bigoplus_{i=1}^kU_ito bigoplus_{i=1}^k U_i$ such that
                          $$S(u_1,u_2,ldots, u_k)=(S_1u_1,S_2u_2,ldots,S_ku_k).$$
                          Then, the characteristic polynomial $chi_S(t)$ of $S$ is the product of the characteristic polynomials $chi_{S_i}(t)$ of each $S_i$. Id est,
                          $$chi_{bigoplus_{i=1}^kS_i}(t)=prod_{i=1}^kchi_{S_i}(t).$$ (A proof can be done by choosing a good basis so that the matrix of $S$ is a block matrix with zero non-diagonal blocks.)







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Nov 19 at 13:59









                          Zvi

                          3,825328




                          3,825328






























                              draft saved

                              draft discarded




















































                              Thanks for contributing an answer to Mathematics Stack Exchange!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              Use MathJax to format equations. MathJax reference.


                              To learn more, see our tips on writing great answers.





                              Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                              Please pay close attention to the following guidance:


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2233959%2fcharacteristic-polynomial-of-tm-n-mathbbf-rightarrow-m-n-mathbbf%23new-answer', 'question_page');
                              }
                              );

                              Post as a guest















                              Required, but never shown





















































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown

































                              Required, but never shown














                              Required, but never shown












                              Required, but never shown







                              Required, but never shown







                              Popular posts from this blog

                              Quarter-circle Tiles

                              build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                              Mont Emei