Talk:Transpose of Matrix Product

From ProofWiki
Jump to navigation Jump to search

In the last step, are we assuming $\circ$ is commutative? If yes, how do we know? If not, how did we prove the theorem? --GFauxPas 19:43, 23 February 2012 (EST)

Good call, I'd never noticed that. I have restricted our theorem to apply exactly that condition. This becomes important in the study of Lie groups (which I keep promising myself I'm going to try to get my head round). --prime mover 02:10, 24 February 2012 (EST)
I don't know what those are, but at my level, rather than trying to research it, it's best to let sleeping groups lie. (sorry) --GFauxPas 08:34, 24 February 2012 (EST)
I'm taking a course on Lie groups at the moment; pm, I figure it's nice to have someone knowledgeable to verify what is put up. Lie groups are a long stretch from where you (GFP) are at the moment. It is very advisable to first take a course in both differential geometry and group theory (it's on the intersection of these fields). --Lord_Farin 08:48, 24 February 2012 (EST)
I have Gilmore's work on Lie groups, but he comes in from the direction of physics, so the notation (which he is lax at explaining rigorously) is at odds with my own understanding, and so I have been unable to penetrate it very far. In the meantime other work came rolling in, and I never got back to it. --prime mover 16:16, 24 February 2012 (EST)

My course uses these notes: link, which come from a solid mathematical direction. Not putting them up as authoritative, but they might be useful for reference. --Lord_Farin 17:19, 24 February 2012 (EST)