proof of all integer entries in an inverse matrix The Next CEO of Stack OverflowCofactor matrix 4x4, evaluated by handProve that if $A$ is regular then $operatornameadj(operatornameadj(A)) = (det A)^n-2 A$Adjoint of Complex Matrix$A^-1$ has integer entries if and only if the $rm det (A) =pm 1$Integer solutions of a quadratic equation with combined variablesFind the inverse of the $ntimes n$ matrix whose entries are given by $a_ij = max (i,j)$The difference between adjoint in linear algebra and adjoint of operator?proving that the area of a 2016 sided polygon is an even integerrandomized approximate matrix inverse or adjoint of a square matrixAll multiplicative sets of the integers
Grabbing quick drinks
Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?
If I blow insulation everywhere in my attic except the door trap, will heat escape through it?
How do I solve this limit?
Natural language into sentence logic
Fastest way to shutdown Ubuntu Mate 18.10
Anatomically Correct Strange Women In Ponds Distributing Swords
What is the purpose of the Evocation wizard's Potent Cantrip feature?
How do I get the green key off the shelf in the Dobby level of Lego Harry Potter 2?
Can a single photon have an energy density?
What is the point of a new vote on May's deal when the indicative votes suggest she will not win?
Which organization defines CJK Unified Ideographs?
Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low?
WOW air has ceased operation, can I get my tickets refunded?
Term for the "extreme-extension" version of a straw man fallacy?
How to write the block matrix in LaTex?
Why were Madagascar and New Zealand discovered so late?
Should I tutor a student who I know has cheated on their homework?
How to make a variable always equal to the result of some calculations?
Why did we only see the N-1 starfighters in one film?
Customer Requests (Sometimes) Drive Me Bonkers!
When airplanes disconnect from a tanker during air to air refueling, why do they bank so sharply to the right?
Horror movie/show or scene where a horse creature opens its mouth really wide and devours a man in a stables
How can I open an app using Terminal?
proof of all integer entries in an inverse matrix
The Next CEO of Stack OverflowCofactor matrix 4x4, evaluated by handProve that if $A$ is regular then $operatornameadj(operatornameadj(A)) = (det A)^n-2 A$Adjoint of Complex Matrix$A^-1$ has integer entries if and only if the $rm det (A) =pm 1$Integer solutions of a quadratic equation with combined variablesFind the inverse of the $ntimes n$ matrix whose entries are given by $a_ij = max (i,j)$The difference between adjoint in linear algebra and adjoint of operator?proving that the area of a 2016 sided polygon is an even integerrandomized approximate matrix inverse or adjoint of a square matrixAll multiplicative sets of the integers
$begingroup$
"Prove that if $det(A)=1$ and all the entries in $A$ are integers, then all the entries in $A^-1$ are integers."
I began by setting up the adjoint method for finding the inverse.
$A^-1 = cfrac 1det(A) adj(A)$
given that $det(A)=1$,
$A^-1=adj(A)$
from here I'm stuck. I think I need to work with an example containing integers, but I'm not quite sure.
adjoint-operators integers
$endgroup$
add a comment |
$begingroup$
"Prove that if $det(A)=1$ and all the entries in $A$ are integers, then all the entries in $A^-1$ are integers."
I began by setting up the adjoint method for finding the inverse.
$A^-1 = cfrac 1det(A) adj(A)$
given that $det(A)=1$,
$A^-1=adj(A)$
from here I'm stuck. I think I need to work with an example containing integers, but I'm not quite sure.
adjoint-operators integers
$endgroup$
$begingroup$
So you need to show that the adjoint has integer entries. What were the entries of the adjoint again?
$endgroup$
– Daniel Fischer
May 3 '15 at 22:28
$begingroup$
The coefficients in the adjugate are determinants of matrices with integer coefficients, being the algebraic complements.
$endgroup$
– egreg
May 3 '15 at 22:29
$begingroup$
They don't give one.
$endgroup$
– shadept
May 3 '15 at 22:29
add a comment |
$begingroup$
"Prove that if $det(A)=1$ and all the entries in $A$ are integers, then all the entries in $A^-1$ are integers."
I began by setting up the adjoint method for finding the inverse.
$A^-1 = cfrac 1det(A) adj(A)$
given that $det(A)=1$,
$A^-1=adj(A)$
from here I'm stuck. I think I need to work with an example containing integers, but I'm not quite sure.
adjoint-operators integers
$endgroup$
"Prove that if $det(A)=1$ and all the entries in $A$ are integers, then all the entries in $A^-1$ are integers."
I began by setting up the adjoint method for finding the inverse.
$A^-1 = cfrac 1det(A) adj(A)$
given that $det(A)=1$,
$A^-1=adj(A)$
from here I'm stuck. I think I need to work with an example containing integers, but I'm not quite sure.
adjoint-operators integers
adjoint-operators integers
asked May 3 '15 at 22:26
shadeptshadept
4526
4526
$begingroup$
So you need to show that the adjoint has integer entries. What were the entries of the adjoint again?
$endgroup$
– Daniel Fischer
May 3 '15 at 22:28
$begingroup$
The coefficients in the adjugate are determinants of matrices with integer coefficients, being the algebraic complements.
$endgroup$
– egreg
May 3 '15 at 22:29
$begingroup$
They don't give one.
$endgroup$
– shadept
May 3 '15 at 22:29
add a comment |
$begingroup$
So you need to show that the adjoint has integer entries. What were the entries of the adjoint again?
$endgroup$
– Daniel Fischer
May 3 '15 at 22:28
$begingroup$
The coefficients in the adjugate are determinants of matrices with integer coefficients, being the algebraic complements.
$endgroup$
– egreg
May 3 '15 at 22:29
$begingroup$
They don't give one.
$endgroup$
– shadept
May 3 '15 at 22:29
$begingroup$
So you need to show that the adjoint has integer entries. What were the entries of the adjoint again?
$endgroup$
– Daniel Fischer
May 3 '15 at 22:28
$begingroup$
So you need to show that the adjoint has integer entries. What were the entries of the adjoint again?
$endgroup$
– Daniel Fischer
May 3 '15 at 22:28
$begingroup$
The coefficients in the adjugate are determinants of matrices with integer coefficients, being the algebraic complements.
$endgroup$
– egreg
May 3 '15 at 22:29
$begingroup$
The coefficients in the adjugate are determinants of matrices with integer coefficients, being the algebraic complements.
$endgroup$
– egreg
May 3 '15 at 22:29
$begingroup$
They don't give one.
$endgroup$
– shadept
May 3 '15 at 22:29
$begingroup$
They don't give one.
$endgroup$
– shadept
May 3 '15 at 22:29
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The coefficient at place $(i,j)$ of $operatornameadjA$ is the determinant of the matrix obtained by removing row $j$ and column $i$ from $A$, multiplied by $(-1)^i+j$.
The determinant of a matrix with integer coefficients is an integer.
$endgroup$
add a comment |
$begingroup$
For a $2 times 2$ matrix $A$, the adjoint $Adj(A)$ coincides with its matrix of cofactors, with (egreg refreshed my memory) a change of sign for the even entries, meaning those entries $a_ij$ with $i+j$ even.
And you can go further: an integer-valued matrix, i.e., a matrix with integer entries is invertible iff its determinant is $ pm 1$: You know the determinant will be Integer-valued, and you need $Det(A)Det(A^-1)=1$. So the determinant DetA will have to be a unit in the ring of integers , so that it must be $pm 1$
$endgroup$
1
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
add a comment |
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%2f1265384%2fproof-of-all-integer-entries-in-an-inverse-matrix%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$
The coefficient at place $(i,j)$ of $operatornameadjA$ is the determinant of the matrix obtained by removing row $j$ and column $i$ from $A$, multiplied by $(-1)^i+j$.
The determinant of a matrix with integer coefficients is an integer.
$endgroup$
add a comment |
$begingroup$
The coefficient at place $(i,j)$ of $operatornameadjA$ is the determinant of the matrix obtained by removing row $j$ and column $i$ from $A$, multiplied by $(-1)^i+j$.
The determinant of a matrix with integer coefficients is an integer.
$endgroup$
add a comment |
$begingroup$
The coefficient at place $(i,j)$ of $operatornameadjA$ is the determinant of the matrix obtained by removing row $j$ and column $i$ from $A$, multiplied by $(-1)^i+j$.
The determinant of a matrix with integer coefficients is an integer.
$endgroup$
The coefficient at place $(i,j)$ of $operatornameadjA$ is the determinant of the matrix obtained by removing row $j$ and column $i$ from $A$, multiplied by $(-1)^i+j$.
The determinant of a matrix with integer coefficients is an integer.
answered May 3 '15 at 22:31
egregegreg
185k1486206
185k1486206
add a comment |
add a comment |
$begingroup$
For a $2 times 2$ matrix $A$, the adjoint $Adj(A)$ coincides with its matrix of cofactors, with (egreg refreshed my memory) a change of sign for the even entries, meaning those entries $a_ij$ with $i+j$ even.
And you can go further: an integer-valued matrix, i.e., a matrix with integer entries is invertible iff its determinant is $ pm 1$: You know the determinant will be Integer-valued, and you need $Det(A)Det(A^-1)=1$. So the determinant DetA will have to be a unit in the ring of integers , so that it must be $pm 1$
$endgroup$
1
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
add a comment |
$begingroup$
For a $2 times 2$ matrix $A$, the adjoint $Adj(A)$ coincides with its matrix of cofactors, with (egreg refreshed my memory) a change of sign for the even entries, meaning those entries $a_ij$ with $i+j$ even.
And you can go further: an integer-valued matrix, i.e., a matrix with integer entries is invertible iff its determinant is $ pm 1$: You know the determinant will be Integer-valued, and you need $Det(A)Det(A^-1)=1$. So the determinant DetA will have to be a unit in the ring of integers , so that it must be $pm 1$
$endgroup$
1
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
add a comment |
$begingroup$
For a $2 times 2$ matrix $A$, the adjoint $Adj(A)$ coincides with its matrix of cofactors, with (egreg refreshed my memory) a change of sign for the even entries, meaning those entries $a_ij$ with $i+j$ even.
And you can go further: an integer-valued matrix, i.e., a matrix with integer entries is invertible iff its determinant is $ pm 1$: You know the determinant will be Integer-valued, and you need $Det(A)Det(A^-1)=1$. So the determinant DetA will have to be a unit in the ring of integers , so that it must be $pm 1$
$endgroup$
For a $2 times 2$ matrix $A$, the adjoint $Adj(A)$ coincides with its matrix of cofactors, with (egreg refreshed my memory) a change of sign for the even entries, meaning those entries $a_ij$ with $i+j$ even.
And you can go further: an integer-valued matrix, i.e., a matrix with integer entries is invertible iff its determinant is $ pm 1$: You know the determinant will be Integer-valued, and you need $Det(A)Det(A^-1)=1$. So the determinant DetA will have to be a unit in the ring of integers , so that it must be $pm 1$
edited May 3 '15 at 22:45
answered May 3 '15 at 22:32
Gary.Gary.
1,96659
1,96659
1
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
add a comment |
1
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
1
1
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
$$Adjbeginpmatrixa&b\c&dendpmatrix=beginpmatrixd&-b\-c&aendpmatrix$$
$endgroup$
– user228113
May 3 '15 at 22:41
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
$begingroup$
Yea, I mixed up the cofactor entries with the transpose. Just edited.
$endgroup$
– Gary.
May 3 '15 at 22:46
add a comment |
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%2f1265384%2fproof-of-all-integer-entries-in-an-inverse-matrix%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$
So you need to show that the adjoint has integer entries. What were the entries of the adjoint again?
$endgroup$
– Daniel Fischer
May 3 '15 at 22:28
$begingroup$
The coefficients in the adjugate are determinants of matrices with integer coefficients, being the algebraic complements.
$endgroup$
– egreg
May 3 '15 at 22:29
$begingroup$
They don't give one.
$endgroup$
– shadept
May 3 '15 at 22:29