Isomorphism between so(3) and su(2)

Click For Summary
SUMMARY

The discussion focuses on constructing a Lie-algebra isomorphism between the algebras su(2) and so(3) using their commutation relations. The key commutation relation is [ta, tb] = i epsilonabc tc, where ta are the basis elements of the algebras. A linear, bijective mapping φ: ℱsu(2) → ℱso(3) is proposed, where basis vectors t^α are mapped to s^α. To establish the isomorphism, it is essential to verify that φ([t^α, t^β]) = [φ(t^α), φ(t^β)] holds for all pairs (α, β).

PREREQUISITES
  • Understanding of Lie algebras, specifically su(2) and so(3)
  • Familiarity with commutation relations in algebra
  • Knowledge of linear mappings and bijections
  • Basic matrix representation of algebraic structures
NEXT STEPS
  • Study the properties of Lie algebras, focusing on su(2) and so(3)
  • Learn about linear mappings and their applications in algebra
  • Explore the implications of commutation relations in quantum mechanics
  • Investigate examples of isomorphisms in other algebraic structures
USEFUL FOR

Mathematicians, physicists, and students studying advanced algebraic structures, particularly those interested in the relationships between different Lie algebras and their applications in theoretical physics.

MrRobot
Messages
5
Reaction score
0

Homework Statement



How do I use the commutation relations of su(2) and so(3) to construct a Lie-algebra isomorphism between these two algebras?

Homework Equations


The commutation relations are [ta, tb] = i epsilonabc tc, the ts being the basis elements of the algebras. They basically have the same commutation relation, only ta are two by two by the su(2) while 3X3 by so(3).

The Attempt at a Solution

 
Physics news on Phys.org
How they are represented by matrices isn't important. If you have a linear, bijective mapping
$$φ : \mathfrak{su}(2) \longrightarrow \mathfrak{so}(3)$$
e.g. if you map all basis vectors ##t^α \longmapsto {s}^α## then you have to check whether ##φ([t^α,t^β]) = [φ(t^α),φ(t^β)] = [{s}^α,s^β].## If this is the case for all pairs ##(α,β)## then it is a Lie-algebra isomorphism.
 

Similar threads

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