PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
adjoint representation (Definition)

Let $\lag$ be a Lie algebra. For every $a\in\lag$ we define the adjoint endomorphism, a.k.a. the adjoint action, $$\ad(a):\lag\rightarrow\lag$$ to be the linear transformation with action $$\ad(a): b\mapsto [a,b],\quad b\in\lag.$$

For any vector space $V$ we use $\mathfrak{gl}(V)$ to denote the Lie algebra of $\End V$ determined by the commutator bracket. So $\mathfrak{gl}(V)=\End V$ as vector spaces, only the multiplications are different.

In this notation, treating $\mathfrak{g}$ as a vector space, the linear mapping $\ad:\lag\rightarrow \mathfrak{gl}(\lag)$ with action $$a\mapsto \ad(a),\quad a\in\lag$$ is called the adjoint representation of $\lag$ The fact that $\ad$ defines a representation is a straight-forward consequence of the Jacobi identity axiom. Indeed, let $a,b\in \lag$ be given. We wish to show that $$\ad([a,b]) = [\ad(a),\ad(b)],$$ where the bracket on the left is the $\lag$ multiplication structure, and the bracket on the right is the commutator bracket. For all $c\in\lag$ the left hand side maps $c$ to $$[[a,b],c],$$ while the right hand side maps $c$ to $$[a,[b,c]]+[b,[a,c]].$$ Taking skew-symmetry of the bracket as a given, the equality of these two expressions is logically equivalent to the Jacobi identity: $$[a,[b,c]] +[b,[c,a]] + [c,[a,b]] = 0.$$




"adjoint representation" is owned by rmilson. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: isotropy representation

Also defines:  adjoint action, gl, general linear Lie algebra
Log in to rate this entry.
(view current ratings)

Cross-references: logically equivalent, expressions, equality, right hand side, maps, left hand side, right, structure, axiom, Jacobi identity, consequence, representation, multiplications, commutator bracket, vector space, action, linear transformation, Lie algebra
There are 17 references to this entry.

This is version 4 of adjoint representation, born on 2002-05-29, modified 2007-01-25.
Object id is 2965, canonical name is AdjointRepresentation.
Accessed 9523 times total.

Classification:
AMS MSC17B10 (Nonassociative rings and algebras :: Lie algebras and Lie superalgebras :: Representations, algebraic theory )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)