From Wikipedia, the free encyclopedia
Кане́чная гру́па ў агульнай алгебры — група, якая змяшчае канечную колькасць элементаў (гэты лік называецца яе парадкам)[1].
Далей будзем карыстацца мультыплікатыўнымі абазначэннямі, г.зн. аперацыя ў групе будзе абазначацца як множанне; адытыўныя групы з аперацыяй складання агаворваюцца асобна. Адзінку мультыплікатыўнай групы будзем абазначаць сімвалам 1.
Канечныя групы шырока выкарыстоўваюцца як у самой матэматыцы, так і ў розных сумежных тэхнічных і прыродазнаўчых навуках, напрыклад, у крыптаграфіі, крышталяграфіі, атамнай фізіцы, тэорыі арнаментаў і інш. Канечныя групы пераўтварэнняў цесна звязаны з сіметрыяй даследуемых аб'ектаў.
Тэарэма Кэлі: табліца множання элементаў канечнай групы ўтварае лацінскі квадрат[2].
Парадак элемента g канечнай групы G — найменшы натуральны лік m такі, што . Парадак вызначаны для кожнага элемента канечнай групы.
Тэарэма Лагранжа: парадак любой падгрупы канечнай групы з’яўляецца дзельнікам парадку групы.
Прыклад для прыведзенай сістэмы вылікаў: тэарэма Эйлера ў тэорыі лікаў.
Дзель парадку групы на парадак падгрупы называецца індэксам гэтай падгрупы і абазначаецца . Напрыклад, у вышэйназванай групе кватэрніённых адзінак (парадку 8) ёсць падгрупа парадку 2 і індэкса 4, а таксама падгрупа парадку 4 і індэкса 2.
Тэарэма Кашы (1815): любая група, парадак якой дзеліцца на просты лік , мае элемент парадку .
Калі ўсякаму дзельніку k парадку групы адпавядае падгрупа парадку k, то група называецца лагранжаваю. Не ўсякая група лагранжава — напрыклад, парадак групы паваротаў дадэкаэдра роўны 60, але падгруп парадку 15 у яе няма[3]. Дастатковыя ўмовы існавання падгрупы зададзенага парадку (пры некаторых дадатковых дапушчэннях) устанаўліваюць тэарэмы Сілова. Прыкладам лагранжавай групы з’яўляецца сіметрычная група .
Няхай H — падгрупа парадку m у канечнай групе G парадку n. Будзем лічыць элементы эквівалентнымі па падгрупе H, калі існуе такое, што Лёгка праверыць, што гэта дачыненне эквівалентнасці ў групе G. Яно разбівае групу на неперасечныя класы эквівалентнасці, якія называюцца (левымі) сумежнымі класамі, усе яны змяшчаюць па m элементаў, лік класаў роўны індэксу падгрупы. Кожны элемент уваходзіць у сумежны клас , утвораны ўсімі магчымымі здабыткамі g на элементы падгрупы H.
Калі падгрупа H з’яўляецца нармальнаю, то можна перанесці групавую аперацыю на мноства сумежных класаў, вызначыўшы:
Вынік такой аперацыі не залежыць ад выбару прадстаўнікоў і ператварае мноства сумежных класаў у групу, якая называецца фактар-групаю. Яна абазначаецца . Парадак фактар-групы роўны індэксу адпаведнай падгрупы.
Самую простую структуру маюць канечныя цыклічныя групы, усе элементы якіх можна прадставіць як паслядоўныя ступені некаторага элемента a:
дзе n — парадак групы.
Элемент a называецца ўтваральным (ці першаісным) для дадзенай групы. Колькасць утваральных элементаў для групы парадку n роўная (функцыя Эйлера). Прыклад: група каранёў з адзінкі.
Цыклічныя групы заўсёды камутатыўныя (абелевы) і лагранжавы.
Іншыя ўласцівасці:
Няхай парадак групы — просты лік p, тады спраўджваюцца наступныя ўласцівасці.
Больш агульным і больш складаным з’яўляецца выпадак, калі парадак групы — ступень простага ліку; такія групы прынята называць p-групамі.
Канечная група называецца простаю, калі ўсе яе нармальныя падгрупы трывіяльныя (г.зн. супадаюць альбо з адзінкаваю падгрупаю, альбо з усёю групаю)[4]. Гл. іх агульную класіфікацыю.
Асноўная тэарэма (Фрабеніус): усякую камутатыўную канечную групу можна прадставіць як прамую суму p-груп. Гэта вынік агульнай тэарэмы аб структуры канечнаспароджаных абелевых груп для выпадку, калі група не мае элементаў бесканечнага парадку.
На практыцы бывае важна ведаць, колькі розных груп мае заданы парадак n (ізаморфныя групы не адрозніваюцца) і колькі з гэтых груп камутатыўныя.
Парадак групы | Колькасць груп[5] | Камутатыўных | Некамутатыўных |
---|---|---|---|
1 | 1 | 1 | 0 |
2 | 1 | 1 | 0 |
3 | 1 | 1 | 0 |
4 | 2 | 2 | 0 |
5 | 1 | 1 | 0 |
6 | 2 | 1 | 1 |
7 | 1 | 1 | 0 |
8 | 5 | 3 | 2 |
9 | 2 | 2 | 0 |
10 | 2 | 1 | 1 |
11 | 1 | 1 | 0 |
12 | 5 | 2 | 3 |
13 | 1 | 1 | 0 |
14 | 2 | 1 | 1 |
15 | 1 | 1 | 0 |
16 | 14 | 5 | 9 |
17 | 1 | 1 | 0 |
18 | 5 | 2 | 3 |
19 | 1 | 1 | 0 |
20 | 5 | 2 | 3 |
21 | 2 | 1 | 1 |
22 | 2 | 1 | 1 |
23 | 1 | 1 | 0 |
24 | 15 | 3 | 12 |
25 | 2 | 2 | 0 |
Першыя даследаванні канечных груп праводзіліся задоўга да з’яўлення самога тэрміна, і прысвечаны яны былі канкрэтным прыкладам гэтай структуры. Упершыню такая патрэба ўзнікла пры даследаванні алгебраічных ураўненняў на вырашальнасць у радыкалах, для чего Лаrpанж, Руфіні і Абель глыбока даследавалі групы падстановак каранёў мнагачленаў. У 1771 годзе Лагранж адкрыў для цыклічных груп падстановак тэарэму, якая пазней была названа яго імем і мае цалкам агульны характар. Абель істотна дапоўніў дасягненні Лагранжа, а паколькі ён высветліў ролю камутатыўных груп падстановак у данай праблеме, такія групы з тае пары называюцца абелевымі. У 1815 годзе Кашы даказаў, што ўсякая група, парадак якой дзеліцца на просты лік p, валодае элементам парадку p. Доказ меў агульны характар, хаця Кашы таксама абмежаваўся групаю падстановак.
Другім аб'ектам для будучай тэорыі сталі адытыўныя групы вылікаў. Найпрасцейшая нетрывіяльная група з двух элементаў разглядалася яшчэ Лейбніцам, а змястоўную тэорыю гэтай структуры для адвольнага модуля далі Эйлер і Гаус.
Тэрмін «група» з’явіўся ў працах Галуа, які таксама вывучаў групы падстановак, аднак азначэнне было дадзена ў даволі агульным выглядзе. Галуа таксама ўвёў фундаментальныя паняцці нармальнай падгрупы, фактар-гpупы, вырашальнай групы.
У 1854 годзе Кэлі даў першае абстрактнае азначэнне групы. У працы 1878 года ён даказаў ключавую тэарэму аб прадстаўленні адвольнай канечнай групы падстаноўкамі. У 1872 годзе нарвежскі матэматык Сюлаў атрымаў свае знакамітыя вынікі аб максімальных p-падгрупах, якія застаюцца падмуркам тэорыі канечных груп і цяпер.
Значны ўклад у тэорыю абстрактных канечных груп унёс таксама Фрабеніус, дзякуючы якому былі поўнасцю апісаны канечныя абелевы групы і створана тэорыя іх матрычных прадстаўленняў. К канцу XIX стагоддзя канечныя групы з поспехам прымяняліся як у матэматыцы, так і ў прыродазнаўчых навуках (напрыклад, у крышталяграфіі). У пачатку XX ст. працы Эмі Нётэр і Арціна заклалі асновы сучаснай тэорыі груп.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.