20

12/11/2020 .

THM DE ENGEL
.
;
of algin de Leo sur 1k€12 nee) .
of
est
milpsknbe a
V-xc.yadxeyl.ly) est endo
nilpotent .

e'tant
PREUVE : ← : Par recurrence sur dung , ee car dings toujours niufieie can
g
est atelier
.me

( done nilpotent)
soit dome dim adkoyl.ly )
of avec
y si belle
que
est
nilpotent tacy .

Dome ady C Yug) sa de hier route les

hypothesis die them 2 d ni Ia # y Lee que ,
'
c.

of VG3197
oflgey, ) doing Om write que they
'
adxlvl so V-gce.org ,
iad . D ni duris ( s .

~
ad (at 31g)) c-
YU YI zig,) est nilpotent .
Em faut ;
"

by Eog andtxt 3191) ( Y -131917=[2+3197,4+3197] slay]

a
doggy, -131g) adxly) -13191 =

Em itoramt Vm
,

( andGet 3197 ) ) My-131917 -

Cada) Ny) -13 ly )
d ni and Get3cg )) est
nilpotent puisgue adx est nilpotent
'

'
f
hypsthise de recurrence donne que of Iggy , est
nilpotent ,
d' ai
g
est nilpotent
d 2h27 O
'

apcis ee lemme .

Le theaime tape momher Lii

que toute of Cgl (VI
2
'
donnee e' de recurrence pour sa de

belle Voce est endo nilpotent peut e'verre de sie de

nm( IK )
'
so un s comme sa
que y
-

, ,

four moniker cette proprietor besom de notum de

drapeau
on a
.

DEF 20 Soit V un e. v. sur IK ( de dimension frmie) .

Nm V dans V est suite croissant V. Cfo} Voc V, CVE C

Vm=V )
drapeau une -
. .

dit ti deriv )
de ser de V .
he drapeau V est
complot si dem
Vi si C dine m=

on as socii d V deux sa de hier de

glp
of (V)
=
{ see off,IV ) :
xlvjkvj Vj-7,2 , -
,
m
}
mil
of (V) =
{xeoglykcv) ; KCVj ) C Vj, V-j-12 , . - in }
nil N de Ali
[ Verifier : gas og ,
) sont sa de
germ g
mil
Om visualise YCV ) et (V ) de mantuas par blocks
of are Moyen
.
.

Si V W⑤ ai est de V pom bout j et Bi B, U Bgu UBM est base de V

Wgp ⑤ Wm
Nj sur
-
- . . .

, . . .

qui est reunion de base Bj de Wj ,

Alas V9EEmdN)

=/ ?p 's b:; : : FIL

)
"
A -

Matson ai
Ag .
. Mat ( ng . v. vvp own . ..
-

wi) e
Mi jam
Bj Bi
,
,
,

et Ii : W W -0
,

⑤ Wm Wi est ea projection
Ang Amm
-
→
Am ,
. -

,
-

⑤
SM
Wi parallellimen ai w -D
,
. . .
④Wi ⑤
, Ww, ⑤ in
Wm
 21
Dm
applique cette construction at GCU ) : Villa} No CYC . ..
cVm=V ) .

Om
pose
W
,
- V
,
et pour tout j -2, . ..
,
m on ehorsut unter -

Wj de V lat
que Vj Vj ⑤ Wj
=

Domo : W, ⑤ WED
Vz ⑤ Wa , Vg Va⑤ Wz=
-
Wg .
. -
. .
, V=Vm =
Vm .
,
⑤Wm = W
, -DWzD . . .
⑤ Wm

W,

soit B B UBM base de V belle esterase de Wj Fj =L

-

,
u .
. . .
une
que Bj ,
n .

La condition xlvjkvj entrant KCWj ) coolVj ) C Vj IN -0 ⑤

Wj
=

,
.. .

4!?:)
NB" n'Bi - - -

ppg
Dome

f÷¥
, mm aeons
Matan
;
.

0
'

a-
D y
O mm
µ .

Pour
gmt (V) ,
ear condition xcvj) C Vj .
,
enhance xcw , ) c NV ,)
⇐
Va :{03
NB? atBg)
et Vj =3 M

/
,-

¥
O

)
BB's
Big " "m
"
cwjkxcvjkysiw -0 ,
.. .
⑤
Wj
!
.
,
Mat Go,
, ,
l l
l
i

l
t '

l
I Am.sn
-
'
O O O Bm

Si Vest Vj Wj lkwj ol de boris les sont la On offline

'
complot aloes floes i
-

que
.
,
,

si V est ( avec demi Von) ee ehsrx d B de V

'
un
drapeau complete de V ,
alas une base

dessus identifier you ) eb of mich) comme sa de Lii de tomllk ) et my Clk ),

comme w
resp
-

YCV ) ↳ d- milk)
of
millN ) ↳
muck )
se la
Matzke) x a
Matzke)
COROLLA IRE 3 ( Cor DU TH M 2) Soit og sa de Lei de YUN ( ai dumka) Suppsom
, un .

que
Voceog est endo nilpotent de V V de V bel
,
x . Alois il waste an
drapeau complot que

