Minimal polynomial for any power of Jordan block is same as the minimal polynomial of the Jordan block.
$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.
linear-algebra abstract-algebra matrices jordan-normal-form canonical-transformation
$endgroup$
add a comment |
$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.
linear-algebra abstract-algebra matrices jordan-normal-form canonical-transformation
$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
add a comment |
$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.
linear-algebra abstract-algebra matrices jordan-normal-form canonical-transformation
$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
linear-algebra abstract-algebra matrices jordan-normal-form canonical-transformation
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
add a comment |
$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
add a comment |
2 Answers
2
active
oldest
votes
$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$.
$endgroup$
add a comment |
$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.
$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
|
show 2 more comments
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$.
$endgroup$
add a comment |
$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$.
$endgroup$
add a comment |
$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$.
$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$.
answered Dec 6 '18 at 11:17
A.Γ.A.Γ.
22.6k32656
22.6k32656
add a comment |
add a comment |
$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.
$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
|
show 2 more comments
$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.
$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
|
show 2 more comments
$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.
$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.
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
|
show 2 more comments
$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
|
show 2 more comments
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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