Minimal polynomial for any power of Jordan block is same as the minimal polynomial of the Jordan block.












1












$begingroup$


Let $J$ be the $n times n$ Jordan block corresponding to the eigen value $1$. For any natural number $r$ is it true that the minimal polynomial for $J^r$ is $(X-1)^n$ ?



Another way to think about it to produce a cyclic vector of $J^r$. I can’t prove it. I need some help. Thanks.










share|cite|improve this question









$endgroup$












  • $begingroup$
    This is true for any non-zero eigenvalue, not just eigenvalue $1$.
    $endgroup$
    – user593746
    Dec 6 '18 at 11:19






  • 2




    $begingroup$
    Write $J=I+N$ where $I$ is the identity and $N$ is 1 on the super diagonal and zero otherwise (hence nilpotent of order $n$). Then $J^r=I+sum_{k=1}^r {{r}choose{k}} N^k$. You can show that $sum_{k=1}^r {{r}choose{k}} N^k$ is nilpotent of order $n$.
    $endgroup$
    – Eric
    Dec 6 '18 at 15:40








  • 1




    $begingroup$
    The result is false without some restriction on $n,r$ and the characteristic of the field in question. For example, in characteristic $p$ if $n=p$ we have that $(I+N)^p=I$ which has minimal polynomial $X-1$.
    $endgroup$
    – ancientmathematician
    Dec 6 '18 at 16:34










  • $begingroup$
    My interest is in 0 characteristic. Thanks for your counter example in positive characteristic.
    $endgroup$
    – user371231
    Dec 6 '18 at 18:46
















1












$begingroup$


Let $J$ be the $n times n$ Jordan block corresponding to the eigen value $1$. For any natural number $r$ is it true that the minimal polynomial for $J^r$ is $(X-1)^n$ ?



Another way to think about it to produce a cyclic vector of $J^r$. I can’t prove it. I need some help. Thanks.










share|cite|improve this question









$endgroup$












  • $begingroup$
    This is true for any non-zero eigenvalue, not just eigenvalue $1$.
    $endgroup$
    – user593746
    Dec 6 '18 at 11:19






  • 2




    $begingroup$
    Write $J=I+N$ where $I$ is the identity and $N$ is 1 on the super diagonal and zero otherwise (hence nilpotent of order $n$). Then $J^r=I+sum_{k=1}^r {{r}choose{k}} N^k$. You can show that $sum_{k=1}^r {{r}choose{k}} N^k$ is nilpotent of order $n$.
    $endgroup$
    – Eric
    Dec 6 '18 at 15:40








  • 1




    $begingroup$
    The result is false without some restriction on $n,r$ and the characteristic of the field in question. For example, in characteristic $p$ if $n=p$ we have that $(I+N)^p=I$ which has minimal polynomial $X-1$.
    $endgroup$
    – ancientmathematician
    Dec 6 '18 at 16:34










  • $begingroup$
    My interest is in 0 characteristic. Thanks for your counter example in positive characteristic.
    $endgroup$
    – user371231
    Dec 6 '18 at 18:46














1












1








1


2



$begingroup$


Let $J$ be the $n times n$ Jordan block corresponding to the eigen value $1$. For any natural number $r$ is it true that the minimal polynomial for $J^r$ is $(X-1)^n$ ?



Another way to think about it to produce a cyclic vector of $J^r$. I can’t prove it. I need some help. Thanks.










share|cite|improve this question









$endgroup$




Let $J$ be the $n times n$ Jordan block corresponding to the eigen value $1$. For any natural number $r$ is it true that the minimal polynomial for $J^r$ is $(X-1)^n$ ?



Another way to think about it to produce a cyclic vector of $J^r$. I can’t prove it. I need some help. Thanks.







linear-algebra abstract-algebra matrices jordan-normal-form canonical-transformation






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 6 '18 at 10:12









user371231user371231

756511




