Why so(3) is not isomorphic to su(2)?

  • Context: Graduate 
  • Thread starter Thread starter wdlang
  • Start date Start date
  • Tags Tags
    So(3)
Click For Summary
SUMMARY

The discussion clarifies that while there is a two-to-one automorphism from su(2) to so(3), the elements of so(3) and su(2) are represented differently in terms of their respective Lie algebras. Specifically, so(3) elements are expressed using spin operators F_x, F_y, and F_z, while su(2) elements utilize Pauli matrices σ_x, σ_y, and σ_z divided by 2. The key conclusion is that while the algebras are isomorphic, the corresponding Lie groups are not, leading to the assertion that so(3) and su(2) are not isomorphic as Lie groups.

PREREQUISITES
  • Understanding of Lie algebras and Lie groups
  • Familiarity with the concepts of automorphisms in algebra
  • Knowledge of spin operators and Pauli matrices
  • Basic grasp of unitary transformations in quantum mechanics
NEXT STEPS
  • Study the relationship between Lie algebras and their corresponding Lie groups
  • Explore the properties of automorphisms in algebraic structures
  • Investigate the applications of su(2) and so(3) in quantum mechanics
  • Learn about the implications of isomorphism in mathematical physics
USEFUL FOR

Mathematicians, physicists, and students of quantum mechanics who are interested in the structure of Lie algebras and their applications in theoretical physics.

wdlang
Messages
306
Reaction score
0
it is generally known that there is a two-to-one automorphism from su(2) to so(3)

but consider the problem in this way:

all elements in so(3) are of the form (up to a unitary transform of the basis)

R(\alpha,\beta.\gamma)=e^{-i\alpha F_z} e^{-i\beta F_y} e^{-i \gamma F_z}

where F_x, F_y, F_z are the 3*3 spin operators

all elements in su(2) are of the form

R(\alpha,\beta.\gamma)=e^{-i\alpha \sigma_z/2} e^{-i\beta \sigma_y/2} e^{-i \gamma \sigma_z/2}

where \sigma_{x,y,z} are pauli matrices

F_{x,y,z} and \sigma_{x,y,z}/2 are of the same lie algebra!

so i think there should be a one-to-one correspondence between so(3) and su(2).
 
Physics news on Phys.org
i now know why

R(\alpha,\beta.\gamma)=e^{-i\alpha \sigma_z/2} e^{-i\beta \sigma_y/2} e^{-i \gamma \sigma_z/2}

do not cover the su(2) group completely.
 
When you write su(2) and so(3) (with minuscules), one usually understands this as a Lie algebra and not a Lie group. The algebras are in deed isomorphic. However, the very same algebra may generate different Lie groups.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
5K
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K