of CoghillV) .
Em particular ,
il exist une erase B de V tell que Voce
y Malgzlx) est

stuck ai de Lii de Nmclk )

une Makua
triangularis superieure .
Aimsi
og
est Eso une sa

( avec m- 'mV)
du .
- done
og est nilpotent -
.

Irene D ' apcis ee thiamine 2 , Otv , EV tu que xlv, ) - o tacos .

On
pose V,
=
1km .

Ceci Monne que le corollaries est nai si demVil ; dans ce cas V. [ {of Voc V -4kV, VI ,

dmc doin V Om commedire

Supp sons que
>I .

4:
of
→
off ( VN ) ,
def par 464 (Vtv, ) e 04Mt V,
se la 464 V- NEV

Hens
algebras
'
9 est morphism d de die Em c- 1km )
un 're .
fait :

•
they 464 : VIV , → VIV , est him dif [ vtv
,
= N' + V
,
⇐ v -
V'c- Volker ,
our ) Xlv ) -
'
-
od NTR's )

xtvi-V-xcvii-V.V-x.sc ( d apris dif

9 est lindane
'
des operations dans
y ( ))
'
•
ear d en V

'
on a 4 ( Expo'T ) [ 4104,90033
Eog
=
 QQ ,

4:
of
→
off ( VN ) ,
def par 464 (Vtv, ) e MV) TV, H
se la 404 V- NEV

Hens
algebras
'
9 est morphism d de die Em c- 1km )
un 're .
fait :

•
they 464 : VIV , → VIV , est him dif [ vtv
,
= N' + V
,
⇐i v -
V'c- Volker ,
our ) Xlv -
to
'
)=xlNTr'
04N ) TV occult V
9 est linearis ( d apsis dif
'
des operations dans
y ( ))
'
•
ear d en V =

•
Vx,x' c- on a 4 ( Expo'T ) 14104,904 J V NEV
of
=
,
car

Q ( Cape] ) wth ) Cain'T CN) TV , xcx (VI )

'
x' both ) TV ,

sina.i.gg?..g:;ntniJ=can.:ivaiI
' = = -

Klas ,
elseDJ Carty) =
9th ( 4th ) ) Carty ) -

4th ( 464 cvtih ) )

: :c
Done 41cg ) c ogl(VIV ) est une Ia de Lee , .

endo endo
D'
arris H) on a 4ham ) 464M Hm
,
=
,
dine 964 est nilpotent car x est nilpotent
Par recurrence ,
VIV , tossed un
drapeau complot N' =L fo}=WoCWf . .
.

Cwm ,
=
VIV J ,

Cyril
'

tu Ny) (V ) oui modern V , dine m EdvinMv )

que
-

( dad Voce og 464 Nj ) c Wj , Vj -

b m i
)
-
. . .
,

soit it : V →
Yr, la
projection can onegin . On constant Kj →
Wi -
i
-
VIN J ,

'
it (
N Ho} Vo CYC C Vm , EV m V J ai t job m i
Vj =
Wj , ) HI
-

- - -

= . . . .
.-
, .

Domo : derris
Vj =
derris
Wj ,
t " V-j-b.u.im
( et V = lkv, comme avant ) .

A momher :
of Cyril ( V) acid V-xegxcvjkvjgV-jg.am ,

Si et xlvi) so
ja ; nai Vilkv, et Voom
Si ja, soit
"
(Wj . ) Ntv, di ni
..
.
,
m NE
Vj .
. Alois C-
Wj . . ,

saw) -14=469 CNN, ) E 464CWjr ) C Wj .

z
'
NN ) ETI ( k Vj par construction (t)
d' ai
Wj, ,

Ceci complete ear reicwowna .

hand B de V
on a amor une Nase
pour eagwlle
og -
nm UK) (modern ]
x t
Matggcoo)
morphism bmjeehf d de die Em particulier y algerie de dei dennCK ) est
nilpotent
'

algiers O
- sous -

, .
.

whewsi thiamine Monken corollaries D autre

'
bout Element de
REI On a le 2
pour ce
part ,

nm UK ) Msside ( 1,9 . - -

,
D comme nectar
proper de valuer propre 0 Domo si og est .

mil
une sores .

aegehedenmllk) ( par ex .
si
ofc of (V ) pour an drapeau complete V ) ,
alois

automats guerrant ee them a est nai Arnor : le thiaime 2 et son eaoelani sont
.
en

fait Equivalents .
 23
de Liv nilpotent est resoluble :
.

Une algin
de valuer
QUESTION gu il y analogue du bhm 2 ( rectum
proprio)
'
commune
i est -
a a an
prspre
et du corollaries 3 ( identification avec un Sade Le de
nm ( Kl pour an certain m )
de sie resoluble?
si
og a year) est une sa

est
depone positive : C gu il correspond
'
La CD il y a un rectum
propre commune mais plus nai

ai une valuer
proper unique Voceg )
tant que de ton Clk )
(2) identification de
y en La

ci condition que Ik est algeibuguememt clos ( apron que IK comment tous les valuers proprio necessaries )

↳ ici dono IK

Ces resultants rant sur le nom de theorem de sie

