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

Из Википедије, слободне енциклопедије
Ова слика илуструје како сати на часовнику формирају групу.

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

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

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

Дефиниције[уреди]

Група (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| = ∞.

Ред елемента a из групе G је најмањи позитиван цео број n такав да an = e, где је an умножак a самим собом n пута (или друга погодна композиција у зависности од оператора групе). Ако не постоји такво n, тада се каже да је ред од a бесконачан.

Подгрупе[уреди]

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

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

Абелове групе[уреди]

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

Циклична група[уреди]

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

Мултипликативна циклична група где је G група, а a генератор:

G = \{ a^n \mid n \in \Z \}

Адитивна циклична група, са генератором a:

G' = \{ n * a \mid n \in \Z \}

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

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

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

Ознаке за групе[уреди]

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

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

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

Када се дефинишу групе, стандардна нотација подразумева да се користе заграде за дефинисање групе и њене операције. На пример, (H, +) означава да је скуп H група у односу на сабирање. За групе као што су (Zn, +) и (Fn*, *) је уобичајено да се изоставе заграде и операција, нпр. Zn и Fn*. Такође је исправно да се група означава ознаком за њен скуп, нпр.H или \Z.

Неутрал се означава са e, али се понекад користи и нека друга ознака у зависности од групе:

  • Код мултипликативних група, неутрал може да се означава са 1.
  • Код група инвертибилних матрица, неутрал се обично означава са I или E.
  • Код адитивних група, неутрал може да се означава са 0.
  • Код група функција, неутрал се обично означава са f0 или 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 за одговарајуће скупове.

Примери група[уреди]

Абелова група: цели бројеви под сабирањем[уреди]

Позната група је група целих бројева под сабирањем. Нека је 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.

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

Цикличне мултипликативне групе[уреди]

У случају цикличне мултипликативне групе G, сви елементи an групе су добијени скупом свих целобројних експонената примитивног елемента те групе :

G = \{ a^n \mid n \in \Z \pmod{m \in \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}, итд.) био унутар скупа.

Није група: цели бројеви под множењем[уреди]

Са друге стране, ако посматрамо целе бројеве са операцијом множења, означеног са "·", тада (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, ·) није група. Међутим, ово јесте комутативни моноид, што је структура која се дефинише слично групи, али без захтева за постојањем инверза.

Абелова група: рационални бројеви без нуле под множењем[уреди]

Посматрајмо скуп рационалних бројева Q, скуп свих разломака a/b, где су a и b цели бројеви, а b је различито од нуле, и операција множења се означава са "·". Како рационалан број 0 нема мултипликативни инверз, (Q, ·), као (Z, ·), није група.

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

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

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

Коначна не-Абелова група: пермутације скупа[уреди]

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

У мултипликативном облику, традиционално записујемо 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 слова, или S3. Има ред 6 (или 3 факторијел), и није Абелова (јер, на пример abba). Како је S3 добијено од основних дејстава a и b, кажемо да је скуп {a, b} генераторни скуп групе.

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

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

Једноставне теореме[уреди]

  • Група има тачно један неутрал.
Доказ: Претпоставимо да су и e и f неутрали. Тада по дефиницији неутрала, fe = ef = e и такође ef = fe = f. Али онда је e = f.
Следи да је неутрал јединствен.
  • Сваки елемент има тачно један инверз.
Доказ: Претпоставимо да су и 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 не морају бити једнаки, те тако у општем ознака b/a нема смисла.
  • Израз "a1 * a2 * ··· * an" је недвосмислен, јер ће резултат бити исти невезано од тога где поставимо заграде. (Резултат примене принципа математичке индукције на асоцијативно својство.)
  • (Чарапе и ципеле) Инверз производа је производ инверза у супротном редоследу: (a * b)−1 = b−1 * a−1.
Доказ: Показаћемо да (ab)(b-1a-1) = (b-1a-1)(ab) = e, као што се тражи по дефиницији инверза.
(ab)(b^{-1}a^{-1}) = a(bb^{-1})a^{-1} (асоцијативност)
= aea^{-1} (дефиниција инверза)
= aa^{-1} (дефиниција неутралног елемента)
= e (дефиниција инверза)
И слично за други смер.

Литература[уреди]

  • Ayres, Frank, Schaum's Outline of Modern Abstract Algebra, McGraw-Hill; 1st edition (June 1, 1965). ISBN 0070026556.

Види још[уреди]