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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Означення[ред.ред. код]

Групою називається множина G, на якій визначено бінарну операцію , що зазвичай називають множенням і позначають або , і має такі властивості:

  • Асоціативність: для довільних елементів a, b, c групи G виконується рівність
  • Існування нейтрального елемента: існує елемент e такий, що для кожного елемента a групи G виконується
  • Існування оберненого елемента: для кожного елемента a групи існує елемент такий, що .

Операція множення в групі не обов'язково є комутативною.

Таким чином, група є моноїдом, у якому для кожного елемента існує обернений.

Властивості абстрактних груп вивчаються в теорії груп. Провідну роль у геометрії, зокрема в диференціальній геометрії і топології, відіграють дії груп на різноманітних просторах (див. також групи перетворень).

Абелеві групи і адитивні групи[ред.ред. код]

Група називається комутативною або абелевою (на честь норвезьського математика Нільса Генріха Абеля), якщо додатково виконується тотожність

(закон комутативності).

Групову операцію в комутативній групі часто записують як додавання (звичайне додавання дійсних чисел чи векторів є прикладом групової операції). У такому випадку змінюється позначення на . Роль нейтрального елемента відіграє нульовий елемент що задовольняє тотожності:

Роль оберненого елемента відіграє протилежний елемент що задовольняє тотожності:

Приклади груп[ред.ред. код]

  1.  — адитивна група цілих чисел, зі звичайними додаванням , нульовим елементом і протилежним елементом . Так само утворюють адитивні групи всі раціональні, дійсні та комплексні числа. З іншого боку, натуральні числа не утворюють групи, тому що якщо .
  2. Для будь-якого натурального , залишки по модулю утворюють скінчену адитивну групу з елементів, циклічну групу порядку .
  3. , група перестановок -елементної множини. Операція — це композиція перестановок. Ця група — некомутативна при і нерозв'язна при . За теорією Галуа, з цього випливає нерозв'язність загального алгебраїчного рівняння степеня .
  4. Ненульові кватерніони .
  5. , група квадратних матриць з дійсними елементами і ненульовим визначником. Операція — це добуток матриць, нейтральний елемент — одинична матриця. Взагалі, можна розглянути матриці над довільним полем замість . З іншого боку, всі матриці не утворюють групу за множенням, тому що нульова матриця не має оберненої.
  6. , група матриць з дійсними елементами і визначником . Ця група є підгрупою групи з попереднього прикладу.
  7. Групи  — то топологічні групи і групи Лі. Останні дві групи діють на векторному просторі звичайним множенням матриць і векторів.
  8. Група поворотів і їх комбінацій Кубика Рубика.

Групи із додатковою структурою[ред.ред. код]

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

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

Див. також[ред.ред. код]

Примітки[ред.ред. код]

  1. Корн Г., Корн Т. (1984). 12.2-1. Справочник по математике для научних работников и инженеров (рос.) (вид. друге). Москва: Наука. 

Література[ред.ред. код]


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.