Изворни код странице Група (математика)

[[Датотека:Clock_group.svg|мини|десно|300п|Ова слика илуструје како сати на часовнику формирају групу.]]
'''Група''' је у [[апстрактна алгебра|апстрактној алгебри]] [[скуп]] са [[бинарна операција|бинарном операцијом]], који задовољава аксиоме затворености, асоцијативности и има неутрални и инверзни елемент. Грана математике која проучава групе је [[теорија група]].

Многе структуре којима се математика бави су у ствари групе. Међу њима су познати бројевни системи, као што су цели бројеви, [[рационалан број|рационални бројеви]], [[реалан број|реални бројеви]], и [[комплексан број|комплексни бројеви]] под сабирање, као и рационални бројеви различити од нуле, реални бројеви и комплексни бројеви под [[множење]]м. Други важни примери су групе не-сингуларних [[матрица (математика)|матрица]] под множењем, и група [[инверзна функција|инвертибилних функција]] под слагањем функција. Теорија група омогућава да се својства оваквих структура изучавају у општим случајевима.

Теорија група има широку примену у математици и другим природним наукама. Многе [[алгебарска структура|алгебарске структуре]], као што су [[поље (математика)|поља]] и [[векторски простор]]и могу концизно да се дефинишу у терминима група, и теорија група пружа важне алате за проучавање [[симетрија|симетрије]], јер симетрије сваког објекта граде групу. Групе су стога кључне апстракције у гранама физике које се тичу принципа симетрије, као што су [[теорија релативности|теорија релативитета]], [[квантна механика]], и [[физика честица]]. Штавише, њихова могућност да представе [[геометрија|геометријске]] трансформације им доноси примену у [[хемија|хемији]], [[рачунарство|рачунарству]], и другим областима.

== Дефиниција ==
Група (-{G}-, *) је [[скуп]] -{G}- са бинарном операцијом *, која задовољава следеће четири [[аксиома|аксиоме]]:

* ''[[Затвореност (математика)|Затвореност]]'': За свако ''-{a}-'', ''-{b}-'' из ''-{G}-'', резултат ''-{a}-'' * ''-{b}-'' је такође у ''-{G}-''.
Најчешће се захтев за затвореношћу не наводи експлицитно, јер се он подразумева у исказу да је * бинарна операција.
* ''[[Асоцијативност]]'': За свако ''-{a}-'', ''-{b}-'' и ''-{c}-'' из ''-{G}-'', (''-{a}-'' * ''-{b}-'') * ''-{c}-'' = ''-{a}-'' * (''-{b}-'' * ''-{c}-'').
* ''[[Неутрал]]'': Постоји елемент ''-{e}-'' из ''-{G}-'' такав да за свако ''-{a}-'' из ''-{G}-'', -{''e'' * ''a'' = ''a'' * ''e'' = ''a''}-.
Може се показати да група има тачно један неутрал.
* ''[[Инверз (математика)|Инверз]]'': За свако ''-{a}-'' из ''-{G}-'', постоји елемент ''-{b}-'', такође из ''-{G}-'', такав да -{''a'' * ''b'' = ''b'' * ''a'' = ''e''}-, где је ''-{e}-'' неутрал.
Може се показати да је инверз датог елемента јединствен, и да је леви и десни инверз елемента исти. Постоје и уже дефиниције, које замењују другу и трећу аксиому концептом ''левог'' (или ''десног'') неутрала и инверза.

Група ''-{(G,*)}-'' се често означава само са ''-{G}-'', кад не постоји двосмисленост око тога шта је операција.

== Основни концепти теорије група ==

* ''Ред групе -{G}-'', који се означава са |''-{G}-''|, је број елемената у скупу ''-{G}-''. Ако ред није коначан, тада је група ''бесконачна група'', што се означава са |''-{G}-''|&nbsp;=&nbsp;∞.
* ''Ред елемента -{a}-'' из групе ''-{G}-'' је најмањи позитиван цео број ''-{n}-'' такав да -{''a<sup>n</sup>&nbsp;=&nbsp;e''}-, где је -{''a<sup>n</sup>''}- умножак ''-{a}-'' самим собом ''-{n}-'' пута (или друга погодна композиција у зависности од оператора групе). Ако не постоји такво ''-{n}-'', тада се каже да је ред од ''-{a}-'' бесконачан.

