How Can I Determine if Two Lie Algebras are Isomorphic?

  • Context: MHB 
  • Thread starter Thread starter topsquark
  • Start date Start date
  • Tags Tags
    Lie algebras
Click For Summary
SUMMARY

This discussion focuses on determining the isomorphism between two 3D Lie algebras: A_1 and another algebra defined by specific bracket relations. The user, Dan, initially considers using the adjoint representation and matrix similarity to establish isomorphism but concludes that this method is inadequate. He seeks alternative methods for demonstrating the equivalence of Lie algebras, particularly through decomposition akin to finding irreducible representations of groups.

PREREQUISITES
  • Understanding of Lie algebras and their properties
  • Familiarity with bracket notation and Lie algebra relations
  • Knowledge of adjoint representations
  • Basic concepts of matrix theory and similarity transformations
NEXT STEPS
  • Research methods for decomposing Lie algebras into irreducible representations
  • Study the criteria for isomorphism in Lie algebras
  • Explore the use of Cartan subalgebras in classifying Lie algebras
  • Learn about the representation theory of Lie algebras
USEFUL FOR

This discussion is beneficial for mathematicians, theoretical physicists, and students studying algebraic structures, particularly those interested in the classification and representation of Lie algebras.

topsquark
Science Advisor
Homework Helper
Insights Author
MHB
Messages
2,020
Reaction score
843
I now know of two 3D Lie algebras:

[math]A_1[/math] with brackets [math] \left [ T^0, ~T^{\pm} \right ] = \pm 2 T^{\pm} [/math], [math] \left [ T^+, ~ T^- \right ] = T^0[/math]

and one with brackets:

[math] \left [ T^0, ~T^{\pm} \right ] = T^{\mp}[/math] and [math] \left [ T^+,~ T^- \right ] = T^0[/math]

How can I tell if these two are representations of the same thing? (Up to an isomorphism, anyway.) My thought is to show that the adjoint representation generators are similar. Using matrices that is to say a matrix S exists such that [math]T_a' = ST^aS^{-1}[/math]. Is this an acceptable way to show the existence of an isomorphism?

-Dan
 
Physics news on Phys.org
I don't think the algebra I found is isomorphic to A1. A1 has a 2 x 2 matrix representation but the other does not.

The similarity method seems to be out, so I was barking up the wrong tree. But even though I answered my own question here my problem still remains in general: How do I show if two Lie Algebras are the same? Is there a way to decompose a Lie algebra in a similar way to finding irreducible representations of a group?

-Dan
 

Similar threads

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