My Math Forum Proving a matrix invertible

 Linear Algebra Linear Algebra Math Forum

 December 2nd, 2018, 09:59 AM #1 Newbie   Joined: Dec 2018 From: a Posts: 2 Thanks: 0 Proving a matrix invertible given that AB^2 - A is invertible (A,B square matrices of the same size) prove BA - A is invertible been thinking about it for hours. could anybody please help? Last edited by o1269652; December 2nd, 2018 at 10:21 AM.
 December 2nd, 2018, 10:42 AM #2 Member   Joined: Jan 2016 From: Athens, OH Posts: 92 Thanks: 47 Use the fact that a matrix X is invertible if and only if $\text{det}X\neq0$. Then show that $\text{det}(AB-A)\neq0$.
 December 2nd, 2018, 01:09 PM #3 Newbie   Joined: Dec 2018 From: a Posts: 2 Thanks: 0 Thanks If somebody will ever want to solve the same problem, I found a cool solution. If and only if XY is invertible, then both X and Y are. AB^2 = A(B+I)(B-I) so (B-I)A=BA-A is invertible.
December 2nd, 2018, 08:15 PM   #4
Senior Member

Joined: Sep 2016
From: USA

Posts: 521
Thanks: 293

Math Focus: Dynamical systems, analytic function theory, numerics
Quote:
 Originally Posted by johng40 Use the fact that a matrix X is invertible if and only if $\text{det}X\neq0$. Then show that $\text{det}(AB-A)\neq0$.
While technically true, this triggers me on a fundamental level. I don't know of a single case where invoking the determinant in a proof is morally correct. Often it ends up being completely circular. In any case, it always obscures the beauty of linear algebra which makes it rub me the wrong way. In this case, I don't see how to compute $\det(AB - A)$ short of using the multiplication identity which then seems awfully circular.

The "right" way to approach this problem is to notice the following inclusions. If $A,B$ are any linear operators, then $\ker(A) \subset \ker(AB)$ and $\ker(B) \subset \ker(AB)$. Both of these are straightforward to prove, and give complete insight into why the main result is also true. Neither relies on matrices being square, or even requires matrix algebra at all.

 Tags invertible, matrix, proving

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post PrototypePHX Linear Algebra 6 January 26th, 2014 12:36 AM Magnesium Linear Algebra 2 December 11th, 2013 03:09 AM shine123 Linear Algebra 1 September 21st, 2012 09:47 AM problem Linear Algebra 3 August 31st, 2011 06:30 AM Victorious Linear Algebra 1 January 5th, 2009 04:54 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top