=== Подгрупа ===
Скуп ''-{H}-'' је [[подгрупа (математика)|подгрупа]] групе ''-{G}-'' ако је подскуп од ''-{G}-'' и група у односу на операцију дефинисану на ''-{G}-''. Другим речима, ''-{H}-'' је подгрупа од (''-{G}-'',&nbsp;*) ако је рестрикција од * на ''-{H}-'' операција групе на ''-{H}-''. Како су остала својства аутоматски задовољена, ''-{H}-&nbsp;⊂&nbsp;-{G}-'' је подгрупа групе ''-{G}-'' ако и само ако је затворен у односу на * и инверз.

Ако је ''-{G}-'' коначна група, тада је коначна и ''-{H}-''. Притом ред од ''-{H}-'' дели ред од ''-{G}-'' по [[Лагранжова теорема (теорија група)|Лагранжовој теореми]].

=== Ознаке за групе ===
Могуће је користити различите ознаке за групе у зависности од контекста и операције.
* Адитивне групе користе ''+'' да означе сабирање, а ''-'' да означе инверзе. На пример, -{''a''&nbsp;+&nbsp;(−''a'')&nbsp;=&nbsp;0}- у '''-{Z}-'''. Према опште прихваћеној конвенцији, ознака ''+'' се користи искључиво за комутативне групе.
* Мултипликативне групе користе ''*'' да означе множење, а ''<sup>-1</sup>'' да означе инверзе. На пример, -{''a''&nbsp;*&nbsp;''a''<sup>-1</sup>&nbsp;=&nbsp;1}-. Врло често се изоставља ''*'' и записује се само -{''aa''<sup>-1</sup>}-.
* Групе функција користе ''•'' да означе композицију функција, и <sup>-1</sup> да означе инверзе. На пример, -{''g''&nbsp;•&nbsp;''g''<sup>-1</sup>&nbsp;=&nbsp;''e''}-. Врло често се изоставља ''•'' и записује се само -{''gg''<sup>-1</sup>}-.

Када се дефинишу групе, стандардна нотација подразумева да се користе заграде за дефинисање групе и њене операције. На пример, (-{H}-, +) означава да је скуп -{H}- група у односу на сабирање. За групе као што су (-{Z<sub>n</sup>}-, +) и (-{F<sub>n</sub>}-*, *) је уобичајено да се изоставе заграде и операција, нпр. -{Z<sub>n</sup>}- и -{F<sub>n</sub>}-*. Такође је исправно да се група означава ознаком за њен скуп, нпр.''-{H}-'' или <math>\Z</math>.

Неутрал се означава са ''-{e}-'', али се понекад користи и нека друга ознака у зависности од групе. Код мултипликативних група, неутрал може да се означава са 1. Код група инвертибилних матрица, неутрал се обично означава са -{I}- или -{E}-. Код адитивних група, неутрал може да се означава са 0. Код група функција, неутрал се обично означава са -{f}-<sub>0</sub> или -{id}-.

Ако је ''-{S}-'' подскуп од ''-{G}-'' и ''-{x}-'' је елемент из ''-{G}-'', тада, у мултипликативној нотацији, ''-{xS}-'' је скуп свих производа {-{''xs'' : ''s''}- из ''-{S}-''}; слично, нотација -{''Sx'' = {''sx'' : ''s''}- из ''-{S}-''}; и за два подскупа ''-{S}-'' и ''-{T}-'' од ''-{G}-'', се пише ''-{ST}-'' за {-{''st'' : ''s''}- из ''-{S}-'', ''-{t}-'' из ''-{T}-''}. У адитивној нотацији, записује се -{''x'' + ''S'', ''S'' + ''x''}-, и -{''S'' + ''T''}- за одговарајуће скупове.

== Врсте група ==

=== Абелова група ===

Група ''-{G}-'' је [[Абелова група|Абелова]] или комутативна ако је операција комутативна, то јест, за свако ''-{a}-'', ''-{b}-'' из ''-{G}-'', -{''a'' * ''b'' = ''b'' * ''a''}-. Абелове групе су добиле име по математичару [[Нилс Абел|Нилсу Абелу]].

'''1. пример:''' Позната Абелова група је група [[цео број|целих бројева]] под [[сабирање]]м. Нека је '''-{Z}-''' скуп целих бројева, {..., −4, −3, −2, −1, 0, 1, 2, 3, 4, ...}, и нека симбол "+" означава операцију сабирања. Тада је ('''-{Z}-''', +) група, пошто су испуњени захтеви:

