If given $A^n = alpha I$ prove $A$ is diagonizable The 2019 Stack Overflow Developer Survey Results Are In Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar ManaraMinimal Polynomial of a scalar multiple of a MatrixProperties of a matrix with the minimal polynomial $m_A(t) = t^3+2t^2+t+1$?What can we conclude from the equality $m_A(x) = m_B(x)$?If $f_A(x) ne m_A(x)$ and $A^3=I$ then $A=I$?Minimal polynomial for an invertible matrix and its determinantLet $A in mathbbM_n(F)$. Every polynomial$(p)$ of degree n such that $p(A)=0$ then how $p$ can be expressed?How do you show that if a block matrix is diagonalizable, then its diagonal entries are diagonalizable?Calculate the determinant of $A-2A^-1$ given the characteristic and minimal polynomials of $A$Prove that $P^-1v$ is an eigenvector of $B$ corresponding to the eigenvalue $lambda$.Condition for linear transformation being invertible

Could an empire control the whole planet with today's comunication methods?

Word for: a synonym with a positive connotation?

What aspect of planet Earth must be changed to prevent the industrial revolution?

Drawing vertical/oblique lines in Metrical tree (tikz-qtree, tipa)

US Healthcare consultation for visitors

Can a flute soloist sit?

Make it rain characters

Loose spokes after only a few rides

Variable with quotation marks "$()"

Is it ethical to upload a automatically generated paper to a non peer-reviewed site as part of a larger research?

Windows 10: How to Lock (not sleep) laptop on lid close?

Why not take a picture of a closer black hole?

Is an up-to-date browser secure on an out-of-date OS?

"... to apply for a visa" or "... and applied for a visa"?

Python - Fishing Simulator

Mortgage adviser recommends a longer term than necessary combined with overpayments

Using dividends to reduce short term capital gains?

Do warforged have souls?

How to determine omitted units in a publication

How to politely respond to generic emails requesting a PhD/job in my lab? Without wasting too much time

How do you keep chess fun when your opponent constantly beats you?

Why don't hard Brexiteers insist on a hard border to prevent illegal immigration after Brexit?

What happens to a Warlock's expended Spell Slots when they gain a Level?

Do I have Disadvantage attacking with an off-hand weapon?



If given $A^n = alpha I$ prove $A$ is diagonizable



The 2019 Stack Overflow Developer Survey Results Are In
Unicorn Meta Zoo #1: Why another podcast?
Announcing the arrival of Valued Associate #679: Cesar ManaraMinimal Polynomial of a scalar multiple of a MatrixProperties of a matrix with the minimal polynomial $m_A(t) = t^3+2t^2+t+1$?What can we conclude from the equality $m_A(x) = m_B(x)$?If $f_A(x) ne m_A(x)$ and $A^3=I$ then $A=I$?Minimal polynomial for an invertible matrix and its determinantLet $A in mathbbM_n(F)$. Every polynomial$(p)$ of degree n such that $p(A)=0$ then how $p$ can be expressed?How do you show that if a block matrix is diagonalizable, then its diagonal entries are diagonalizable?Calculate the determinant of $A-2A^-1$ given the characteristic and minimal polynomials of $A$Prove that $P^-1v$ is an eigenvector of $B$ corresponding to the eigenvalue $lambda$.Condition for linear transformation being invertible










1












$begingroup$



Given matrix $ A inM_n(mathbbC), 0nealphainmathbbC$ such that $A^n = alpha I$ prove that $A$ is diagonizable.




I've tried proving that the minimal polynomial($m_A$) splits into linear polynomials therefore proving that $A$ is diagonizable but haven't had great success with that.



I've also found that $|A| = alpha$ even though that didn't really give me a good starting place.



How can I prove that $A$ is diagonizable?










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Are you allowed to use Jordan normal form? If yes - just note that all eigenvalues are non-zero, and power of Jordan block with non-zero value and size greater then $1$ is non-diagonizable.
    $endgroup$
    – mihaild
    yesterday






  • 1




    $begingroup$
    I haven't learned the Jordan form yet, sorry
    $endgroup$
    – Guysudai1
    yesterday















1












$begingroup$



Given matrix $ A inM_n(mathbbC), 0nealphainmathbbC$ such that $A^n = alpha I$ prove that $A$ is diagonizable.




