Similarity of matrix over field extension [duplicate]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite













This question already has an answer here:



  • Similar matrices and field extensions

    5 answers



Let $E/F$ be a field extension and let $A, B$ be $ntimes n$ matrices over $F$. Assume that $A, B$ are similar over $E$, i.e. there exists $Pin mathrmGL_n(E)$ s.t. $B = PAP^-1$. Are $A, B$ also similar over $F$, i.e. can we find $Qin mathrmGL_n(F)$ s.t $B = QAQ^-1$?



This statement is true when $E=mathbbC$ and $F = mathbbQ$. More generally, the statement is true for characteristic 0 fields, and the proof can be found in here. However, the proof doesn't work for the char $p$ case, since there exists nonzero polynomials over a characteristic $p$ field (for example, over $mathbbF_p$) which became zero for any evaluation. (For example, $f(x) = x^p-xin mathbbF_p[x]$ is a nonzero polynomial, but $f(a)=0$ for any $ain mathbbF_p$.) So I want to know whether the theorem is also true for characteristic $p$ case of there's a counterexample. Thanks in advance.







share|cite|improve this question












marked as duplicate by José Carlos Santos linear-algebra
Users with the  linear-algebra badge can single-handedly close linear-algebra questions as duplicates and reopen them as needed.

StackExchange.ready(function()
if (StackExchange.options.isMobile) return;

$('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
var $hover = $(this).addClass('hover-bound'),
$msg = $hover.siblings('.dupe-hammer-message');

$hover.hover(
function()
$hover.showInfoMessage('',
messageElement: $msg.clone().show(),
transient: false,
position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
dismissable: false,
relativeToBody: true
);
,
function()
StackExchange.helpers.removeMessages();

);
);
);
Aug 20 at 7:32


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















    up vote
    0
    down vote

    favorite













    This question already has an answer here:



    • Similar matrices and field extensions

      5 answers



    Let $E/F$ be a field extension and let $A, B$ be $ntimes n$ matrices over $F$. Assume that $A, B$ are similar over $E$, i.e. there exists $Pin mathrmGL_n(E)$ s.t. $B = PAP^-1$. Are $A, B$ also similar over $F$, i.e. can we find $Qin mathrmGL_n(F)$ s.t $B = QAQ^-1$?



    This statement is true when $E=mathbbC$ and $F = mathbbQ$. More generally, the statement is true for characteristic 0 fields, and the proof can be found in here. However, the proof doesn't work for the char $p$ case, since there exists nonzero polynomials over a characteristic $p$ field (for example, over $mathbbF_p$) which became zero for any evaluation. (For example, $f(x) = x^p-xin mathbbF_p[x]$ is a nonzero polynomial, but $f(a)=0$ for any $ain mathbbF_p$.) So I want to know whether the theorem is also true for characteristic $p$ case of there's a counterexample. Thanks in advance.







    share|cite|improve this question












    marked as duplicate by José Carlos Santos linear-algebra
    Users with the  linear-algebra badge can single-handedly close linear-algebra questions as duplicates and reopen them as needed.

    StackExchange.ready(function()
    if (StackExchange.options.isMobile) return;

    $('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
    var $hover = $(this).addClass('hover-bound'),
    $msg = $hover.siblings('.dupe-hammer-message');

    $hover.hover(
    function()
    $hover.showInfoMessage('',
    messageElement: $msg.clone().show(),
    transient: false,
    position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
    dismissable: false,
    relativeToBody: true
    );
    ,
    function()
    StackExchange.helpers.removeMessages();

    );
    );
    );
    Aug 20 at 7:32


    This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
















      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite












      This question already has an answer here:



      • Similar matrices and field extensions

        5 answers



      Let $E/F$ be a field extension and let $A, B$ be $ntimes n$ matrices over $F$. Assume that $A, B$ are similar over $E$, i.e. there exists $Pin mathrmGL_n(E)$ s.t. $B = PAP^-1$. Are $A, B$ also similar over $F$, i.e. can we find $Qin mathrmGL_n(F)$ s.t $B = QAQ^-1$?



      This statement is true when $E=mathbbC$ and $F = mathbbQ$. More generally, the statement is true for characteristic 0 fields, and the proof can be found in here. However, the proof doesn't work for the char $p$ case, since there exists nonzero polynomials over a characteristic $p$ field (for example, over $mathbbF_p$) which became zero for any evaluation. (For example, $f(x) = x^p-xin mathbbF_p[x]$ is a nonzero polynomial, but $f(a)=0$ for any $ain mathbbF_p$.) So I want to know whether the theorem is also true for characteristic $p$ case of there's a counterexample. Thanks in advance.







      share|cite|improve this question













      This question already has an answer here:



      • Similar matrices and field extensions

        5 answers



      Let $E/F$ be a field extension and let $A, B$ be $ntimes n$ matrices over $F$. Assume that $A, B$ are similar over $E$, i.e. there exists $Pin mathrmGL_n(E)$ s.t. $B = PAP^-1$. Are $A, B$ also similar over $F$, i.e. can we find $Qin mathrmGL_n(F)$ s.t $B = QAQ^-1$?



      This statement is true when $E=mathbbC$ and $F = mathbbQ$. More generally, the statement is true for characteristic 0 fields, and the proof can be found in here. However, the proof doesn't work for the char $p$ case, since there exists nonzero polynomials over a characteristic $p$ field (for example, over $mathbbF_p$) which became zero for any evaluation. (For example, $f(x) = x^p-xin mathbbF_p[x]$ is a nonzero polynomial, but $f(a)=0$ for any $ain mathbbF_p$.) So I want to know whether the theorem is also true for characteristic $p$ case of there's a counterexample. Thanks in advance.





      This question already has an answer here:



      • Similar matrices and field extensions

        5 answers









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 20 at 7:25









      Seewoo Lee

      4,893824




      4,893824




      marked as duplicate by José Carlos Santos linear-algebra
      Users with the  linear-algebra badge can single-handedly close linear-algebra questions as duplicates and reopen them as needed.

      StackExchange.ready(function()
      if (StackExchange.options.isMobile) return;

      $('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
      var $hover = $(this).addClass('hover-bound'),
      $msg = $hover.siblings('.dupe-hammer-message');

      $hover.hover(
      function()
      $hover.showInfoMessage('',
      messageElement: $msg.clone().show(),
      transient: false,
      position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
      dismissable: false,
      relativeToBody: true
      );
      ,
      function()
      StackExchange.helpers.removeMessages();

      );
      );
      );
      Aug 20 at 7:32


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






      marked as duplicate by José Carlos Santos linear-algebra
      Users with the  linear-algebra badge can single-handedly close linear-algebra questions as duplicates and reopen them as needed.

      StackExchange.ready(function()
      if (StackExchange.options.isMobile) return;

      $('.dupe-hammer-message-hover:not(.hover-bound)').each(function()
      var $hover = $(this).addClass('hover-bound'),
      $msg = $hover.siblings('.dupe-hammer-message');

      $hover.hover(
      function()
      $hover.showInfoMessage('',
      messageElement: $msg.clone().show(),
      transient: false,
      position: my: 'bottom left', at: 'top center', offsetTop: -7 ,
      dismissable: false,
      relativeToBody: true
      );
      ,
      function()
      StackExchange.helpers.removeMessages();

      );
      );
      );
      Aug 20 at 7:32


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          0
          down vote













          Two square matrices over a field $F$ have the same rational canonical form.
          The rational canonical form always has entries in the same field $F$. Therefore
          if $A$ and $B$ are similar over the extension field $E$ of $F$ then they
          are similar over $F$.






          share|cite|improve this answer



























            1 Answer
            1






            active

            oldest

            votes








            1 Answer
            1






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            0
            down vote













            Two square matrices over a field $F$ have the same rational canonical form.
            The rational canonical form always has entries in the same field $F$. Therefore
            if $A$ and $B$ are similar over the extension field $E$ of $F$ then they
            are similar over $F$.






            share|cite|improve this answer
























              up vote
              0
              down vote













              Two square matrices over a field $F$ have the same rational canonical form.
              The rational canonical form always has entries in the same field $F$. Therefore
              if $A$ and $B$ are similar over the extension field $E$ of $F$ then they
              are similar over $F$.






              share|cite|improve this answer






















                up vote
                0
                down vote










                up vote
                0
                down vote









                Two square matrices over a field $F$ have the same rational canonical form.
                The rational canonical form always has entries in the same field $F$. Therefore
                if $A$ and $B$ are similar over the extension field $E$ of $F$ then they
                are similar over $F$.






                share|cite|improve this answer












                Two square matrices over a field $F$ have the same rational canonical form.
                The rational canonical form always has entries in the same field $F$. Therefore
                if $A$ and $B$ are similar over the extension field $E$ of $F$ then they
                are similar over $F$.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Aug 20 at 7:31









                Lord Shark the Unknown

                87.7k953114




                87.7k953114












                    這個網誌中的熱門文章

                    How to combine Bézier curves to a surface?

                    Why am i infinitely getting the same tweet with the Twitter Search API?

                    Is there any way to eliminate the singular point to solve this integral by hand or by approximations?