* Затвореност: Ако су ''-{a}-'' и ''-{b}-'' цели бројеви, тада је ''-{a}-'' + ''-{b}-'' цео број.
* Асоцијативност: Ако су ''-{a}-'', ''-{b}-'', и ''-{c}-'' цели бројеви, тада је -{(''a'' + ''b'') + ''c'' = ''a'' + (''b'' + ''c'')}-.
* Постоји неутрал: 0 је цео број, и за сваки цео број ''-{a}-'', -{0 + ''a'' = ''a'' + 0 = ''a''}-.
* Постоји инверз: Ако је ''-{a}-'' цео број, тада цео број −''-{a}-'' задовољава правила инверза: -{''a'' + (−''a'') = (−''a'') + ''a'' = 0}-,

и одавде наведена група је Абелова, јер важи -{''a'' + ''b'' = ''b'' + ''a''}-.

Проширењем операција, ако додамо и операцију множења на истом скупу, добијамо целе бројеве са сабирањем и множењем, што ће представљати компликованију алгебарску структуру, која се назива [[алгебарски прстен|прстен]].

'''2. пример:''' Са друге стране, ако посматрамо целе бројеве са операцијом [[множење|множења]], означеног са "·", тада ('''-{Z}-''', ·) није група. Ово задовољава већину аксиома, али нема инверзе:
* Затвореност: Ако су ''-{a}-'' и ''-{b}-'' цели бројеви, тада је ''-{a}-'' · ''-{b}-'' цео број.
* Асоцијативност: Ако су ''-{a}-'', ''-{b}-'', и ''-{c}-'' цели бројеви, онда -{(''a'' · ''b'') · ''c'' = ''a'' · (''b'' · ''c'')}-.
* Постоји неутрални елемент: 1 је цео број, и за сваки цео број -{''a'', 1 · ''a'' = ''a'' · 1 = ''a''}-.
* Међутим, не важи да кад год је ''-{a}-'' цео број, постоји цео број ''-{b}-'' такав да -{''ab'' = ''ba'' = 1}-. На пример, ''-{a}-'' = 2 је цео број, али једино решење једначине ''-{ab}-'' = 1 у овом случају је ''-{b}- = 1/2''. Не можемо да изаберемо ''-{b}-'' = 1/2 јер 1/2 није цео број.

Како нема сваки елемент из ('''-{Z}-''', ·) инверз, ('''-{Z}-''', ·) ''није'' група. Међутим, ово јесте комутативни [[моноид]], што је структура која се дефинише слично групи, али без захтева за постојањем инверза.

'''3. пример:''' Скуп [[рационалан број|рационалних бројева]] '''-{Q}-''' без нуле, тј. скуп свих разломака -{''a''/''b''}-, где су ''-{a}-'' и ''-{b}-'' цели бројеви, а ''-{b}-'' је различито од нуле, са операцијом множења означеном са "·". Како рационалан број [[0 (број)|0]] нема мултипликативни инверз, ('''-{Q}-''', ·), као ('''-{Z}-''', ·), није група.

Међутим, ако користимо скуп свих рационалних бројева ''различитих од нуле'', '''-{Q}-''' \ {0}, тада ('''-{Q}-''' \ {0}, ·) ''гради'' Абелову групу.
* Затвореност, асоцијативност, и постојање неутрала је лако проверити због својстава целих бројева.
* Инверз: Инверз од -{''a''/''b''}- је -{''b''/''a''}- и аксиома је задовољена.

Не губимо затвореност уклањањем нуле, јер је производ два рационална броја различита од нуле увек различит од нуле. Као што цели бројеви дају [[алгебарски прстен|прстен]], рационални бројеви дају алгебарску структуру [[поље (математика)|поље]], која допушта операције сабирања, одузимања, множења и дељења.

'''4. пример:''' За конкретнији пример групе, узмимо три обојене плочице (црвену, зелену и плаву) на почетку постављене у распоред ЦЗП. Нека је ''-{a}-'' дејство „замени прву и другу плочицу“, и нека је ''-{b}-'' дејство „замени другу и трећу плочицу“.

