The Pauli spin matrices
are defined by
And
Verify that they satisfy 
If A and B are n×n matrices, we define their commutator, denoted [A,B], by [A,B] = AB − BA.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.