Вы находитесь на странице: 1из 25

Íà÷àëà òåîðèè ãðóïï è êîëåö

Ï.À. Êîæåâíèêîâ

12 ÿíâàðÿ 2018 ã.
2
3
4
Îãëàâëåíèå

1 Àáñòðàêòíûå îòîáðàæåíèÿ. 7
§ 1. Ïîíÿòèå îòîáðàæåíèÿ è ïðåîáðàçîâàíèÿ. Òåðìèíîëîãèÿ. Ïðèìåðû. . . . . . 7
§ 2. Îòíîøåíèå ýêâèâàëåíòíîñòè. ........................... 7
2 Ãðóïïû. 9
§ Îïðåäåëåíèå è íåêîòîðûå êîíñòðóêöèè. . . . . . . . . . . . . . . . .
1. . . . . . 9
Îïðåäåëåíèå è åãî ñëåäñòâèÿ. . . . . . . . . . . . . . . . . . . . . . . . 9
Àääèòèâíàÿ ôîðìà çàïèñè. . . . . . . . . . . . . . . . . . . . . . . . . . 11
Èçîìîðôèçì, ãîìîìîðôèçì. . . . . . . . . . . . . . . . . . . . . . . . . 11
Ïðÿìîå ïðîèçâåäåíèå (ïðÿìàÿ ñóììà). . . . . . . . . . . . . . . . . . . 12
Îáðàòèìûå ýëåìåíòû ïîëóãðóïïû. . . . . . . . . . . . . . . . . . . . . 12
Ïîäãðóïïû. Ïîðîæäàþùèå ìíîæåñòâà. . . . . . . . . . . . . . . . . . . 12
Ïðèìåðû. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
§ 2. Ïîðÿäîê ýëåìåíòà. Öèêëè÷åñêèå ãðóïïû. . . . . . . . . . . . . . . . . . . . . . 15
Ïîðÿäîê ýëåìåíòà. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Öèêëè÷åñêèå ãðóïïû è èõ êëàññèôèêàöèÿ. . . . . . . . . . . . . . . . . 16
Ïîäãðóïïû öèêëè÷åñêèå ãðóïï. . . . . . . . . . . . . . . . . . . . . . . 16
§ 3. Ñèììåòðè÷åñêàÿ ãðóïïà. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Óìíîæåíèå ïåðåñòàíîâîê. Öèêëû. Ïîðîæäàþùèå ìíîæåñòâà. . . . . . 17
×åòíîñòü ïåðåñòàíîâêè. . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
§ 4. Ñìåæíûå êëàññû. Òåîðåìà Ëàãðàíæà. . . . . . . . . . . . . . . . . . . . . . . 19
3 Êîëüöà è ïîëÿ. 21
§ Îïðåäåëåíèÿ è ïðèìåðû. . . . . . . . . . . . . . . . . . . . . . . .
1. . . . . . . . 21
Ïðèìåðû. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
§ 2. Íà÷àëà òåîðèè äåëèìîñòè â êîëüöàõ. . . . . . . . . . . . . . . . . . . . . . . . 22
§ 3. Êîëüöî Z. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Àëãîðèòì Åâêëèäà. Ëèíåéíîå ïðåäñòàâëåíèå ÍÎÄ. . . . . . . . . . . . 23
Ðàçëîæåíèå íà ïðîñòûå ìíîæèòåëè è åãî åäèíñòâåííîñòü. . . . . . . . 23
Êèòàéñêàÿ òåîðåìà îá îñòàòêàõ. . . . . . . . . . . . . . . . . . . . . . . 24
§ 4. Àðèôìåòèêà ïî ìîäóëþ n (êîëüöî Zn ). . . . . . . . . . . . . . . . . . . . . . . 24
Ñòðóêòóðà Zn. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
Äåëèòåëè íóëÿ è îáðàòèìûå ýëåìåíòû. Ïîëå Zp. . . . . . . . . . . . . 24
Õàðàêòåðèñòèêà ïîëÿ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
§ 5. Ïîëå êîìïëåêñíûõ ÷èñåë. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Îïåðàöèè â C. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Ãàóññîâû ÷èñëà. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Êâàòåðíèîíû. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
§ 6. Êîëüöî ìíîãî÷ëåíîâ îò îäíîé ïåðåìåííîé. . . . . . . . . . . . . . . . . . . . . 25
Äåëèìîñòü â F[X]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Íåïðèâîäèìûå ìíîãî÷ëåíû íàä R, C. . . . . . . . . . . . . . . . . . . . 25
5
6 Îãëàâëåíèå
Ãëàâà 1

Àáñòðàêòíûå îòîáðàæåíèÿ.

§ 1. Ïîíÿòèå îòîáðàæåíèÿ è ïðåîáðàçîâàíèÿ. Òåðìèíîëî-


ãèÿ. Ïðèìåðû.
ÂÀÆÍÎ ÇÍÀÒÜ ÒÅÐÌÈÍÛ, ÎÏÐÅÄÅËÅÍÈß È ÏÐÀÂÈËÜÍÎ ÈÕ ÏÎÍÈ-
ÌÀÒÜ!!
Áèíàðíûå îïåðàöèè íà ìíîæåñòâå.

§ 2. Îòíîøåíèå ýêâèâàëåíòíîñòè.
Îòíîøåíèå ýêâèâàëåíòíîñòè. Ìíîæåñòâî êëàññîâ ýêâèâàëåíòíîñòè (ôàêòîð-ìíîæåñòâî).
Ñ îòîáðàæåíèåì φ : X → Y ñâÿçàíî îòíîøåíèå ýêâèâàëåíòíîñòè: a ∼ b, åñëè φ(a) = φ(b).
ÏÐÈÌÅÐÛ:
1)ñâîáîäíûå âåêòîðû  êëàññû ýêâèâàëåíòíîñòè íàïðàâëåííûõ îòðåçêîâ ñ îòíîøåíèåì
ðàâåíñòâà.
2) êëàññû âû÷åòîâ ïî ìîäóëþ n,
3) C, z1 ∼ z2, åñëè |z1| = |z2|
4) Ïîäîáíûå ìàòðèöû: A, B ∈ Mn×n ïîäîáíû, åñëè ñóùåñòâóåò íåâûðîæäåííàÿ ìàòðèöà
S òàêàÿ, ÷òî B = S −1 AS .

7
8 Ãëàâà 1. ÀÁÑÒÐÀÊÒÍÛÅ ÎÒÎÁÐÀÆÅÍÈß.
Ãëàâà 2

Ãðóïïû.

§ 1. Îïðåäåëåíèå è íåêîòîðûå êîíñòðóêöèè.

Îïðåäåëåíèå è åãî ñëåäñòâèÿ.


Ðàññìîòðèì (G, ·)  ìíîæåñòâî G ñ áèíàðíîé îïåðàöèåé, äëÿ êîòîðîé èñïîëüçóåì ìóëüòè-
ïëèêàòèâíóþ çàïèñü. Ðàññìîòðèì ñëåäóþùèå àêñèîìû.
G1. (ab)c = a(bc) (∀ a, b, c ∈ G);
G2. ∃ e ∈ G ∀ a ∈ G: ae = ea = a;
G3. ∀ a ∈ G ∃ x ∈ G: xa = ax = e;
G4. ab = ba (∀ a, b ∈ G).
G1  àêñèîìà àññîöèàòèâíîñòè. Åñëè (G, ·) óäîâëåòâîðÿåò G1, òî G íàçûâàåòñÿ ïîëó-
ãðóïïîé. Èç G1 ñëåäóåò îáîáùåííàÿ àññîöèàòèâíîñòü:
Ïðåäëîæåíèå 1.1. Ïóñòü (G, ·) óäîâëåòâîðÿåò àêñèîìå G1. Òîãäà çíà÷åíèÿ ïðîèçâåäåíèÿ
a1 a2 . . . ak íå çàâèñèò îò ðàññòàíîâêè ñêîáîê.
◃ ... èíäóêöèÿ 
 ÷àñòíîñòè, îäíîçíà÷íî îïðåäåëåíû ñòåïåíè ýëåìåíòà an, n ∈ N. Äëÿ ñòåïåíåé âûïîë-
íåíû ïðèâû÷íûå ïðàâèëà am+n = aman, amn = (am)n.
 àêñèîìå G2 ýëåìåíò e íàçûâàåòñÿ íåéòðàëüíûì ýëåìåíòîì èëè åäèíèöåé. Èíîãäà
äëÿ íåãî èñïîëüçóåòñÿ îáîçíà÷åíèå 1. Åñëè (G, ·) óäîâëåòâîðÿåò àêñèîìàì G1 è G2, òî G
íàçûâàþò ïîëóãðóïïîé ñ åäèíèöåé èëè ìîíîèäîì.
Ïðåäëîæåíèå 1.2. Ïóñòü (G, ·) óäîâëåòâîðÿåò àêñèîìå G2. Òîãäà íåéòðàëüíûé ýëåìåíò
åäèíñòâåííûé.
◃ Ïóñòü e è e′  íåéòðàëüíûå ýëåìåíòû. Òîãäà e = ee′ = e′ . 
Ýëåìåíò x òàêîé, ÷òî xa = ax = e (êàê â àêñèîìå G3) íàçûâàåòñÿ îáðàòíûì ýëåìåíòîì
äëÿ ýëåìåíòà a.
Ïðåäëîæåíèå 1.3. Ïóñòü (G, ·)  ïîëóãðóïïà ñ åäèíèöåé (ò.å. âûïîëíåíû àêñèîìû G1
è G2). Åñëè äëÿ ýëåìåíòà a ∈ G ñóùåñòâóåò îáðàòíûé ýëåìåíò, òî îí åäèíñòâåííûé.
◃ Ïóñòü x è y  îáðàòíûå ýëåìåíòû äëÿ a. Òîãäà x = xe = x(ay) = (xa)y = ey = y . 
Åñëè äëÿ ýëåìåíòà a ñóùåñòâóåò îáðàòíûé ýëåìåíò, òî a íàçûâàåòñÿ îáðàòèìûì. Îá-
ðàòíûé ýëåìåíò îáîçíà÷àåòñÿ a−1. Î÷åâèäíî, e−1 = e, (a−1)−1 = a (åñëè a−1 ñóùåñòâóåò).
Ïðåäëîæåíèå 1.4. Ïóñòü (G, ·)  ïîëóãðóïïà ñ åäèíèöåé. Åñëè a, b ∈ G  îáðàòèìûå
ýëåìåíòû, òî ab  îáðàòèìûé ýëåìåíò, ïðè÷åì (ab)−1 = b−1a−1.
9
10 Ãëàâà 2. ÃÐÓÏÏÛ.

◃ Ïåðåìíîæèì ab è b−1a−1: (ab)(b−1a−1) = a(bb−1)a−1 = aea−1 = aa−1 = e. Àíàëîãè÷íî


óáåæäàåìñÿ, ÷òî (b−1a−1)(ab) = e. 
Ñëåäñòâèå. Åñëè a1 , a2 , . . . , ak  îáðàòèìûå ýëåìåíòû ïîëóãðóïïû ñ åäèíèöåé (G, ·), òî
a1 a2 . . . ak  îáðàòèìûé ýëåìåíò, ïðè÷åì (a1 a2 . . . ak )−1 = a−1
k ak−1 . . . a1 .
−1 −1

Åñëè îáðàòèìîãî ýëåìíåòà a ìîæíî îïðåäåëèòü ñòåïåíè an äëÿ âñåõ n ∈ Z, ïîëàãàÿ


a0 = e, an = (a−1 )−n ïðè n < 0. Äëÿ ñòåïåíåé âûïîëíåíû ïðèâû÷íûå ïðàâèëà:

Ïðåäëîæåíèå 1.5. (ñòåïåíè) Ïóñòü a  îáðàòèìûé ýëåìåíò ïîëóãðóïïû (G, ·). Òîãäà
∀ m, n ∈ Z âûïîëíåíî
1)am+n = am an ;
2)amn = (am )n .
◃ ... 
Äàäèì îñíîâíîå îïðåäåëåíèå:
(G, ·) íàçûâàåòñÿ ãðóïïîé, åñëè óäîâëåòâîðÿåò àêñèîìàì G1, G2 è G3.

