What are the eigenspaces and the minimal polynomial of the “transposing about the anti-diagonal”...












1












$begingroup$


Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$



How can I find the eigenspaces and the minimal polynomial of $f$?



And why is $operatorname{char} K=0$ important?





What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this










share|cite|improve this question









$endgroup$

















    1












    $begingroup$


    Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$



    How can I find the eigenspaces and the minimal polynomial of $f$?



    And why is $operatorname{char} K=0$ important?





    What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this










    share|cite|improve this question









    $endgroup$















      1












      1








      1





      $begingroup$


      Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$



      How can I find the eigenspaces and the minimal polynomial of $f$?



      And why is $operatorname{char} K=0$ important?





      What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this










      share|cite|improve this question









      $endgroup$




      Given a field $K$ of characteristics zero, let the endomorphism $f:M_2(K)to M_2(K)$ be defined by $fleft(begin{bmatrix}a&b\c&dend{bmatrix}right)=begin{bmatrix}d&b\c&aend{bmatrix}$ for every $begin{bmatrix}a&b\c&dend{bmatrix}in M_2(K).$



      How can I find the eigenspaces and the minimal polynomial of $f$?



      And why is $operatorname{char} K=0$ important?





      What I noticed is that $f$ is invertible (hence its eigenvalues are non-zero) and $f^{-1}=f$. But I couldn't go further than this







      linear-algebra matrices eigenvalues-eigenvectors linear-transformations transpose






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Jan 23 at 12:16









      LearnerLearner

      17510




      17510






















          2 Answers
          2






          active

          oldest

          votes


















          1












          $begingroup$

          Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
          if and only if $a=d$, so the eigenspace for $lambda=+1$ is
          $$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$



          Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
          $$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$



          By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            Very instructive and exhaustive answer, thank you!
            $endgroup$
            – Learner
            Jan 23 at 15:03





















          1












          $begingroup$

          Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
            $endgroup$
            – Learner
            Jan 23 at 15:02








          • 1




            $begingroup$
            Yes, it's all correct.
            $endgroup$
            – José Carlos Santos
            Jan 23 at 15:03











          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',
          autoActivateHeartbeat: false,
          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%2f3084395%2fwhat-are-the-eigenspaces-and-the-minimal-polynomial-of-the-transposing-about-th%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









          1












          $begingroup$

          Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
          if and only if $a=d$, so the eigenspace for $lambda=+1$ is
          $$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$



          Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
          $$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$



          By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            Very instructive and exhaustive answer, thank you!
            $endgroup$
            – Learner
            Jan 23 at 15:03


















          1












          $begingroup$

          Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
          if and only if $a=d$, so the eigenspace for $lambda=+1$ is
          $$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$



          Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
          $$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$



          By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.






          share|cite|improve this answer









          $endgroup$









          • 1




            $begingroup$
            Very instructive and exhaustive answer, thank you!
            $endgroup$
            – Learner
            Jan 23 at 15:03
















          1












          1








          1





          $begingroup$

          Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
          if and only if $a=d$, so the eigenspace for $lambda=+1$ is
          $$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$



          Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
          $$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$



          By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.






          share|cite|improve this answer









          $endgroup$



          Since as you noted $f^2=1$, and $fneqpm1$, it follows that $X^2-1$ is indeed the minimum polynomial of $f$. The eigenvalues are $+1$ an $-1$. We have $f(A)=1cdot A$ for $Ain$Mat$_2(K)$ if and only if $$begin{pmatrix}d & b \ c & aend{pmatrix}=begin{pmatrix}a & b \ c & dend{pmatrix},$$
          if and only if $a=d$, so the eigenspace for $lambda=+1$ is
          $$E_1=left{begin{pmatrix}a & b \ c & aend{pmatrix} | a,b,cin Kright}.$$



          Similarly, the eigenspace for $lambda=-1$ is found by studying $f(A)=-A$, which gives $d=-a$, $b=-b$, $c=-c$, hence $d=-a$, $b=0=c$ when char$(K)neq2$:
          $$E_{-1}=left{begin{pmatrix}a & 0 \ 0 & -aend{pmatrix} | ain Kright}.$$



          By the way, $f$ is the symplectic involution, and satisfies $f(AB)=f(B)f(A)$ in addition. Moreover $E_1$ is the set of symmetric elements with respect to the involution and $E_{-1}$ is the set of skew-symmetric elements. You can define a symplectic involution on $ntimes n$ matrices whenever $n$ is even.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 23 at 12:56









          Jose BroxJose Brox

          3,15711128




          3,15711128








          • 1




            $begingroup$
            Very instructive and exhaustive answer, thank you!
            $endgroup$
            – Learner
            Jan 23 at 15:03
















          • 1




            $begingroup$
            Very instructive and exhaustive answer, thank you!
            $endgroup$
            – Learner
            Jan 23 at 15:03










          1




          1




          $begingroup$
          Very instructive and exhaustive answer, thank you!
          $endgroup$
          – Learner
          Jan 23 at 15:03






          $begingroup$
          Very instructive and exhaustive answer, thank you!
          $endgroup$
          – Learner
          Jan 23 at 15:03













          1












          $begingroup$

          Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
            $endgroup$
            – Learner
            Jan 23 at 15:02








          • 1




            $begingroup$
            Yes, it's all correct.
            $endgroup$
            – José Carlos Santos
            Jan 23 at 15:03
















          1












          $begingroup$

          Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
            $endgroup$
            – Learner
            Jan 23 at 15:02








          • 1




            $begingroup$
            Yes, it's all correct.
            $endgroup$
            – José Carlos Santos
            Jan 23 at 15:03














          1












          1








          1





          $begingroup$

          Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?






          share|cite|improve this answer









          $endgroup$



          Let$$E_1=begin{bmatrix}1&0\0&0end{bmatrix}, E_2=begin{bmatrix}0&1\0&0end{bmatrix}, E_3=begin{bmatrix}0&0\1&0end{bmatrix},text{ and }E_4=begin{bmatrix}0&0\0&1end{bmatrix}.$$Then ${E_1,E_2,E_3,E_4}$ is a basis of $M_2(mathbb{R})$ and the matrix of $f$ with respect to this basis is$$begin{bmatrix}0&0&0&1\0&1&0&0\0&0&1&0\1&0&0&0end{bmatrix}.$$Can you take it from here?







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jan 23 at 12:20









          José Carlos SantosJosé Carlos Santos

          165k22132235




          165k22132235












          • $begingroup$
            The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
            $endgroup$
            – Learner
            Jan 23 at 15:02








          • 1




            $begingroup$
            Yes, it's all correct.
            $endgroup$
            – José Carlos Santos
            Jan 23 at 15:03


















          • $begingroup$
            The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
            $endgroup$
            – Learner
            Jan 23 at 15:02








          • 1




            $begingroup$
            Yes, it's all correct.
            $endgroup$
            – José Carlos Santos
            Jan 23 at 15:03
















          $begingroup$
          The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
          $endgroup$
          – Learner
          Jan 23 at 15:02






          $begingroup$
          The minimal polynomial of your matrix is $(lambda+1)(lambda-1)$ - then it's also the minimal polynomial of $f$, because it's of degree $2$, hence equal to $chi_f$. And, the eigenspaces of your matrix are the ones of $f$. All correct? Also, one thing: $K$ is isomorphic to a subset of $Bbb C$, provided that $|K|$ isn't larger than the continuum; still, I can see cardinality here doesn't make a difference, but is it enough (in an exam) to say "without loss of generality we may take $K=Bbb R$"? Thanks for your help, this cleared my thoughts!
          $endgroup$
          – Learner
          Jan 23 at 15:02






          1




          1




          $begingroup$
          Yes, it's all correct.
          $endgroup$
          – José Carlos Santos
          Jan 23 at 15:03




          $begingroup$
          Yes, it's all correct.
          $endgroup$
          – José Carlos Santos
          Jan 23 at 15:03


















          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.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3084395%2fwhat-are-the-eigenspaces-and-the-minimal-polynomial-of-the-transposing-about-th%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

          Mario Kart Wii

          What does “Dominus providebit” mean?

          Antonio Litta Visconti Arese