Intereting Posts

All roots of the quartic equation $a x^4 + b x^3 + x^2 + x + 1 = 0$ cannot be real
Splitting of Automorphism Group
Proof Verification: Composition of Continous Functions is Continuous
Solve equation $\exp(ax)+\exp(bx)=1$
Can't understand a proof: Let $a,b,c$ be integers. If $a$ and $b$ divide $c$, then $lcm(a,b)$ also divides $c$
Combinatorial argument to prove the recurrence relation for number of derangements
what's the equation of helix surface?
If $\sum_na_n=\infty$ and $a_n\downarrow 0$ then $\sum\limits_n\min(a_{n},\frac{1}{n})=\infty$
For which $n$ is it “feasible” to classify groups of order $n$?
Find the area of largest rectangle that can be inscribed in an ellipse
Terry Tao, Russells Paradox, definition of a set
Antiderivative of $e^{x^2}$: Correct or fallacy?
Sum of two independent geometric random variables
Prove that the difference between two rational numbers is rational
Consecutive composite numbers

Possible Duplicate:

If $AB = I$ then $BA = I$

Most introductory linear algebra texts define the inverse of a square matrix $A$ as such:

Inverse of $A$, if it exists, is a matrix $B$ such that $AB=BA=I$.

- Roots of an irreducible polynomial in a finite field
- A question on morphisms of fields
- Units in quotient ring of $\mathbb Z$
- “Graded free” is stronger than “graded and free”?
- Proof for Unique Factorization Domain
- Splitting field of $x^{n}-1$ over $\mathbb{Q}$

That definition, in my opinion, is problematic. A few books (in my sample less than 20%) give a different definition:

Inverse of $A$, if it exists, is a matrix $B$ such that $AB=I$. Then they go and prove that $BA=I$.

Do you know of a proof other than defining inverse through determinants or through using `rref`

?

Is there a general setting in algebra under which $ab=e$ leads to $ba=e$ where $e$ is the identity?

- Possible Class equation for a group
- Is $\Bbb{R}/(X^2+Y^2)$ a UFD or Noetherian?
- Why are all nonzero eigenvalues of the skew-symmetric matrices pure imaginary?
- Generalization of index 2 subgroups are normal
- Compute the Jacobson radical of the group ring $\mathbb{F}_2S_3$.
- If A, B, C, D are non-invertible $n \times n$ matrices, is it true that their $2n \times 2n$ block matrix is non-invertible?
- Let $W$ be the set of all linear combinations of $v_1,…,v_n$. Then $W$ is a subspace of $V$.
- $x^p -x-c$ is irreducible over a field of characteristic $p$ if it has no root in the field
- Is an automorphism of the field of real numbers the identity map?
- Matrix representation of shape operator

Multiply both sides of $AB-I=0$ on the left by $B$ to get

$$

(BA-I)B=0\tag{1}

$$

Let $\{e_j\}$ be the standard basis for $\mathbb{R}^n$. Note that $\{Be_j\}$ are linearly independent: suppose that

$$

\sum_{j=1}^n a_jBe_j=0\tag{2}

$$

then, multiplying $(2)$ on the left by $A$ gives

$$

\sum_{j=1}^n a_je_j=0\tag{3}

$$

which implies that $a_j=0$ since $\{e_j\}$ is a basis. Thus, $\{Be_j\}$ is also a basis for $\mathbb{R}^n$.

Multiplying $(1)$ on the right by $e_j$ yields

$$

(BA-I)Be_j=0\tag{4}

$$

for each basis vector $Be_j$. Therefore, $BA=I$.

**Failure in an Infinite Dimension**

Let $A$ and $B$ be operators on infinite sequences. $B$ shifts the sequence right by one, filling in the first element with $0$. $A$ shifts the sequence left, dropping the first element.

$AB=I$, but $BA$ sets the first element to $0$.

Arguments that assume $A^{-1}$ or $B^{-1}$ exist and make no reference to the finite dimensionality of the vector space, usually fail to this counterexample.

Without the assumption of $A$ and $B$ being square matrices, we can find counterexamples. For example:

$$

\left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ \end{array}\right)

\left(\begin{array}{cc} 1 & 0 \\ 0 & 1 \\ 0 & 0 \\ \end{array}\right)

=

\left(\begin{array}{cc} 1 & 0 \\ 0 & 1 \\ \end{array}\right)

$$

and

$$

\left(\begin{array}{cc} 1 & 0 \\ 0 & 1 \\ 0 & 0 \\ \end{array}\right)

\left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ \end{array}\right)

=

\left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 &

0 \\ \end{array}\right).

$$

For square matrices, it was proved in several ways for square matrices in the question:

If $AB = I$ then $BA = I$

Is there a general setting in algebra under which ab=e leads to ba=e where e is the identity?

Finiteness or finite-dimensionality or rigidities that follow from those, such as:

- a Dedekind-finite set is not infinite
- the double-dual $V^{**}$ being naturally isomorphic to $V$,
- antipode^2=identity, and other fancier analogues (think here of phrases like
*rigid tensor categories with duals*).

There is a duality between injective and surjective, or left and right, and you need some setting in which the transpose from one to the other is its own inverse. The linear algebra result for finite matrices ultimately rests on the same principle for functions on finite sets, and on the dimension of a finite-dimensional vector space being well-defined (which is closely related to the cardinality of a finite set being well-defined).

For $A$ and $B$ square, $AB=I$ implies $(AB)^{-1} = B^{-1}A^{-1}=I$. Then multiply $B$ from the left side, $A$ from the right side. $BB^{-1}A^{-1}A=BIA$ implies $BA=I$.

- Groups of order $pq$ without using Sylow theorems
- Help proving the primitive roots of unity are dense in the unit circle.
- Is there a geometric meaning of the Frobenius norm?
- $f, g$ entire functions with $f^2 + g^2 \equiv 1 \implies \exists h $ entire with $f(z) = \cos(h(z))$ and $g(z) = \sin(h(z))$
- What is the value of lim$_{n\to \infty} a_n$ if $\lim_{n \to \infty}\left|a_n+ 3\left(\frac{n-2}{n}\right)^n \right|^{\frac{1}{n}}=\frac{3}{5}$?
- An ideal which is not finitely generated
- Proof of the derivative of $a^x$
- Sudoku puzzle with exactly 3 solutions
- Volume of a hypersphere
- Show that $x^4 +1$ is reducible over $\mathbb{Z}_{11}$ and splits over $\mathbb{Z}_{17}$.
- No simple groups of order 9555: proof
- Clay Institute Navier Stokes
- Integral help with completing the square!!
- Integral $ \int_0^{2\pi}{ \sqrt{ 1 – \sin{ \theta } \sin{ 2\theta } + \cos{\theta}\cos{2\theta} } d\theta } $
- Number Theory: Ramification