Åñëè õîòÿò óòî÷íèòü, î êàêîé áèíàðíîé îïåðàöèè èäåò ðå÷ü, ãîâîðÿò ¾G  ãðóïïà îò-
íîñèòåëüíî îïåðàöèè ·¿. Åñëè ÿñíî, î êàêîé áèíàðíîé îïåðàöèè èäåò ðå÷ü, ãðóïïó èíîãäà
áóäåì îáîçíà÷àòü ïðîñòî G.
Ñîãëàñíî ïðåäëîæåíèÿì 1.1, 1.2, 1.3, â ãðóïïå âûïîëíåíà îáîáùåííàÿ àññîöèàòèâíîñòü,
ñóùåñòâóåò åäèíñòâåííûé íåéòðàëüíûé ýëåìåíò, è äëÿ ëþáîãî ýëåìåíòà ñóùåñòâóåò åäèí-
ñòâåííûé îáðàòíûé ýëåìåíò.
Ïðåäëîæåíèå 1.6. (çàêîí ñîêðàùåíèÿ) Ïóñòü (G, ·)  ãðóïïà. Òîãäà
∀ a, b, c ∈ G âûïîëíåíî ab = ac ⇔ b = c ⇔ ba = ca.

◃ ab = ac ⇒ a−1 (ab) = a−1 (ac) ⇒ (a−1 a)b = (a−1 a)c ⇒ b = c. Ñëåäñòâèå b = c ⇒ ab = ac


î÷åâèäíî. Àíàëîãè÷íî ïîêàçûâàåòñÿ, ÷òî ba = ca ⇔ b = c. 
Ïðåäëîæåíèå 1.7. (óðàâíåíèÿ â ãðóïïå) Ïóñòü (G, ·)  ãðóïïà, a, b ∈ G. Òîãäà
1) óðàâíåíèå ax = b èìååò åäèíñòâåííîå ðåøåíèå x = a−1b; 2) óðàâíåíèå xa = b èìååò
åäèíñòâåííîå ðåøåíèå x = ba−1.
◃ ... 
Åñëè â ãðóïïå (G, ·) ýëåìåíòû a è b òàêîâû, ÷òî ab = ba, òàêèå ýëåìåíòû íàçûâàþòñÿ
ïåðåñòàíîâî÷íûìè èëè êîììóòèðóþùèìè. G4  àêñèîìà êîììóòàòèâíîñòè. Ïóñòü ãðóïïà
(G, ·) óäîâëåòâîðÿåò åùå è àêñèîìå G4 (òåì ñàìûì, (G, ·) óäîâëåòâîðÿåò âñåì àêñèîìàì G1
 G4). Òàêàÿ ãðóïïà íàçûâàåòñÿ êîììóòàòèâíîé, èëè àáåëåâîé.
Óïðàæíåíèå. Åñëè â ãðóïïå (G, ·) ýëåìåíòû a è b êîììóòèðóþò, òî a è b êîììóòè-
m n

ðóþò ∀ m, n ∈ Z.
Óïðàæíåíèå. Â ãðóïïå (G, ·) âûïîëíåíî (ab) = a b ⇔ ýëåìåíòû a è b êîììóòèðóþò.
2 2 2

Êîëè÷åñòâî ýëåìåíòîâ â ãðóïïå G íàçûâàåòñÿ ïîðÿäêîì ãðóïïû.

Ïîðÿäîê ãðóïïû îáîçíà÷àåòñÿ |G|. Ñîîòâåòñòâåííî, ãðóïïà íàçûâàåòñÿ áåñêîíå÷íîé, åñëè


|G| = ∞, è êîíå÷íîé â ïðîòèâíîì ñëó÷àå.
§ 1.
. ÎÏÐÅÄÅËÅÍÈÅ È ÍÅÊÎÒÎÐÛÅ ÊÎÍÑÒÐÓÊÖÈÈ. 11
Àääèòèâíàÿ ôîðìà çàïèñè.
Äëÿ îáîçíà÷åíèÿ îïåðàöèè èíîãäà èñïîëüçóåòñÿ çíàê ¾+¿ (àääèòèâíàÿ çàïèñü). Êàê
ïðàâèëî, ýòî äåëàåòñÿ òîëüêî äëÿ àáåëåâîé ãðóïïû, ÷òîáû ðåçóëüòàò âçÿòèÿ ñóììû

ai = a1 + a2 + . . . + ak íå çàâèñåë îò ïîðÿäêà äåéñòâèé. Àêñèîìû G1  G4 äëÿ (G, +)
k

ïðèíèìàþò ñëåäóþùèé âèä.


i=1

G1. (a + b) + c = a + (b + c) (∀ a, b, c ∈ G);
G2. ∃ 0 ∈ G ∀ a ∈ G: a + 0 = 0 + a = a;
G3. ∀ a ∈ G ∃ x ∈ G: x + a = a + x = 0;
G4. a + b = b + a (∀ a, b ∈ G).
Òåïåðü ñòåïåíè ýëåìåíòà a çàïèñûâàþòñÿ êàê êðàòíûå: na, n ∈ Z. Ïðè ýòîì (ñì. ïðåä-
ëîæåíèå 1.5) âûïîëíåíû ïðàâèëà (m + n)a = ma + na, (mn)a = m(na).
 àêñèîìå G2 íåéòðàëüíé ýëåìåíò òåïåðü îáîçíà÷åí 0. Èíîãäà åãî òàê è íàçûâàþò íóëü.
Ýëåìåíò x èç àêñèîìû G3 óìåñòíî òåïåðü íàçûâàòü ïðîòèâîïîëîæíûì ýëåìåíòîì äëÿ
ýëåìåíòà a è îáîçíà÷àòü −a. Ëåãêî âèäåòü, ÷òî −(ma) = (−m)a = m(−a) (äëÿ m ∈ Z).
Äëÿ ýëåìåíòîâ (G, +) ìîæíî îïðåäåëèòü âû÷èòàíèå ïî ïðàâèëó a − b = a + (−b). Ïðè
ýòîì ëåãêî âèäåòü, ÷òî m(a − b) = ma − mb, (m − n)a = ma − na (äëÿ m, n ∈ Z).
Ñëåäñòâèÿ àêñèîì G1  G4 äëÿ àáåëåâîé ãðóïïû (G, +) ïðèíèìàþò âèä: 0
 åäèíñòâåííûé; ∀ a ∈ G ýëåìåíò −a åäèíñòâåííûé; ∀ ai ∈ G âûïîëíåíî:
−(a1 + a2 + . . . + ak ) = −ak − ak−1 − . . . − a1 ; ∀ a, b, c ∈ G âûïîëíåíî a + b = a + c ⇔
b = c; óðàâíåíèå x + a = b èìååò åäèíñòâåííîå ðåøåíèå x = b − a.

Èçîìîðôèçì, ãîìîìîðôèçì.
Ïóñòü äàíû äâå ãðóïïû, èëè áîëåå îáùî, äâà ìíîæåñòâà, íà êîòîðûõ îïðåäåëåíû áèíàðíûå
îïåðàöèè (G, ·) è (G,
e ∗).

Îòîáðàæåíèå φ : G → Ge íàçûâàåòñÿ ãîìîìîðôèçìîì, åñëè ∀ a, b ∈ G âûïîëíåíî


φ(ab) = φ(a) ∗ φ(b).

Èíà÷å ãîâîðÿ, ãîìîìîðôèçì  îòîáðàæåíèå, êîòîðîå ñîõðàíÿåò (¾óâàæàåò¿) áèíàðíóþ


îïåðàöèþ. Äëÿ ëþáûõ ãðóïï (G, ·) è (G,e ∗) åñòü òðèâèàëüíûé ãîìîìîðôèçì, îòîáðàæàþùèé
êàæäûé ýëåìåíò èç G â íåéòðàëüíûé ýëåìåíò ãðóïïû Ge.
Ïðåäëîæåíèå 1.8. Ïóñòü (G, ·) è (G, e ·)  ãðóïïû, à φ : G → Ge  ãîìîìîðôèçì. Òîãäà
1) φ(e) = ee (ãäå e è ee  íåéòðàëüíûå ýëåìåíòû ãðóïï G è Ge).
2) ∀ a ∈ G âûïîëíåíî φ(a−1) = (φ(a))−1.
◃ ... 

Îòîáðàæåíèå φ : e
G→G íàçûâàåòñÿ èçîìîðôèçìîì, åñëè φ  ãîìîìîðôèçì, ÿâëÿþ-
ùèéñÿ áèåêöèåé.
Ãðóïïû (G, ·) è e ∗)
(G, íàçûâàþòñÿ èçîìîðôíûìè, åñëè ñóùåñòâóåò èçîìîðôèçì
φ : G → G.
e

Òîò ôàêò, ÷òî (G, ·) è (G,


e ∗) èçîìîðôíû, îáîçíà÷àåì (G, ·) ∼ e ∗) (èëè G ∼
= (G, =Ge).
12 Ãëàâà 2. ÃÐÓÏÏÛ.

Ïðåäëîæåíèå 1.9. Ïóñòü äàíû (G, ·), (G,


e ∗), (G,
ee
◦) è φ : G → G
eèψ:G
e→Gee
 ãîìîìîð-
ôèçìû. Òîãäà 1) ψφ : G → G  ãîìîìîðôèçì.
ee
2) Åñëè êðîìå òîãî φ è ψ  èçîìîðôèçìû, òî ψφ  òàêæå èçîìîðôèçì.
3) Åñëè φ : G → Ge  èçîìîðôèçì, òî φ−1  òàêæå èçîìîðôèçì.
◃ ... 
Êàê âèäèì, îòíîøåíèå ¾áûòü èçîìîðôíûìè¿ ðåôëåêñèâíî (î÷åâèäíî G ∼= G, òàê êàê
òîæäåñòâåííîå ïðåîáðàçîâàíèå ÿâëÿåòñÿ èçîìîðôèçìîì), ñèììåòðè÷íî è òðàíçèòèâíî. Îíî
ôîðìàëèçóåò ïîíÿòèå ¾îäèíàêîâîñòè¿ ãðóïï ñ òî÷êè çðåíèÿ áèíàðíîé îïåðàöèè. Òåì ñà-
ìûì, êëàññ âñåõ ãðóïïû ìîæíî ìûñëèòü ñåáå ðàçáèòûì íà êëàññû èçîìîðíûõ ãðóïï.
Ïðÿìîå ïðîèçâåäåíèå (ïðÿìàÿ ñóììà).
Ïóñòü äàíû äâå ãðóïïû, èëè áîëåå îáùî, äâà ìíîæåñòâà, íà êîòîðûõ îïðåäåëåíû áèíàðíûå
îïåðàöèè (G, ·) è (G,
e ·).

Ïðÿìûì ïðîèçâåäåíèåì (G, ·) è (G, e ·) íàçûâàåòñÿ ìíîæåñòâî G × G


e, íà êîòîðîì îïåðà-
öèÿ çàäàíà ïðàâèëîì (a, ea)(b, eb) = (ab, eaeb).
Èñïîëüçóåòñÿ òî æå îáîçíà÷åíèå, ÷òî è äëÿ îáû÷íîãî äåêàðòîâîãî ïðîèçâåäåíèÿ ìíî-
æåñòâ: G× Ge. Èòàê, â ïðÿìîì ïðîèçâåäåíèè îïåðàöèÿ âûïîëíÿåòñÿ ïîêîìïîíåíòíî. Àíàëî-
ãè÷íûì îáðàçîì îïðåäåëÿåòñÿ ïðÿìîå ïðîèçâåäåíèå íåñêîëüêèõ ãðóïï.  òîì ñëó÷àå, êîãäà
èñïîëüçóåòñÿ àääèòèâíàÿ çàïèñü (ò.å. äàíû (G, +) è (G,
e +)), ïðÿìîå ïðîèçâåäåíèå íàçûâàþò
òàêæå ïðÿìîé ñóììîé è îáîçíà÷àþò G ⊕ Ge.
Ïðåäëîæåíèå 1.10. Ïðÿìîå ïðîèçâåäåíèå íåñêîëüêèõ ãðóïï ÿâëÿåòñÿ ãðóïïîé.