756511












  • $begingroup$
    This is true for any non-zero eigenvalue, not just eigenvalue $1$.
    $endgroup$
    – user593746
    Dec 6 '18 at 11:19






  • 2




    $begingroup$
    Write $J=I+N$ where $I$ is the identity and $N$ is 1 on the super diagonal and zero otherwise (hence nilpotent of order $n$). Then $J^r=I+sum_{k=1}^r {{r}choose{k}} N^k$. You can show that $sum_{k=1}^r {{r}choose{k}} N^k$ is nilpotent of order $n$.
    $endgroup$
    – Eric
    Dec 6 '18 at 15:40








  • 1




    $begingroup$
    The result is false without some restriction on $n,r$ and the characteristic of the field in question. For example, in characteristic $p$ if $n=p$ we have that $(I+N)^p=I$ which has minimal polynomial $X-1$.
    $endgroup$
    – ancientmathematician
    Dec 6 '18 at 16:34










  • $begingroup$
    My interest is in 0 characteristic. Thanks for your counter example in positive characteristic.
    $endgroup$
    – user371231
    Dec 6 '18 at 18:46


















  • $begingroup$
    This is true for any non-zero eigenvalue, not just eigenvalue $1$.
    $endgroup$
    – user593746
    Dec 6 '18 at 11:19






  • 2




    $begingroup$
    Write $J=I+N$ where $I$ is the identity and $N$ is 1 on the super diagonal and zero otherwise (hence nilpotent of order $n$). Then $J^r=I+sum_{k=1}^r {{r}choose{k}} N^k$. You can show that $sum_{k=1}^r {{r}choose{k}} N^k$ is nilpotent of order $n$.
    $endgroup$
    – Eric
    Dec 6 '18 at 15:40








  • 1




    $begingroup$
    The result is false without some restriction on $n,r$ and the characteristic of the field in question. For example, in characteristic $p$ if $n=p$ we have that $(I+N)^p=I$ which has minimal polynomial $X-1$.
    $endgroup$
    – ancientmathematician
    Dec 6 '18 at 16:34










  • $begingroup$
    My interest is in 0 characteristic. Thanks for your counter example in positive characteristic.
    $endgroup$
    – user371231
    Dec 6 '18 at 18:46
















$begingroup$
This is true for any non-zero eigenvalue, not just eigenvalue $1$.
$endgroup$
– user593746
Dec 6 '18 at 11:19




$begingroup$
This is true for any non-zero eigenvalue, not just eigenvalue $1$.
$endgroup$
– user593746
Dec 6 '18 at 11:19




2




2




$begingroup$
Write $J=I+N$ where $I$ is the identity and $N$ is 1 on the super diagonal and zero otherwise (hence nilpotent of order $n$). Then $J^r=I+sum_{k=1}^r {{r}choose{k}} N^k$. You can show that $sum_{k=1}^r {{r}choose{k}} N^k$ is nilpotent of order $n$.
$endgroup$
– Eric
Dec 6 '18 at 15:40






$begingroup$
Write $J=I+N$ where $I$ is the identity and $N$ is 1 on the super diagonal and zero otherwise (hence nilpotent of order $n$). Then $J^r=I+sum_{k=1}^r {{r}choose{k}} N^k$. You can show that $sum_{k=1}^r {{r}choose{k}} N^k$ is nilpotent of order $n$.
$endgroup$
– Eric
Dec 6 '18 at 15:40






1




1




$begingroup$
The result is false without some restriction on $n,r$ and the characteristic of the field in question. For example, in characteristic $p$ if $n=p$ we have that $(I+N)^p=I$ which has minimal polynomial $X-1$.
$endgroup$
– ancientmathematician
Dec 6 '18 at 16:34




$begingroup$
The result is false without some restriction on $n,r$ and the characteristic of the field in question. For example, in characteristic $p$ if $n=p$ we have that $(I+N)^p=I$ which has minimal polynomial $X-1$.
$endgroup$
– ancientmathematician
Dec 6 '18 at 16:34












$begingroup$
My interest is in 0 characteristic. Thanks for your counter example in positive characteristic.
$endgroup$
– user371231
Dec 6 '18 at 18:46




$begingroup$
My interest is in 0 characteristic. Thanks for your counter example in positive characteristic.
$endgroup$
– user371231
Dec 6 '18 at 18:46










2 Answers
2






active

oldest

