Yolg'on-Kolchin teoremasi - Lie–Kolchin theorem

Yilda matematika, Yolg'on-Kolchin teoremasi bu teorema vakillik nazariyasi ning chiziqli algebraik guruhlar; Yolg'on teoremasi uchun analog chiziqli Lie algebralari.

Unda aytilganidek G a ulangan va hal etiladigan chiziqli algebraik guruh bilan belgilanadi algebraik yopiq maydon va

${ displaystyle rho colon G to GL (V)}$

a vakillik nolga teng bo'lmagan sonli o'lchovli vektor maydoni V, keyin bir o'lchovli chiziqli pastki bo'shliq mavjud L ning V shu kabi

${ displaystyle rho (G) (L) = L.}$

Ya'ni, r (G) o'zgarmas qatorga ega L, ustiga G shuning uchun bir o'lchovli vakillik orqali harakat qiladi. Bu degan so'zga tengdir V nolga teng bo'lmagan vektorni o'z ichiga oladi v bu hamma uchun umumiy (bir vaqtda) xususiy vektor ${ displaystyle rho (g), , , g in G}$.

Bu to'g'ridan-to'g'ri har biridan kelib chiqadi qisqartirilmaydi ulangan va echiladigan chiziqli algebraik guruhning chekli o'lchovli tasviri G o'lchovga ega. Aslida, bu Li-Kolchin teoremasini bayon qilishning yana bir usuli.

Lie teoremasi, 0 ga xos algebraik yopiq maydon ustida cheklangan o'lchovli vektor fazosida echiladigan Lie algebrasini nolga teng bo'lmagan har qanday ifodasi bir o'lchovli o'zgarmas pastki bo'shliqqa ega ekanligini aytadi.

Lie algebralari uchun natijani isbotladi Sofus yolg'on  (1876 ) va algebraik guruhlar uchun isbotlangan Ellis Kolchin  (1948, s.19).

The Borel sobit nuqta teoremasi Lie-Kolchin teoremasini umumlashtiradi.

Uchburchaklar

Ba'zan teorema ham deb ataladi Lie-Kolchin uchburchagi teoremasi chunki induksiya bu tegishli asosga nisbatan degan ma'noni anglatadi V rasm ${ displaystyle rho (G)}$ bor uchburchak shakli; boshqacha qilib aytganda, rasm guruhi ${ displaystyle rho (G)}$ GL-da konjugat (n,K) (qaerda n = xira V) T guruhining kichik guruhiga yuqori uchburchak matritsalar, standart Borel kichik guruhi GL (n,K): rasm bir vaqtning o'zida uchburchak.

Teorema, xususan, a ga tegishli Borel kichik guruhi a yarim oddiy chiziqli algebraik guruh G.

Qarama-qarshi misol

Agar maydon bo'lsa K algebraik tarzda yopilmagan, teorema bajarilmasligi mumkin. Standart birlik doirasi to'plami sifatida qaraldi murakkab sonlar ${ displaystyle {x + iy in mathbb {C} mid x ^ {2} + y ^ {2} = 1 }}$ mutlaq qiymatdan biri - bu bir o'lchovli komutativ (va shuning uchun echiladigan) chiziqli algebraik guruh ga ikki o'lchovli ko'rinishga ega bo'lgan haqiqiy sonlar ustida maxsus ortogonal guruh O'zgarmas (haqiqiy) chiziqsiz SO (2). Bu erda rasm ${ displaystyle rho (z)}$ ning ${ displaystyle z = x + iy}$ bo'ladi ortogonal matritsa

${ displaystyle { begin {pmatrix} x & y - y & x end {pmatrix}}.}$

Adabiyotlar