◃ ... 
Óïðàæíåíèå. Ïóñòü G × G e  ïðÿìîå ïðîèçâåäåíèå ãðóïï. Òîãäà ïðîåêòèðîâàíèå
φ : G×G e → G, îïðåäåëåííîå ïðàâèëîì φ((a, ea)) = a ÿâëÿåòñÿ ãîìîìîðôèçìîì.

Îáðàòèìûå ýëåìåíòû ïîëóãðóïïû.


Ïóñòü (G, ·)  ìîíîèä (ïîëóãðóïïà ñ åäèíèöåé) ñ íåéòðàëüíûì ýëåìåíòîì e. Âûäåëèì â G
ïîäìíîæåñòâî G∗ îáðàòèìûõ ýëåìåíòîâ: G∗ = {a ∈ G | ∃ x ∈ G ax = xa = e}.
Ïðåäëîæåíèå 1.11. Ïóñòü (G, ·)  ìîíîèä. Òîãäà (G , ·)  ãðóïïà.

◃ ... 
Óïðàæíåíèå. Åñëè G × G e  ïðÿìîå ïðîèçâåäåíèå ìîíîèäîâ, òî (G × G) e∗ .
e ∗ = G∗ × G

Ïîäãðóïïû. Ïîðîæäàþùèå ìíîæåñòâà.


Íåïóñòîå ïîäìíîæåñòâî H ãðóïïû (G, ·) íàçûâàåòñÿ ïîäãðóïïîé, åñëè ∀ a, b ∈ H âû-
ïîëíåíî:
Ï1. ab ∈ H ;
Ï2. a−1 ∈ H .
Òîò ôàêò, ÷òî H ÿâëÿåòñÿ ïîäãðóïïîé ãðóïïû G, áóäåì îáîçíà÷àòü H 6 G.
Ïðåäëîæåíèå 1.12. Ïóñòü (G, ·)  ãðóïïà, H 6 G. Òîãäà e ∈ H .
§ 1.
. ÎÏÐÅÄÅËÅÍÈÅ È ÍÅÊÎÒÎÐÛÅ ÊÎÍÑÒÐÓÊÖÈÈ. 13
◃ Ïóñòü a ∈ H , òîãäà, ñîãëàñíî Ï2 è Ï1, e = (a−1)a ∈ H . 
Ñâîéñòâà Ï1 è Ï2 îçíà÷àþò, ÷òî ïîäãðóïïà ÿâëÿåòñÿ ïîäìíîæåñòâîì, çàìêíóòûì îòíî-
ñèòåëüíî îïåðàöèé óìíîæåíèÿ è âçÿòèÿ îáðàòíîãî, òåì ñàìûì, ïîäãðóïïà ñàìà ÿâëÿåòñÿ
ãðóïïîé îòíîñèòåëüíî îïåðàöèé â îáúåìëþùåé ãðóïïå G. Ëþáàÿ ãðóïïà G ñîäåðæèò òðè-
âèàëüíûå ïîäãðóïïû G è {e} (åäèíè÷íàÿ ïîäãðóïïà).
Óïðàæíåíèå. Óêàæèòå â ïðÿìîì ïðîèçâåäåíèè G × G e ïîäãðóïïó, èçîìîðôíóþ G.
 àääèòèâíîé çàïèñè (äëÿ ãðóïïû (G, +) óñëîâèÿ Ï1 è Ï2 áóäóò âûãëÿäåòü êàê a+b ∈ H ,
−a ∈ H .

Ïðåäëîæåíèå 1.13. Ïåðåñå÷åíèå ïîäãðóïï ÿâëÿåòñÿ ïîäãðóïïîé.



◃ Ïóñòü Hi 6 G äëÿ i ∈ I (ãäå I  íåêîòîðîå ìíîæåñòâî èíäåêñîâ); H = Hi . Ïðîâå-
ðèì Ï1 äëÿ ìíîæåñòâà H (Ï2 ïðîâåðÿåòñÿ àíàëîãè÷íî).
i∈I

Ïóñòü a, b ∈ H , òîãäà a, b ∈ Hi (∀ i ∈ I ). Òàê êàê Hi  ïîäãðóïïà, òî ab ∈ Hi (∀ i ∈ I ),


òåì ñàìûì ab ∈ H , ÷òî è òðåáîâàëîñü. 
Óïðàæíåíèå. Ïóñòü H1 6 G, H2 6 G. Äîêàæèòå, ÷òî îáúåäèíåíèå H1 ∪ H2 ÿâëÿåòñÿ
ïîäãðóïïîé ⇔ H1 ⊂ H2 èëè H2 ⊂ H1.
Ïóñòü äàíî íåêîòîðîå ïîäìíîæåñòâî A = {a, b, c, . . .} â ãðóïïå (G, ·). Îïðåäåëèì ìíîæå-
ñòâî ⟨a, b, c, . . . . . .⟩ = {xε1 xε2 . . . xεk | k ∈ N, xi ∈ A, εi ∈ {−1, 1}}.
1 2 k

Íàïðèìåð, ⟨a⟩ = {. . . , a−2, a−1, e, a, a2, a3, . . .}, òàê êàê â ëþáîì ¾ñëîâå¿ aε aε . . . aε ïðî-
1 2 k

èçâåäåíèÿ aa−1 è a−1a ñîêðàùàþòñÿ.


Ïðåäëîæåíèå 1.14. Ïóñòü äàíî ïîäìíîæåñòâî A = {a, b, c, . . .} â ãðóïïå (G, ·). Òîãäà
⟨a, b, c, . . .⟩  ïîäãðóïïà.

◃ Ïðîâåðèì Ï1 è Ï2. .... 


Ïóñòü A = {a, b, c, . . .} ⊂ H 6 G. Ìíîãîêðàòíî èñïîëüçóÿ Ï1 è Ï2, ïîëó÷àåì, ëþáîé
ýëåìåíò èç ⟨a, b, c, . . .⟩ òàêæå ïðèíàäëåæèò ïîäãðóïïå H . Òàêèì îáðàçîì, ⟨a, b, c, . . .⟩ ÿâëÿ-
åòñÿ ìèíèìàëüíîé (ïî âêëþ÷åíèþ) ïîäãðóïïîé, ñîäåðæàùåé ìíîæåñòâî A, îíà íàçûâàåòñÿ
ïîäãðóïïîé, ïîðîæäåííîé ìíîæåñòâîì A. Åñëè ⟨a, b, c, . . .⟩ = G, òî ìíîæåñòâî A íàçûâà-
åòñÿ ïîðîæäàþùèì ìíîæåñòâîì ýëåìåíòîâ ãðóïïû G. (Êîíå÷íî, â äàííîé ãðóïïå G ìîæåò
áûòü ìíîãî ðàçëè÷íûõ ïîðîæäàþùèõ ìíîæåñòâ.)
Ïðèìåðû.

I. ×èñëà è ìàòðèöû ïî ñëîæåíèþ:


(Z, +) ãðóïïà ïî ñëîæåíèþ. Îòìåòèì, ÷òî (Z, +) = ⟨1⟩.
Öåïî÷êà âëîæåííûõ àáåëåâûõ ãðóïï Z 6 Q 6 R 6 C ∼= R2 6 R3 6 . . ..
Äëÿ n ∈ N: nZ 6 Z. Èìååòñÿ èçîìîðôèçì Z → nZ, çàäàâàåìûé ïðàâèëîì t 7→ nt.
= Rmn .
Mm×n (R) ∼

II. ×èñëà è ìàòðèöû ïî óìíîæåíèþ:


Ïîëóãðóïïû (ìîíîèäû) ïî óìíîæåíèþ (Z, ·), (Q, ·), (R, ·), (C, ·). Âëîæåíèÿ
Z 6 Q 6 R 6 C ïîðîæäàþò öåïî÷êó âëîæåííûõ (àáåëåâûõ) ãðóïï ïî óìíîæåíèþ:
Z∗ 6 Q∗ 6 R∗ 6 C∗ . (Çäåñü Z∗ = {1, −1}, Q∗ = Q \ {0}, R∗ = R \ {0}, C∗ = C \ {0}.)
Mn×n (R), Mn×n (Z), è ò.ä.  ìîíîèäû ïî óìíîæåíèþ. Mn×n (R)∗ îáîçíà÷àåòñÿ òàêæå
GLn (R) (îáùàÿ ëèíåéíàÿ ãðóïïà)  ãðóïïà âñåõ íåâûðîæäåííûõ ìàòðèö ðàçìåðà n × n.
Ïðè n > 2 ýòî íåàáåëåâà ãðóïïà.
14 Ãëàâà 2. ÃÐÓÏÏÛ.

Óïðàæíåíèå. Ïîêàæèòå, ÷òî GLn(R) = ⟨S⟩, ãäå S  ìíîæåñòâî ýëåìåíòàðíûõ ìàòðèö


n × n.
GLn (R) > U Tn (R)  ïîäãðóïïà âåðõíåóíèòðåóãîëüíûõ ìàòðèö ñ åäèíèöàìè íà ãëàâíîé
äèàãîíàëè.
GLn (R) > SLn (R) = {A ∈ Mn×n (R) | det A = 1}  ñïåöèàëüíàÿ ëèíåéíàÿ ãðóïïà.
III. Âû÷åòû ïî ìîäóëþ n.
Ïóñòü k îáîçíà÷àåò êëàññ ýêâèâàëåíòíîñòè ÷èñëà k ∈ Z îòíîñèòåëüíî îòíîøåíèÿ ýê-
âèâàëåíòíîñòè k ∼ l ⇔ k − l ... n. k íàçûâàþò âû÷åòîì ïî ìîäóëþ n. (Âîçìîæåí è äðóãîé
âàðèàíò îïðåäåëåíèÿ k êàê îñòàòêà ÷èñëà k ∈ Z ïðè äåëåíèè íà n.)
Îáîçíà÷èì Zn = {0, 1, . . . , n − 1} (òàê, |Zn| = n). Îïåðàöèè ñëîæåíèÿ è óìíîæåíèÿ
ââîäÿòñÿ êàê k + l = k + l, k · l = kl. (Íåîáõîäèìà ïðîâåðêà êîððåêòíîñòè(!) ò.å. òîãî, ÷òî
ðåçóëüòàò îïåðàöèè íà êëàññàõ íå çàâèñèò îò âûáîðà ïðåäñòàâèòåëÿ.)
⟨ ⟩
(Zn , +)  àáåëåâà ãðóïïà. Îòìåòèì, ÷òî (Zn , +) = 1 .
(Zn , ·)  ìîíîèä. Íà ñàìîì äåëå ïðàâèëî k 7→ k äàåò åñòåñòâåííûå ñþðúåêòèâíûå ãîìî-
ìîðôèçìû ãðóïï (Z, +) → (Zn, +) è ìîíîèäîâ (Z, ·) → (Zn, ·). (Ò.å., ñì. íèæå, ýòî êîëüöåâîé
ãîìîìîðôèçì Z → Zn).
Ïðåäëîæåíèå 1.15. (Êðèòåðèé îáðàòèìîñòè â Zn ). Ýëåìåíò k ∈ Zn îáðàòèì â ìîíîèäå
(Zn , ·) ⇔ (k, n) = 1.
.
◃ 1) Ïóñòü (k, n) = d > 1 è ïóñòü m = n/d. Òîãäà km .. n, ïîýòîìó km = 0. Ïðåäïîëîæèì,
÷òî åñòü k−1 = l. Íî îòñþäà 0 = km = lkm = 1m = m.
2) Ñëåäóåò èç ëåììû: Äëÿ (k, n) = 1 ÷èñëà 0 · k, 1 · k, . . . , (n − 1)k äàþò ðàçëè÷íûå îñòàòêè
ïðè äåëåíèè íà n. (Èíà÷å ãîâîðÿ, {0 · k, 1 · k, . . . , (n − 1)k} = {0, 1, . . . , n − 1}.)
Äîê-âî ëåììû....

