Lie algebra representation

In the mathematical field of representation theory, a **Lie algebra representation** or **representation of a Lie algebra** is a way of writing a Lie algebra as a set of matrices (or endomorphisms of a vector space) in such a way that the Lie bracket is given by the commutator. In the language of physics, one looks for a vector space

V

{\displaystyle V}

 together with a collection of operators on

V

{\displaystyle V}

 satisfying some fixed set of commutation relations, such as the relations satisfied by the angular momentum operators.

The notion is closely related to that of a representation of a Lie group. Roughly speaking, the representations of Lie algebras are the differentiated form of representations of Lie groups, while the representations of the universal cover of a Lie group are the integrated form of the representations of its Lie algebra.

In the study of representations of a Lie algebra, a particular ring, called the universal enveloping algebra, associated with the Lie algebra plays an important role. The universality of this ring says that the category of representations of a Lie algebra is the same as the category of modules over its enveloping algebra.

## Formal definition

Let

g

{\displaystyle \mathfrak g}

 be a Lie algebra and let

V

{\displaystyle V}

 be a vector space. We let

g
l

(
V
)

{\displaystyle \mathfrak{gl}(V)}

 denote the space of endomorphisms of

V

{\displaystyle V}

, that is, the space of all linear maps of

V

{\displaystyle V}

 to itself. We make

g
l

(
V
)

{\displaystyle \mathfrak{gl}(V)}

 into a Lie algebra with bracket given by the commutator:

