Академический Документы
Профессиональный Документы
Культура Документы
Ï.À. Êîæåâíèêîâ
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
Àáñòðàêòíûå îòîáðàæåíèÿ.
§ 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.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.
ðóþò ∀ m, n ∈ Z.
Óïðàæíåíèå. Â ãðóïïå (G, ·) âûïîëíåíî (ab) = a b ⇔ ýëåìåíòû a è b êîììóòèðóþò.
2 2 2
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 ∗).
Îòîáðàæåíèå φ : e
G→G íàçûâàåòñÿ èçîìîðôèçìîì, åñëè φ ãîìîìîðôèçì, ÿâëÿþ-
ùèéñÿ áèåêöèåé.
Ãðóïïû (G, ·) è e ∗)
(G, íàçûâàþòñÿ èçîìîðôíûìè, åñëè ñóùåñòâóåò èçîìîðôèçì
φ : G → G.
e
◃ ...
Óïðàæíåíèå. Ïóñòü G × G e ïðÿìîå ïðîèçâåäåíèå ãðóïï. Òîãäà ïðîåêòèðîâàíèå
φ : G×G e → G, îïðåäåëåííîå ïðàâèëîì φ((a, ea)) = a ÿâëÿåòñÿ ãîìîìîðôèçìîì.
◃ ...
Óïðàæíåíèå. Åñëè G × G e ïðÿìîå ïðîèçâåäåíèå ìîíîèäîâ, òî (G × G) e∗ .
e ∗ = G∗ × G
Íàïðèìåð, ⟨a⟩ = {. . . , a−2, a−1, e, a, a2, a3, . . .}, òàê êàê â ëþáîì ¾ñëîâå¿ aε aε . . . aε ïðî-
1 2 k
Ïîðÿäîê ýëåìåíòà.
Ïóñòü (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.
Ïðåäëîæåíèå 2.2. Ïóñòü k ∈ Zn. Òîãäà ord k (â ãðóïïå (Zn, +)) ðàâåí (n,nk) .
§ 3. Ñèììåòðè÷åñêàÿ ãðóïïà.
×åòíîñòü ïåðåñòàíîâêè.
Äëÿ σ ∈ 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 .
◃ ...
Çàìåòèì, ÷òî a−1b = h ∈ H ⇔ b = ah, ãäå h ∈ H . Çíà÷èò, êëàññ ýêâèâàëåíòíîñòè
ýëåìåíòà a ðàâåí aH (ïî îïðåäåëåíèþ, aH = {ah | h ∈ H}) è íàçûâàåòñÿ ëåâûì ñìåæíîì
êëàññîì ïî ïîäãðóïïå H . Òàêèì îáðàçîì, ââåäåííîå îòíîøåíèå ïîðîæäàåò ðàçáèåíèå G íà
ëåâûå ñìåæíûå êëàññû. Îäíèì èç êëàññîâ ÿâëÿåòñÿ ñàìà ïîäãðóïïà H = eH .
Ïðåäëîæåíèå 4.2. Ëþáûå äâà ëåâûõ ñìåæíûõ êëàññà ðàâíîìîùíû.
Òåîðåìà 4.1. (òåîðåìà Ëàãðàíæà). Ïóñòü (G, ·) ãðóïïà. Ïóñòü |G| < ∞ è H 6 G.
Êîëüöà è ïîëÿ.
§ 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.
Ïðèìåðû.
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] òîæå.
◃ ...
Ýëåìåíò p ∈/ K ∗ íàçûâàåòñÿ íåðàçëîæèìûì, åñëè èç ðàâåíñòâà p = ab ñëåäóåò, ÷òî õîòÿ áû
îäèí èç ýëåìåíòîâ a, b ïðèíàäëåæèò K ∗.
(Èìååòñÿ ïîíÿòèå ïðîñòîãî ýëåìåíòà êîëüöà, íî îíî íåñêîëüêî îòëè÷àåòñÿ îò ïîíÿòèÿ íåðàç-
ëîæèìîãî ýëåìåíòà.) Èíûìè ñëîâàìè, ó íåðàçëîæèìîãî ýëåìåíòà äåëèòåëÿìè ÿâëÿþòñÿ òîëüêî 1,
p è àññîöèèðîâàííûå ñ íèìè ýëåìåíòû.
§ 3. Êîëüöî Z.
◃ ... Ïóñòü 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. ÊÎËÜÖÀ È ÏÎËß.
Ñòðóêòóðà 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
◃Èç ïðåäûäóùåãî ñëåäñòâèÿ ïîëó÷àåì, ÷òî Z∗n ∼= Z∗p × . . . × Z∗p . Ïðèðàâíèâàÿ ïîðÿäêè
α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. Îòñþäà, â ÷àñòíîñòè, ìû ïîëó÷àåì:
Îïåðàöèè â C.
Ñîïðÿæåíèå. Ìîäóëü è àðãóìåíò êîìïëåêñíîãî ÷èñëà, òðèãîíîìåòðè÷åñêàÿ çàïèñü. Óìíîæåíèå,
âîçâåäåíèå â ñòåïåíü, îáðàùåíèå. Èçâëå÷åíèå êîðíåé.
Ïðèìåðû ïîäïîëåé â C, ïîäãðóïïû â C∗.
Ìàòðèöû ñ êîìïëåêñíûìè êîýôôèöèåíòàìè.
Ãàóññîâû ÷èñëà.
Äåëèìîñòü. Äåëåíèå ñ îñòàòêîì. Ðàçëîæåíèå íà ïðîñòûå.
Êâàòåðíèîíû.
Îïðåäåëåíèå. Îáðàòèìîñòü.
Äåëèìîñòü â F[X].
Ïóñòü F ïîëå. Òîãäà F[X] êîììóòàòèâíîå êîëüöî ñ åäèíèöåé áåç äåëèòåëåé íóëÿ.
Äåëèìîñòü. ÍÎÄ. Àëãîðèòì Åâêëèäà. Ðàçëîæåíèå íà íåïðèâîäèìûå ñîìíîæèòåëè (íåðàçëî-
æèìûå ýëåìåíòû êîëüöà) è åãî åäèíñòâåííîñòü. (Àíàëîãè÷íî Z).
Íåïðèâîäèìûå ìíîãî÷ëåíû íàä R, C.