Lie algebras MOC

General linear Lie algebra

Let ๐•‚ be a field and ๐‘› โˆˆโ„•. The general linear Lie algebra ๐”ค๐”ฉ๐‘›โก๐•‚ is the Lie algebra realized by ๐‘› ร—๐‘› matrices under their linear commutator.1 #m/def/lie More generally, if ๐‘‰ is a vector space over ๐•‚ then ๐”ค๐”ฉโก๐‘‰ =End๐•‚โก๐‘‰ is the commutator of the endomorphism ring End๐•‚โก๐‘‰

[๐‘’๐‘–๐‘—,๐‘’๐‘˜โ„“]=๐›ฟ๐‘—๐‘˜๐‘’๐‘–โ„“โˆ’๐›ฟ๐‘™๐‘–๐‘’๐‘˜๐‘—

Properties

  1. If ๐‘ฅ โˆˆEndโก๐‘‰ =๐”ค๐”ฉ(๐‘‰) is nilpotent, then ad๐‘ฅ โˆˆD(๐”ค๐”ฉ(๐‘‰)) is nilpotent.2
Proof

Consider the left- and right-regular representations of the ๐•‚-monoid Endโก๐‘‰, which we label ฮ› and P respectively. If ๐‘ฅ โˆˆEndโก๐‘‰ is nilpotent, so too are ฮ›(๐‘ฅ) and P(๐‘ฅ), whence ad๐‘ฅ =ฮ›(๐‘ฅ) โˆ’P(๐‘ฅ) is nilpotent.

Triangular decomposition

๐”ค๐”ฉ๐‘›โก๐•‚ has the archetypal triangular decomposition

๐”ค๐”ฉ๐‘›โก๐•‚=๐”ซโˆ’โŠ•๐”ฅโŠ•๐”ซ+

where ๐”ซโˆ’ consists of ^strictly-lower matrices, ๐”ฅ consists of ^diagonal matrices, and ๐”ซ+ consists of ^strictly-upper matrices, i.e.

[๐”ฅ,๐”ฅ]=0[๐”ซยฑ,๐”ฅ]โІ๐”ซยฑ

Subalgebras

A subalgebra of ๐”ค๐”ฉ๐‘›๐•‚ is called a linear Lie algebra


#state/develop | #lang/en | #SemBr

Footnotes

  1. 1972. Introduction to Lie Algebras and Representation Theory, ยง1.2, p. 2 โ†ฉ

  2. 1972. Introduction to Lie Algebras and Representation Theory, ยง3.2, p. 12 โ†ฉ