Whiteheads lemma - Whiteheads lemma

Lie algebralaridagi lemma uchun qarang Uaytxed lemmasi (yolg'on algebralar).

Uaytxed lemmasi bu texnik natijadir mavhum algebra ichida ishlatilgan algebraik K-nazariyasi. Unda a matritsa shaklning

${ displaystyle { begin {bmatrix} u & 0 0 & u ^ {- 1} end {bmatrix}}}$

ga teng identifikatsiya matritsasi tomonidan elementar transformatsiyalar (ya'ni transveksiyalar):

${ displaystyle { begin {bmatrix} u & 0 0 & u ^ {- 1} end {bmatrix}} = e_ {21} (u ^ {- 1}) e_ {12} (1-u) e_ {21} (-1) e_ {12} (1-u ^ {- 1}).}$

Bu yerda, ${ displaystyle e_ {ij} (s)}$ diagonali bloki bo'lgan matritsani ko'rsatadi ${ displaystyle 1}$ va ${ displaystyle ij ^ {th}}$ kirish ${ displaystyle s}$.

"Uaytxed lemmasi" nomi ham bir-biri bilan chambarchas bog'liq natijani anglatadi olingan guruh ning barqaror umumiy chiziqli guruh tomonidan yaratilgan guruhdir elementar matritsalar.^[1][2] Ramzlarda,

${ displaystyle operator nomi {E} (A) = [ operator nomi {GL} (A), operator nomi {GL} (A)]}$.

Bu barqaror guruhga tegishli (the to'g'ridan-to'g'ri chegara cheklangan o'lchamdagi matritsalar) har qanday halqa ustida, lekin umuman beqaror guruhlar uchun, hatto maydon bo'ylab ham emas. Masalan uchun

${ displaystyle operatorname {GL} (2, mathbb {Z} / 2 mathbb {Z})}$

bittasida:

${ displaystyle operator nomi {Alt} (3) cong [ operator nomi {GL} _ {2} ( mathbb {Z} / 2 mathbb {Z}), operator nomi {GL} _ {2} ( mathbb {Z} / 2 mathbb {Z})] < operator nomi {E} _ {2} ( mathbb {Z} / 2 mathbb {Z}) = operator nomi {SL} _ {2} ( mathbb { Z} / 2 mathbb {Z}) = operator nomi {GL} _ {2} ( mathbb {Z} / 2 mathbb {Z}) cong operator nomi {Sym} (3),}$

bu erda Alt (3) va Sym (3) ni bildiradi o'zgaruvchan resp. nosimmetrik guruh 3 ta harfda.

Shuningdek qarang

• Maxsus chiziqli guruh # GL (n, A) ning boshqa kichik guruhlari bilan aloqalar.

Adabiyotlar

Bu mavhum algebra bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.