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

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

Групе које нису комутативне се називају не-Абелове (или некомутативне). Абелове групе су добиле име по норвешком математичару Нилсу Абелу.

Операције у Абеловој групи могу бити записане адитивно или мултипликативно.

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

Свака циклична група G је Абелова, јер ако су x, y из G, онда xy = a^maⁿ = a^{m + n} = a^{n + m} = aⁿa^m = yx. Тако, на пример, скуп целих бројева, Z, чини Абелову групу у односу на сабирање, као и цели бројеви по модулу n, Z/nZ.

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

Матрице формата n × n, чак и инвертибилне матрице, не граде за n > 1 Абелове групе у односу на множење, јер множење матрица у општем није комутативно.

Како бисмо проверили да је коначна група Абелова, можемо конструисати табелу (матрицу), познату као Кејлијеву табелу, сличну таблици множења. Ако је група G = {g₁ = e, g₂, ..., g_n} под операцијом ⋅, (i, j)-ти члан табеле садржи производ g_i ⋅ g_j. Група је Абелова акко је ова табела симетрична у односу на главну дијагоналу (тј. ако је матрица симетрична).

Ово је тачно, јер је група Абелова ако и само ако је g_i ⋅ g_j = g_j ⋅ g_i за све i, j, дакле да (i, j)-ти члан табеле треба бити једнак (j, i)-том члану.

Ако је n природан број и x је елемент Абелове групе G записане адитивно, онда се nx може дефинисати као x + x + ... + x (n сабирака) и (−n)x = −(nx). На овај начин, G постаје модул над прстеном Z целих бројева. Заправо, на овај начин се модули над Z могу идентификовати са Абеловим групама.

Теореме о Абеловим групама (тј. модулима над главноидеалским доменом Z) се често могу уопштити на теореме о модулима над произвољним главноидеалским доменом. Типичан и важан пример је класификација коначно генерисаних Абелових група.

Ако f, g : G  →  H су два хомоморфизма група између група, при чему је H Абелова група, тада је њихов збир f + g, дефинисан као (f + g)(x) = f(x) + g(x), такође хомоморфизам. (Ово није тачно ако је H не-Абелова група).

Унеколико сродно димензији векторских простора, свака Абелова група има ранг. Он се дефинише као кардиналност највећег скупа линеарно независних елемената групе. Цели бројеви и рационални бројеви имају ранг један, као и свака подгрупа рационалних бројева. Док су неторзионе Абелове групе ранга један добро изучене, чак и Абелове групе коначног ранга нису добро проучене. Абелове групе бесконачног ранга могу имати веома сложену структуру, и још увек постоји пуно отворених питања, често блиско везаних за питања теорије скупова.

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

На пример, Z/15Z = Z/15 се може изразити као директна сума две цикличке подгрупе реда 3 и 5: Z/15 = {0, 5, 10} ⊕ {0, 3, 6, 9, 12}. Исто се може рећи за сваку Абелову групу реда 15, што доводи до изузетног закључка да су све Абелове групе реда 15 изоморфне.

Као још један пример, свака Абелова група реда 8 је изоморфна или Z/8 (нпр. група целих бројева од 0 до 7 у односу на сабирање по модулу 8), Z/4  ⊕ Z/2 (нпр. група непарних целих бројева од 1 до 15 у односу на множење по модулу 16), или Z/2  ⊕  Z/2  ⊕  Z/2 (нпр. група уређених тројки целих бројева у односу на почлано сабирање по модулу 2).

Z_mn је изоморфно директном производу Z_m и Z_n ако и само ако су m и n узајамно прости. Овде Z_n ≅ Z/nZ означава цикличну групу реда n.

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

${\displaystyle G=G_{1}\oplus G_{2}\oplus \cdots \oplus G_{u}\cong \mathbb {Z} _{k_{1}}\oplus \mathbb {Z} _{k_{2}}\cdots \oplus \mathbb {Z} _{k_{u}}}$ 

на два начина:

• где су бројеви k₁,...,k_u (редови подгрупа G_i) степени простих бројева
• где k₁ дели k₂, које дели k₃ и тако даље до k_u.

У сваком од њих бројеви k₁,...,k_u су једнозначно одређени (у првом до на редослед). Користи се један или други запис већ како је погодно за дати проблем.

На пример:

• Постоји, до на изоморфизам, тачно једна Абелова група реда 6, наиме Z₂ ⊕ Z₃, односно Z₆. Слично, свака Абелова група реда 10 је изоморфна Z₂ ⊕ Z₅, односно Z₁₀.
• Абелова група реда 12 = 2 · 2 · 3 може бити изоморфна Z₄ ⊕ Z₃, односно Z₁₂, или може бити изоморфна Z₂ ⊕ Z₂ ⊕ Z₃, односно Z₂ ⊕ Z₆. Притом ова два типа групе нису изоморфна међу собом (ово је исказ о једнозначности у стурктурној теореми), на пример зато што прва од њих садржи елементе реда 4, а друга не.