I've tried proving that the minimal polynomial($m_A$) splits into linear polynomials therefore proving that $A$ is diagonizable but haven't had great success with that.



I've also found that $|A| = alpha$ even though that didn't really give me a good starting place.



How can I prove that $A$ is diagonizable?










share|cite|improve this question











$endgroup$







  • 1




    $begingroup$
    Are you allowed to use Jordan normal form? If yes - just note that all eigenvalues are non-zero, and power of Jordan block with non-zero value and size greater then $1$ is non-diagonizable.
    $endgroup$
    – mihaild
    yesterday






  • 1




    $begingroup$
    I haven't learned the Jordan form yet, sorry
    $endgroup$
    – Guysudai1
    yesterday













1












1








1





$begingroup$



Given matrix $ A inM_n(mathbbC), 0nealphainmathbbC$ such that $A^n = alpha I$ prove that $A$ is diagonizable.




I've tried proving that the minimal polynomial($m_A$) splits into linear polynomials therefore proving that $A$ is diagonizable but haven't had great success with that.



I've also found that $|A| = alpha$ even though that didn't really give me a good starting place.



How can I prove that $A$ is diagonizable?










share|cite|improve this question











$endgroup$





Given matrix $ A inM_n(mathbbC), 0nealphainmathbbC$ such that $A^n = alpha I$ prove that $A$ is diagonizable.




I've tried proving that the minimal polynomial($m_A$) splits into linear polynomials therefore proving that $A$ is diagonizable but haven't had great success with that.



I've also found that $|A| = alpha$ even though that didn't really give me a good starting place.



How can I prove that $A$ is diagonizable?







linear-algebra matrices diagonalization






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited yesterday









YuiTo Cheng

2,4064937




2,4064937










asked yesterday









Guysudai1Guysudai1

296111




296111







  • 1




    $begingroup$
    Are you allowed to use Jordan normal form? If yes - just note that all eigenvalues are non-zero, and power of Jordan block with non-zero value and size greater then $1$ is non-diagonizable.
    $endgroup$
    – mihaild
    yesterday






  • 1




    $begingroup$
    I haven't learned the Jordan form yet, sorry
    $endgroup$
    – Guysudai1
    yesterday












  • 1




    $begingroup$
    Are you allowed to use Jordan normal form? If yes - just note that all eigenvalues are non-zero, and power of Jordan block with non-zero value and size greater then $1$ is non-diagonizable.
    $endgroup$
    – mihaild
    yesterday






  • 1




    $begingroup$
    I haven't learned the Jordan form yet, sorry
    $endgroup$
    – Guysudai1
    yesterday







1




1




$begingroup$
Are you allowed to use Jordan normal form? If yes - just note that all eigenvalues are non-zero, and power of Jordan block with non-zero value and size greater then $1$ is non-diagonizable.
$endgroup$
– mihaild
yesterday




$begingroup$
Are you allowed to use Jordan normal form? If yes - just note that all eigenvalues are non-zero, and power of Jordan block with non-zero value and size greater then $1$ is non-diagonizable.
$endgroup$
– mihaild
yesterday




1




1




$begingroup$
I haven't learned the Jordan form yet, sorry
$endgroup$
– Guysudai1
yesterday




$begingroup$
I haven't learned the Jordan form yet, sorry
$endgroup$
– Guysudai1
yesterday










3 Answers
3






active

oldest

votes


















5












$begingroup$

Small remark: Over $mathbbC$, every polynomial splits into linear factors, so that doesn't help here. The matrix is diagonizable if and only if the minimal polynomial splits in pairwise different linear factors, so it splits and is square free.



Now for your problem: We see directly by looking at the degree that the characteristic polynomial is $x^n-alpha$. Thus, the minimal polynomial is a divisor of that one. Show that this polynomial is square free, then also the minimal polynomial, a divisor of the characteristic polynomial, will be square free and you are done.






share|cite|improve this answer









$endgroup$








  • 2




    $begingroup$
    (+1) Your answer is better than mine.
    $endgroup$
    – José Carlos Santos
    yesterday


















4












$begingroup$