[
ρ
,
σ
# ]
ρ
∘
σ
−
σ
∘
ρ

{\displaystyle [\rho,\sigma]=\rho \circ \sigma-\sigma \circ \rho}

 for all *ρ,σ* in

g
l

(
V
)

{\displaystyle \mathfrak{gl}(V)}

. Then a **representation** of

g

{\displaystyle \mathfrak g}

 on

V

{\displaystyle V}

 is a Lie algebra homomorphism

ρ
:

g

→

g
l

(
V
)

{\displaystyle \rho\colon \mathfrak g \to \mathfrak{gl}(V)}

.
Explicitly, this means that

ρ

{\displaystyle \rho}

 should be a linear map and it should satisfy

ρ
(
[
X
,
Y
]
# )
ρ
(
X
)
ρ
(
Y
)
−
ρ
(
Y
)
ρ
(
X
)

{\displaystyle \rho([X,Y])=\rho(X)\rho(Y)-\rho(Y)\rho(X)}

for all *X, Y* in

g

{\displaystyle \mathfrak g}

. The vector space *V*, together with the representation ρ, is called a **g

{\displaystyle \mathfrak g}

-module**. (Many authors abuse terminology and refer to *V* itself as the representation).

The representation

ρ

{\displaystyle \rho}

 is said to be **faithful** if it is injective.

One can equivalently define a

g

{\displaystyle \mathfrak g}

-module as a vector space *V* together with a bilinear map

g

×
V
→
V

{\displaystyle \mathfrak g \times V\to V}

 such that

[
X
,
Y
]
⋅
# v
X
⋅
(
Y
⋅
v
)
−
Y
⋅
(
X
⋅
v
)

{\displaystyle [X,Y]\cdot v = X\cdot(Y\cdot v) - Y\cdot(X\cdot v)}

for all *X,Y* in

g

{\displaystyle \mathfrak g}

 and *v* in *V*. This is related to the previous definition by setting *X* ⋅ *v* = ρ(X)(v).

## Examples

### Adjoint representations

Main articles: Adjoint representation of a Lie algebra
The most basic example of a Lie algebra representation is the adjoint representation of a Lie algebra

g

{\displaystyle \mathfrak g}

 on itself:

ad

:

g

→

g
l

(

g

)
,

X
↦

ad
X

,

ad
X

⁡
(
Y
# )
[
X
,
Y
]
.

{\displaystyle \textrm{ad}:\mathfrak{g} \to \mathfrak{gl}(\mathfrak{g}), \quad X \mapsto \operatorname{ad}\_X, \quad \operatorname{ad}\_X(Y) = [X, Y].}

Indeed, by virtue of the Jacobi identity,

ad

{\displaystyle \operatorname{ad}}

 is a Lie algebra homomorphism.

### Infinitesimal Lie group representations

A Lie algebra representation also arises in nature. If

ϕ

{\displaystyle \phi}

: *G* → *H* is a homomorphism of (real or complex) Lie groups, and

g

{\displaystyle \mathfrak g}

 and

h

{\displaystyle \mathfrak h}

 are the Lie algebras of *G* and *H* respectively, then the differential

d
e

ϕ
:

g

→

h

{\displaystyle d\_e \phi: \mathfrak g \to \mathfrak h}

 on tangent spaces at the identities is a Lie algebra homomorphism. In particular, for a finite-dimensional vector space *V*, a representation of Lie groups

ϕ
:
G
→
GL
⁡
(
V
)

{\displaystyle \phi: G\to \operatorname{GL}(V)\,}

determines a Lie algebra homomorphism

d
ϕ
:

g

→

g
l

(
V
)

{\displaystyle d \phi: \mathfrak g \to \mathfrak{gl}(V)}

from

g

{\displaystyle \mathfrak g}

 to the Lie algebra of the general linear group GL(*V*), i.e. the endomorphism algebra of *V*.

For example, let

c
g

(
x
# )
g
x

g

−
1

{\displaystyle c\_g(x) = gxg^{-1}}

. Then the differential of

c
g

:
G
→
G

{\displaystyle c\_g: G \to G}

 at the identity is an element of

GL
⁡
(

g

)

{\displaystyle \operatorname{GL}(\mathfrak{g})}

. Denoting it by

Ad
⁡
(
g
)

{\displaystyle \operatorname{Ad}(g)}

 one obtains a representation

Ad

{\displaystyle \operatorname{Ad}}

 of *G* on the vector space

g

{\displaystyle \mathfrak g}

. This is the adjoint representation of *G*. Applying the preceding, one gets the Lie algebra representation

d
Ad

{\displaystyle d\operatorname{Ad}}

. It can be shown that

d
e

# Ad
ad

{\displaystyle d\_e\operatorname{Ad} = \operatorname{ad}}

, the adjoint representation of

g

{\displaystyle \mathfrak g}

.

A partial converse to this statement says that every representation of a finite-dimensional (real or complex) Lie algebra lifts to a unique representation of the associated simply connected Lie group, so that representations of simply-connected Lie groups are in one-to-one correspondence with representations of their Lie algebras.

### In quantum physics

In quantum theory, one considers "observables" that are self-adjoint operators on a Hilbert space. The commutation relations among these operators are then an important tool. The angular momentum operators, for example, satisfy the commutation relations

[

L
x

,

L
y

# ]
i
ℏ

L
z

,

[

L
y

,

L
z

# ]
i
ℏ

L
x

,

[

L
z

,

L
x

# ]
i
ℏ

L
y

,

{\displaystyle [L\_x,L\_y]=i\hbar L\_z, \;\; [L\_y,L\_z]=i\hbar L\_x, \;\; [L\_z,L\_x]=i\hbar L\_y,}

.
Thus, the span of these three operators forms a Lie algebra, which is isomorphic to the Lie algebra so(3) of the rotation group SO(3). Then if

V

{\displaystyle V}

 is any subspace of the quantum Hilbert space that is invariant under the angular momentum operators,

V

{\displaystyle V}

 will constitute a representation of the Lie algebra so(3). An understanding of the representation theory of so(3) is of great help in, for example, analyzing Hamiltonians with rotational symmetry, such as the hydrogen atom. Many other interesting Lie algebras (and their representations) arise in other parts of quantum physics. Indeed, the history of representation theory is characterized by rich interactions between mathematics and physics.

## Basic concepts

### Invariant subspaces and irreducibility

Given a representation

ρ
:

g

→
End
⁡
(
V
)

{\displaystyle \rho:\mathfrak{g}\rightarrow\operatorname{End}(V)}

 of a Lie algebra

g

{\displaystyle \mathfrak g}

, we say that a subspace

W

{\displaystyle W}

 of

V

{\displaystyle V}

 is **invariant** if

ρ
(
X
)
w
∈
W

{\displaystyle \rho(X)w\in W}

 for all

w
∈
W

{\displaystyle w\in W}

 and

X
∈

g

{\displaystyle X\in\mathfrak{g}}

. A nonzero representation is said to be **irreducible** if the only invariant subspaces are

V

{\displaystyle V}

 itself and the zero space

{
0
}

{\displaystyle \{0\}}

. The term *simple module* is also used for an irreducible representation.

### Homomorphisms

Let

g

{\displaystyle \mathfrak g}

 be a Lie algebra. Let *V*, *W* be

g

{\displaystyle \mathfrak g}

-modules. Then a linear map

f
:
V
→
W

{\displaystyle f: V \to W}

 is a **homomorphism** of

g

{\displaystyle \mathfrak g}

-modules if it is

g

{\displaystyle \mathfrak g}

-equivariant; i.e.,

f
(
X
⋅
v
# )
X
⋅
f
(
v
)

{\displaystyle f(X\cdot v) = X\cdot f(v)}

 for any

X
∈

g

,

v
∈
V

{\displaystyle X \in \mathfrak{g},\, v \in V}

. If *f* is bijective,

V
,
W

{\displaystyle V, W}

 are said to be **equivalent**. Such maps are also referred to as **intertwining maps** or **morphisms**.

Similarly, many other constructions from module theory in abstract algebra carry over to this setting: submodule, quotient, subquotient, direct sum, Jordan-Hölder series, etc.

### Schur's lemma

Main articles: Schur's lemma
A simple but useful tool in studying irreducible representations is Schur's lemma. It has two parts:

* If *V*, *W* are irreducible

g

{\displaystyle \mathfrak g}

-modules and

f
:
V
→
W

{\displaystyle f: V \to W}

 is a homomorphism, then

f

{\displaystyle f}

 is either zero or an isomorphism.
* If *V* is an irreducible

g

{\displaystyle \mathfrak g}

-module over an algebraically closed field and

f
:
V
→
V

{\displaystyle f: V \to V}

 is a homomorphism, then

f

{\displaystyle f}

 is a scalar multiple of the identity.

### Complete reducibility

Let *V* be a representation of a Lie algebra

g

{\displaystyle \mathfrak g}

. Then *V* is said to be **completely reducible** (or semisimple) if it is isomorphic to a direct sum of irreducible representations (cf. semisimple module). If *V* is finite-dimensional, then *V* is completely reducible if and only if every invariant subspace of *V* has an invariant complement. (That is, if *W* is an invariant subspace, then there is another invariant subspace *P* such that *V* is the direct sum of *W* and *P*.)

If

g

{\displaystyle \mathfrak g}

 is a finite-dimensional semisimple Lie algebra over a field of characteristic zero and *V* is finite-dimensional, then *V* is semisimple; this is Weyl's complete reducibility theorem. Thus, for semisimple Lie algebras, a classification of irreducible (i.e. simple) representations leads immediately to classification of all representations. For other Lie algebra, which do not have this special property, classifying the irreducible representations may not help much in classifying general representations.

A Lie algebra is said to be reductive if the adjoint representation is semisimple. Certainly, every (finite-dimensional) semisimple Lie algebra

g

{\displaystyle \mathfrak g}

 is reductive, since *every* representation of

g

{\displaystyle \mathfrak g}

 is completely reducible, as we have just noted. In the other direction, the definition of a reductive Lie algebra means that it decomposes as a direct sum of ideals (i.e., invariant subspaces for the adjoint representation) that have no nontrivial sub-ideals. Some of these ideals will be one-dimensional and the rest are simple Lie algebras. Thus, a reductive Lie algebra is a direct sum of a commutative algebra and a semisimple algebra.

### Invariants

An element *v* of *V* is said to be

g

{\displaystyle \mathfrak g}

-invariant if

x
⋅
# v
0

{\displaystyle x\cdot v = 0}

 for all

x
∈

g

{\displaystyle x\in\mathfrak g}

. The set of all invariant elements is denoted by

V

g

{\displaystyle V^\mathfrak{g}}

.

## Basic constructions

### Tensor products of representations

Main articles: Tensor product of representations
If we have two representations of a Lie algebra

g

{\displaystyle \mathfrak g}

, with *V*1 and *V*2 as their underlying vector spaces, then the tensor product of the representations would have *V*1 ⊗ *V*2 as the underlying vector space, with the action of

g

{\displaystyle \mathfrak g}

 uniquely determined by the assumption that

X
⋅
(

v
1

⊗

v
2

# )
(
X
⋅

v
1

)
⊗

v
2

v
1

⊗
(
X
⋅

v
2

)
.

{\displaystyle X\cdot(v\_1\otimes v\_2)=(X\cdot v\_1)\otimes v\_2+v\_1\otimes (X\cdot v\_2) .}

for all

v
1

∈

V
1

{\displaystyle v\_1\in V\_1}

 and

v
2

∈

V
2

{\displaystyle v\_2\in V\_2}

.

In the language of homomorphisms, this means that we define

ρ
1

⊗

ρ
2

:

g

→

g
l

(

V
1

⊗

V
2

)

{\displaystyle \rho\_1\otimes\rho\_2:\mathfrak{g}\rightarrow\mathfrak{gl}(V\_1\otimes V\_2) }

 by the formula

(

ρ
1

⊗

ρ
2

)
(
X
# )

ρ
1

(
X
)
⊗
I
I
⊗

ρ
2

(
X
)

{\displaystyle (\rho\_1\otimes\rho\_2)(X)=\rho\_1(X)\otimes I+I\otimes\rho\_2(X)}

.

In the physics literature, the tensor product with the identity operator is often suppressed in the notation, with the formula written as

(

ρ
1

⊗

ρ
2

)
(
X
# )

ρ
1

(
X
)

ρ
2

(
X
)

{\displaystyle (\rho\_1\otimes\rho\_2)(X)=\rho\_1(X)+\rho\_2(X)}

,
where it is understood that

ρ
1

(
x
)

{\displaystyle \rho\_1(x)}

 acts on the first factor in the tensor product and

ρ
2

(
x
)

{\displaystyle \rho\_2(x)}

 acts on the second factor in the tensor product. In the context of representations of the Lie algebra su(2), the tensor product of representations goes under the name "addition of angular momentum." In this context,

ρ
1

(
X
)

{\displaystyle \rho\_1(X)}

 might, for example, be the orbital angular momentum while

ρ
2

(
X
)

{\displaystyle \rho\_2(X)}

 is the spin angular momentum.

### Dual representations

Main articles: Dual representation
Let

g

{\displaystyle \mathfrak g}

 be a Lie algebra and

ρ
:

g

→

g
l

(
V
)

{\displaystyle \rho:\mathfrak{g}\rightarrow\mathfrak{gl}(V)}

 be a representation of

g

{\displaystyle \mathfrak g}

. Let

V
∗

{\displaystyle V^\*}

 be the dual space, that is, the space of linear functionals on

V

{\displaystyle V}

. Then we can define a representation

ρ
∗

:

g

→

g
l

(

V
∗

)

{\displaystyle \rho^\*:\mathfrak{g}\rightarrow\mathfrak{gl}(V^\*)}

 by the formula

ρ

∗

(
X
# )
−
(
ρ
(
X
)

)

tr

,

{\displaystyle \rho^{\*}(X)=-(\rho(X))^{\operatorname{tr}},}

where for any operator

A
:
V
→
V

{\displaystyle A:V\rightarrow V}

, the transpose operator

A

tr

:

V
∗

→

V
∗

{\displaystyle A^{\operatorname{tr}}:V^\*\rightarrow V^\*}

 is defined as the "composition with

A

{\displaystyle A}

" operator:

(

A

tr

ϕ
)
(
v
# )
ϕ
(
A
v
)

{\displaystyle (A^{\operatorname{tr}}\phi)(v)=\phi(Av)}

The minus sign in the definition of

ρ
∗

{\displaystyle \rho^\* }

 is needed to ensure that

ρ
∗

{\displaystyle \rho^\* }

 is actually a representation of

g

{\displaystyle \mathfrak g}

, in light of the identity

(
A
B

)

tr

=

B

tr

A

tr

.

{\displaystyle (AB)^{\operatorname{tr}}=B^{\operatorname{tr}}A^{\operatorname{tr}}.}

If we work in a basis, then the transpose in the above definition can be interpreted as the ordinary matrix transpose.

### Representation on linear maps

Let

V
,
W

{\displaystyle V, W}

 be

g

{\displaystyle \mathfrak g}

-modules,

g

{\displaystyle \mathfrak g}

 a Lie algebra. Then

Hom
⁡
(
V
,
W
)

{\displaystyle \operatorname{Hom}(V, W)}

 becomes a

g

{\displaystyle \mathfrak g}

-module by setting

(
X
⋅
f
)
(
v
# )
X
f
(
v
)
−
f
(
X
v
)

{\displaystyle (X \cdot f)(v) = X f(v) - f (X v)}

. In particular,

Hom

g

⁡
(
V
,
W
# )
Hom
⁡
(
V
,
W

)

g

{\displaystyle \operatorname{Hom}\_\mathfrak{g}(V, W) = \operatorname{Hom}(V, W)^\mathfrak{g}}

; that is to say, the

g

{\displaystyle \mathfrak g}

-module homomorphisms from

V

{\displaystyle V}

 to

W

{\displaystyle W}

 are simply the elements of

Hom
⁡
(
V
,
W
)

{\displaystyle \operatorname{Hom}(V, W)}

 that are invariant under the just-defined action of

g

{\displaystyle \mathfrak g}

 on

Hom
⁡
(
V
,
W
)

{\displaystyle \operatorname{Hom}(V, W)}

. If we take

W

{\displaystyle W}

 to be the base field, we recover the action of

g

{\displaystyle \mathfrak g}

 on

V
∗

{\displaystyle V^\*}

 given in the previous subsection.

## Representation theory of semisimple Lie algebras

See Representation theory of semisimple Lie algebras.

## Enveloping algebras

Main articles: Universal enveloping algebra
To each Lie algebra

g

{\displaystyle \mathfrak g}

 over a field *k*, one can associate a certain ring called the universal enveloping algebra of

g

{\displaystyle \mathfrak g}

 and denoted

U
(

g

)

{\displaystyle U(\mathfrak{g})}

. The universal property of the universal enveloping algebra guarantees that every representation of

g

{\displaystyle \mathfrak g}

 gives rise to a representation of

U
(

g

)

{\displaystyle U(\mathfrak{g})}

. Conversely, the PBW theorem tells us that

g

{\displaystyle \mathfrak g}

 sits inside

U
(

g

)

{\displaystyle U(\mathfrak{g})}

, so that every representation of

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 can be restricted to

g

{\displaystyle \mathfrak g}

. Thus, there is a one-to-one correspondence between representations of

g

{\displaystyle \mathfrak g}

 and those of

U
(

g

)

{\displaystyle U(\mathfrak{g})}

.

The universal enveloping algebra plays an important role in the representation theory of semisimple Lie algebras, described above. Specifically, the finite-dimensional irreducible representations are constructed as quotients of Verma modules, and Verma modules are constructed as quotients of the universal enveloping algebra.

The construction of

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 is as follows. Let *T* be the tensor algebra of the vector space

g

{\displaystyle \mathfrak g}

. Thus, by definition,

# n
0

∞

⊗
1
n

g

{\displaystyle T = \oplus\_{n=0}^\infty \otimes\_1^n \mathfrak{g}}

 and the multiplication on it is given by

⊗

{\displaystyle \otimes}

. Let

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 be the quotient ring of *T* by the ideal generated by elements of the form

[
X
,
Y
]
−
(
X
⊗
Y
−
Y
⊗
X
)

{\displaystyle [X, Y] - (X \otimes Y - Y \otimes X)}

.
There is a natural linear map from

g

{\displaystyle \mathfrak g}

 into

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 obtained by restricting the quotient map of

T
→
U
(

g

)

{\displaystyle T \to U(\mathfrak{g})}

 to degree one piece. The PBW theorem implies that the canonical map is actually injective. Thus, every Lie algebra

g

{\displaystyle \mathfrak g}

 can be embedded into an associative algebra

# A
U
(

g

)

{\displaystyle A=U(\mathfrak{g})}

in such a way that the bracket on

g

{\displaystyle \mathfrak g}

 is given by

[
X
,
Y
# ]
X
Y
−
Y
X

{\displaystyle [X,Y]=XY-YX}

 in

A

{\displaystyle A}

.

If

g

{\displaystyle \mathfrak g}

 is abelian, then

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 is the symmetric algebra of the vector space

g

{\displaystyle \mathfrak g}

.

Since

g

{\displaystyle \mathfrak g}

 is a module over itself via adjoint representation, the enveloping algebra

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 becomes a

g

{\displaystyle \mathfrak g}

-module by extending the adjoint representation. But one can also use the left and right regular representation to make the enveloping algebra a

g

{\displaystyle \mathfrak g}

-module; namely, with the notation

l
X

(
Y
# )
X
Y
,
X
∈

g

,
Y
∈
U
(

g

)

{\displaystyle l\_X(Y) = XY, X \in \mathfrak{g}, Y \in U(\mathfrak{g})}

, the mapping

X
↦

l
X

{\displaystyle X \mapsto l\_X}

 defines a representation of

g

{\displaystyle \mathfrak g}

 on

U
(

g

)

{\displaystyle U(\mathfrak{g})}

. The right regular representation is defined similarly.

## Induced representation

Let

g

{\displaystyle \mathfrak g}

 be a finite-dimensional Lie algebra over a field of characteristic zero and

h

⊂

g

{\displaystyle \mathfrak{h} \subset \mathfrak{g}}

 a subalgebra.

U
(

h

)

{\displaystyle U(\mathfrak{h})}

 acts on

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 from the right and thus, for any

h

{\displaystyle \mathfrak h}

-module *W*, one can form the left

U
(

g

)

{\displaystyle U(\mathfrak{g})}

-module

U
(

g

)

⊗

U
(

h

)

W

{\displaystyle U(\mathfrak{g}) \otimes\_{U(\mathfrak{h})} W}

. It is a

g

{\displaystyle \mathfrak g}

-module denoted by

Ind

h

g

⁡
W

{\displaystyle \operatorname{Ind}\_\mathfrak{h}^\mathfrak{g} W}

 and called the

g

{\displaystyle \mathfrak g}

-module induced by *W*. It satisfies (and is in fact characterized by) the universal property: for any

g

{\displaystyle \mathfrak g}

-module *E*

Hom

g

⁡
(

Ind

h

g

⁡
W
,
E
)
≃

Hom

h

⁡
(
W
,

Res

h

g

⁡
E
)

{\displaystyle \operatorname{Hom}\_\mathfrak{g}(\operatorname{Ind}\_\mathfrak{h}^\mathfrak{g} W, E) \simeq \operatorname{Hom}\_\mathfrak{h}(W, \operatorname{Res}^\mathfrak{g}\_\mathfrak{h} E)}

.
Furthermore,

Ind

h

g

{\displaystyle \operatorname{Ind}\_\mathfrak{h}^\mathfrak{g}}

 is an exact functor from the category of

h

{\displaystyle \mathfrak h}

-modules to the category of

g

{\displaystyle \mathfrak g}

-modules. These uses the fact that

U
(

g

)

{\displaystyle U(\mathfrak{g})}

 is a free right module over

U
(

h

)

{\displaystyle U(\mathfrak{h})}

. In particular, if

Ind

h

g

⁡
W

{\displaystyle \operatorname{Ind}\_\mathfrak{h}^\mathfrak{g} W}

 is simple (resp. absolutely simple), then *W* is simple (resp. absolutely simple). Here, a

g

{\displaystyle \mathfrak g}

-module *V* is absolutely simple if

V

⊗
k

F

{\displaystyle V \otimes\_k F}

 is simple for any field extension

F

/

k

{\displaystyle F/k}

.

The induction is transitive:

Ind

h

g

≃

Ind

h
′

g

∘

Ind

h

h
′

{\displaystyle \operatorname{Ind}\_\mathfrak{h}^\mathfrak{g} \simeq \operatorname{Ind}\_\mathfrak{h'}^\mathfrak{g} \circ \operatorname{Ind}\_\mathfrak{h}^\mathfrak{h'}}

for any Lie subalgebra

h
′

⊂

g

{\displaystyle \mathfrak{h'} \subset \mathfrak{g}}

 and any Lie subalgebra

h

⊂

h

′

{\displaystyle \mathfrak{h} \subset \mathfrak{h}'}

. The induction commutes with restriction: let

h

⊂

g

{\displaystyle \mathfrak{h} \subset \mathfrak{g}}

 be subalgebra and

n

{\displaystyle \mathfrak{n}}

 an ideal of

g

{\displaystyle \mathfrak g}

 that is contained in

h

{\displaystyle \mathfrak h}

. Set

g

1

=

g

/

n

{\displaystyle \mathfrak{g}\_1 = \mathfrak{g}/\mathfrak{n}}

 and

h

1

=

h

/

n

{\displaystyle \mathfrak{h}\_1 = \mathfrak{h}/\mathfrak{n}}

. Then

Ind

h

g

∘

Res

h

≃

Res

g

∘

Ind

h
1

g
1

{\displaystyle \operatorname{Ind}^\mathfrak{g}\_\mathfrak{h} \circ \operatorname{Res}\_\mathfrak{h} \simeq \operatorname{Res}\_\mathfrak{g} \circ \operatorname{Ind}^\mathfrak{g\_1}\_\mathfrak{h\_1}}

.

## Infinite-dimensional representations and "category O"

Let

g

{\displaystyle \mathfrak g}

 be a finite-dimensional semisimple Lie algebra over a field of characteristic zero. (in the solvable or nilpotent case, one studies primitive ideals of the enveloping algebra; cf. Dixmier for the definitive account.)

The category of (possibly infinite-dimensional) modules over

g

{\displaystyle \mathfrak g}

 turns out to be too large especially for homological algebra methods to be useful: it was realized that a smaller subcategory category O is a better place for the representation theory in the semisimple case in zero characteristic. For instance, the category O turned out to be of a right size to formulate the celebrated BGG reciprocity.

## (g,K)-module

Main articles: (g,K)-module, Harish-Chandra module
One of the most important applications of Lie algebra representations is to the representation theory of real reductive Lie group. The application is based on the idea that if

π

{\displaystyle \pi }

 is a Hilbert-space representation of, say, a connected real semisimple linear Lie group *G*, then it has two natural actions: the complexification

g

{\displaystyle \mathfrak g}

 and the connected maximal compact subgroup *K*. The

g

{\displaystyle \mathfrak g}

-module structure of

π

{\displaystyle \pi }

 allows algebraic especially homological methods to be applied and

K

{\displaystyle K}

-module structure allows harmonic analysis to be carried out in a way similar to that on connected compact semisimple Lie groups.

## Representation on an algebra

If we have a Lie superalgebra *L*, then a representation of *L* on an algebra is a (not necessarily associative) **Z**2 graded algebra *A* which is a representation of *L* as a **Z**2 graded vector space and in addition, the elements of *L* acts as derivations/antiderivations on *A*.

More specifically, if *H* is a pure element of *L* and *x* and *y* are pure elements of *A*,

*H*[*xy*] = (*H*[*x*])*y* + (−1)*xH**x*(*H*[*y*])
Also, if *A* is unital, then

*H*[1] = 0
Now, for the case of a **representation of a Lie algebra**, we simply drop all the gradings and the (−1) to the some power factors.

A Lie (super)algebra is an algebra and it has an adjoint representation of itself. This is a representation on an algebra: the (anti)derivation property is the superJacobi identity.

If a vector space is both an associative algebra and a Lie algebra and the adjoint representation of the Lie algebra on itself is a representation on an algebra (i.e., acts by derivations on the associative algebra structure), then it is a Poisson algebra. The analogous observation for Lie superalgebras gives the notion of a Poisson superalgebra.