What are the properties of central derivations in Lie algebras?

  • Context: Graduate 
  • Thread starter Thread starter Pivych
  • Start date Start date
  • Tags Tags
    Lie algebras
Click For Summary
SUMMARY

This discussion focuses on the properties of central derivations in Lie algebras, specifically addressing two assignments. The first assignment requires proving that if a derivation \(\delta\) of the Lie algebra \(\Im\) commutes with every inner derivation, then \(\delta(\Im)\) is contained in the center \(C(\Im)\) of \(\Im\). The second assignment involves showing that for a matrix \(x\) in \(gl(n,F)\) with \(n\) distinct eigenvalues \(\lambda_1, \ldots, \lambda_n\), the eigenvalues of the adjoint representation \(ad_x\) are the \(n^2\) scalars \(\lambda_i - \lambda_j\) for \(1 \leq i,j \leq n\.

PREREQUISITES
  • Understanding of Lie algebras and their properties
  • Familiarity with derivations and inner derivations
  • Knowledge of eigenvalues and eigenvectors in linear algebra
  • Experience with the adjoint representation in the context of \(gl(n,F)\)
NEXT STEPS
  • Study the concept of central derivations in Lie algebras
  • Explore the properties of the center \(C(\Im)\) in Lie algebras
  • Learn about the adjoint representation \(ad_x\) and its applications
  • Investigate the relationship between eigenvalues and matrix representations in \(gl(n,F)\)
USEFUL FOR

Students and researchers in mathematics, particularly those studying Lie algebras, linear algebra, and representation theory, will benefit from this discussion.

Pivych
Messages
1
Reaction score
0
I need to solve two assignments in Lie algebras. These assignments are not very difficult, but my knowledges in Lie algebras aren't good.
1. Let [tex]\delta[/tex] be a derivation of the Lie algebra [tex]\Im[/tex]. Show that if [tex]\delta[/tex] commutes with every inner derivation, then [tex]\delta[/tex]([tex]\Im[/tex])[tex]\subseteq[/tex]C([tex]\Im[/tex]), where C([tex]\Im[/tex]) denotes the centre of [tex]\Im[/tex] .

2. Let x [tex]\in[/tex] gl(n,F) have n distinct eigenvalues [tex]\lambda[/tex]1..[tex]\lambda[/tex]n in F. Prove that eigenvalues of ad[tex]_{}x[/tex] are the n[tex]^{}2[/tex] scalars [tex]\lambda[/tex][tex]_{}i[/tex]-[tex]\lambda[/tex][tex]_{}j[/tex] (1[tex]\leq[/tex]i,j[tex]\leq[/tex]n)

Your prompt reply will be highly appreciated
 
Last edited:
Physics news on Phys.org
Pivych said:
1. Let [tex]\delta[/tex] be a derivation of the Lie algebra [tex]\Im[/tex]. Show that if [tex]\delta[/tex] commutes with every inner derivation, then [tex]\delta[/tex]([tex]\Im[/tex])[tex]\subseteq[/tex]C([tex]\Im[/tex]), where C([tex]\Im[/tex]) denotes the centre of [tex]\Im[/tex] .
You need to show that for all x and y, [tex]\delta(x)[/tex] commutes with y, i.e. [tex][y,\delta(x)]=0[/tex]. What's a central derivation? Can you rewite the condition using one?

Pivych said:
2. Let x [tex]\in[/tex] gl(n,F) have n distinct eigenvalues [tex]\lambda[/tex]1..[tex]\lambda[/tex]n in F. Prove that eigenvalues of ad[tex]_{}x[/tex] are the n[tex]^{}2[/tex] scalars [tex]\lambda[/tex][tex]_{}i[/tex]-[tex]\lambda[/tex][tex]_{}j[/tex] (1[tex]\leq[/tex]i,j[tex]\leq[/tex]n)

x is an matrix, its eigenvectors are vectors in Fn. The map adx acts on elements of the LA, i.e. matrices over F. So its eigenvectors are matrices, and you can construct them directly. Try to think of ways to construct matrices from vectors.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K