Òàêèì îáðàçîì, ìû ïîëó÷èëè, ÷òî Z∗n = {k | 1 6 k 6 n, (k, n) = 1}.
Ôóíêöèåé Ýéëåðà îò íàòóðàëüíîãî ÷èñëà n íàçûâàåòñÿ êîëè÷åñòâî ÷èñåë, âçàèìíî-
ïðîñòûõ ñ n ñðåäè ÷èñåë {1, 2, . . . , n}.
Îáîçíà÷åíèå äëÿ ôóíêöèè Ýéëåðà: φ(n). Òàêèì îáðàçîì, |Z∗n| = φ(n).
IV. Ãðóïïû ïðåîáðàçîâàíèé.
Ïóñòü X  ïðîèçâîëüíîå ìíîæåñòâî, S(X)  ìíîæåñòâî âñåõ áèåêöèé X → X . Íà
ìíîæåñòâå S(X) åñòü åñòåñòâåííàÿ îïåðàöèÿ êîìïîçèöèè. S(X), íàäåëåííîå ýòîé îïåðàöèåé,
ïðåâðàùàåòñÿ â ãðóïïó. Ïðè |X| > 3 ãðóïïà S(X) íåàáåëåâà.
Äëÿ |X| < ∞ ýëåìåíòû ãðóïïû S(X) íàçûâàþò ïåðåñòàíîâêàìè èëè ïîäñòàíîâêàìè, à
ñàìó ãðóïïó  ãðóïïîé ïåðåñòàíîâîê èëè ñèììåòðè÷åñêîé ãðóïïîé. Âìåñòî S({1, 2, . . . , n})
èñïîëüçóåòñÿ ñòàíäàðòíîå áîëåå êîðîòêîå îáîçíà÷åíèå Sn.
Óïðàæíåíèå. |Sn | = n!.

Ëþáàÿ ïîäãðóïïà G 6 S(X) ÿâëÿåòñÿ ãðóïïîé ïðåîáðàçîâàíèé.  ýòîì ñëó÷àå âîçíè-


êàåò åñòâåñòâåííîå äåéñòâèå ãðóïïû G íà ìíîæåñòâå X : ∀ a, b ∈ G, ∀ x ∈ X âûïîëíåíî
(ab)(x) = a(b(x)).
Áîëåå îáùî, äåéñòâèåì ãðóïïû G íà ìíîæåñòâå X íàçûâàþò ãîìîìîðôèçì α : G → S(X).
Òàêèì îáðàçîì, ∀ a, b ∈ G, ∀ x ∈ X âûïîëíåíî (α(a)α(b))(x) = α(a)(α(b)(x)) èëè, îïóñêàÿ ñèìâîë
ãîìîìîðôèçìà, (ab)(x) = a(b(x)).
Ñòàáèëèçàòîð, èëè ïîäãðóïïà ñèììåòðèé ïîäìíîæåñòâà X ′ ⊂ X ïðè äåéñòâèè α : G → S(X)
 ýòî Sym(X ′) = {a ∈ G | a(X ′) = X ′}. Ëåãêî âèäåòü, ÷òî Sym(X ′) 6 G.
§ 2.
. ÏÎÐßÄÎÊ ÝËÅÌÅÍÒÀ. ÖÈÊËÈ×ÅÑÊÈÅ ÃÐÓÏÏÛ. 15
Îðáèòà ïîäìíîæåñòâà X ′ ⊂ X ïðè äåéñòâèè α : G → S(X)  ýòî ìíîæåñòâî
G(X ′ ) = {a(X ′ ) | a ∈ G} (ò.å. îðáèòà ñîñòîèò èç ïîäìíîæåñòâ, â êîòîðûå ìîæåò ïåðåéòè X ′ ïîä
äåéñòâèåì ýëåìåíòîâ èç G).
Ìîæíî ââåñòè îòíîøåíèå X ′ ∼ X ′′ ⇔ ∃ a ∈ G a(X ′) = X ′′. Ýòî îòíîøåíèå ÿâëÿåòñÿ îòíîøåíèåì
ýêâèâàëåíòíîñòè, à êëàññû ýêâèâàëåíòíîñòè  ýòî îðáèòû.
ÏÐÈÌÅÐÛ äåéñòâèé.
1) Åñòåñòâåííûå ïðèìåðû äåéñòâèé âîçíèêàþò â ãåîìåòðèè (ïîä ýòîò ôîðìàëèçì ïîïàäàþò
çàäà÷è íàõîäæåíèÿ ãðóïï ñèììåòðèé ôèãóð è çàäà÷à êëàññèôèêàöèè ôèãóð îòíîñèòåëüíî òîé èëè
èíîé ãðóïïû ïðåîáðàçîâàíèé).
Ïóñòü X = R2  ïëîñêîñòü, G  ãðóïïà äâèæåíèé (G 6 S(X)). Ïóñòü X ′ ⊂ X  íåêîòîðàÿ
ôèãóðà, ñêàæåì, ïðàâèëüíûé n-óãîëüíèê. Òîãäà îðáèòà G(X ′)  ìíîæåñòâî âñåõ ôèãóð, ðàâíûõ
(êîíãðóýíòíûõ) X ′. Sym(X ′)  ãðóïïà ¾ñàìîñîâìåùåíèé¿ X ′ (äëÿ n-óãîëüíèêà ïîëó÷àåòñÿ òàê
íàçûâàåìàÿ ãðóïïà äèýäðà).
Äëÿ òîãî æå ñëó÷àÿ X = R2 ìîæíî âçÿòü, ñêàæåì, áîëåå øèðîêóþ ãðóïïó òàê íàçûâàåìûõ
àôôèííûõ ïðåîáðàçîâàíèé, êîòîðóþ ìîæíî îïðåäåëèòü êàê A = ⟨G ∪ S⟩, ãäå G  ìíîæåñòâî
äâèæåíèé, S  ìíîæåñòâî ñæàòèé è ðàñòÿæåíèé îòíîñèòåëüíî ïðÿìûõ.
2) Ëþáàÿ ïîäãðóïïà G 6 Sn åñòåñòâåííî äåéñòâóåò íà êîíå÷íîì ìíîæåñòâå {1, 2, . . . , n}.
3) Ïóñòü X = Mn×1(R) (ìíîæåñòâî âåêòîðîâ-ñòîëáöîâ), G = GLn(R). Òîãäà êàæäàÿ ìàòðèöà
A ∈ G çàäàåò áèåêöèþ x 7→ Ax (óìíîæåíèå íà A ñëåâà), ïðè ýòîì (AB)x = A(Bx), òåì ñà-
ìûì G äåéñòâóåò íà X . (Ýòîìó äåéñòâèþ ïîçæå ïðèäàäèì ¾áåñêîîðäèíàòíóþ¿ èíòåðïðåòàöèþ:
äåéñòâèå ãðóïïû áèåêòèâíûõ ëèíåéíûõ ïðåîáðàçîâàíèé (àâòîìîðôèçìîâ) íà n-ìåðíîì âåêòîðíîì
ïðîñòðàíñòâå.)
Ìàòðè÷íûì ïðåäñòàâëåíèåì ãðóïïû G íàçûâàåòñÿ ãîìîìîðôèçì G → GLn(R). Ïðè ýòîì
âîçíèêàåò åñòåñòâåííîå äåéñòâèå G íà X = Mn×1(R).

§ 2. Ïîðÿäîê ýëåìåíòà. Öèêëè÷åñêèå ãðóïïû.

Ïîðÿäîê ýëåìåíòà.
Ïóñòü (G, ·)  ãðóïïà, e  åå íåéòðàëüíûé ýëåìåíò.
Íàòóðàëüíîå n íàçûâàþòïîðÿäêîì ýëåìåíòà a ∈ G, åñëè an = e è ak ̸= e ïðè
k = 1, 2, . . . , n − 1.
 ñëó÷àå, êîãäà òàêîãî n íå ñóùåñòâóåò, ïîëàãàåì ïîðÿäîê ýëåìåíòà ðàâíûì ∞.
Ïîðÿäîê ýëåìåíòà a îáîçíà÷àåì ord a èëè |a|.
Ïðåäëîæåíèå 2.1. Ïóñòü a ∈ G, k, l ∈ Z.

1) Ïóñòü ord a = n < ∞. Òîãäà ak = al ⇔ k − l ... n, â ÷àñòíîñòè, ak = e ⇔ k ... n;


2) Ïóñòü ord a = ∞. Òîãäà ak = al ⇔ k = l.
◃ Ïóñòü äëÿ îïðåäåëåííîñòè k > l. Òîãäà ak = al ⇔ ak−l = e.  ñëó÷àå ord a = ∞
ýòî ïðîòèâîðå÷èå.  ñëó÷àå ord a = n ðàññóæäàåì äàëåå: ðàçäåëèì k − l íà n ñ îñòàòêîì:
k − l = qn + r, r ∈ {0, 1, . . . , n − 1}. Òîãäà ak−l = aqn+r = (an )q ar = ar è ak−l = e ⇔ ar = e, ÷òî
âåðíî ïðè r = 0 è ïðîòèâîðå÷èò îïðåäåëåíèþ ïîðÿäêà ýëåìåíòà a ïðè r ∈ {1, 2, . . . , n − 1}.

Óïðàæíåíèå. Ïóñòü (a, ea) ∈ G × Ge, ïðè÷åì ord a = n, ord ea = m. Òîãäà
a) =ÍÎÊ(m, n).
ord(a, e
Óïðàæíåíèå. Ïóñòü a, b  ýëåìåíòû ãðóïïû (G, ·). Ïîêàæèòå, ÷òî ord a = ord(bab ).
−1
16 Ãëàâà 2. ÃÐÓÏÏÛ.

Öèêëè÷åñêèå ãðóïïû è èõ êëàññèôèêàöèÿ.


Êàê ìû âèäåëè, ëþáîå ïîäìíîæåñòâî ýëåìåíòîâ ãðóïïû ïîðîæäàåò íåêîòîðóþ ïîäãðóïïó,
â ÷àñòíîñòè, ëþáîé ýëåìåíò ïîðîæäàåò íåêîòîðóþ ïîäãðóïïó.
Öèêëè÷åñêîé ãðóïïîé íàçûâàåòñÿ ãðóïïà, ïîðîæäåííàÿ íåêîòîðûì ñâîèì îäíèì ýëå-
ìåíòîì.

Åñëè ãðóïïà (G, ·)  öèêëè÷åñêàÿ, òî ∃ a ∈ G: G = ⟨a⟩. Òàêîé ýëåìåíò a íàçûâàåòñÿ ïî-


ðîæäàþùèì ýëåìåíòîì öèêëè÷åñêîé ãðóïïû (â ñîãëàñèè ñ îáùèì îïðåäåëåíèåì ïîðîæäà-
þùåãî ìíîæåñòâà). Êàê ìû âèäåëè, ïîëíûé ñïèñîê (âîçìîæíî, ñ ïîâòîðåíèÿìè) ýëåìåíòîâ
ãðóïïû G èìååò âèä G = {. . . , a−2, a−1, e, a, a2, . . .}. ⟨ ⟩
Ïðèìåðû öèêëè÷åñêèõ ãðóïï ìû âèäåëè ðàíåå: (Z, +) = ⟨1⟩ è (Zn, +) = 1 .
Òåîðåìà 2.1. (êëàññèôèêàöèÿ öèêëè÷åñêèõ ãðóïï) Ïóñòü (G, ·)  öèêëè÷åñêàÿ ãðóïïà.
Åñëè |G| = n, òî G ∼= (Zn, +). Åñëè |G| = ∞, òî G ∼= (Z, +).
◃ Èòàê, ïóñòü G = {. . . , a−2 , a−1 , e, a, a2 , . . .}. Ðàññìîòðèì äâå âîçìîæíîñòè.
1) ord a = ∞. Òîãäà, ïî ïðåäëîæåíèþ 2.1, â ýòîì ñïèñêå íåò ïîâòîðåíèé. Òîãäà îòîáðàæåíèå
φ : G → Z, òàêîå, ÷òî φ(ak ) = k ÿâëÿåòñÿ áèåêöèåé. Áîëåå òîãî, ýòî èçîìîðôèçì. Ïðîâåð-
êà:....
2) ord a = n < ∞. Òîãäà, ïî ïðåäëîæåíèþ 2.1, G = {e, a, a2, . . . , an−1}, è â ýòîì ñïèñêå íåò
ïîâòîðåíèé. Òîãäà îòîáðàæåíèå φ : G → Zn, òàêîå, ÷òî φ(ak ) = k ÿâëÿåòñÿ áèåêöèåé. Áîëåå
òîãî, ýòî èçîìîðôèçì. Ïðîâåðêà:.... 
Ñëåäñòâèå. ord a = | ⟨a⟩ |.

