Shur-Zassenxaus teoremasi - Schur–Zassenhaus theorem

The Shur-Zassenxaus teoremasi a teorema yilda guruh nazariyasi agar shunday bo'lsa, deyiladi ${displaystyle G}$ a cheklangan guruh va ${displaystyle N}$ a oddiy kichik guruh kimning buyurtma bu koprime tartibiga kvant guruhi ${displaystyle G / N}$, keyin ${displaystyle G}$ a yarim yo'nalishli mahsulot (yoki bo'lingan kengaytma) ning ${displaystyle N}$ va ${displaystyle G / N}$. Teoremaning muqobil bayonoti har qanday normaldir Zalning kichik guruhi ${displaystyle N}$ cheklangan guruh ${displaystyle G}$ bor to'ldiruvchi yilda ${displaystyle G}$. Bundan tashqari, agar bo'lsa ${displaystyle N}$ yoki ${displaystyle G / N}$ "Shur-Zassenxaus" teoremasida ham barcha qo'shimchalar deyiladi ${displaystyle N}$ G da birlashtirmoq. Bu ham taxmin ${displaystyle N}$ yoki ${displaystyle G / N}$ hal etilishi mumkin, chunki u har doim ham qoniqtiriladi, ammo buning barcha ma'lum dalillari juda qiyinidan foydalanishni talab qiladi Feyt-Tompson teoremasi.

Schur-Zassenhaus teoremasi hech bo'lmaganda qisman savolga javob beradi: "In a kompozitsiyalar seriyasi, qanday qilib ma'lum bir kompozitsion omillarga ega guruhlarni tasniflashimiz mumkin? "Kompozitsiya omillari koprime buyurtmalariga ega bo'lmagan boshqa qism bilan kurashadi kengayish nazariyasi.

Tarix

Schur-Zassenhaus teoremasi tomonidan kiritilgan Zassenxaus  (1937, 1958, IV bob, 7-bo'lim). U nazarda tutgan 25-teorema Issai Shur, to‘ldiruvchi mavjudligini va 27-teorema barcha to‘ldiruvchilar konjugatlangan degan taxmin asosida isbotlaydi. ${displaystyle N}$ yoki ${displaystyle G / N}$ hal etilishi mumkin. Schurning nashr etilgan asarlarida to'ldiruvchi mavjudligini aniq ifodasini topish oson emas, ammo Schur natijalari (1904, 1907 ) ustida Schur multiplikatori odatdagi kichik guruh markazda bo'lganida, maxsus holatda komplementning mavjudligini nazarda tutadi. Zassenxausning ta'kidlashicha, eruvchan bo'lmagan guruhlar uchun Shur-Zassenxaus teoremasi, agar g'alati tartibdagi barcha guruhlar eriydigan bo'lsa, buni keyinchalik Feyt va Tompsonlar isbotladilar. Ernst Vitt dan ham kelib chiqishini ko'rsatdi Shrayer gumoni (qarang Witt (1998, s.277), Vittning 1937 yilda nashr etilmagan bu haqidagi eslatmasi uchun), ammo Shrayer gumoni faqat cheklangan oddiy guruhlar tasnifi yordamida isbotlangan, bu Feyt-Tompson teoremasidan ancha qiyin.

Misollar

Agar biz nusxa ko'chirish shartini qo'ymasak, teorema to'g'ri emas: masalan, misolini ko'rib chiqing tsiklik guruh ${displaystyle C_ {4}}$ va uning normal kichik guruhi ${displaystyle C_ {2}}$. Keyin agar ${displaystyle C_ {4}}$ ning yarim yo'nalishli mahsuloti bo'lgan ${displaystyle C_ {2}}$ va ${displaystyle C_ {4} / C_ {2} cong C_ {2}}$ keyin ${displaystyle C_ {4}}$ ikkitasini o'z ichiga olishi kerak edi elementlar buyurtma 2, lekin u faqat bittasini o'z ichiga oladi. Bo'linishning mumkin emasligini tushuntirishning yana bir usuli ${displaystyle C_ {4}}$ (ya'ni uni yarim yo'nalishli mahsulot sifatida ifodalash) bu avtomorfizmlar ning ${displaystyle C_ {2}}$ ular ahamiyatsiz guruh, shuning uchun yagona mumkin bo'lgan [yarim] to'g'ridan-to'g'ri mahsulot ${displaystyle C_ {2}}$ o'zi bilan to'g'ridan-to'g'ri mahsulot (bu paydo bo'ladi Klein to'rt guruh, izomorf bo'lmagan guruh ${displaystyle C_ {4}}$).

Shur - Zassenxaus teoremasi amal qiladigan misol nosimmetrik guruh 3 ta belgida, ${displaystyle S_ {3}}$, bu 3-tartibli normal kichik guruhga ega (bilan izomorfik ${displaystyle C_ {3}}$) o'z navbatida ega bo'lgan indeks 2 dyuym ${displaystyle S_ {3}}$ (bilan kelishilgan holda Lagranj teoremasi ), shuning uchun ${displaystyle S_ {3} / C_ {3} cong C_ {2}}$. 2 va 3 nisbatan tub sonli bo'lganligi sababli, Shur-Zassenxaus teoremasi amal qiladi va ${displaystyle S_ {3} cong C_ {3} marta C_ {2}}$. Ning avtomorfizm guruhiga e'tibor bering ${displaystyle C_ {3}}$ bu ${displaystyle C_ {2}}$ va ning avtomorfizmi ${displaystyle C_ {3}}$ paydo bo'lishiga olib keladigan yarim yo'nalishli mahsulotda ishlatiladi ${displaystyle S_ {3}}$ ning ikkita o'ziga xos bo'lmagan elementlarini buzadigan ahamiyatsiz avtomorfizmdir ${displaystyle C_ {3}}$. Bundan tashqari, buyurtma 2 ning uchta kichik guruhi ${displaystyle S_ {3}}$ (ularning har biri to'ldiruvchi bo'lib xizmat qilishi mumkin ${displaystyle C_ {3}}$ yilda ${displaystyle S_ {3}}$) bir-biriga konjugat qilinadi.

(Qo'shimcha) konjugatsiya xulosasining ahamiyatsizligini Klein to'rt guruhi bilan tasvirlash mumkin ${displaystyle V}$ misol bo'lmagan. Ning uchta tegishli kichik guruhlaridan har qanday biri ${displaystyle V}$ (ularning barchasi 2-buyruqqa ega) normaldir ${displaystyle V}$; ushbu kichik guruhlardan birini, qolgan ikkita (tegishli) kichik guruhlardan birortasini tuzatish uni to'ldiradi ${displaystyle V}$, lekin bu uchta kichik guruhning hech biri ${displaystyle V}$ har qanday boshqa konjugatdir, chunki ${displaystyle V}$ bu Abeliya.

The quaternion guruhi 4 va 2 tartibdagi normal kichik guruhlarga ega, ammo [yarim] to'g'ridan-to'g'ri mahsulot emas. 20-asr boshlarida Schurning hujjatlari tushunchasini kiritdi markaziy kengaytma kabi misollarga murojaat qilish uchun ${displaystyle C_ {4}}$ va kvaternionlar.

Isbot

Oddiy Hall kichik guruhiga qo'shimcha mavjud H cheklangan guruh G quyidagi bosqichlarda isbotlanishi mumkin:

1. Buyurtma bo'yicha induksiya bo'yicha G, buni har qanday kichik guruh uchun to'g'ri deb taxmin qilishimiz mumkin.
2. Agar H abeliya, demak komplementning mavjudligi kohomologiya guruhidan kelib chiqadi H²(G/H,H) yo'qoladi (kabi H va G/H koprime buyruqlariga ega) va barcha qo'shimchalarning konjugat ekanligi yo'q bo'lib ketishdan kelib chiqadi H¹(G/H,H).
3. Agar H hal etilishi mumkin, u noan'anaviy abelian kichik guruhiga ega A bu xarakterli H va shuning uchun normal G. Shur - Zassenxaus teoremasini bunga amal qilish G/A qachon dalilni kamaytiradi H=A oldingi bosqichda qilingan abeliya.
4. Agar normalizator bo'lsa N=N_G(P) har biridan p-Slow kichik guruhi P ning H ga teng G, keyin H nilpotent va xususan echiluvchan, shuning uchun teorema oldingi bosqichga amal qiladi.
5. Agar normalizator bo'lsa N=N_G(P) ba'zilari p-Slow kichik guruhi P ning H dan kichikroq G, keyin induksiya bo'yicha Shur-Zassenhaus teoremasi bajariladi Nva to'ldiruvchisi N∩H yilda N uchun to'ldiruvchi H yilda G chunki G=NH.

Adabiyotlar

• Rotman, Jozef J. (1995). Guruhlar nazariyasiga kirish. Matematikadan aspirantura matnlari. 148 (To'rtinchi nashr). Nyu-York: Springer-Verlag. doi:10.1007/978-1-4612-4176-8. ISBN  978-0-387-94285-8. JANOB  1307623.
• Dammit, Devid S.; Fut, Richard M. (2004). Mavhum algebra (Uchinchi nashr). Xoboken, NJ: John Wiley & Sons, Inc. ISBN  978-0-471-43334-7. JANOB  2286236.
• Gaschutz, Volfgang (1952), "Zur Erweiterungstheorie der endlichen Gruppen", J. Reyn Anju. Matematika., 190: 93–107, doi:10.1515 / crll.1952.190.93, JANOB  0051226
• Rose, John S. (1978). Guruh nazariyasi kursi. Kembrij-Nyu-York-Melburn: Kembrij universiteti matbuoti. ISBN  0-521-21409-2. JANOB  0498810.
• Isaaks, I. Martin (2008). Cheklangan guruh nazariyasi. Matematika aspiranturasi. 92. Providence, RI: Amerika Matematik Jamiyati. doi:10.1090 / gsm / 092. ISBN  978-0-8218-4344-4. JANOB  2426855.
• Kurzveyl, Xans; Stellmaxer, Bernd (2004). Cheklangan guruhlar nazariyasi: kirish. Universitext. Nyu-York: Springer-Verlag. doi:10.1007 / b97433. ISBN  0-387-40510-0. JANOB  2014408.
• Hamfreyz, Jeyms E. (1996). Guruh nazariyasi kursi. Oksford ilmiy nashrlari. Nyu-York: Klarendon Press, Oksford universiteti matbuoti. ISBN  0-19-853459-0. JANOB  1420410.
• Schur, Issai (1904). "Uber die Darstellung der endlichen Gruppen durch gebrochen lineare Substitutionen". Journal für die reine und angewandte Mathematik. 127: 20–50.CS1 maint: ref = harv (havola)
• Schur, Issai (1907). "Untersuchungen über die Darstellung der endlichen Gruppen durch gebrochene lineare Substitutionen". Journal für die reine und angewandte Mathematik. 132: 85–137.CS1 maint: ref = harv (havola)
• Vitt, Ernst (1998), Kersten, Ina (tahr.), To'plangan hujjatlar. Gesammelte Abhandlungen, Berlin, Nyu-York: Springer-Verlag, doi:10.1007/978-3-642-41970-6, ISBN  978-3-540-57061-5, JANOB  1643949
• Zassenxaus, Xans (1937). Lehrbuch der Gruppentheorie. Gamburger Mathematische Einzelschriften. 21. Leypsig va Berlin: Teubner.CS1 maint: ref = harv (havola). Inglizcha tarjima:Zassenhaus, Xans J. (1958) [1949], Guruhlar nazariyasi. (2-nashr), Nyu-York: Chelsi nashriyot kompaniyasi, JANOB  0091275