1
$\begingroup$

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]$

$\endgroup$
  • 1
    $\begingroup$ Possible duplicate of If $AB = I$ then $BA = I$ $\endgroup$ – rschwieb May 17 '17 at 3:07
  • 1
    $\begingroup$ 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. $\endgroup$ – rschwieb May 17 '17 at 3:09
  • $\begingroup$ 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. $\endgroup$ – Mark May 17 '17 at 8:11
  • $\begingroup$ 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 $\endgroup$ – rschwieb May 17 '17 at 10:40
  • 1
    $\begingroup$ 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. $\endgroup$ – rschwieb May 17 '17 at 16:59
2
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ Can you elaborate on the matrix representation? I imagine it would be completely specified by the matrices of the canonical basis vectors. What do those matrices look like? Thanks! $\endgroup$ – Mark May 14 '17 at 18:50
  • $\begingroup$ Your question seems to exclude matrices which only a left or right inverse. Does your answer imply the matrices are square? $\endgroup$ – dantopa May 14 '17 at 18:52
  • 3
    $\begingroup$ @dantopa I speak of algebras of matrices. Algebras involve addition and multiplication. To add two matrices they must have the same shape: so an algebra of matrices consists of matrices of some fixed shape. To multiply matrices of the same shape, they must be square. $\endgroup$ – Lord Shark the Unknown May 14 '17 at 18:54
  • $\begingroup$ @LordSharktheUnknown I have posted my comment as a separate question. math.stackexchange.com/questions/2281006/… When that is addressed I will accept this answer. Thanks! $\endgroup$ – Mark May 14 '17 at 19:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.