Ïðåäëîæåíèå 2.2. Ïóñòü k ∈ Zn. Òîãäà ord k (â ãðóïïå (Zn, +)) ðàâåí (n,nk) .

◃Ïóñòü m ∈ N. Òîãäà m · k = 0 ⇔ mk ... n ⇔ m ... (n,nk) . 


Ìû âèäèì, ÷òî â (Zn, +) åñòü ýëåìåíòû òîëüêî ïîðÿäêîâ, ðàâíûõ äåëèòåëÿì n (ýòî ñî-
ãëàñóåòñÿ ñ òåîðåìîé Ëàãðàíæà, ñì. íèæå). Óêàæåì êîëè÷åñòâî ýëåìåíòîâ ôèêñèðîâàííîãî
ïîðÿäêà.
Ïðåäëîæåíèå 2.3. Ïóñòü d  äåëèòåëü ÷èñëà n. Òîãäà â ãðóïïå (Zn, +)) êîëè÷åñòâî ýëå-
ìåíòîâ ïîðÿäêà d ðàâíî φ(d).  ÷àñòíîñòè, êîëè÷åñòâî ïîðîæäàþùèõ ýëåìåíòîâ ðàâíî
φ(n).

◃ Ïóñòü k ∈ {1, 2, . . . , n}. Èìååì ord k = d ⇔ n


(n, k)
= d ⇔ (n, k) =
n
d
⇔k =
nt
d
, ãäå
(t, d) = 1, 1 6 t 6 d. 

Ïîäãðóïïû öèêëè÷åñêèå ãðóïï.


Ïðåäëîæåíèå 2.4. 0) Ïîäãðóïïà öèêëè÷åñêîé ãðóïïû ÿâëÿåòñÿ öèêëè÷åñêîé ãðóïïîé.
1) Âñå ïîäãðóïïû (Z, +)  â òî÷íîñòè mZ, m ∈ N.
2) Äëÿ êàæäîãî äåëèòåëÿ d ÷èñëà n â (Zn, +) èìååòñÿ ðîâíîn îäíà ïîäãðóïïà ïîðÿäêà d.
Îíà ñîñòîèò èç ýëåìåíòîâ {mt | t = 0, 1, . . . , d − 1}, ãäå m = d .
§ 3.
. ÑÈÌÌÅÒÐÈ×ÅÑÊÀß ÃÐÓÏÏÀ. 17
◃ 1) Ïóñòü H 6 Z, H ̸= {0}, à m ∈ N  íàèìåíüøåå òàêîå, ÷òî m ∈ H (åñëè íàøëîñü
m < 0 òàêîå, ÷òî m ∈ H , òî è −m ∈ H ). Òîãäà mZ 6 H . Ïðåäïîëîæèì, ÷òî t ∈ H \ mZ.
Ðàçäåëèì t íà m ñ ñîòàòêîì: t = qm + r, r ∈ {1, 2, . . . , m − 1}. Òîãäà r = t − mq ∈ H . Íî
0 < r < m  ïðîòèâîðå÷èå. Çíà÷èò, H = mZ. (Êàê ðàíåå îòìå÷àëîñü, mZ  äåéñòâèòåëüíî
ïîäãðóïïà.)
2) Ïóñòü H 6 Zn, à m ∈ {1, 2, . . . , n − 1}  íàèìåíüøåå òàêîå, ÷òî m ∈ H (åñëè òàêîãî m
íåò, òî H = {0}). Ðàçäåëèì n íà m ñ îñòàòêîì: n = qm + r, r ∈ {0, 1, 2, . . . , m − 1}. Òîãäà
.
r ∈ H . Åñëè r > 0, òî ïîëó÷àåì ïðîòèâîðå÷èå ñ âûáîðîì m. Çíà÷èò, n .. m. Äàëåå.... 

§ 3. Ñèììåòðè÷åñêàÿ ãðóïïà.

Óìíîæåíèå ïåðåñòàíîâîê. Öèêëû. Ïîðîæäàþùèå ìíîæåñòâà.


Èçó÷èì áîëåå äåòàëüíî ãðóïïó ïåðåñòàíîâîê Sn. ( )
Ïåðåñòàíîâêó σ ∈ Sn ìîæíî çàïèñàòü â âèäå òàáëèöû σ = σ(1) σ(2) σ(3) . . . σ(n) . 1 2 3 ... n

Ïðè (ýòîìó ïåðåìíîæåíèå )( ïåðåñòàíîâîê


) ( ïðîèñõîäèò) ¾ñïðàâà íàëåâî¿:
ση =
... η(i)
. . . σ(η(i)) . . .
... ... i ...
. . . η(i) . . .
=
... i
. . . σ(η(i)) . . .
...
. ×òîáû ïîñòðîèòü òàá-
ëèöó äëÿ îáðàòíîé ïåðåñòàíîâêè, íóæíî ïîìåíÿòü ñòðîêè ìåñòàìè è (ïåðåñòàâèòü ñòîëáöû )
òàê, ÷òîáû â ïåðâîé ñòðîêå ÷èñëà øëè â ïîðÿäêå âîçðàñòàíèÿ: σ = . . . i . . . −1 . . . σ(i) . . .

Äðóãîé ñïîñîá çàäàòü ïåðåñòàíîâêó  ïîñòðîèòü îðèåíòèðîâàííûé ãðàô (¾äèàãðàììó


ñî ñòðåëêàìè¿), â êîòîðîì n âåðøèí çàíóìåðîâàíû 1, 2, . . . , n, è èç âåðøèíû i èäåò ñòðåëêà
â σ(i), i = 1, 2, . . . .n. Ïåðåõîä ê îáðàòíîé ïåðåñòàíîâêå ñîîòâåòñòâóåò èçìåíåíèþ íàïðàâ-
ëåíèÿ íà âñåõ ñòðåëêàõ. Ïóñòü äâå ïåðåñòàíîâêè σ, η ∈ Sn çàäàíû ñâîèìè äèàãðàììàìè ñî
ñòðåëêàìè íà îäíîé è òîì æå ìíîæåñòâå âåðøèí {1, 2, . . . , n}. ×òîáû íàéòè (ση)(i), íàäî
ïðîéòè èç âåðøèíû i ïóñòü ïî äâóì ñòðåëêàì: ñíà÷àëà ïî ñòðåëêå èç äèàãðàììû η, äàëåå
ïî ñòðåëêå èç äèàãðàììû σ.
Ïîñêîëüêó â êàæäóþ âåðøèíó èäåò ðîâíî îäíà ñòðåëêà è èç êàæäîé âåðøèíû âûõîäèò
ðîâíî îäíà ñòðåëêà, ãðàô ïðåäñòàâëÿåò ñîáîé îáúåäèíåíèå îðèåíòèðîâàííûõ öèêëîâ (äîêà-
æèòå ýòî), ïðè ýòîì íåêîòîðûå öèêëû ìîãóò áûòü òðèâèàëüíûìè, ò.å. ïðåäñòàâëÿòü ñîáîé
ïåòëþ.
Ñëîâî ¾öèêë¿ îòíîñÿò è ê ïåðåñòàíîâêàì ñïåöèàëüíîãî âèäà. Ïåðåñòàíîâêà σ ∈ Sn
íàçûâàåòñÿ öèêëîì äëèíû d, åñëè åé ñîîîòâåòñòâóåò îðèåíòèðîâàííûé ãðàô â âèäå îä-
íîãî íåòðèâèàëüíîãî öèêëà äëèíû d (ò.å. èìåþùåãî d ðåáåð) è n − d òðèâèàëüíûõ öèê-
ëîâ. Ôîðìàëüíî, öèêë äëèíû d  ïåðåñòàíîâêà, äëÿ êîòîðîé èìååòñÿ ïîäìíîæåñòâî
{i1 , . . . , id } ⊂ {1, 2, . . . , n} òàêîå, ÷òî σ(it ) = it+1 äëÿ i = 1, . . . , d (çäåñü ïîëàãàåì id+1 = i1 )
è σ(k) = k ïðè k ∈/ {i1, . . . , id}. Òàêîé öèêë îáîçíà÷àåì êîðîòêî (i1i2 . . . id). Î÷åâèäíî,
(i1 i2 . . . id ) = (i2 . . . id i1 ) = . . . = (id i1 . . . id−1 ), (i1 i2 . . . id )−1 = (id . . . i2 i1 ) Öèêë äëèíû 2 íàçû-
âàþò òàêæå òðàíñïîçèöèåé. Îòìåòèì, ÷òî òðàíñïîçèöèÿ ÿâëÿåòñÿ îáðàòíîé ê ñàìîé ñåáå.
Äâà öèêëà (ïåðåñòàíîâêè) íàçûâàåì íåçàâèñèìûìè, åñëè â èõ äèàãðàììàõ íåòðèâèâàëüíûå
öèêëû íå èìåþò îáùèõ âåðøèí.
Ïðåäëîæåíèå 3.1. Ëþáàÿ ïåðåñòàíîâêà ðàñêëàäûâàåòñÿ â ïðîèçâåäåíèå (ïîïàðíî) íåçà-
âèñèìûõ öèêëîâ.
◃ Ñëåäóåò èç ñòðóêòóðû ñîîòâåòñòâóþùåãî îðèåíòèðîâàííîãî ãðàôà. 

Ñëåäñòâèå. Sn ïîðîæäàåòñÿ öèêëàìè.


18 Ãëàâà 2. ÃÐÓÏÏÛ.

Óïðàæíåíèå. Ïóñòü ïåðåñòàíîâêà σ ðàñêëàäûâàåòñÿ â ïðîèçâåäåíèå (ïîïàðíî) íåçà-


âèñèìûõ öèêëîâ äëèí d1, d2, . . . , dt. Ïîêàæèòå, ÷òî ord σ =ÍÎÊ(d1, d2, . . . , dt).
Ïðåäëîæåíèå 3.2. Öèêë äëèíû d ïðåäñòàâëÿåòñÿ â âèäå ïðîèçâåäåíèÿ d − 1 òðàíñïîçè-
öèé.
◃ Íåïîñðåäñòâåííî ïðîâåðÿåòñÿ, ÷òî (i1 i2 . . . id ) = (i1 id )(i1 id−1 ) . . . (i1 i2 ). 

Ñëåäñòâèå. Sn ïîðîæäàåòñÿ òðàíñïîçèöèÿìè.

◃ Ñëåäóåò èç ïðåäëîæåíèÿ ñ ó÷åòîì ñëåäñòâèÿ èç ïðåäëîæåíèÿ 3.1. 

Ïðåäëîæåíèå 3.3. Òðàíñïîçèöèÿ (kl), k < l , ïðåäñòàâëÿåòñÿ â âèäå ïðîèçâåäåíèÿ


2(l − k) + 1 òðàíñïîçèöèé âèäà (i i + 1).

◃ Èìååì (kl) = (k k + 1)(k + 1 k + 2) . . . (l − 2 l − 1)(l − 1 1)(l − 2 l − 1) . . . (k k + 1). Ýòî


ðàâåíñòâî ìîæíî ïðîâåðèòü íåïîñðåäñòâåííî. 
Ñëåäñòâèå. Sn = ⟨(12), (23), . . . , (n − 1 n)⟩.

◃ Ñëåäóåò èç ïðåäëîæåíèÿ ñ ó÷åòîì ñëåäñòâèÿ èç ïðåäëîæåíèÿ 3.2. 


Óïðàæíåíèå. Ïîêàæèòå, ÷òî Sn = ⟨(12), (12 . . . n)⟩.

