Is the Trace Method the Key to Proving Ab-ba=i Has No Solution?

  • Thread starter Thread starter GreenApple
  • Start date Start date
Click For Summary
The discussion centers on the problem of proving that the equation AB - BA = I has no solution for real square matrices A and B. The key insight shared is that the trace of matrices can be utilized in this proof, as the trace of a commutative product of matrices is invariant under their order. A participant initially considers a simple case of 1x1 matrices but realizes that the problem requires a broader proof applicable to all real matrices. There is also a curiosity expressed about whether the concept of trace was developed specifically to address such problems. The conversation highlights the complexity of the topic and the challenges faced by those new to advanced algebra concepts.
GreenApple
Messages
30
Reaction score
0
Hi,I am a Chinese sophomore major in software engineering.I am reading Artin's Algebrarecently and have come across this problem in 1.1,and have been trying for 4 days in vain:cry:

Give me some real thought guys,I will really appreciate it!
 
Physics news on Phys.org
Sorry,the problem should be this:prove AB-BA=I has no solution with realnumber where A and B are matrix
 
I suppose you mean that you want to prove that there are no real square matrices A and B such that AB - BA = I. The key to proving this: Trace.
 
It's probably way out of my area, but let's say you take a 1x1 matrix for A and a 1x1 matrix for B. Then A*B will equal B*A...because there are no additions or substractions etc inside the matrixes...and since they're both 1*1 they can be multiplied...wouldn't matrix I end up being just ?

[0]

I probably said something very stupid...but it seems to me that it follows all the question parts...it's a matrix, it's real, it's a solution...and A and B can be anything...
 
Real matrices are those matrices which have real entries. They are not necessarily 1x1.
 
Oh so you have to prove the identity for all of them? I think what I was trying to do is find one case that works. Yeah...I'm way over my head...:(
 
thanks!

Yeah,using trace works!
Another question:is trace invented just to prove this problem?I believe that a new concept usually come from a new mothod proving something.
 

Similar threads

  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
12K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K