[[Датотека:Group diagram d6.svg|200п|мини|десно|Циклични дијаграм за -{S}-<sub>3</sub>.]]
У мултипликативном облику, традиционално записујемо ''-{xy}-'' за комбиновано дејство у „прво уради ''-{y}-'', а затим уради ''-{x}-''"; тако да је ''-{ab}-'' акција ЦЗП → ЦПЗ → ПЦЗ, тј, „узми плаву плочицу, и помери је на почетак“.
Ако са ''-{e}-'' означавамо дејство „остави плочице тамо где јесу“ (неутрал), тада можемо да напишемо шест [[пермутација]] [[скуп]]а три плочице као следећа дејства:

* ''-{e}-'' : ЦЗП → ЦЗП
* ''-{a}-'' : ЦЗП → ЗЦП
* ''-{b}-'' : ЦЗП → ЦПЗ
* ''-{ab}-'' : ЦЗП → ПЦЗ
* ''-{ba}-'' : ЦЗП → ЗПЦ
* ''-{aba}-'' : ЦЗП → ПЗЦ

Дејство ''-{aa}-'' има ефекат ЦЗП → ЗЦП → ЦЗП, што оставља плочице тамо где су и биле; тако да записујемо ''-{aa}-'' = ''-{e}-''.
Слично,
* -{''bb'' = ''e''}-,
* -{(''aba'')(''aba'') = ''e''}-, и
* -{(''ab'')(''ba'') = (''ba'')(''ab'') = ''e''}-;
тако да свако од горе наведених дејстава има инверз.

Провером, можемо такође да утврдимо асоцијативност и затвореност; обратимо пажњу на пример да
* -{(''ab'')''a'' = ''a''(''ba'') = ''aba''}-, и
* -{(''ba'')''b'' = ''b''(''ab'') = ''bab''}-.

Ова група се назива ''[[симетрична група|симетричном групом]] над 3 слова'', или ''-{S}-''<sub>3</sub>.
Има ред 6 (или 3 [[факторијел]]), и није Абелова (јер, на пример ''-{ab}-'' ≠ ''-{ba}-'').
Како је ''-{S}-''<sub>3</sub> добијено од основних дејстава ''-{a}-'' и ''-{b}-'', кажемо да је скуп {''-{a}-'', ''-{b}-''} ''[[генераторни скуп групе]]''.

Општије, можемо да дефинишемо [[симетрична група|симетричну групу]] од свих пермутација ''-{N}-'' објеката. Ова група се означава са ''-{S}-''<sub>''-{N}-''</sub> и реда је ''-{N}-'' факторијел.

Један од разлога зашто су пермутационе групе важне је што се свака коначна група -{''G''}- може представити као подгрупа симетричне групе ''-{S}-''<sub>''-{N}-''</sub> (где је ''-{N}-'' број елемената групе -{''G''}-); овај резултат је [[Кејлијева теорема]].

=== Циклична група ===

[[Циклична група]] је група чији елементи могу да буду генерисани узастопном применом операције која дефинише групу (и операције узимања инверзног елемента), примењене на само један елемент те групе. Овај примитивни елемент се назива генератором, или примитивним елементом групе.

* Мултипликативна циклична група где је ''-{G}-'' група, а ''-{a}-'' генератор <math>G = \{ a^n \mid n \in \Z \} </math>.
* Адитивна циклична група, са генератором ''-{a}-'': <math>G' = \{ n * a \mid n \in \Z \}</math>

Ако се сукцесивна примена операције која дефинише групу примени на ма који (могуће непримитивни) елемент групе, добија се [[циклична подгрупа]]. Ред цикличне подгрупе дели ред групе. Стога, ако је ред групе [[прост број|прост]], сви њени елементи, изузев неутрала су примитивни елементи групе.

Важно је напоменути да група садржи све цикличне подгрупе генерисане сваким од елемената групе. Међутим, група конструисана из цикличних подгрупа није обавезно циклична подгрупа. На пример, [[Клајнова четворна група]] <math>({\mathbb Z}/2{\mathbb Z})^2</math> није циклична група, иако је конструисана од две цикличне групе реда 2.

Свака коначна Абелова група се може представити као директан производ неких својих цикличних подгрупа, по [[Структурна теорема за коначне Абелове групе|структурној теореми за коначне Абелове групе]].

'''1. пример:''' Код цикличне [[мултипликативна група|мултипликативне групе]] ''-{G}-'', сви елементи -{''a<sup>n</sup>''}- групе су добијени скупом свих целобројних експонената примитивног елемента те групе: <math>G = \{ a^n \mid n \in \Z \pmod{m \in \Z} \}</math>