×åòíîñòü ïåðåñòàíîâêè.
Äëÿ σ ∈ Sn èíâåðñèåé íàçîâåì êàæäóþ ïàðó (i, j), 1 6 i < j 6 n, äëÿ êîòîðîé σ(i) > σ(j).
×åðåç N (σ) îáîçíà÷èì êîëè÷åñòâî èíâåðñèé â ïåðåñòàíîâêå σ. Òàêæå ââåäåì çíàê ïåðåñòà-
íîâêè ε(σ) = (−1)N (σ). Ïåðåñòàíîâêè, äëÿ êîòîðûõ ε(σ) = 1 íàçûâàþòñÿ ÷åòíûìè, à äëÿ
êîòîðûõ ε(σ) = −1  íå÷åòíûìè.
Óïðàæíåíèå. Ïîêàæèòå, óêàçàâ ïîäõîäÿùóþ áèåêöèþ, ÷òî ïðè n > 2 êîëè÷åñòâà
÷åòíûõ è íå÷åòíûì ïåðåñòàíîâîê ðàâíû.
Ïðåäëîæåíèå 3.4. Ïóñòü σ ∈ Sn.
1) Ïóñòü τ ∈ Sn  òðàíñïîçèöèÿ âèäà (i i + 1). Òîãäà N (στ ) = N (σ) ± 1.
2) Ïóñòü τ ∈ Sn  ïðîèçâîëüíàÿ òðàíñïîçèöèÿ. Òîãäà ε(στ ) = −ε(σ).
◃ 1) Òàáëèöà, çàäàþùàÿ σ(i i + 1), ïîëó÷àåòñÿ èç òàáëèöû, çàäàþùåé σ , îáìåíîì äâóõ
ñîñåäíèõ ÷èñåë â íèæíåé ñòðîêå.
2) Ñîãëàñíî ïðåäëîæåíèþ 3.3, τ ïðåäñòàâëÿåòñÿ â âèäå ïðîèçâåäåíèÿ íå÷åòíîãî êîëè÷åñòâà
òðàíñïîçèöèé âèäà (i i + 1. Òîãäà èç 1) ñëåäóåò, ÷òî ïðè äîìíîæåíèè ñïðàâà íà τ çíàê
ïåðåñòàíîâêè ìåíÿåòñÿ íå÷åòíîå êîëè÷åñòâî ðàç. 
Òåîðåìà 3.1. Ïóñòü σ ∈ Sn . Òîãäà σ  ÷åòíàÿ (íå÷åòíàÿ) ⇔ σ ïðåäñòàâëÿåòñÿ â âèäå
ïðîèçâåäåíèÿ ÷åòíîãî (íå÷åòíîãî) êîëè÷åñòâà òðàíñïîçèöèé.
◃ Ïî ñëåäñòâèþ èç ïðåäëîæåíèÿ 3.2, êàæäàÿ ïåðåñòàíîâêà ïðåäñòàâëÿåòñÿ â âèäå
σ = Id τ1 τ2 . . . τk , ãäå Id  òîæäåñòâåííàÿ ïåðåñòàíîâêà, à τi  òðàíñïîçèöèè. Òàê êàê
ε(Id) = 1, ÷åòíîñòü ïåðåñòàíîâêè σ ñîâïàäàåò ñ ÷åòíîñòüþ k . 

Ñëåäñòâèå. Åñëè σ ∈ Sn  öèêë äëèíû d, òî ε(σ) = (−1)d − 1.

◃ Ñëåäóåò èç òåîðåìû ñ ó÷åòîì ïðåäëîæåíèÿ 3.2. 


§ 4.
. ÑÌÅÆÍÛÅ ÊËÀÑÑÛ. ÒÅÎÐÅÌÀ ËÀÃÐÀÍÆÀ. 19
Òåîðåìà 3.2. Ïóñòü σ, η ∈ Sn. Òîãäà:
1) ε(ση) = ε(σ)ε(η).
2) ε(σ−1) = ε(σ).
◃ Ñëåäóåò èç òåîðåìû 3.1. 

Ñëåäñòâèå. Ìíîæåñòâî ÷åòíûõ ïåðåñòàíîâîê ÿâëÿåòñÿ ïîäãðóïïîé â Sn .

Ïîäãðóïïà âñåõ ÷åòíûõ ïåðåñòàíîâîê íàçûâàåòñÿ çíàêîïåðåìåííîé, åå îáîçíà÷àþò An.


Óòâåðæäåíèå òåîðåìû 3.2 îçíà÷àåò, ÷òî îòîáðàæåíèå σ 7→ ε(σ) ÿâëÿåòñÿ ãîìîìîðôèçìîì
èç Sn â ãðóïïó (ïî óìíîæåíèþ) èç äâóõ ýëåìåíòîâ ±1.

§ 4. Ñìåæíûå êëàññû. Òåîðåìà Ëàãðàíæà.


Ïóñòü â ãðóïïå (G, ·) çàôèêñèðîâàíà ïîäãðóïïà H 6 G. Ââåäåì íà G îòíîøåíèå ∼: ïîëîæèì
a ∼ b ⇔ a−1 b ∈ H .

Ïðåäëîæåíèå 4.1. Ââåäåííîå îòíîøåíèå ÿâëÿåòñÿ îòíîøåíèåì ýêâèâàëåíòíîñòè.

◃ ... 
Çàìåòèì, ÷òî a−1b = h ∈ H ⇔ b = ah, ãäå h ∈ H . Çíà÷èò, êëàññ ýêâèâàëåíòíîñòè
ýëåìåíòà a ðàâåí aH (ïî îïðåäåëåíèþ, aH = {ah | h ∈ H}) è íàçûâàåòñÿ ëåâûì ñìåæíîì
êëàññîì ïî ïîäãðóïïå H . Òàêèì îáðàçîì, ââåäåííîå îòíîøåíèå ïîðîæäàåò ðàçáèåíèå G íà
ëåâûå ñìåæíûå êëàññû. Îäíèì èç êëàññîâ ÿâëÿåòñÿ ñàìà ïîäãðóïïà H = eH .
Ïðåäëîæåíèå 4.2. Ëþáûå äâà ëåâûõ ñìåæíûõ êëàññà ðàâíîìîùíû.

◃ Îòîáðàæåíèå h 7→ ah çàäàåò áèåêöèþ H → aH . 

Òåîðåìà 4.1. (òåîðåìà Ëàãðàíæà). Ïóñòü (G, ·)  ãðóïïà. Ïóñòü |G| < ∞ è H 6 G.

Òîãäà |G| ... |H|.


◃ G ðàçáèâàåòñÿ íà ðàâíîìîùíûå ëåâûå ñìåæíûå êëàññû, îäèí èç êîòîðûõ ñîâïàäàåò
ñ H , çíà÷èò |G| = s · |H|, ãäå s  êîëè÷åñòâî ëåâûõ ñìåæíûõ êëàññîâ. (Èíîãäà òåîðåìîé
Ëàãðàíæà íàçûâàþò ïîñëåäíåå óòâðåæäåíèå.) 
.
Ñëåäñòâèå 1. Ïóñòü (G, ·)  ãðóïïà. Ïóñòü |G| < ∞ è a ∈ G. Òîãäà |G| .. ord a.

Äîñòàòî÷íî âçÿòü H = ⟨a⟩ (ñ ó÷åòîì ñëåäñòâèÿ èç òåîðåìû 2.1). 


Ñëåäñòâèå 2. Ïóñòü (G, ·)  ãðóïïà. Ïóñòü |G| < ∞ è a ∈ G. Òîãäà a = e.


|G|

◃ Âûòåêàåò èç ïðåäûäóùåãî ñëåäñòâèÿ è ïðåäëîæåíèÿ 2.1. 

Ñëåäñòâèå 3. (òåîðåìà Ýéëåðà) Ïóñòü k ∈ Z, n ∈ N, (k, n) = 1. Òîãäà kφ(n) − 1 ... n.


◃  Z∗n âûïîëíåíî: |Z∗n | = φ(n), çíà÷èò, ïî ïðåäûäóùåìó ñëåäñòâèþ, k = 1. 
φ(n)

 ñëó÷àå ïðîñòîãî n = p ïðåäûäóùàÿ òåîðåìà ïðåâðàùàåòñÿ â ìàëóþ òåîðåìó Ôåðìà


(òàê êàê φ(p) = p − 1).
Ñëåäñòâèå 4. (êëàññèôèêàöèÿ ãðóïï ïðîñòîãî ïîðÿäêà) Ïóñòü (G, ·)  ãðóïïà, |G| = p 
ïðîñòîå ÷èñëî. Òîãäà G  öèêëè÷åñêàÿ ãðóïïà.
20 Ãëàâà 2. ÃÐÓÏÏÛ.

Âîçüìåì a ∈ G, a ̸= e è âîçüìåì ïîäãðóïïó H = ⟨a⟩. Òîãäà |H| > 2, à â ñèëó òåîðåìû



Ëàãðàíæà, p ... |H|. Îòñþäà |H| = p, ò.å. H = G, çíà÷èò H = ⟨a⟩. 
ÏÐÈÌÅÐÛ.
Ãîìîìîðôèçì.
Ïóñòü φ : G → Ge  ãîìîìîðôèçì. ßäðîì ãîìîìîðçèçìà íàçûâàåòñÿ ïîëíûé ïðîîáðàç íåé-
òðàëüíîãî ýëåìåíòà, ò.å. ìíîæåñòâî H = {a ∈ G | φ(a) = e}. Òîãäà êëàññû ýêâèâàëåíòíîñòè îò-
íîñèòåëüíî îòíîøåíèÿ ýêâèâàëåíòíîñòè a ∼ b ⇔ φ(a) = φ(b)  ýòî ëåâûå ñìåæíûå êëàññû ïî
ïîäãðóïïå H . (Â ýòîì ïðèìåðå êàæäûé ëåâûé ñìåæíûé êëàññ ñîâïàäàåò ñ ïðàâûì. Ïîäãðóïïû
H ñ òàêèì ñâîéñòâîì íàûçâàþòñÿ íîðìàëüíûìè. Òîëüêî íîðìàëüíàÿ ïîäãðóïïà ìîæåò ÿâëÿòüñÿ
ÿäðîì ãîìîìîðôèçìà. Íà ôàêòîð-ìíîæåñòâå ìîæíî ââåñòè îïåðàöèþ ïî ïðàâèëó aH · bH = abH ,
ïðåâðàùàþùóþ ôàêòîð-ìíîæåñòâî â ãðóïïó  ýòî ôàêòîð-ãðóïïà.)
Íàïðèìåð, ñìåæíûé êëàññû GLn(R) ïî SLn(R)  ìíîæåñòâî ìàòðèö ñ ôèêñèðîâàííûì îïðå-
äåëèòåëåì. Ýòî ìîæíî óâèäåòü èç ãîìîìîðôèçìà det : GLn(R) → R∗.
Äåéñòâèÿ.
Ïóñòü ãðóïïà (G, ·) äåéñòâóåò íà ìíîæåñòâå X , è a(X ′) = X ′′ (ãäå a ∈ G, X ′, X ′′ ⊂ X , ïîäðàçó-
ìåâàåòñÿ, ÷òî X ′ è X ′′  èç îäíîé îðáèòû). Òîãäà ìíîæåñòâî {b ∈ G | b(X ′) = X ′′} ðàâíî ñìåæíîìó
êëàññó aH , ãäå H  ñòàáèëèçàòîð Sym(X ′). Èìååòñÿ áèåêöèÿ ìåæäó ñìåæíûìè êëàññàìè ïî ñòà-
áèëèçàòîðó Sym(X ′) è ýëåìåíòàìè îðáèòû G(X ′).
Ãëàâà 3

Êîëüöà è ïîëÿ.