votes


















1












$begingroup$

Hint: write $J=I+N$ where $N$ is the shift matrix. $N$ is nilpotent with index $n$. Now expand $J^r=(I+N)^r=...$ and find out what is the smallest $m$ we need in order to $(J^r-I)^m=0$.






share|cite|improve this answer









$endgroup$





















    1












    $begingroup$

    As $r(J-I)=r(J^r-I)$, so geometric multiplicity is $1$in both case are same and hence same minimal polynomial. Here $r$ means rank of matrix.






    share|cite|improve this answer











    $endgroup$













    • $begingroup$
      It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
      $endgroup$
      – A.Γ.
      Dec 6 '18 at 12:50










    • $begingroup$
      Both has same rank as $2.$
      $endgroup$
      – neelkanth
      Dec 6 '18 at 13:03










    • $begingroup$
      @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
      $endgroup$
      – Eric
      Dec 6 '18 at 15:47








    • 1




      $begingroup$
      It’s standard notation if we work in matrices
      $endgroup$
      – neelkanth
      Dec 6 '18 at 16:15










    • $begingroup$
      Can you explain why the ranks are same ?
      $endgroup$
      – user371231
      Dec 6 '18 at 16:18











    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%2f3028303%2fminimal-polynomial-for-any-power-of-jordan-block-is-same-as-the-minimal-polynomi%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$

    Hint: write $J=I+N$ where $N$ is the shift matrix. $N$ is nilpotent with index $n$. Now expand $J^r=(I+N)^r=...$ and find out what is the smallest $m$ we need in order to $(J^r-I)^m=0$.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      Hint: write $J=I+N$ where $N$ is the shift matrix. $N$ is nilpotent with index $n$. Now expand $J^r=(I+N)^r=...$ and find out what is the smallest $m$ we need in order to $(J^r-I)^m=0$.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        Hint: write $J=I+N$ where $N$ is the shift matrix. $N$ is nilpotent with index $n$. Now expand $J^r=(I+N)^r=...$ and find out what is the smallest $m$ we need in order to $(J^r-I)^m=0$.






        share|cite|improve this answer









        $endgroup$



        Hint: write $J=I+N$ where $N$ is the shift matrix. $N$ is nilpotent with index $n$. Now expand $J^r=(I+N)^r=...$ and find out what is the smallest $m$ we need in order to $(J^r-I)^m=0$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 6 '18 at 11:17









        A.Γ.A.Γ.

        22.6k32656




        22.6k32656























            1












            $begingroup$

            As $r(J-I)=r(J^r-I)$, so geometric multiplicity is $1$in both case are same and hence same minimal polynomial. Here $r$ means rank of matrix.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
              $endgroup$
              – A.Γ.
              Dec 6 '18 at 12:50










            • $begingroup$
              Both has same rank as $2.$
              $endgroup$
              – neelkanth
              Dec 6 '18 at 13:03










            • $begingroup$
              @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
              $endgroup$
              – Eric
              Dec 6 '18 at 15:47








            • 1




              $begingroup$
              It’s standard notation if we work in matrices
              $endgroup$
              – neelkanth
              Dec 6 '18 at 16:15










            • $begingroup$
              Can you explain why the ranks are same ?
              $endgroup$
              – user371231
              Dec 6 '18 at 16:18
















            1












            $begingroup$

            As $r(J-I)=r(J^r-I)$, so geometric multiplicity is $1$in both case are same and hence same minimal polynomial. Here $r$ means rank of matrix.






            share|cite|improve this answer











            $endgroup$













            • $begingroup$
              It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
              $endgroup$
              – A.Γ.
              Dec 6 '18 at 12:50










            • $begingroup$
              Both has same rank as $2.$
              $endgroup$
              – neelkanth
              Dec 6 '18 at 13:03










            • $begingroup$
              @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
              $endgroup$
              – Eric
              Dec 6 '18 at 15:47








            • 1




              $begingroup$
              It’s standard notation if we work in matrices
              $endgroup$
              – neelkanth
              Dec 6 '18 at 16:15










            • $begingroup$
              Can you explain why the ranks are same ?
              $endgroup$
              – user371231
              Dec 6 '18 at 16:18














            1












            1








            1





            $begingroup$

            As $r(J-I)=r(J^r-I)$, so geometric multiplicity is $1$in both case are same and hence same minimal polynomial. Here $r$ means rank of matrix.






            share|cite|improve this answer











            $endgroup$



            As $r(J-I)=r(J^r-I)$, so geometric multiplicity is $1$in both case are same and hence same minimal polynomial. Here $r$ means rank of matrix.







            share|cite|improve this answer














            share|cite|improve this answer



            share|cite|improve this answer








            edited Dec 6 '18 at 16:21

























            answered Dec 6 '18 at 12:20









            neelkanthneelkanth

            2,0642928




            2,0642928












            • $begingroup$
              It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
              $endgroup$
              – A.Γ.
              Dec 6 '18 at 12:50










            • $begingroup$
              Both has same rank as $2.$
              $endgroup$
              – neelkanth
              Dec 6 '18 at 13:03










            • $begingroup$
              @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
              $endgroup$
              – Eric
              Dec 6 '18 at 15:47








            • 1




              $begingroup$
              It’s standard notation if we work in matrices
              $endgroup$
              – neelkanth
              Dec 6 '18 at 16:15










            • $begingroup$
              Can you explain why the ranks are same ?
              $endgroup$
              – user371231
              Dec 6 '18 at 16:18


















            • $begingroup$
              It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
              $endgroup$
              – A.Γ.
              Dec 6 '18 at 12:50










            • $begingroup$
              Both has same rank as $2.$
              $endgroup$
              – neelkanth
              Dec 6 '18 at 13:03










            • $begingroup$
              @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
              $endgroup$
              – Eric
              Dec 6 '18 at 15:47








            • 1




              $begingroup$
              It’s standard notation if we work in matrices
              $endgroup$
              – neelkanth
              Dec 6 '18 at 16:15










            • $begingroup$
              Can you explain why the ranks are same ?
              $endgroup$
              – user371231
              Dec 6 '18 at 16:18
















            $begingroup$
            It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
            $endgroup$
            – A.Γ.
            Dec 6 '18 at 12:50




            $begingroup$
            It is not true. Take $3times 3$ case: $$J-I=begin{bmatrix}0 & 1& 0\0 & 0 & 1\0 & 0 & 0end{bmatrix},quad J^2-I=begin{bmatrix}0 & 2& color{red}{1}\0 & 0 & 2\0 & 0 & 0end{bmatrix}.$$ In what sense are they equal?
            $endgroup$
            – A.Γ.
            Dec 6 '18 at 12:50












            $begingroup$
            Both has same rank as $2.$
            $endgroup$
            – neelkanth
            Dec 6 '18 at 13:03




            $begingroup$
            Both has same rank as $2.$
            $endgroup$
            – neelkanth
            Dec 6 '18 at 13:03












            $begingroup$
            @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
            $endgroup$
            – Eric
            Dec 6 '18 at 15:47






            $begingroup$
            @neelkanth If by "r" you mean rank then you should write that out clearly. Your equation communicates that the constant multiple r times J-I is equal to the constant multiple r times (J^r-I) which is not true as pointed out by A.Γ.
            $endgroup$
            – Eric
            Dec 6 '18 at 15:47






            1




            1




            $begingroup$
            It’s standard notation if we work in matrices
            $endgroup$
            – neelkanth
            Dec 6 '18 at 16:15




            $begingroup$
            It’s standard notation if we work in matrices
            $endgroup$
            – neelkanth
            Dec 6 '18 at 16:15












            $begingroup$
            Can you explain why the ranks are same ?
            $endgroup$
            – user371231
            Dec 6 '18 at 16:18




            $begingroup$
            Can you explain why the ranks are same ?
            $endgroup$
            – user371231
            Dec 6 '18 at 16:18


















            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%2f3028303%2fminimal-polynomial-for-any-power-of-jordan-block-is-same-as-the-minimal-polynomi%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

            Berounka

            Sphinx de Gizeh

            Different font size/position of beamer's navigation symbols template's content depending on regular/plain...