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

Група је у апстрактној алгебри скуп са бинарном операцијом, који задовољава аксиоме затворености, асоцијативности и има неутрални и инверзни елемент. Грана математике која проучава групе је теорија група.

Ова слика илуструје како сати на часовнику формирају групу.

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

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

Дефиниција

Група $(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|=\infty$.
• Ред елемента $a$ из групе $G$ је најмањи позитиван цео број $n$ такав да $a^{n}=e$, где је $a^{n}$ умножак $a$ самим собом $n$ пута (или друга погодна композиција у зависности од оператора групе). Ако не постоји такво $n$, тада се каже да је ред од $a$ бесконачан.

Подгрупа

Скуп $H$ је подгрупа групе $G$ ако је подскуп $G$ и група у односу на операцију дефинисану на $G$. Другим речима, $H$ је подгрупа од $(G,*)$ ако је рестрикција од $*$ на $H$ операција групе на $H$. Како су остала својства аутоматски задовољена, $H\subset G$ је подгрупа групе $G$ ако и само ако је затворен у односу на $*$ и инверз.

Ако је $G$ коначна група, тада је коначна и $H$. Притом ред од $H$ дели ред од $G$ по Лагранжовој теореми.

Ознаке група

Могуће је користити различите ознаке за групе у зависности од контекста и операције.

• Адитивне групе користе $+$ да означе сабирање, а $-$ да означе инверзе. На пример, $a+(-a)=0$ у $\mathbf {Z}$. Према опште прихваћеној конвенцији, ознака $+$ се користи искључиво за комутативне групе.
• Мултипликативне групе користе $*$ да означе множење, а $a^{-1}$ да означе инверзе. На пример, $a*a^{-1}=1$. Врло често се изоставља $*$ и записује се само $aa^{-1}$.
• Групе функција користе $\cdot$ да означе композицију функција, и $^{-1}$ да означе инверзе. На пример, $g\cdot g^{-1}=e$. Врло често се изоставља $\cdot$ и записује се само $gg^{-1}$.

Када се дефинишу групе, стандардна нотација подразумева да се користе заграде за дефинисање групе и њене операције. На пример, $(H,+)$ означава да је скуп $H$ група у односу на сабирање. За групе као што су $(Z_{n},+)$ и $(F_{n}^{*},*)$ је уобичајено да се изоставе заграде и операција, нпр. $Z_{n}$ и $F_{n}^{*}$. Такође је исправно да се група означава ознаком њеног скупа, нпр.$H$ или $\mathbb {Z}$.

Неутрал се означава словом $e$, али се понекад користи и нека друга ознака у зависности од групе. Код мултипликативних група, неутрал може да се означава бројем 1. Код група инвертибилних матрица, неутрал се обично означава као $\mathbf {I}$ или $\mathbf {E}$. Код адитивних група, неутрал може да се означава бројем 0. Код група функција, неутрал се обично означава као $f_{0}$ или ${\textrm {id}}$.

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

Врсте група

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

Група $G$ је Абелова или комутативна ако је операција комутативна, то јест, за свако $a$, $b$ из $G$, $a*b=b*a$. Абелове групе су добиле име по математичару Нилсу Абелу.

1. пример: Позната Абелова група је група целих бројева под сабирањем. Нека је $\mathbb {Z}$ скуп целих бројева,$\{...,-4,-3,-2,-1,0,1,2,3,4,...\}$, и нека симбол $+$ означава операцију сабирања. Тада је $(\mathbb {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. пример: Са друге стране, ако посматрамо целе бројеве са операцијом множења, означеног симболом $\cdot$, тада $(\mathbb {Z} ,\cdot )$ није група. Ово задовољава већину аксиома, али нема инверзе:

• Затвореност: Ако су $a$ и $b$ цели бројеви, тада је $a\cdot b$ цео број.
• Асоцијативност: Ако су $a$, $b$, и $c$ цели бројеви, онда $(a\cdot b)\cdot c=a\cdot (b\cdot c)$.
• Постоји неутрални елемент: $1$ је цео број, и за сваки цео број $a$, $1\cdot a=a\cdot 1=a$.
• Међутим, не важи да кад год је $a$ цео број, постоји цео број $b$ такав да $ab=ba=1$. На пример, $a=2$ је цео број, али једино решење једначине $ab=1$ у овом случају је ${\displaystyle }$. Не можемо да изаберемо $b={\frac {1}{2}}$ јер ${\frac {1}{2}}$ није цео број.

Како нема сваки елемент из $(\mathbb {Z} ,\cdot )$ инверз, $(\mathbb {Z} ,\cdot )$ није група. Међутим, ово јесте комутативни моноид, што је структура која се дефинише слично групи, али без захтева за постојањем инверза.

3. пример: Скуп рационалних бројева $\mathbb {Q}$ без нуле, тј. скуп свих разломака ${\frac {a}{b}}$, где су $a$ и $b$ цели бројеви, а $b$ је различито од нуле, са операцијом множења означеном симболом $\cdot$. Како рационалан број 0 нема мултипликативни инверз, $(\mathbb {Q} ,\cdot )$, као $(\mathbb {Z} ,\cdot )$, није група.

Међутим, ако користимо скуп свих рационалних бројева различитих од нуле, $\mathbb {Q} \setminus \{0\}$, тада $(\mathbb {Q} \setminus \{0\},\cdot )$ гради Абелову групу.

• Затвореност, асоцијативност, и постојање неутрала је лако проверити због својстава целих бројева.
• Инверз: Инверз ${\frac {a}{b}}$ је ${\frac {b}{a}}$ и аксиома је задовољена.

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

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

Циклични дијаграм за $S_{3}$.

У мултипликативном облику, традиционално записујемо $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)=e$, и
• $(ba)b=b(ab)=e$.

Ова група се назива симетричном групом над 3 слова, или $S_{3}$. Има ред 6 (или $3!$ факторијел), и није Абелова (јер, на пример $ab\neq ba$). Како је $S_{3}$ добијено од основних дејстава $a$ и $b$, кажемо да је скуп $\{a,b\}$ генераторни скуп групе.

Општије, можемо да дефинишемо симетричну групу од свих пермутација $N$ објеката. Ова група се означава као $S_{N}$ и реда је $N$ факторијел.

Један од разлога зашто су пермутационе групе важне је што се свака коначна група $G$ може представити као подгрупа симетричне групе $S_{N}$ (где је $N$ број елемената групе $G$); овај резултат је Кејлијева теорема.

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

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

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

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

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

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

1. пример: Код цикличне мултипликативне групе $G$, сви елементи $a^{n}$ групе су добијени скупом свих целобројних експонената примитивног елемента те групе: $G=\{a^{n}\mid n\in \mathbb {Z} {\pmod {m\in \mathbb {Z} }}\}$

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

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

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

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

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

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

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

$xb=e=xc$
$xb=xc$
$bxb=bxc$	(множењем слева са $b$)
$eb=ec$	(коришћењем $bx=e$)
$b=c$	(аксиома неутралног елемента)

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

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

• Може се вршити дељење у групама; то јест, ако су дати елементи $a$ и $b$ групе $G$, постоји тачно једно решење $x$ из $G$ једначине $x*a=b$ и тачно једно решење $y$ из $G$ једначине $a*y=b$. Опрез: у не-Абеловим групама, ови елементи $x$ и $y$ не морају бити једнаки, те тако у општем ознака ${\frac {a}{b}}$ нема смисла.

• Израз $a_{1}*a_{2}*...*a_{n}$ је недвосмислен, јер ће резултат бити исти невезано од тога где поставимо заграде. (Резултат примене принципа математичке индукције на асоцијативно својство.)

• (Чарапе и ципеле) Инверз производа је производ инверза у супротном редоследу: $(a*b)^{-1}=a^{-1}*b^{-1}$.

Доказ: Показаћемо да $(ab)(b^{-1}a^{-1})$, као што се тражи по дефиницији инверза.

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

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

Литература

• Ayres, Frank (1965). Schaum's Outline of Modern Abstract Algebra (1st изд.). McGraw-Hill. ISBN 9780070026551. 

Види још

• Групоид
• Моноид
• Полугрупа
• Подгрупа