§ 1. Îïðåäåëåíèÿ è ïðèìåðû.
Ðàññìîòðèì (K, +, ·)  ìíîæåñòâî K ñ äâóìÿ áèíàðíûìè îïåðàöèÿìè. Ðàññìîòðèì ñëåäó-
þùèå àêñèîìû.
K I. (K, +, ·)  àáåëåâà ãðóïïà.
K II.1. a(b + c) = ab + ac (∀ a, b, c ∈ K );
K II.2. (a + b)c = ac + bc (∀ a, b, c ∈ K ).
K III.1. (ab)c = a(bc) (∀ a, b, c ∈ K );
K III.2. ∃ 1 ∈ K ∀ a ∈ K : a · 1 = 1 · a = a;
K III.3. ∀ a ∈ K \ {0} ∃ a−1.
K III.4. ab = ba (∀ a, b ∈ K ).
K II  àêñèîìû äèñòðèáóòèâíîñòè, îíè ñâÿçûâàþò äâå îïåðàöèè â K .
Äîêàæåì íåêîòîðûå ñëåäñòâèÿ àêñèîì.
Ïðåäëîæåíèå 1.1. Ïóñòü (K, +) óäîâëåòâîðÿåò àêñèîìàì K I è K II. Òîãäà ∀ a, b, c ∈ K
âûïîëíåíî:
1) ∀ a ∈ K a · 0 = 0 · a = 0.
2) a(−b) = (−a)b = −(ab).
3) a(b − c) = ab − ac; (a − b)c = ac − bc.
◃ ... 
Äàäèì îñíîâíîå îïðåäåëåíèå:
(K, +, ·) íàçûâàåì êîëüöîì, åñëè óäîâëåòâîðÿåò àêñèîìàì K I, K II è K III.1.

(Èíîãäà êîëüöîì íàçûâàþò (K, +, ·), óäîâëåòâîðÿþùèå òîëüêî àêñèîìàì K I, K II, à


êîëüöî, óäîâëåòâîðÿþùåå òàêæå K III.1, íàçûâàþò àññîöèàòèâíûì êîëüöîì.)
Êîëüöî (K, +, ·), óäîâëåòâîðÿþùåå K III.2, íàçûâàþò êîëüöîì ñ åäèíèöåé. Íåòðóäíî
ïîêàçàòü, ÷òî åñëè â êîëüöå ñ åäèíèöåé 1 = 0, òî K = {0}. Äàëåå ñ÷èòàåì, ÷òî 1 ̸= 0.
Êîëüöî (K, +, ·), óäîâëåòâîðÿþùåå òàêæå K III.4, íàçûâàþò êîììóòàòèâíûì êîëüöîì.
Êîëüöî (K, +, ·), óäîâëåòâîðÿþùåå K III.2 è K III.3, íàçûâàþò òåëîì.
Êîëüöî (K, +, ·), óäîâëåòâîðÿþùåå K III.2, K III.3 è K III.4, íàçûâàþò ïîëåì.
Ïîäìíîæåñòâî L ⊂ K íàçûâàåòñÿ ïîäêîëüöîì, åñëè L  ïîäãðóïïà â (K, +) è K çàìêíóòî
îòíîñèòåëüíî îïåðàöèè óìíîæåíèÿ.
Èìåÿ êîëüöà Ki (i = 1, . . . , t), ìîæíî îïðåäåëèòü èõ ïðÿìóþ ñóììó K1 ⊕K2 ⊕. . .⊕Kt (îïåðàöèè
ïðîèçâîäÿòñÿ ïîêîìïîíåíòíî).
21
22 Ãëàâà 3. ÊÎËÜÖÀ È ÏÎËß.

 êîììóòàòèâíîì êîëüöå K ýëåìåíò a ∈ K íàçûâàåòñÿ äåëèòåëåì íóëÿ, åñëè ∃ b ∈ K , b ̸= 0:


ab = 0.

Ïðåäëîæåíèå 1.2. Ïóñòü (K, +, ·)  êîììóòàòèâíîå êîëüöî ñ åäèíèöåé. Åñëè a  îáðàòèìûé


ýëåìåíò (â ïîëóãðóïïå K ), òî a íå ÿâëÿåòñÿ äåëèòåì íóëÿ.
◃ Ïóñòü ab = 0. Òîãäà a−1 ab = 0 ⇒ b = 0. 

Ïðèìåðû.

I. ×èñëà:
(Z, +, ·)  êîììóòàòèâíîå êîëüöî ñ åäèíèöåé áåç äåëèòåëåé íóëÿ.
, ,
(Q, +, ·) (R, +, ·) (C, +, ·) ïîëÿ.
II. Êîëüöà âû÷åòîâ:
(Zn , +, ·)  êîììóòàòèâíîå êîëüöî ñ åäèíèöåé. Åñëè n ñîñòàâíîå, òî â Zn åñòü äåëèòåëè íóëÿ.
Åñëè n = p  ïðîñòîå, òî (Zp, +, ·)  ïîëå (ñì. íèæå).
III. Ìàòðèöû:
(Mn×n (F), +, ·)  êîëüöî ñ åäèíèöåé (ãäå F  ïîëå, èëè áîëåå îáùî, êîììóòàòèâíîå êîëüöî ñ
åäèíèöåé). Ïðè n > 2 ýòî êîëüöî íåêîììóòàòèâíîå.
Óïðàæíåíèå. Îïèøèòå äåëèòåëè íóëÿ â Mn×n(R).
IV. Ìíîãå÷ëåíû:
(F[X], +, ·)  êîììóòàòèâíîå êîëüöî, (ãäå F  ïîëå, èëè áîëåå îáùî, êîììóòàòèâíîå êîëüöî).
Óïðàæíåíèå. Ïîêàæèòå, ÷òî åñëè F íå èìååò äåëèòåëåé íóëÿ, òî F[X]  òîæå.

§ 2. Íà÷àëà òåîðèè äåëèìîñòè â êîëüöàõ.


 ýòîì ïàðàãðàôå K îáîçíà÷àåò êîììóòàòèâíîå êîëüöî ñ åäèíèöåé áåç äåëèòåëåé íóëÿ.
Ïóñòü a, b ∈ K , b ̸= 0. Ñêàæåì, ÷òî a äåëèòñÿ íà b, åñëè íàéäåòñÿ ýëåìåíò c ∈ K òàêîé, ÷òî
a = bc. Èñïîëüóåì îáû÷íîå îáîçíà÷åíèå a .. b èëè b | a.
.
Î÷åâèäíî, åñëè a ... c, b ... c ⇒ a ± b ... c. Îòíîøåíèå äåëèìîñòè ðåôëåêñèâíî è òðàíçèòèâíî, ò.å. a ... b,
. .
b .. c ⇒ a .. c.

Óïðàæíåíèå. Ïóñòü b ∈ K , b ̸= 0. Ïîêàæèòå, ÷òî b ∈ K ∗ ⇔ ∀ a ∈ K a ... b (çäåñü êàê îáû÷íî,


K ∗ îáîçíà÷àåò ìíîæåñòâî îáðàòèìûõ ýëåìåíòîâ êîëüöà K .)
Ââåäåì îòíîøåíèå àññîöèèðîâííîñòè: a ∼ b, åñëè ∃ t ∈ K ∗: a = tb.
Ïðåäëîæåíèå 2.1. Ýòî îòíîøåíèå  ýêâèâàëåíòíîñòü.
◃ ... 
Ïîêàæåì, ÷òî çàìåíà ýëåìåíòà íà ýêâèâàëåíòíûé (àññîöèèðîâàííûé) íå ìåíÿåò äåëèìîñòè (Ò.å.
íà ñàìîì äåëå ìîæíî ãîâîðèòü íå î äåëèìîñòè ýëåìåíòîâ, à î äåëèìîñòè êëàññîâ àññîöèèðîâàííûõ
ýëåìåíòîâ.)
Ïðåäëîæåíèå 2.2. Ïóñòü a ∼ a′, b ∼ b′. Òîãäà a ... b ⇔ a′ ... b′.
◃ ... 
Óïðàæíåíèå. a∼b⇔a b
... è b ... a. (â äîêàçàòåëüñòâå çäåñü èñïîëüçâóåòñÿ îòñóòñòâèå äåëèòåëåé
íóëÿ).
§ 3.
. ÊÎËÜÖÎ Z. 23
Ñêàæåì, ÷òî ýëåìåíò c ∈ K ÿâëÿåòñÿ îáùèì äåëèòåëåì (ÎÄ) ýëåìåíòîâ a è b, åñëè a ... c è b ... c.
Ñêàæåì, ÷òî ýëåìåíò d ∈ K ðàâåí ÍÎÄ ýëåìåíòîâ a è b, åñëè d ÿâëÿåòñÿ ÎÄ è äëÿ ëþáîãî ÎÄ c
âûïîëíåíî d ... c. (Êîíå÷íî, äëÿ ïðîèçâîëüíîãî K ÍÎÄ (a, b) íå îáÿçàí ñóùåñòâîâàòü.) Îáîçíà÷åíèå
äëÿ ÍÎÄ: (a, b). Åñëè (a, b) = 1, òî a è b íàçûâàþòñÿ âçàèìíî-ïðîñòûìè.
Ïðåäëîæåíèå 2.3. Ïóñòü äëÿ íåêîòîðûõ a, b ∈ K ∃ (a, b). Òîãäà (a, b) îïðåäåëåí îäíîçíà÷íî ñ
òî÷íîñòüþ äî àññîöèèðîâàííîñòè.
◃ ... 

Ïðåäëîæåíèå 2.4. Ïóñòü a, b, q ∈ K . Ìíîæåñòâî îáùèõ äåëèòåëåé a è b ñîâïàäàåò ñ ìíî-


æåñòâîì îáùèõ äåëèòåëåé a + qb è b.  ÷àñòíîñòè, åñëè ñóùåñòâóåò (a, b), òî ñóùåñòâóåò è
(a + qb, b), è îí ðàâåí (a, b).

◃ ... 
Ýëåìåíò p ∈/ K ∗ íàçûâàåòñÿ íåðàçëîæèìûì, åñëè èç ðàâåíñòâà p = ab ñëåäóåò, ÷òî õîòÿ áû
îäèí èç ýëåìåíòîâ a, b ïðèíàäëåæèò K ∗.
(Èìååòñÿ ïîíÿòèå ïðîñòîãî ýëåìåíòà êîëüöà, íî îíî íåñêîëüêî îòëè÷àåòñÿ îò ïîíÿòèÿ íåðàç-
ëîæèìîãî ýëåìåíòà.) Èíûìè ñëîâàìè, ó íåðàçëîæèìîãî ýëåìåíòà äåëèòåëÿìè ÿâëÿþòñÿ òîëüêî 1,
p è àññîöèèðîâàííûå ñ íèìè ýëåìåíòû.

§ 3. Êîëüöî Z.

Àëãîðèòì Åâêëèäà. Ëèíåéíîå ïðåäñòàâëåíèå ÍÎÄ.


Òàê êàê Z∗ = {−1, 1}, â êîëüöå Z àññîöèèðîâàííûå ýëåìåíòû ìîãóò îòëè÷àòüñÿ òîëüêî çíàêîì.
Ïîíÿòèå ÍÎÄ ñîãëàñóåòñÿ ñ îáùåì ïîíÿòèåì ÍÎÄ èç ïðåäûäóùåãî ïàðàãðàôà. Ïîíÿòèå ïðîñòîãî
÷èñëà ñîãëàñóåòñÿ ñ ïîíÿòèåì íåðàçëîæèìîãî ýëåìåíòà êîëüöà.
Ïóñòü a, b ∈ N. Ïîëîæèì r0 = a, r1 = b, ïðîèçâåäåì ìíîãîêðàòíîå äåëåíèå ñ îñòàòêîì (ýòî è
åñòü àëãîðèòì Åâêëèäà):
r0 = q1 r1 + r2 ,
r1 = q2 r2 + r3 ,
...,
rn−1 = qn rn + 0.
Ïîñêîëüêó r1 > r2 > r3 > . . . > 0, ïðîöåäóðà çàêîí÷èòñÿ òåì, ÷òî î÷åðåäíîé îñòàòîê rn+1 = 0.
Ñîãëàñíî ïðåäëîæåíèþ 2.4, (a, b) = (r0, r1) = (r1, r2) = (r2, r3) = . . . = (rn, 0) = rn.
Òåîðåìà 3.1. (Î ëèíåéíîì ïðåäñòàëåíèè ÍÎÄ) Ïóñòü a, b ∈ Z, b ̸= 0, d = (a, b). Òîãäà ∃ x, y ∈ Z:
d = xa + yb.

