# Equivalence of Left and Right Inverse in Geometric Algebra

I am asked by StackExchange to clarify if this is a duplicate question. This is not a duplicate of the question about matrix multiplication. This question is not (on its surface) a question about matrices.

I am beginning to learn Geometric Algebra.

Let $A, B$ be multivectors in Geometric Algebra $\mathbb{G}^n$. $AB = 1$ iff $BA = 1$. Why?

Progress: Let $e_{I}$ be a canonical basis vector, and $|I|$ is odd. Let $P$ be the projection operator onto this basis vector. Then $P[AB] = P[BA]$. The case of $|I|$ even gets messy. I do know for any two multivectors, the scalar part $S$ has the property $S[AB] = S[BA]$

• Possible duplicate of If $AB = I$ then $BA = I$ – rschwieb May 17 '17 at 3:07
• It's important to remember geometric algebras are just extremely tame semisimple rings. There is nothing very special about them structurally. They're all either matrix algebra over. The reals complexes or quaternions, or the square of such a ring. What I mean is that quickly diving into specific proofs using their features is usually a big distraction. – rschwieb May 17 '17 at 3:09
• Thank you @rschwieb. I have actually not heard of the term semi simple ring before and I will have to investigate more. Even after looking at Wikipedia I still don't completely understand, nor is it clear from the definitions that there is a connection to matrix multiplication. Nor is it clear how to answer my question from the linked candidate duplicate (at least without LordSharkTheUnknown's answer). I hope this question can remain not marked as duplicate. – Mark May 17 '17 at 8:11
• All that really needs to be said is that your ring is a finite dimensional algebra, or even just Artinian, then all of the numerous solutions at the dupe handle your special case. It needs to be linked to he existing answers one way or another. Regards – rschwieb May 17 '17 at 10:40
• In rare cases they could be deleted... It's certainly no automatic. if you look around you'll find quite a few examples of highly duplicated questions. Their duplicates are valuable in that they make it easier to uncover all sorts of answers that are already out there. – rschwieb May 17 '17 at 16:59

A geometric algebra (these are basically the same as Clifford algebras) is a finite-dimensional algebra over a field. The implication $ab=1$ implies $ba=1$ always holds in such an algebra. One way to see this is that all such algebras have faithful representations as algebras of matrices, and $AB=I$ implies $BA=I$ is well-known for matrices.