У овом примеру, ако је ''-{a}-'' једнако 2, и операција је оператор множења, тада ''-{G}-'' = <math>\{ .., 2^{-2}, 2^{-1}, 2^0, 2^1, 2^2, 2^3, .. \}</math> = <math>\{ .., 0,25, 0,5, 1, 2, 4, 8, .. \}</math>. [[Модуларна аритметика|Модуло]] ''-{m}-'' може да веже групу у [[коначан скуп]] са не-разломљеним скупом елемената, јер би инверз (и <math>x^{-2}</math>, итд.) био унутар скупа.

== Једноставне теореме ==

* Група има тачно један неутрал.

:''Доказ'': Претпоставимо да су и ''-{e}-'' и ''-{f}-'' неутрали. Тада по дефиницији неутрала, ''-{fe}-'' = ''-{ef}-'' = ''-{e}-'' и такође -{''ef'' = ''fe'' = ''f''}-. Али онда је -{''e'' = ''f''}-.

:Следи да је неутрал јединствен.

* Сваки елемент има тачно један инверз.

:''Доказ'': Претпоставимо да су и ''-{b}-'' и ''-{c}-'' инверзи елемента ''-{x}-''. Тада, по дефиницији инверза, -{''xb'' = ''bx'' = ''e'' и ''xc'' = ''cx'' = ''e''}-. Али онда:

::{|
|<math>xb = e = xc</math>
|-
|<math>xb = xc</math>
|-
|<math>bxb = bxc</math> || (множењем слева са ''-{b}-'')
|-
|<math>eb = ec</math> || (коришћењем ''-{bx}-'' = ''-{e}-'')
|-
|<math>b = c</math> || (аксиома неутралног елемента)
|}

:Следи да је инверз јединствен.

Прва два својства у ствари произлазе из асоцијативности бинарних операција дефинисаних на скупу. Ако је дата бинарна операција на скупу, постоји највише један неутрал и највише један инверз за сваки елемент (без обзира на то имају ли остали елементи инверзе).

* Може се вршити [[дељење (математика)|дељење]] у групама; то јест, ако су дати елементи ''-{a}-'' и ''-{b}-'' групе ''-{G}-'', постоји тачно једно решење ''-{x}-'' из ''-{G}-'' једначине -{''x'' * ''a'' = ''b''}- и тачно једно решење ''-{y}-'' из ''-{G}-'' једначине -{''a'' * ''y'' = ''b''}-. Опрез: у не-Абеловим групама, ови елементи ''-{x}-'' и ''-{y}-'' не морају бити једнаки, те тако у општем ознака ''-{b}-/-{a}-'' нема смисла.

* Израз "-{''a''<sub>1</sub> * ''a''<sub>2</sub> * ··· * ''a''<sub>''n''</sub>}-" је недвосмислен, јер ће резултат бити исти невезано од тога где поставимо заграде. (Резултат примене [[принцип математичке индукције|принципа математичке индукције]] на асоцијативно својство.)

* (''Чарапе и ципеле'') Инверз производа је производ инверза у супротном редоследу: -{(''a'' * ''b'')<sup>−1</sup> = ''b''<sup>−1</sup> * ''a''<sup>−1</sup>}-.

:''Доказ'': Показаћемо да -{(ab)(b<sup>-1</sup>a<sup>-1</sup>) = (b<sup>-1</sup>a<sup>-1</sup>)(ab) = e}-, као што се тражи по дефиницији инверза.

:::{|
|<math>(ab)(b^{-1}a^{-1})</math> || = || <math>a(bb^{-1})a^{-1}</math> || (асоцијативност)
|-
| || = || <math>aea^{-1}</math> || (дефиниција инверза)
|-
| || = || <math>aa^{-1}</math> || (дефиниција неутралног елемента)
|-
| || = || <math>e</math> || (дефиниција инверза)
|}

:И слично за други смер.

== Литература ==
* {{cite book|author=Ayres, Frank|title=Schaum's Outline of Modern Abstract Algebra|location=|publisher=McGraw-Hill|edition=1st|year=1965|isbn=9780070026551|pages=}}

== Види још ==
* [[Групоид]]
* [[Моноид]]
* [[Полугрупа]]
* [[Подгрупа (математика)|Подгрупа]]

[[Категорија:Теорија група]]
[[Категорија:Апстрактна алгебра]]