If $A^n=alphaoperatornameId$, with $alphaneq0$, then $0$ is not an eigenvalue of $A$. Suppose that $A$ is not diagonalizable. Then some block of the Jordan normal form of $A$ is of the type$$beginbmatrixlambda&1&0&0&ldots&0\0&lambda&1&0&ldots&0\0&0&lambda&1&ldots&0\vdots&vdots&vdots&vdots&ddots&vdots\0&0&0&0&cdots&lambdaendbmatrix,$$with $lambdaneq0$. But no power of such a matrix is diagonlizable.






share|cite|improve this answer











$endgroup$




















    2












    $begingroup$

    Hint: the essential fact is that eigenvectors corresponding to different eigenvalues are linearly independent. In this case, we have a basis of the space composed of eigenvectors...






    share|cite|improve this answer









    $endgroup$













      Your Answer








      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%2f3183481%2fif-given-an-alpha-i-prove-a-is-diagonizable%23new-answer', 'question_page');

      );

      Post as a guest















      Required, but never shown

























      3 Answers
      3






      active

      oldest

      votes








      3 Answers
      3






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      5












      $begingroup$

      Small remark: Over $mathbbC$, every polynomial splits into linear factors, so that doesn't help here. The matrix is diagonizable if and only if the minimal polynomial splits in pairwise different linear factors, so it splits and is square free.



      Now for your problem: We see directly by looking at the degree that the characteristic polynomial is $x^n-alpha$. Thus, the minimal polynomial is a divisor of that one. Show that this polynomial is square free, then also the minimal polynomial, a divisor of the characteristic polynomial, will be square free and you are done.






      share|cite|improve this answer









      $endgroup$








      • 2




        $begingroup$
        (+1) Your answer is better than mine.
        $endgroup$
        – José Carlos Santos
        yesterday















      5












      $begingroup$

      Small remark: Over $mathbbC$, every polynomial splits into linear factors, so that doesn't help here. The matrix is diagonizable if and only if the minimal polynomial splits in pairwise different linear factors, so it splits and is square free.



      Now for your problem: We see directly by looking at the degree that the characteristic polynomial is $x^n-alpha$. Thus, the minimal polynomial is a divisor of that one. Show that this polynomial is square free, then also the minimal polynomial, a divisor of the characteristic polynomial, will be square free and you are done.






      share|cite|improve this answer









      $endgroup$








      • 2




        $begingroup$
        (+1) Your answer is better than mine.
        $endgroup$
        – José Carlos Santos
        yesterday













      5












      5








      5





      $begingroup$

      Small remark: Over $mathbbC$, every polynomial splits into linear factors, so that doesn't help here. The matrix is diagonizable if and only if the minimal polynomial splits in pairwise different linear factors, so it splits and is square free.



      Now for your problem: We see directly by looking at the degree that the characteristic polynomial is $x^n-alpha$. Thus, the minimal polynomial is a divisor of that one. Show that this polynomial is square free, then also the minimal polynomial, a divisor of the characteristic polynomial, will be square free and you are done.






      share|cite|improve this answer









      $endgroup$



      Small remark: Over $mathbbC$, every polynomial splits into linear factors, so that doesn't help here. The matrix is diagonizable if and only if the minimal polynomial splits in pairwise different linear factors, so it splits and is square free.



      Now for your problem: We see directly by looking at the degree that the characteristic polynomial is $x^n-alpha$. Thus, the minimal polynomial is a divisor of that one. Show that this polynomial is square free, then also the minimal polynomial, a divisor of the characteristic polynomial, will be square free and you are done.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered yesterday









      DirkDirk

      4,658219




      4,658219







      • 2




        $begingroup$
        (+1) Your answer is better than mine.
        $endgroup$
        – José Carlos Santos
        yesterday












      • 2




        $begingroup$
        (+1) Your answer is better than mine.
        $endgroup$
        – José Carlos Santos
        yesterday







      2




      2




      $begingroup$
      (+1) Your answer is better than mine.
      $endgroup$
      – José Carlos Santos
      yesterday




      $begingroup$
      (+1) Your answer is better than mine.
      $endgroup$
      – José Carlos Santos
      yesterday











      4












      $begingroup$

      If $A^n=alphaoperatornameId$, with $alphaneq0$, then $0$ is not an eigenvalue of $A$. Suppose that $A$ is not diagonalizable. Then some block of the Jordan normal form of $A$ is of the type$$beginbmatrixlambda&1&0&0&ldots&0\0&lambda&1&0&ldots&0\0&0&lambda&1&ldots&0\vdots&vdots&vdots&vdots&ddots&vdots\0&0&0&0&cdots&lambdaendbmatrix,$$with $lambdaneq0$. But no power of such a matrix is diagonlizable.






      share|cite|improve this answer











      $endgroup$

















        4












        $begingroup$

        If $A^n=alphaoperatornameId$, with $alphaneq0$, then $0$ is not an eigenvalue of $A$. Suppose that $A$ is not diagonalizable. Then some block of the Jordan normal form of $A$ is of the type$$beginbmatrixlambda&1&0&0&ldots&0\0&lambda&1&0&ldots&0\0&0&lambda&1&ldots&0\vdots&vdots&vdots&vdots&ddots&vdots\0&0&0&0&cdots&lambdaendbmatrix,$$with $lambdaneq0$. But no power of such a matrix is diagonlizable.






        share|cite|improve this answer











        $endgroup$















          4












          4








          4





          $begingroup$

          If $A^n=alphaoperatornameId$, with $alphaneq0$, then $0$ is not an eigenvalue of $A$. Suppose that $A$ is not diagonalizable. Then some block of the Jordan normal form of $A$ is of the type$$beginbmatrixlambda&1&0&0&ldots&0\0&lambda&1&0&ldots&0\0&0&lambda&1&ldots&0\vdots&vdots&vdots&vdots&ddots&vdots\0&0&0&0&cdots&lambdaendbmatrix,$$with $lambdaneq0$. But no power of such a matrix is diagonlizable.






          share|cite|improve this answer











          $endgroup$



          If $A^n=alphaoperatornameId$, with $alphaneq0$, then $0$ is not an eigenvalue of $A$. Suppose that $A$ is not diagonalizable. Then some block of the Jordan normal form of $A$ is of the type$$beginbmatrixlambda&1&0&0&ldots&0\0&lambda&1&0&ldots&0\0&0&lambda&1&ldots&0\vdots&vdots&vdots&vdots&ddots&vdots\0&0&0&0&cdots&lambdaendbmatrix,$$with $lambdaneq0$. But no power of such a matrix is diagonlizable.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited yesterday

























          answered yesterday









          José Carlos SantosJosé Carlos Santos

          174k23133243




          174k23133243





















              2












              $begingroup$

              Hint: the essential fact is that eigenvectors corresponding to different eigenvalues are linearly independent. In this case, we have a basis of the space composed of eigenvectors...






              share|cite|improve this answer









              $endgroup$

















                2












                $begingroup$

                Hint: the essential fact is that eigenvectors corresponding to different eigenvalues are linearly independent. In this case, we have a basis of the space composed of eigenvectors...






                share|cite|improve this answer









                $endgroup$















                  2












                  2








                  2





                  $begingroup$

                  Hint: the essential fact is that eigenvectors corresponding to different eigenvalues are linearly independent. In this case, we have a basis of the space composed of eigenvectors...






                  share|cite|improve this answer









                  $endgroup$



                  Hint: the essential fact is that eigenvectors corresponding to different eigenvalues are linearly independent. In this case, we have a basis of the space composed of eigenvectors...







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered yesterday









                  Martín-Blas Pérez PinillaMartín-Blas Pérez Pinilla

                  35.5k42972




                  35.5k42972



























                      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%2f3183481%2fif-given-an-alpha-i-prove-a-is-diagonizable%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







                      -diagonalization, linear-algebra, matrices

                      Popular posts from this blog

                      Word for a person who has no opinion about whether god existsWord for having a definite opinion while simultaneously withholding judgment?What's the opposite of “newcomer? Is ”veteran" OK?What do you call an “atheist” who might believe in an afterlife?What's a word for someone who wants to voice opinions but not have them challenged?Word for someone who dismisses contrary opinions as irrational?Somone who thinks they are overly special/out of the ordinaryIs there a word, phrase or idiom for “a person who is incapable of thinking about the future”?The belief that a god is human-likeA word for a non-famous person/thing you have heard a lot aboutAdjective for a person who enjoys taking care of their appearance

                      What was this official D&D 3.5e Lovecraft-flavored rulebook?What was this set of RPG tools called?As a first-time DM should I let my players play complex character classes and roles?Nymph's Kiss and the RelationshipWhat was the name of this Cleric Prestige Class that shapes metal with its bare hands?Are the 3.5e Dragonlance books third party or official works?What's up with the domain Vile Darkness?What was this 80s book about RPGs?What was the name of this Werewolf band?What book had Rituals to “upgrade” animal companions to keep them viable at higher levels?What was this RPG that had rules for player-owned businesses?

                      2017 IndyCar Series Contents Series news Teams and drivers Schedule Season summary Footnotes References External links Navigation menu"INDYCAR: Initial 2018 bodywork concepts unveiled"the original"IndyCar confirms switch to Performance Friction brakes in 2017""AJ Foyt Racing will switch to Chevy"the original"Carlos Munoz, Conor Daly will drive for AJ Foyt Racing""Zach Veach's Indy 500 Debut Confirmed with Foyt""No mass exodus from Honda after Ganassi switch""Ex-F1 driver Sato joins Andretti Autosport for 2017 IndyCar season""IndyCar's Ryan Hunter-Reay, sponsor DHL paired through 2020""hhgregg and Andretti Autosport announce partnership for key races in 2016""INDYCAR: Rossi re-signs with Andretti"the original"McLaren Formula 1 - Fernando Alonso to race at Indy 500 with McLaren, Honda and Andretti Autosport""Shank will finally take part in Indy 500 with Harvey, Andretti | MotorSportsTalk""Andretti adds Jack Harvey to Indy 500 field""Ganassi switches to Honda power for 2017""INDYCAR: Chilton returns to Ganassi"the original"IndyCar silly season: Who's going where in 2017?""INDYCAR: Kanaan, NTT Data return to Ganassi"the original"Kimball to remain at Ganassi for 2017""Coyne confirms Bourdais for 2017 IndyCar season""Davison to sub for Bourdais in Indy 500"the original"Gutierrez confirmed for Detroit IndyCar debut""Gutierrez returns with Coyne for rest of 2017 season""Vautier to drive for Coyne at Texas"the original"INDYCAR: Coyne confirms Jones for 2017"the original"Pippa Mann returns to Coyne for Indy 500""Karam, Dreyer & Reinbold teaming up again for Indianapolis 500""Pigot to return to Ed Carpenter Racing""Hildebrand confirmed as full-time Ed Carpenter driver""Veach to replace injured Hildebrand at Barber"the originalNew Team Harding Racing Enters Chaves for 101st Indianapolis 500"Juncos Racing Announces Entry in 101st Running of the Indianapolis 500 :: Juncos Racing""Juncos confirms Pigot for Indy 500""Saavedra confirmed in Juncos' second 500 entry"the original"Lazier confirms Indy 500 run after son's USF2000 debut"the original"Claman DeMelo to race for RLLR at Sonoma"the original"Rahal signs Servia and ace engineer for 2017""IndyCar: Aleshin returns with Schmidt"the original"Aleshin replaced by Saavedra for Toronto""Jack Harvey will pilot SPM No. 7 car at Watkins Glen, Sonoma""Jay Howard confirmed in Tony Stewart's supported SPM Indy entry""INDYCAR: Newgarden to wave the flag at Penske"the original"Pagenaud opts for No. 1 in 2017"the original"Penske confirms Newgarden for 2017""Montoya to stay with Team Penske in 2017""Target leaving IndyCar after 27 seasons with Chip Ganassi""Cavin: IndyCar could see complete driver/team shakeup in 2017""End of the road for KV Racing?""KV Racing confirms closure, equipment sold to Juncos""Juncos confirms IndyCar Series entry"the original"Juncos readies IndyCar program, aims for '17 500"the original"Harding Racing to add Texas, Pocono to schedule"the original"Sato signs with Andretti Autosport for 2017""INDYCAR: Aleshin in Doubt at SPM"the original"Long Beach notebook: JR Hildebrand breaks hand""Hildebrand cleared to return at Phoenix"the original"Bourdais to undergo surgery on multiple fractures""Aleshin loses Schmidt Peterson IndyCar ride""Saavedra in at SPM for Pocono, Gateway"the original"Bourdais to make return at Gateway"the original"The IndyCar Grand Prix no longer is sponsored by Angie's List""2017 IndyCar Series rulebook""2017 Verizon IndyCar Series Official Rulebook"Official websiteeeeee