◃ ... Ïóñòü a, b ∈ N (äðóãèå ñëó÷àè ëåãêî ñâîäÿòñÿ ê ýòîìó). Èç ôîðìóë àëãîðèòìà Åâêëèäà
ïîñëåäîâàòåëüíî äëÿ k = 1, 2, . . . íàõîäèì xk , yk ∈ Z: xk a + yk b = rk ... 
Óïðàæíåíèå. Äîêàæèòå, ÷òî â ëèíåéíîì ïðåäñòàâëåíèè ÍÎÄ d = xa + yb äëÿ a, b ∈ N ìîæíî
âûáðàòü |x| < b, |y| < a.
Ðàçëîæåíèå íà ïðîñòûå ìíîæèòåëè è åãî åäèíñòâåííîñòü.

Ëåììà. Ïóñòü a, b, p ∈∈ Z, ïðè÷åì p  ïðîñòîå ÷èñëî è ab ... p. Òîãäà a ... p èëè b ... p.
◃ Åñëè b íå äåëèòñÿ íà p, òî (b, p) = 1. Ïî òåîðåìå î ëèíåéíîì ïðåäñòàâëåíèè ÍÎÄ òîãäà
íàéäóòñÿ x, y ∈ Z òàêèå, ÷òî 1 = bx + py. Óìíîæèì ðàâåíñòâî íà a, ïîëó÷èì a = abx + apy. Òàê
êàê abx ... p è apy ... p, ïîëó÷àåì, ÷òî a ... p. 
24 Ãëàâà 3. ÊÎËÜÖÀ È ÏÎËß.

Òåîðåìà 3.2. (Îñíîâíàÿ òåîðåìà àðèôìåòèêè) 1) ∀ a ∈ N, a > 1, ñóùåñòâóåò ðàçëîæåíèå


a = p1 p2 . . . pk , ãäå pi  ïðîñòûå ÷èñëà.
2)  óêàçàííîì ðàçëîæåíèè íàáîð ïðîñòûõ ìíîæèòåëåé îïðåäåëåí îäíîçíà÷íî.
◃ 1)...
2) Ðàññóæäàåì îò ïðîòèâíîãî. Ïóñòü a  ìèíèìàëüíîå íàòóðàëüíîå ÷èñëî, äëÿ êîòîðîãî èìåþòñÿ
äâà ðàçëè÷íûõ ðàçëîæåíèÿ: a = p1p2 . . . pk = q1q2 . . . ql . Òàê êàê p1(p2 . . . pk ) ... q1, òî ïî ëåììå ëèáî
. . .
p1 .. q1 (è çíà÷èò, p1 = q1 , èáî îáà ÷èñëà ïðîñòûå), ëèáî p2 . . . pk .. q1 . Ïðîäîëæàÿ äàëåå: p2 (p3 . . . pk ) .. q1
è ò.ä., â êîíöå êîíöîâ íàõîäèì pi = q1. Ñîêðàùàÿ ðàâåíñòâî p1p2 . . . pk = q1q2 . . . qk íà q1, ïîëó÷àåì
ïðîòèâîðå÷èå ñ âûáîðîì a. 
Êèòàéñêàÿ òåîðåìà îá îñòàòêàõ.
Òåîðåìà 3.3. (Êèòàéñêàÿ òåîðåìà îá îñòàòêàõ) Ïóñòü äàíû a1, . . . , ak ∈ N  ïîïàðíî âçàèìíî
ïðîñòûå ÷èñëà, r1, . . . , rk ∈ Z. Òîãäà ∃ x ∈ Z: x ≡ ri (mod ai), i = 1, . . . , k.
◃ Ïðèìåíèì òåîðåìó î ëèíåéíîé ïðåäñòàâëåíèè ÍÎÄ ê a1 è A1 = a2 . . . ak : ∃ t, s ∈ Z:
ta1 + sA1 = 1. Ïîëîæèì x1 = sA1 . Òîãäà x1 ≡ 1 (mod a1 ) è x1 ≡ 0 (mod ai ) i = 2, . . . , k .
Àíàëîãè÷íî íàéäåì x2, . . . , xk òàê, ÷òî xm ≡ 1 (mod am) è xm ≡ 0 (mod ai) ïðè i ̸= m.
Èñêîìîå x çàäàäèì êàê x = r1x1 + r2x2 + . . . + rk xk . 
Óïðàæíåíèå. Ïîêàæèòå, ÷òî â óñëîâèÿõ Êèòàéñêîé òåîðåìû îá îñòàòêàõ x ìîæíî âûáðàòü
èç ìíîæåñòâà {0, 1, . . . , a1a2 . . . ak − 1}.

§ 4. Àðèôìåòèêà ïî ìîäóëþ n (êîëüöî Zn ).

Ñòðóêòóðà Zn .
Òåîðåìà 4.1. Ïóñòü m, n ∈ N, (m, n) = 1. Òîãäà Zmn ∼= Zm ⊕ Zn.
◃ Äëÿ ÷èñëà k ∈ Z ïóñòü k (s) îçíà÷àåò ñîîòâåòñòâóþùèé âû÷åò â Zs . Ðàññìîòðèì îòîáðàæåíèå
φ : Zmn → Zm ⊕ Zn , çàäàííîå ïðàâèëîì k (mn) 7→ (k (m) , k (n) ). Ýòî îòîáðàæåíèå êîððåêòíî è ãîìî-
ìîðôíî (äîê-âî...). À èç Êèòàéñêîé òåîðåìû îá îñòàòêàõ ñëåäóåò, ÷òî îíî ñþðúåêòèâíî, è çíà÷èò,
áèåêòèâíî, ââèäó |Zmn| = |Zm| · |Zn| = mn. 
Ñëåäñòâèå 1. Ïóñòü n ∈ N, n = pα1 pα2 . . . pαk , ãäå pi  ïîïàðíî ðàçëè÷íûå ïðîñòûå ÷èñëà, à
1 2 k

αi ∈ N. Òîãäà Zn ∼
= Zp ⊕ . . . ⊕ Zp .
α1 αk
1 k

Ñëåäñòâèå 2. (Ôîðìóëà äëÿ ôóíêöèè Ýéëåðà) Ïóñòü ( n∈N ), (n = p1 )


p2 . .(. pαk , ãäå
α α 1 2
) pi  ïîïàðíî
k

ðàçëè÷íûå ïðîñòûå ÷èñëà, à αi ∈ N. Òîãäà φ(n) = n 1 − p1 1 − p2 . . . 1 − p .


1 1 1
k

◃Èç ïðåäûäóùåãî ñëåäñòâèÿ ïîëó÷àåì, ÷òî Z∗n ∼= Z∗p × . . . × Z∗p . Ïðèðàâíèâàÿ ïîðÿäêè
α1 αk

ãðóïï, ïîëó÷àåì ìóëüòèïëèêàòèâíîñòü ôóíêöèè Ýéëåðà: φ(n) = φ(pα1 ) . . . φ(pαk ).


1 k
1 k

Íî φ(pα) íàõîäèòñÿ íåïîñðåäñòâåííî: ÷òîáû â ìíîæåñòâå {1, 2, . . . , pα} îñòàëèñü òîëüêî ÷èñëà,
âçàèìíî ïðîñòûå ñ pα, íàäî âû÷åðêíóòü ÷èñëà, êðàòíûå p, îòñþäà φ(pα) = pα − pα−1. 
Äåëèòåëè íóëÿ è îáðàòèìûå ýëåìåíòû. Ïîëå Zp .
Êàê ìû âèäåëè ðàíåå, â êîëüöå Zn îáðàòèìûå ýëåìåíòû  â òî÷íîñòè ýëåìåíòû âèäà k, ãäå
(k, n) = 1. Îñòàëüíûå ýëåìåíòû  äåëèòåëè íóëÿ. Äåéñòâèòåëüíî, åñëè (k, n) = d > 1, ïîëîæèì
.
m = n/d. Òîãäà mk .. n, ò.å. mk = 0, íî m ̸= 0. Îòñþäà, â ÷àñòíîñòè, ìû ïîëó÷àåì:

Òåîðåìà 4.2. Êîëüöî Zn  ïîëå ⇔ n  ïðîñòîå ÷èñëî.


§ 5.
. ÏÎËÅ ÊÎÌÏËÅÊÑÍÛÕ ×ÈÑÅË. 25
Õàðàêòåðèñòèêà ïîëÿ.
Ïóñòü F  ïðîèçâîëüíîå ïîëå. Ïóñòü p = ord 1 (ïîðÿäîê åäèíèöû ïîëÿ â àáåëåâîé ãðóïïå (F, +).
Åñëè p < ∞, ãîâîðÿò, ÷òî ïîëå èìååò õàðàêòåðèñòèêó p. Èíà÷å ãîâîðÿò, ÷òî ïîëå èìååò õàðàêòå-
ðèñòèêó 0. Õàðàêòåðèñòèêó ïîëÿ F îáîçíà÷àåì Char F.
Òåîðåìà 4.3. Ïóñòü F  ïîëå, Char F = p < ∞. Òîãäà p  ïðîñòîå ÷èñëî.
◃ Ïðåäïîëîæèì ïðîòèâíîå, p = kl, ãäå k, l ∈ N, k > 1, l > 1. Òîãäà â àáåëåâîé ãðóïïå (F, +)
âûïîëíåíî (kl) · 1 = 0, íî k · 1 ̸= 0, l · 1 ̸= 0. Ñ äðóãîé ñòîðîíû, èç äèñòðèáóòèâíîñòè â F âûïîëíåíî
(kl) · 1 = (k · 1)(l · 1)  â ïîëå íàøëèñü äåëèòåëè íóëÿ  ïðîòèâîðå÷èå. 
Ìîæíî ïîêàçàòü, ÷òî â ïîëå F õàðàêòåðèñòèêè p ýëåìåíòû {k · 1 | k = 0, 1, . . . , p − 1}, îáðàçóþò
ïîäïîëå. Ýòî ïîäïîëå ÿâëÿåòñÿ ìèíèìàëüíûì ïîäïîëåì (òàê íàçûâàåìîå ïðîñòîå ïîäïîëå) â F,
îíî èçîìîðôíî ïîëþ Zp. Åñëè æå Char F = 0, òî ýëåìåíòû âèäà (k · 1)(l · 1)−1, k ∈ Z, l ∈ N, ïðîñòîå
ïîäïîëå, èçîìîðôíîå Q.

§ 5. Ïîëå êîìïëåêñíûõ ÷èñåë.

Îïåðàöèè â C.
Ñîïðÿæåíèå. Ìîäóëü è àðãóìåíò êîìïëåêñíîãî ÷èñëà, òðèãîíîìåòðè÷åñêàÿ çàïèñü. Óìíîæåíèå,
âîçâåäåíèå â ñòåïåíü, îáðàùåíèå. Èçâëå÷åíèå êîðíåé.
Ïðèìåðû ïîäïîëåé â C, ïîäãðóïïû â C∗.
Ìàòðèöû ñ êîìïëåêñíûìè êîýôôèöèåíòàìè.
Ãàóññîâû ÷èñëà.
Äåëèìîñòü. Äåëåíèå ñ îñòàòêîì. Ðàçëîæåíèå íà ïðîñòûå.
Êâàòåðíèîíû.
Îïðåäåëåíèå. Îáðàòèìîñòü.

§ 6. Êîëüöî ìíîãî÷ëåíîâ îò îäíîé ïåðåìåííîé.

Äåëèìîñòü â F[X].
Ïóñòü F  ïîëå. Òîãäà F[X]  êîììóòàòèâíîå êîëüöî ñ åäèíèöåé áåç äåëèòåëåé íóëÿ.
Äåëèìîñòü. ÍÎÄ. Àëãîðèòì Åâêëèäà. Ðàçëîæåíèå íà íåïðèâîäèìûå ñîìíîæèòåëè (íåðàçëî-
æèìûå ýëåìåíòû êîëüöà) è åãî åäèíñòâåííîñòü. (Àíàëîãè÷íî Z).
Íåïðèâîäèìûå ìíîãî÷ëåíû íàä R, C.