Mavzu: Guppalar nazariyasi, asosiy tushunchalar va teoremalar
Gruppa. Gruppa ta’rifi, asosiy xossalari
Download 114.96 Kb.
|
Siklik va faktor gruppalar Bobur
Gruppa.Gruppa ta’rifi, asosiy xossalari.Chekli yoki cheksiz G to`plamda bitta algebraic amal aniqlangan deb faraz qilamiz. Demak, bu amal G to`plamda bajariluvchan va bir qiymatlidir. Bu yerda ham algebraic amalni ko`paytirish deb atab, istalgan ikkita a,b G element a,b G element ko`paytmasi G ning yagona elementiga tengdir. 1-ta’rif. Quyidagi ikkita aksiomaga bo`ysunuvchi chekli yoki cheksiz G to`plam yarimgruppa deyiladi: 1) a,b G ( a,b G va bir qiymatli); 2) a,b, c G ((ab)c a(bc)) . Demak, G yarim gruppada bitta algebraic amal aniqlangan va G ning elementlarini ko`paytirish assotsiativdir. Masalan, butun sonlar to`plami yolg`iz qo`shish amali yoki yolg`iz ko`paytirish amaliga nisbatan yarim gruppa tashkil qiladi, P sonli maydon ustida n tartibli kvadratik matritsalar to`plami ham matritsalarni qo`shish yoki ko`paytirishga nisbatan yarim gruppa tashkil etadi. 2-ta’rif. Quyidagi to`rtta aksiomaga bo`ysunuvchi chekli yoki cheksiz G to`plam gruppa deyiladi: a,b G ( a,b G va bir qiymatli) ( G da algebraic amal aniqlangan); a,b, c G ((ab)c a(bc)) ( G da ko`paytirish assosiativ); 3) ae G (ae a) ( G da o`ng birlik element mavjud); a,b, c, d,... belgilanadi. elementlardan tuzilgan G gruppa G {a,b, c, d,...} ko`rinishda G gruppada ko`paytirish amali kommutativ bo`lishi shart emas. Agar gruppa yana a,b G (ab ba) talabni ham qanoatlantirsa, G ni kommutativ gruppa (yoki Abel gruppasi), nokommutativ gruppa deyiladi. a,b G (ab ba) bo`lgan holda G ni G gruppaning (ab ba) tenglikni qanoatlantiruvchi a va b elementlari o`rin almashinuvchi elementlar, (ab ba) bo`lgan holda esa ularni o`rin almashinmas elementlar deyiladi. G gruppaning quyidagi asosiy xossalarini ko`rib o`tamiz. 1. G gruppaning e o`ng birligi chap birlik ham bo`ladi. eax ax (1) Yana 4-aksiomaga ko`ra xy e bo`lgani sababli (1) dan ushbuni hosil qilamiz: ea(xy) a(xy), eae ae yoki ea a . Demak, a G element uchun o`ng birlik vazifasini bajaruvchi e element chap birlik ham bo`ladi. G da yagona birlik element mavjud, chunki e va e birlik elementlar bo`lsa, ee e va chiqadi. ee e dan ko`paytmaning bir qiymatligiga asosan darhol e e kelib Har bir a G elementning x o`ng teskari elementi chap teskari element vazifasini ham bajaradi. Haqiqatan ham, ax e bilan birga, 4-aksiomaga muvofiq xy e (2) bo`lamiz: (ax) y ae, ey a yoki y a . Demak, (2) xa e ko`rinishni oladi, ya’ni x element a ning chap teskari elementi vazifasini ham bajaradi. a ga yagona teskari element mavjud, chunki x va x ni a ga teskari elementlar desak, x xe x(ax) (xa)x ex x bo`ladi. a ga yagona teskari element a1 ko`rinishda belgilanadi. Shunday qilib, aa1 a1a e a va a1 o`zaro teskari elementlar deyiladi. ab ba dan a1b ba1 va a1b1 b1a1 kelib chiqadi. ba1 a1b Endi (3) ni chap va o`ng tomondan (3) b1 ga ko`paytirib, quyidagini hosil qilamiz: ax b va ya b a1b1 b1a1 . tenglamalar mos ravishda yagona x a1b va y ba 1 yechimlarga ega. Bu yechimlar ax b ni chap tomondan, ya b ni esa o`ng tomondan a1 ga ko`paytirish bilan hosil qilinadi. a1, a2 ,...,ak G elementlarni ko`paytirish umuman assasiativdir. Haqiqatan ham, (a1a2 )a3 a1 (a2 a3 ) ni a1a2a3 ko`rinishda yoza olamiz. Endi uchta elementni ko`paytirish assosiativ bo`lganidan, (a1a2 a3 )a4 (a1a2 )(a3 a4 ) a1 (a2 a3 a4 ) ko`paytmasini qavssiz yoza olamiz: va hakazo. Demak, k ta element a1a2 ...ak ai i1 a1a2 a3 (a1a2 )a3 b2 a3 b3 G va bir qiymatli; a1a2 a3 a4 (a1a2 a3 )a4 b3 a4 b4 G va bir qiymatli va hakazo. a 1 ...a 1a 1 bo`ladi. k 2 1 Buni tekshirib ko`rsak, (a a ... a )(a1 ... a1a1) (a a ... a )(a a1 )(a 1 ... a1a1) 1 2 k k 2 1 1 2 k 1 k k k 1 2 1 (a a ... a )e(a1 ... a1a1) (a a ... a )(a a1 )(a1 ... a 1a 1) 1 2 k 1 k 1 2 1 1 2 k 2 k 1 k 1 k 2 2 1 (a a ... a )e(a 1 ... a1a 1) a a1 e 1 2 k 2 k 2 2 1 1 1 bo`ladi. Shunday qilib, (a a ... a )1 a 1...a 1a 1 dir. Xususiy holda 1 2 k (ab)1 b1a 1 . k 2 1 a a a a n ko`paytmani an ko`rinishda yozib, a elementning darajasi deymiz. Shuningdek, a 1 a1 ...a 1 (a 1 )n ni bunday ham yozamiz: (a 1 )n a n . U holda a ning n darajasiga ega bo`lamiz. Endi, a G uchun a0 e deb qabul qilamiz. Demak, bo`ladi. a G elementning istalgan butun darajasi yana G ning elementi Quyidagilarni isbotlash oson:am an amn va (am )n a mn bunda m va n - istalgan butun sonlar. Faqat o`rin almashinuvchi a va b elementlar uchungina (ab)u anbn bo`ladi. an an ann a0 n . Elementlarining soni chekli bo`lgan gruppa chekli gruppa, elementlari cheksiz ko`p bo`lgan gruppa cheksiz gruppa deyiladi. Gruppaning elementlari soni uning tartibi deyiladi. Shunday qilib, chekli va cheksiz tartibli gruppalar mavjud. Misollar: G butun sonlar to`plami sonlarni qo`shish amaliga nisbatan gruppa tasgkil etadi, chunki m, n, k G uchun (m n) k m (n k). Birlik element vazifasini nol soni bajaradi, chunki n G uchun n 0 n ; har bir n elementga teskari element bo`lib, kommutativdir. n xizmat qiladi: n (n) 0. Bu gruppa cheksiz va Noldan tashqari barcha ratsional sonlar to`plami G sonlarni ko`paytirish amaliga nisbatan cheksiz kommutativ gruppa tashkil qiladi, chunki istalgan r 0 va s 0 ikkita ratsional son uchun rs 0 bo’lib, demak, rs G va bir qiymatli; z, s,t G uchun (rs)t r(st); G da birlik element vazifasini 1 soni bajaradi: r 1 r; r 0 ga teskari element 1 dir: r r 1 1 . r Noldan tashqari barcha haqiqiy sonlar to`plami, shuningdek, noldan tashqari barcha kompleks sonlar to`plami ko`paytirishga nisbatan cheksiz kommutativ gruppalar tashkil etadi. Birinchi misoldagidek, ratsional sonlar to`plami qo`shish amaliga nisbatan cheksiz kommutativ gruppa tashkil etadi. P sonli maydon ustida (m n) matritsalar to’plami matritsalarni qo`shishga nisbatan cheksiz kommutativ gruppa hosil qiladi . Haqiqatan ham, istalgan ikkita (m n) matritsa yig`indisi yana P maydon ustida (m n) matritsa bo`lgani uchun bir qiymatli ravishda shu to`plamga qarashlidir; istalgan uchta (m n) matritsani qo`shish-assosiativ; birlik element A matritsaga teskari a m1 am2 ...a mn a11 a12 ... a1n a matrirsa mavjud. m1 am2 ... a mn |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling