Група (математика)

Алгебричні структури
Групо-подібні Група Напівгрупа / Моноїд Стійки і квандли Квазігрупа і Петля Абелева група Магма Група Лі Теорія груп
Кільце-подібні Кільце Rng Напівкільце Near-ring Групове кільце Комутативне кільце Область цілісності Поле Тіло Lie ring Теорія кілець
Ґратко-подібні Ґратка Напівґратка Доповнена ґратка Лінійний порядок Алгебра Гейтінга Булева алгебра Діаграма ґраток Теорія порядку
Модуле-подібні Модуль Група з операторами Векторний простір Лінійна алгебра
Алгебра-подібні Алгебра Асоціативна Неасоціативна Композитна алгебра Алгебра Лі Градуйована Біалгебра Алгебра Гопфа

Сукупність маніпуляцій над цим кубиком Рубіка утворюють групу кубика Рубіка.

Гру́па — одне з найважливіших понять сучасної алгебри, яке має численні застосування у багатьох суміжних дисциплінах. Здебільшого група виникає як множина всіх перетворень (симетрій) деякої структури. Результатом послідовного застосування двох перетворень буде знову деяке перетворення. Поняття абстрактної групи є узагальненням груп симетрій і визначається як множина із операцією множення (композиції), що задовольняє певним аксіомам (асоціативності, існування нейтрального та оберненого елемента). У застосуваннях математики групи часто виникають як засіб систематично описувати симетрії різного ґатунку або як групи перетворень.

Означення

Впорядкована пара $<G,*>$, де  $G$ – непорожня множина, називається групою, якщо виконуються наступні умови:

1) $*$ – бінарна алгебраїчна операція, задана на множині  $G$;

2) операція $*$ асоціативна на  $G$, тобто для будь-яких елементів $a,b,c$ із $G$ справедливо $(a*b)*c=a*(b*c);$

3) в $G$ існує нейтральний відносно $*$ елемент $e$, тобто такий, що ${\textstyle a*e=e*a=a}$ для всіх $a\in G$;

4) для будь-якого елемента $a\in G$ існує симетричний до нього елемент $a'\in G$, тобто такий, що $a*a'=a'*a=e$.

Умови 1)-4) називаються аксіомами групи.

Після формулювання означення групи, слід зауважити, що часто для позначення групової операції замість знака $*$ використовують більш звичні знаки: $+$ і  $\cdot$. Якщо беруть знак $+$, то алгебраїчну операцію називають додаванням, групу відносно цієї операції – адитивною, нейтральний елемент – нульовим, симетричний – протилежним елементом. Якщо використовують знак  $\cdot$, то алгебраїчну операцію називають множенням, групу відносно цієї операції – мультиплікативною, нейтральний елемент – одиничним або просто одиницею, симетричний – оберненим елементом.

Група $G$ називається комутативною або абелевою (на честь норвезького математика Нільса Генріха Абеля), якщо для будь-яких елементів $a,b$ із $G$ додатково виконується умова $a*b=b*a.$

Критерій групи

Теорема. Непорожня множина $G$, на якій задана бінарна алгебраїчна операція $*$ тоді і лише тоді є групою, коли виконуються умови:

1) операція $*$ асоціативна;

2) для будь-яких елементів $a$ і $b$ множини $G$ завжди існує в $G$, причому лише одна, пара елементів $x_{0}$ та $y_{0}$ таких, що $a*x_{0}=b$ і $y_{0}*a=b.$

Приклади груп

Години на годиннику утворюють групу класів лишків за модулем 12, тобто $9+4=1(mod12)$

1. $\langle \mathbb {Z} ,+\rangle ,\langle \mathbb {Q} ,+\rangle ,\langle \mathbb {R} ,+\rangle$ — абелеві групи. Ці групи називають адитивними групами відповідно цілих, раціональних та дійсних чисел.
2. Нехай $\mathbb {Q} ^{*}=\mathbb {Q} \setminus {\{0\}}$, $\mathbb {R} ^{*}=\mathbb {R} \setminus {\{0\}}$, $\mathbb {C} ^{*}=\mathbb {C} \setminus {\{0\}}$. Групи $\langle \mathbb {Q} ^{*},\cdot \rangle$, $\langle \mathbb {R} ,\cdot \rangle$, $\langle \mathbb {C} ,\cdot \rangle$ також абелеві. Їх називають мультиплікативними групами відносно раціональних, дійсних та комплексних чисел.
3. Множина $O=\{0\}$ відносно операції додавання утворює групу.
4. Множина $E=\{1\}$ відносно операції множення утворює групу. ЇЇ називають одиничною групою.
5. Множина $M_{n}(\mathbb {R} )$ всіх квадратних матриць $n$-го порядку з дійсними елементами відносно операції додавання утворює групу.
6. Так званими матричними групами за множенням є: повна лiнiйна група $GL_{n}(P)$ (група невироджених матриць порядку $n$ над полем $P$, яка при $n\geqslant 2$ є неабелевою), спецiальна лiнiйна група $SL_{n}(P)$ (група матриць порядку $n$ з визначником рiвним $1$ над полем $P$), ортогональна група $O_{n}$

   

   Таблиця Келі для групи симетрій квадрата

   (група ортогональних матриць порядку $n$), унiтарна група $U_{n}$ (група всiх унiтарних матриць $n$–го порядку), дiагональна група $D_{n}(P)$ (група всiх невироджених дiагональних матриць порядку $n$ над полем $P$).
7. Розглянемо множину класiв лишкiв $\mathbb {Z} _{n}=\{{\overline {0}},...,{\overline {n-1}}\}$ з дiєю додавання i множину класiв лишкiв $\mathbb {Z} _{n}^{*}=\{{\overline {i}}|{\text{НСД}}(i,n)=1\}$ з дiєю множення. Вони будуть утворювати вiдповiдно адитивну i мультиплiкативну групи. Цi групи є абелевими i називаються групами класiв лишкiв.
8. . Кватернiоннi одиницi $i,j,k$ породжують так звану групу кватернiонiв $Q_{8}=\{1,-1,i,j,k,-i,-j,-k\}$ порядку $8$, де $(-1)^{2}=1$, $(i)^{2}=(j)^{2}=(k)^{2}=-1$, $ij=k$, $jk=i$, $ki=j$.
9. Легко зрозумiти, що сукупнiсть усiх перетворень площини (простору), якi лишають незмiнною певну фiгуру (тiло), вiдносно композицiї також утворює групу. Таким чином з’являються групи поворотiв i рухiв правильних многогранникiв i т. д. Зокрема, група $C_{n}$ всiх поворотiв правильного $n$–кутника складається з поворотiв на кути $0^{\circ },{\frac {2\cdot 360^{\circ }}{n}},\ldots ,{\frac {(n-1)\cdot 360^{\circ }}{n}}$ вiдносно центра цього $n$–кутника. Група $D_{n}$ всiх рухiв правильного $n$–кутника (дiедральна група) складається з $n$ поворотiв вiдносно його центра на кути $0^{\circ },{\frac {2\cdot 360^{\circ }}{n}},\ldots ,{\frac {(n-1)\cdot 360^{\circ }}{n}}$ та $n$ симетрiй $l_{1},\ldots ,l_{n}$ вiдносно осей, що проходять при непарному $n$ через вершини $n$–кутника та середини протилежних ребер, а при парному $n$ — через двi протилежнi вершини або через середини двох протилежних ребер. Група рухiв ромба складається iз поворотiв на кути $0^{\circ }$та $180^{\circ }$ навколо точки перетину дiагоналей ромба i двох симетрiй $l_{1}$, $l_{2}$ вiдносно дiагоналей ромба.

Елементи групи симетрії квадрата $D_{4}$. Вершини ідентифікуються за кольором чи числом.

id (тотожне перетворення)	r1 (обертання на 90° за годинниковою стрілкою)	r2 (обертання на 180° за годинниковою стрілкою)	r3 (обертання на 270° за годинниковою стрілкою)
fh (горизонтальне відображення)	fv (вертикальне відображення)	fd (діагональне відображення)	fd (контр-діагональне відображення)

Елементи $id$, $r_{1}$, $r_{2}$, $r_{3}$ утворюють півгрупу групи $D_{4}$. Очевидно, що група симетрій квадрату не є абелевою.

Групи з додатковою структурою

Якщо група $G$ є топологічним простором, а операції множення і взяття оберненого — неперервні відображення, то $G$ — це топологічна група.

Якщо $G$ має структуру многовиду й групові операції сумісні з цією структурою (є гладкими), тоді G називають групою Лі (раніше — неперервною групою), на честь норвезького математика Софуса Лі, який розпочав їх дослідження.

Історія

Поняття групи є одним з основних у сучасній математиці. Воно формувалася поступово з таких галузей математики як геометрія, теорія чисел та теорія рівнянь, тому можна вважати, що абстрактна теорія груп історично має три корені виникнення^{[джерело?]}.

Наприкінці XVIII століття геометрія почала швидко розвиватися, античні погляди на геометрію змінились докорінно. Було визначено цілий ряд нових геометрій  і геометричних рядів. Розвиток гіперболічної геометрії (Ламберт, Гаус, Лобачевський та Бойян) на початку століття  та еліптичної (Ріман) спричинив складні проблеми в тодішній геометрії. Дослідження Монжа і Попселя призвели до відкриття проективної геометрії^{[джерело?]}.

Геометрія того часу почала втрачати свій метричний характер, розширилися традиційні поняття про координати, було використано для великої, але скінченної кількості вимірювань абстрактні методи. Результати перетворень Мобіуса, який почав класифікацію різних геометрій за властивостями, які залишаються незмінними при певних перетвореннях Штейна, який вивчав рухи, стали частиною теорії груп перетворень.

У дослідженнях теорії інваріантів Келі  інтуїтивно розглядав поняття групи. 1854 року він застосував поняття групи за Галуа й дав означення скінченної групи. Побудова скінченної фундаментальної системи інваріантів стала поштовхом для встановлення в 80-ті роки основної теореми скінченних абелевих груп. Отже, абстрактна теорія інваріантів є перехідною до абстрактної теорії груп.

Теорія чисел відіграє велику роль у доведенні існування теоретико-групової теорії. Основні результати було отримано Ейлером та Гаусом. Ейлер вказав приклад розкладу абелевої групи на суміжні класи й довів теорему Лагранжа для частинного випадку циклічної групи. У цьому доведенні Ейлер застосував міркування, що здійснюються зараз при розкладі групи на суміжні класи. 

Гаус продовжив дослідження Ейлера і зробив великий внесок у теорію абелевих груп. Він розглядав 4 види груп: адитивну групу $m\mathbb {Z}$ цілих чисел за модулем $m$ , мультиплікативну групу чисел, взаємно простих із $m$, групу класів у квадратичних формах двох змінних $ax^{2}+bxy+cy^{2}$, де $a,b,c\in \mathbb {Z}$, мультиплікативну групу коренів $n$-го степеня з одиниці; вивчав їх структуру й відношення ізоморфізму.        

Кронекер був знайомий з роботами Гауса та вважав, що формалізація та аксіоматизація є вигідною^{[джерело?]}. Він вказав закони абстрактної композиції елементів, які еквівалентні повній системі аксіом скінченної абелевої групи. Із цієї системи аксіом Кронекер вивів такі наслідки як існування одиничного елемента. Але Кронекер не застосував потрібним чином вказані закони до теорії груп, хоча й був знайомий із теорією груп Галуа.

Теорія алгебраїчних рівнянь не призвела до аксіоматизації, але саме в ній розглядалися нові на той час групи підстановок. Вже в 60-ті роки зародилась теорія груп, яка була відокремлена від теорії алгебраїчних рівнянь.

У XVI столітті було знайдено загальні розв'язки кубічного рівняння (Кардано) і рівняння 4-го степеня (Феррарі). Ейлер знайшов інший метод розв'язування рівняння 4-го степеня і намагався узагальнити його для будь-якого алгебраїчного рівняння.

Лагранж першим зробив висновок, що загальний розв'язок рівняння степеня $n\geqslant 5$ не може бути знайдений за допомогою вже відомих методів. Це твердження першим коректно довів Абель: 1824 року — для рівнянь 5-го степеня, а 1826 року — для всіх степенів $n>4$. Роботи Лагранжа мали велике значення для теорії груп, оскільки Лагранж вперше встановив зв'язок між розв'язками алгебраїчних рівнянь і підстановками. Симетричні групи підстановок були відкриті завдяки Лагранжу. Розглядаючи симетричні функції, він довів важливу теорему, яка в сучасній теорії груп називається теоремою Лагранжа.

Руффіні навів декілька доведень нерозв'язності рівнянь 5-го степеня в радикалах, і таким чином визначив усі підгрупи симетричної групи $S_{5}$. Групу підстановок Руффіні називав «permutazione». Руффіні також розглядав теорему Лагранжа і висловив гіпотезу, що для кожного $k$, що ділить $|S_{n}|$, існує підгрупа порядку $k$.

Термін «група» вперше використав Галуа 1829 року. Він вживав слова французьке слово le groupe, яке в перекладі означає «множини», «комплекси». Галуа не дав означення групи. Під групою він розумів множину підстановок, замкнених відносно операції множення. Однак усталену термінологію він не запровадив.

Отже, в 60-ті роки теорія рівнянь виділилась як самостійна галузь дослідження теорії груп підстановок.

На провідну роль поняття групи в математиці звернули увагу С. Лі та Ф. Клейн. Лі запровадив поняття неперервної групи (групи, елементи якої залежать від систем неперервно змінних параметрів, що задовольняють певним диференціальним умовам) та використав методи теорії груп для класифікації й спрощення розв'язків певних диференціальних рівнянь. Клейн переглянув різні типи геометрій з групової точки зору. Він вважав, що кожна група перетворень задає певну геометрію.

Для розвитку теорії груп велике значення мали підручники Серре, Сальмана, Вебера та монографія Бернсарда. У них зазвичай розглядались скінченні групи. Скінченні групи не змогли задовольнити всіх потреб. Через виникнення нескінченних структур, подібних до груп, виникла як самостійна дисципліна абстрактна теорія груп. Основи теорії груп без обмеження їх скінченності було викладено в монографії «Абстрактна теорія груп» студента-п'ятикурсника Київського університету імені Т. Г. Шевченка О. Ю. Шмідта.

Пізніше розпочався розвиток загальної теорії груп, який був пов'язаний із перебудовою алгебри в 20-ті роки ХХ століття. Сьогодні теорія груп — це надзвичайно важливий та цікавий розділ математики, що займає провідне місце в сучасній алгебрі.

Див. також

• Словник термінів теорії груп
• Симетрична група
• Циклічна група
• Фактор-група
• Гомоморфізм груп
• Ізоморфізм груп
• Група Галуа
• Нормальна підгрупа
• Центр групи
• Теорема Лагранжа
• Підгрупа
• Група кіс

Література

Українською

• О.О. Безущак; О.Г. Ганюшкін (2005). Теорія груп: Навчальний посібник для студентів механіко-математичного факультету (PDF) (українська) . Київ: Київський унiверситет. с. 122. Архів оригіналу (PDF) за 27 листопада 2014. Процитовано 29 березня 2014. {{cite book}}: Cite має пусті невідомі параметри: |пубрік=, |авторлінк=, |пубдата= та |пубмісяць= (довідка)
• Голод П. І., Клімик А. У. Математичні основи теорії симетрії. — К. : Наукова думка, 1992. — 368 с. (укр.)
• Требенко Д. Я., Требенко О. О. Алгебра і теорія чисел: У 2 ч. — Ч.1. — К.: НПУ ім. М. П. Драгоманова. — 2009. — 420 с.

Іншими мовами

• (англ.) John F. Humphreys. A Course in Group Theory. — Oxford Science Publications, 1996. — 296 с. — ISBN 978-0198534532.
• (англ.) Джозеф Ротман. An Introduction to the Theory of Groups. — 4th. — Springer (Graduate Texts in Mathematics), 1994. — 532 с. — ISBN 978-0387942858.(англ.)
• (рос.) Курош А. Г. Теория групп. — 3-е изд. — Москва : Наука, 1967. — 648 с. — ISBN 5-8114-0616-9.(рос.)
• (рос.) Ленг С. Алгебра. — Москва : Мир, 1968. — 564 с. — ISBN 5458320840.(рос.)