THEOREME suppose que IK

=D
3 i Om . Soit
og une sa de Liv de
Yle (V ) ai Vt {03 . Om
suppose que g
est resoluble .
Alas :

de tous les dans og

H J un rectum
people endomorphisms
( ccid I Ot NEV tu que Voce y x CN ) = Xx) N pom un certain xx) EQ )
(theaime de die) N de V bel que
(2) il exist un
chapeau complot ya of CV) .

B de V belle
Em particulier ,
it esask me erase
que Matpda) est une Mahia twanguliire
superieure Heeg .
Domo
y ↳ Am identifier y avec une la de Lii de lime)
x t MaliBGD

Prune : Admix .
Rif Humphreys :
, §4 I .

Lie
Cor 4 Soit
y une
algin du our Q Alois
. :
Y est resoluble ⇐
log y]
,
est milpsbembe .

'"
Prune i
Suppsom fog of est nilpotent dad In bel ly y]
m
403
que og que
s
, , ,

T cog g)
'
[ Log oh [ g. D)
"
of
=
=
, , ,

teenier:D
HEE
YI YI H ")
og og
- -

' '
[ Log g) [ y yy J of
"
I log oh [ y g) I
'
[ of g) ,
=
, , ,
'
s , , ,
=

Pian recurrence 's

'm " '

[ g. y Im ( ly oh Ey g) ] [ ya gang og
m -
i
=
, ,
, s ,
,

-
-
'" cm)
y
s og
recurrence

D ' ai ' m" ) 1- o

y =
{o} si ④ if] ,
dad
y resoluble si ly y )
,
est nipsbente

adyc guy ) est resoluble theremin de Sei

: Si
og
est riehle ,
odors . D'
apris ee

J base B de
ady ¥ Am
belle
y que identifier 4 lady) de Lie
a
dog -
,
sa

adoo t
Matgz Cada)
de ton ) .
 24
Done 41 Lady adg ) ) ,
=
[Madog ) ,4 Cady)) c Ctm D , tom D= tin
.

"

Gladly y) ) ,

12

ad
log of]
,

iad adly y] ,
est isomorph ai une Sade Loi de nm , nilpotent
dome ear
rink) e'est .

Aim si Cy y ]
,
est nilpotent [ ear { est nilpotent adq nilpotent ]
he ca 4 est aunt valuable St Ike IR ( raz ID n°2 )
RIM , .

§5 FORME DE KILLING

DEF .
20 Soit og une
algeihe de Lie our IK ( Raed ) La =
.
fame de
killing de
y
est la
fame hleniaeri
pour tout key
R
Ry og x y Ik dip mic par
e i →

Rex, y) -
.
Tre Cada ady) .
[ Treladxady))
=

fame hlvniani og qui

LEMME R est une our est :

CD Vx Rly polenta y)
symttwguei ,
yay ,

Va, y , 2- R ( Ex , ] 2) Bloc Cy 2-T )

(2) omrareante : Eg y ,
=

, ,

Peewee Pour err . V sur k et air .eeEmdcv) on a :

H Tecate) #rtra)
(2) Tr ( Ca, b) c) Tr ( ate tac ) striate) Tr Chae)
)
= - -

Tr ( act e) f- Tecate
,
- act) striate) Tr face) -

Tr ( bae)
'
out ④
D et ca)
louque Voy et amo sont adx ,
ady adz crespectrrr ) adfx y] Cadoc ady ] O
-

,
.
, car , ,

E KEMPLE
of slack
) =
{ A EMIR) : Tr ( Also} .
Om
pose yo (98 ) held ? ), ,
a-
( ft ) ,
Alas Bily ,
h , }
a

( HEIR ,Q ) est une base de sgllk) . Le crochet de Hank ) est idenhifo

les crochets
par
[x, y ) eh , [h , y ]= ay
-

, [ hide] esse
On a

¥
" ""

naissant:
" ' " "

any:{ ÷
" " " "

:: in
¥ .
maa .

÷: ¥
y
=
H -
-

RCA, W ) Tr ( EW)
V-2-iwefy.h.sc} ,
E- =
ads , W- adv on >

mummy :÷÷ :&:÷ ::&:÷ HE ! . ,

.
:o)
car ; tr (X 2) =
truly2) so tr CH ' ) 41-4=8
, =

) ( ooo )
2

( ooo ) (
YH = H - XH -

go
, ,
 25
Kerthg) Locey ; Kyla y to Hye og }
,
he de est e' ensemble
may cue Bg
e
DEF 21 ,

Om dit
que Ry
est mom -

digemirie bisque Kering f- {03

da
dif est le particulier pour Ry de la natron de d une hlimiairi
'

RIM 21 by metreque
Cas
, ,
Moy are .

On
cappella era proprietor shrank ,
Si ki V x V
.
→ IK une forme hlimiavisymetrgue our lien V . our K et sort Bilgi } ja une

base de V . Alas : K est

msn.digeni.ci Matz CK ) . CK Lei , ej ) ) ?
j ,
eat omrusrlle

est digestive det

EXEMPLE Sir
of stalk) alas
Ry mom car
Matgg CA) 8.16 40
-

, =