Аутоморфизми коначних Абелових група

Структурна теорема се може применити да се преброје (и понекад одреде) аутоморфизми дате коначне Абелове групе G. Да би се ово урадило, користи се чињеница (чији доказ овде неће бити изнет) да, ако је група G директна сума својих двеју подгрупа H ⊕ K узајамно простих редова, тада Aut(H ⊕ K) ≅ Aut(H) ⊕ Aut(K).

Уз ово, структурна теорема показује да како би се израчунали аутоморфизми групе G, довољно је да се израчунају аутоморфизми групе Силовљевих p-подгрупа одвојено (то јест, свих цикличних подгрупа реда степена p). Фиксирајмо прост број p и претпоставимо да су експоненти e_i цикличних фактора распоређени у растућем редоследу:

e₁ ≤ e₂ ≤ … ≤ e_n

за неко n > 0.

Један специјалан случај је када је n = 1, тако да постоји само један циклични фактор у Силовљевој p-подгрупи P. У овом случају се може користити једноставна теорија аутоморфизама коначне цикличне групе. Наиме, аутоморфизам је једнозначно одређен дејством на један фиксни генератор групе, који може пресликати у било који од генератора групе, и само њих. Према томе је у овом случају

Aut(P)| = p^e − p^e−1.

Још један специјалан случај је када је n произвољно, али e_i = 1 за 1 ≤ i ≤ n. У овом случају, P је изоморфно групи облика

Z_p ⊕ … ⊕ Z_p,

па се елементи ове подгрупе могу посматрати као да сачињавају векторски простор димензије n над коначним пољем од p елемената F_p. Аутоморфизми ове подгрупе су стога дати инвертибилним линеарним трансформацијама, па

Aut(P) ≅ GL(n, F_p),

за шта једноставан аргумент бројењем показује да је реда

Aut(P)| = (pⁿ − 1) … (pⁿ − pⁿ⁻¹).

У најопштијем случају, где су e_i и n произвољни, аутоморфизам групе је теже одредити. Познато је, међутим, да ако се дефинише

e_r = e_k}

и

e_r = e_k},

тако да посебно имамо d_k ≥ k ≥ c_k, тада је

${\displaystyle |\mathrm {Aut} (P)|=\left(\prod _{k=1}^{n}{p^{d_{k}}-p^{k-1}}\right)\left(\prod _{j=1}^{n}{(p^{e_{j}})^{n-d_{j}}}\right)\left(\prod _{i=1}^{n}{(p^{e_{i}-1})^{n-c_{i}+1}}\right).}$ 

Ово даје редове из претходних примера као специјалне случајеве.

Следи табела малих Абелових група.

Имати у виду да на пример "3 × Z₂" значи да постоје 3 подгрупе типа Z₂, док на другим местима крстић предсатвља директан производ.

Ред	Група	Подгрупе	Својства	Циклични граф
1	тривијална група = Z1 = S1 = A2	-	разна својства важе тривијално
2	Z2 = S2 = Dih1	-	једноставна, најмања нетривијална група
3	Z3 = A3	-	једноставна
4	Z4	Z2
	Клајнова 4-група = Z2 2 = Dih2	3 × Z2	најмања нециклична група
5	Z5	-	проста
6	Z6 = Z3 × Z2	Z3, Z2
7	Z7	-	проста
8	Z8	Z4, Z2
	Z4 ×Z2	2 × Z4, Z22, 3 ×Z2
	Z2 3	7 × Z22, 7 × Z2	не-неутрални елементи одговарају тачкама у Фаноовој равни
9	Z9	Z3
	Z3 × Z3	4 × Z3
10	Z10 = Z5 × Z2	Z5, Z2
11	Z11	-	проста
12	Z12 = Z4 × Z3	Z6, Z4, Z3, Z2
	Z6 × Z2 = Z3 × Z2 × Z2 = Z3 × Z22	2 × Z6, Z3, 3 × Z2
13	Z13	-	проста
14	Z14 = Z7 × Z2	Z7, Z2
15	Z15 = Z5 × Z3	Z5, Z3
16	Z16	Z8 , Z4 , Z2
	Z24	15 × Z2, 35 × Dih2, 15 × Z23
	Z4 × Z22	7 × Z2, 4 × Z4, 7 × Dih2, Z23, 6 × Z4 × Z2
	Z8 × Z2	3 × Z2, 2 × Z4, Dih2, 2 × Z8, Z4 × Z2
	Z42	3 × Z2, 6 × Z4, Dih2, 3 × Z4 × Z2

 

Абелова група на Викимедијиној остави.

• Hazewinkel Michiel, ур. (2001). „Abelian group”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104.