Π Π°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡΡΠ° Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»Π°
ΠΠΎΡΡΠΎΠΌΡ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S ΠΌΠΎΠΆΠ½ΠΎ Π²Π·ΡΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΠ°Ρ (i, r), iI, rR (l, p), lL/I, pP Ρ ΠΏΠΎΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ½ΡΠΌ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. ΠΠ²ΠΈΠ΄Ρ ΠΏΡΠΎΡΡΠΎΡΡ I ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π·Π°Π΄Π°Π½Ρ ΠΊΠΎΡΡΠ΅ΠΊΡΠ½ΠΎ, Π°ΠΊΡΠΈΠΎΠΌΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΠΎΠ½ΠΈ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π΄Π»Ρ Π»Π΅Π²ΠΎΠΉ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΡ, ΠΊΠ°ΠΊ Π°ΠΊΡΠΈΠΎΠΌΡ ΡΠ΅ΡΡΡΠΊΠΈ ΠΈ Π΄Π»Ρ ΠΏΡΠ°Π²ΠΎΠΉ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΡ, ΡΡΠΎ ΡΠ»Π΅Π΄ΡΠ΅Ρ ΠΈΠ· ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ F, R, P, F/L2. ΠΡΠ»ΠΈ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΠΈ Π²ΡΠ±ΡΠ°ΡΡ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° ΠΏΠ΅ΡΠ²ΡΡ … Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
Π Π°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡΡΠ° Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° (ΡΠ΅ΡΠ΅ΡΠ°Ρ, ΠΊΡΡΡΠΎΠ²Π°Ρ, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½Π°Ρ)
Π€Π΅Π΄Π΅ΡΠ°Π»ΡΠ½ΠΎΠ΅ Π°Π³Π΅Π½ΡΡΡΠ²ΠΎ ΠΏΠΎ ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ ΠΠΎΡΡΠ΄Π°ΡΡΡΠ²Π΅Π½Π½ΠΎΠ΅ ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΡΡΡΠ΅ΠΆΠ΄Π΅Π½ΠΈΠ΅ Π²ΡΡΡΠ΅Π³ΠΎ ΠΏΡΠΎΡΠ΅ΡΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ³ΠΎ ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡ
ΠΡΡΡΠΊΠΈΠΉ Π³ΠΎΡΡΠ΄Π°ΡΡΡΠ²Π΅Π½Π½ΡΠΉ Π³ΡΠΌΠ°Π½ΠΈΡΠ°ΡΠ½ΡΠΉ ΡΠ½ΠΈΠ²Π΅ΡΡΠΈΡΠ΅Ρ ΠΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΡΠ°ΠΊΡΠ»ΡΡΠ΅Ρ ΠΠ°ΡΠ΅Π΄ΡΠ° Π°Π»Π³Π΅Π±ΡΡ ΠΈ Π³Π΅ΠΎΠΌΠ΅ΡΡΠΈΠΈ ΠΡΠΏΡΡΠΊΠ½Π°Ρ ΠΊΠ²Π°Π»ΠΈΡΠΈΠΊΠ°ΡΠΈΠΎΠ½Π½Π°Ρ ΡΠ°Π±ΠΎΡΠ° Π Π°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡΡΠ° Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° ΠΡΠΏΠΎΠ»Π½ΠΈΠ»:
ΡΡΡΠ΄Π΅Π½Ρ V ΠΊΡΡΡΠ° ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ°ΠΊΡΠ»ΡΡΠ΅ΡΠ°
ΠΡΠΊΠΈΠ½ ΠΠΈΡ Π°ΠΈΠ» ΠΠ»Π΅ΠΊΡΠ°Π½Π΄ΡΠΎΠ²ΠΈΡ
_____________________
ΠΠ°ΡΡΠ½ΡΠΉ ΡΡΠΊΠΎΠ²ΠΎΠ΄ΠΈΡΠ΅Π»Ρ:
Π΄. Ρ.-ΠΌ. Π½., ΠΏΡΠΎΡΠ΅ΡΡΠΎΡ, Π·Π°Π². ΠΊΠ°ΡΠ΅Π΄ΡΠΎΠΉ Π°Π»Π³Π΅Π±ΡΡ ΠΈ Π³Π΅ΠΎΠΌΠ΅ΡΡΠΈΠΈ
ΠΠ΅ΡΡΠΎΠΌΠΎΠ² ΠΠ²Π³Π΅Π½ΠΈΠΉ ΠΠΈΡ Π°ΠΉΠ»ΠΎΠ²ΠΈΡ
_____________________
Π Π΅ΡΠ΅Π½Π·Π΅Π½Ρ:
ΠΊ. Ρ.-ΠΌ. Π½., Π΄ΠΎΡΠ΅Π½Ρ, Π΄ΠΎΡΠ΅Π½Ρ ΠΊΠ°ΡΠ΅Π΄ΡΡ Π°Π»Π³Π΅Π±ΡΡ ΠΈ Π³Π΅ΠΎΠΌΠ΅ΡΡΠΈΠΈ
Π§Π΅ΡΠΌΠ½ΡΡ ΠΠ°ΡΠΈΠ»ΠΈΠΉ ΠΠ»Π°Π΄ΠΈΠΌΠΈΡΠΎΠ²ΠΈΡ
_____________________
ΠΠΎΠΏΡΡΠ΅Π½ ΠΊ Π·Π°ΡΠΈΡΠ΅ Π² Π³ΠΎΡΡΠ΄Π°ΡΡΡΠ²Π΅Π½Π½ΠΎΠΉ Π°ΡΡΠ΅ΡΡΠ°ΡΠΈΠΎΠ½Π½ΠΎΠΉ ΠΊΠΎΠΌΠΈΡΡΠΈΠΈ
«___» __________2005 Π³. ΠΠ°Π². ΠΊΠ°ΡΠ΅Π΄ΡΠΎΠΉ Π. Π. ΠΠ΅ΡΡΠΎΠΌΠΎΠ²
«___"___________2005 Π³. ΠΠ΅ΠΊΠ°Π½ ΡΠ°ΠΊΡΠ»ΡΡΠ΅ΡΠ° Π. Π. ΠΠ°ΡΠ°Π½ΠΊΠΈΠ½Π°
ΠΠΈΡΠΎΠ² — 2005Π‘ΠΎΠ΄Π΅ΡΠΆΠ°Π½ΠΈΠ΅
ΠΠ²Π΅Π΄Π΅Π½ΠΈΠ΅
3
§ 1. ΠΠΎΠΏΡΡΡΠΈΠΌΡΠ΅ ΠΊΠΎΠ»ΡΡΠ° ΠΈ ΡΠ΅ΡΠ΅ΡΠΊΠΈ 6
§ 2. ΠΠΎΠΏΡΡΡΠΈΠΌΡΠ΅ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° 10
§ 3. Π Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ 12
ΠΠ°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅
14
ΠΠΈΠ±Π»ΠΈΠΎΠ³ΡΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΡΠΏΠΈΡΠΎΠΊ 15
Π’Π΅ΠΎΡΠΈΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»Π΅Ρ ΡΠ²Π»ΡΠ΅ΡΡΡ Π°ΠΊΡΠΈΠ²Π½ΠΎ ΡΠ°Π·Π²ΠΈΠ²Π°ΡΡΠΈΠΌΡΡ ΡΠ°Π·Π΄Π΅Π»ΠΎΠΌ ΡΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π°Π»Π³Π΅Π±ΡΡ, Π½Π°Ρ ΠΎΠ΄ΡΡΠΈΠΌ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΈΡ Π² ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠ½ΠΎΠΉ Π°Π»Π³Π΅Π±ΡΠ΅, ΠΈΠ΄Π΅ΠΌΠΏΠΎΡΠ΅Π½ΡΠ½ΠΎΠΌ Π°Π½Π°Π»ΠΈΠ·Π΅, ΡΠ΅ΠΎΡΠΈΠΈ ΠΎΠΏΡΠΈΠΌΠ°Π»ΡΠ½ΠΎΠ³ΠΎ ΡΠΏΡΠ°Π²Π»Π΅Π½ΠΈΡ.
ΠΠ»Ρ ΠΏΠΎΠ»ΡΡΠ΅Π½ΠΈΡ Π½ΠΎΠ²ΡΡ ΠΊΠΎΠ½ΡΡΡΡΠΊΡΠΈΠΉ ΠΏΠΎΠ»ΡΠΊΠΎΠ»Π΅Ρ ΠΌΠΎΠΆΠ΅Ρ ΠΎΠΊΠ°Π·Π°ΡΡΡΡ ΠΏΠΎΠ»Π΅Π·Π½ΡΠΌ ΠΏΠΎΠ½ΡΡΠΈΠ΅ Π΄Π²ΠΎΠΉΠ½ΠΎΠ³ΠΎ ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»Π΅Ρ (ΠΈΠ»ΠΈ 0−1 ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ).
Π ΡΠ°Π±ΠΎΡΠ΅ ΠΈΡΡΠ»Π΅Π΄ΡΠ΅ΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ Π²ΠΎΠΏΡΠΎΡ. ΠΠ»Ρ ΠΊΠ°ΠΊΠΈΡ ΠΊΠΎΠ»ΡΡΠ° R, ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U ΠΈ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½Π½ΠΎΠΉ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΡΠ΅ΡΠΊΠΈ L ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ 0−1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡΡΠ° R ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ΅ΡΠ΅ΡΠΊΠΈ L?
ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎΠΌ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠ°ΠΊΠ°Ρ Π°Π»Π³Π΅Π±ΡΠ°ΠΈΡΠ΅ΡΠΊΠ°Ρ ΡΡΡΡΠΊΡΡΡΠ° S; +,, 0, ΡΡΠΎ S; +, 0 — ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΡΠΉ ΠΌΠΎΠ½ΠΎΠΈΠ΄ Ρ Π½ΡΠ»Π΅ΠΌ 0, S, — ΠΏΠΎΠ»ΡΠ³ΡΡΠΏΠΏΠ° ΠΈ Π² S Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π° a(b+c)=ab+ac, (a+b)c=ac+bc ΠΈ a0=0a=0. ΠΠ΅ΠΎΠ΄Π½ΠΎΡΠ»Π΅ΠΌΠ΅Π½ΡΠ½ΠΎΠ΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ Ρ Π΄Π΅Π»Π΅Π½ΠΈΠ΅ΠΌ, Π½Π΅ ΡΠ²Π»ΡΡΡΠ΅Π΅ΡΡ ΠΊΠΎΠ»ΡΡΠΎΠΌ, Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ (Ρ Π½ΡΠ»Π΅ΠΌ). ΠΡΠ»ΠΈ ΠΈΠ· ΠΏΠΎΠ»ΡΡΠ΅Π»Π° S ΠΈΡΠΊΠ»ΡΡΠΈΡΡ 0, ΡΠΎ ΠΏΠΎΠ»ΡΡΠΈΠΌ ΡΡΡΡΠΊΡΡΡΡ S; +,, ΠΊΠΎΡΠΎΡΡΡ Π±ΡΠ΄Π΅ΠΌ Π½Π°Π·ΡΠ²Π°ΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ Π±Π΅Π· Π½ΡΠ»Ρ, ΠΈΠ»ΠΈ ΠΏΡΠΎΡΡΠΎ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ. ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ Ρ ΠΊΠ²Π°Π·ΠΈΡΠΎΠΆΠ΄Π΅ΡΡΠ²ΠΎΠΌ a+b=0 a=0 Π½Π°Π·ΠΎΠ²Π΅ΠΌ Π°Π½ΡΠΈΠΊΠΎΠ»ΡΡΠΎΠΌ. ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ Ρ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²ΠΎΠΌ a+a=a Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡΠ΅Π½ΡΠ½ΡΠΌ. Π ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ Ρ ΠΊΠ²Π°Π·ΠΈΡΠΎΠΆΠ΄Π΅ΡΡΠ²ΠΎΠΌ a+b=a+c b=c Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠΎΠΊΡΠ°ΡΠΈΠΌΡΠΌ.
ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S Π½Π°Π·ΠΎΠ²Π΅ΠΌ 0-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° K Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° T, Π΅ΡΠ»ΠΈ Π½Π° S ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΡΠ°ΠΊΠ°Ρ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΡ, ΡΡΠΎ K[0] - ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎ Π½ΡΠ»Π΅Π²ΠΎΠΌΡ ΡΠ΄ΡΡ — ΠΈ S/T. ΠΠ½Π°Π»ΠΎΠ³ΠΈΡΠ½ΠΎ, ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S Ρ Π΅Π΄ΠΈΠ½ΠΈΡΠ΅ΠΉ 1 Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ 1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° K, Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π±Π΅Π· Π½ΡΠ»Ρ, Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° T, Π΅ΡΠ»ΠΈ Π½Π° S ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΡ, Π΄Π»Ρ ΠΊΠΎΡΠΎΡΠΎΠΉ K[1] - ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎ Π΅Π΄ΠΈΠ½ΠΈΡΠ½ΠΎΠΌΡ ΡΠ΄ΡΡ — ΠΈ S/T. Π ΠΎΡΠ»ΠΈΡΠΈΠ΅ ΠΎΡ ΠΊΠΎΠ»Π΅Ρ Π΄Π°Π½Π½ΡΠ΅ ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡ ΡΠΈΡΠ΅ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΡΡ ΡΠ°ΠΌΠΈ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ°, ΡΠΊΠ°ΠΆΠ΅ΠΌ, ΠΈΠ·ΡΡΠΈΡΡ ΡΠΈΠΌΠ±ΠΈΠΎΠ· ΠΊΠΎΠ»Π΅Ρ ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π», ΠΈΠ»ΠΈ ΠΊΠΎΠ»Π΅Ρ ΠΈ Π°Π½ΡΠΈΠΊΠΎΠ»Π΅Ρ (ΡΠΌ. [1]).
ΠΠ»Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S ΠΎΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΡΠ΅ΡΠ΅Π· R(S) ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π²ΡΠ΅Ρ Π°Π΄Π΄ΠΈΡΠΈΠ²Π½ΠΎ ΠΎΠ±ΡΠ°ΡΠΈΠΌΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² Π² S, Π° ΡΠ΅ΡΠ΅Π· U(S) — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π²ΡΠ΅Ρ ΠΎΠ±ΡΠ°ΡΠΈΠΌΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² Π² S Π² ΡΠ»ΡΡΠ°Π΅, ΠΊΠΎΠ³Π΄Π° S ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ 1. ΠΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ R(S) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΊΠΎΠ»ΡΡΠΎΠΌ ΠΈ ΡΡΡΠΎΠ³ΠΈΠΌ ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S (Ρ.Π΅. a+bR(S) a, bR(S)).
ΠΡΡΡΡ S/R(S) — ΡΠ°ΠΊΡΠΎΡ-ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S ΠΏΠΎ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΠΈ ΠΠ΅ΡΠ½Π°, ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅ΠΉ ΠΈΠ΄Π΅Π°Π»Ρ R(S): s ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠ½ΠΎ t s+a=t+b Π΄Π»Ρ Π½Π΅ΠΊΠΎΡΠΎΡΡΡ a, bR(S). ΠΠΎΠ»ΠΎΠΆΠΈΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΡΠ΅Π³ΡΠ»ΡΡΠ½ΠΎΠ΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ, Π²ΡΠ΅ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡΠ΅Π½ΡΡ ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΡΠ΅Π½ΡΡΠ°Π»ΡΠ½Ρ, Π½Π°Π·ΡΠ²Π°ΡΡΡΡ arp-ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎΠΌ. ΠΡΠΈ ΡΡΠΎΠΌ ΠΏΠΎΠ»ΠΎΠΆΠΈΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S Ρ 1 ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ, ΡΡΠΎ Π²ΡΠ΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ Π²ΠΈΠ΄Π° a+1, aS, ΠΎΠ±ΡΠ°ΡΠΈΠΌΡ, Π° Π΅Π³ΠΎ ΡΠ΅Π³ΡΠ»ΡΡΠ½ΠΎΡΡΡ ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ ΡΠ°Π·ΡΠ΅ΡΠΈΠΌΠΎΡΡΡ Π² S ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ axa=a.
Π‘ΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ.
1. ΠΡΠ±ΠΎΠ΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S ΡΠ²Π»ΡΠ΅ΡΡΡ 0-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΊΠΎΠ»ΡΡΠ°, ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎΠ³ΠΎ R(S), Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΠΎΠΆΠΈΡΠ΅Π»ΡΠ½ΠΎ ΡΠΏΠΎΡΡΠ΄ΠΎΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° [1]
2. ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S Ρ 1 ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎ ΠΏΡΡΠΌΠΎΠΌΡ ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡ ΠΊΠΎΠ»ΡΡΠ° ΠΈ Π°Π½ΡΠΈΠΊΠΎΠ»ΡΡΠ° ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° Π΅Π³ΠΎ ΠΈΠ΄Π΅Π°Π» R(S) ΠΈΠΌΠ΅Π΅Ρ Π΅Π΄ΠΈΠ½ΠΈΡΠ½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ, ΠΊΠΎΠΌΠΌΡΡΠΈΡΡΡΡΠΈΠΉ Ρ ΠΊΠ°ΠΆΠ΄ΡΠΌ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ ΠΈΠ· S.
3. ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S ΡΠ»ΡΠΆΠΈΡ 0-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΊΠΎΠ»ΡΡΠ° Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΈΠ΄Π΅Π°Π» R(S) ΠΏΠΎΠ»ΡΠ»ΡΡΠ° S ΠΏΡΠΎΡΡΠΎΠΉ (Ρ.Π΅. abR(S) Π²Π»Π΅ΡΠ΅Ρ aR(S) ΠΈΠ»ΠΈ bR(S)).
4. ΠΠ»Ρ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S Ρ 1 ΡΠ°ΠΊΡΠΎΡ-ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S/R(S) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ Ρ Π½ΡΠ»Π΅ΠΌ ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ, ΠΊΠΎΠ³Π΄Π° R(S) Π΅ΡΡΡ ΠΌΠ°ΠΊΡΠΈΠΌΠ°Π»ΡΠ½ΡΠΉ ΠΎΠ΄Π½ΠΎΡΡΠΎΡΠΎΠ½Π½ΠΈΠΉ ΠΈΠ΄Π΅Π°Π» Π² S.
Π ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΡΠ»Π΅Π΄ΡΡΠ²ΠΈΡ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠΉ 2 ΠΈ 4 ΠΎΡΠ΅Π²ΠΈΠ΄Π½ΡΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ ΡΠΎΡΠΌΡΠ»ΠΈΡΡΠ΅ΡΡΡ ΠΊΡΠΈΡΠ΅ΡΠΈΠΉ ΡΠ°Π·Π»ΠΎΠΆΠΈΠΌΠΎΡΡΠΈ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° Ρ 1 Π² ΠΏΡΡΠΌΠΎΠ΅ ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡΡΠ° ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° Ρ Π½ΡΠ»Π΅ΠΌ. ΠΡΠΌΠ΅ΡΠΈΠΌ ΡΠ°ΠΊΠΆΠ΅, ΡΡΠΎ ΠΏΠΎΠ΄ΠΏΡΡΠΌΡΠ΅ ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡ ΠΊΠΎΠ»ΡΡΠ° ΠΈ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½Π½ΠΎΠΉ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΡΠ΅ΡΠΊΠΈ Π°Π±ΡΡΡΠ°ΠΊΡΠ½ΠΎ ΠΎΡ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΠ·ΠΎΠ²Π°Π½Ρ Π².
5. ΠΠ»Ρ ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ 1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° K, Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π½Π΅ ΠΈΠΌΠ΅ΡΡΠ΅Π³ΠΎ Π½ΡΠ»Ρ, Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° T Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ, ΡΡΠΎΠ±Ρ K ΠΈΠΌΠ΅Π»ΠΎ 1, Π° T Π±ΡΠ»ΠΎ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡΠ΅Π½ΡΠ½ΡΠΌ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎΠΌ Ρ 1.
6. ΠΡΠ±ΠΎΠ΅ arp-ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S ΡΠ²Π»ΡΠ΅ΡΡΡ 1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U(S) Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½Π½ΠΎΠΉ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΡΠ΅ΡΠΊΠΈ S/, Π³Π΄Π΅ — ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΡ Π½Π° S, ΡΠ°ΠΊΠ°Ρ, ΡΡΠΎ ab ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ aU(S)=bU(S). ΠΠ»Ρ ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»Π΅Ρ Π²Π΅ΡΠ½ΠΎ ΠΈ ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅. Π‘ΠΌ.
7. ΠΡΡΠΊΠΎΠ΅ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎ ΡΠ²Π»ΡΠ΅ΡΡΡ 1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΡΠΎΠΊΡΠ°ΡΠΈΠΌΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΈΠ΄Π΅ΠΌΠΏΠΎΡΠ΅Π½ΡΠ½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΡΠ΅Π»Π°.
ΠΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S Ρ 1 Π½Π°Π·ΠΎΠ²Π΅ΠΌ 0−1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° K ΠΈ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° Π±Π΅Π· Π½ΡΠ»Ρ L Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° T, Π΅ΡΠ»ΠΈ Π½Π° S ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΡΠ°ΠΊΠ°Ρ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΡ, ΡΡΠΎ [0]ΡK, [1]L ΠΈ S/T.
ΠΡΡΡΡ Π΄Π»Ρ ΠΊΠΎΠ»ΡΡΠ° R, ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U ΠΈ ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½Π½ΠΎΠΉ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΡΠ΅ΡΠΊΠΈ L ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ 0−1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡΡΠ° R ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ΅ΡΠ΅ΡΠΊΠΈ L. Π‘ΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΡΡ ΡΡΠΎΠΉΠΊΡ <R ,P ,L> Π±ΡΠ΄Π΅ΠΌ Π½Π°Π·ΡΠ²Π°ΡΡ Π΄ΠΎΠΏΡΡΡΠΈΠΌΠΎΠΉ.
§ 1. ΠΠΎΠΏΡΡΡΠΈΠΌΡΠ΅ ΠΊΠΎΠ»ΡΡΠ° ΠΈ ΡΠ΅ΡΡΡΠΊΠΈ
Π Π΅ΡΡ Π² Π³Π»Π°Π²Π΅ ΠΏΠΎΠΉΠ΄ΡΡ ΠΎ ΡΠ΅ΡΡΡΠΊΠ΅ ΠΈ ΠΊΠΎΠ»ΡΡΠ΅, ΡΠΎΡΡΠΎΡΡΠΈΡ Π² Π΄ΠΎΠΏΡΡΡΠΈΠΌΠΎΠΉ ΡΡΠΎΠΉΠΊΠ΅.
ΠΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΡΠ΅ΡΠ΅Π· D Π΄Π²ΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ½ΡΡ ΡΠ΅ΠΏΡ.
ΠΡΡΡΡ ΠΈΠΌΠ΅Π΅ΡΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S Ρ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΠ΅ΠΉ, Π΄Π»Ρ ΠΊΠΎΡΠΎΡΠΎΠΉ [0]R, [1]P, F/D. Π’Π°ΠΊΠΎΠ΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S Π½Π°Π·ΠΎΠ²Π΅ΠΌ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΠΌ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ΠΌ ΠΊΠΎΠ»ΡΡΠ° R ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° P, ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ PR. Π―ΡΠ½ΠΎ, ΡΡΠΎ pP,rR,prR,p+rP.
Π‘ Π΄ΡΡΠ³ΠΎΠΉ ΡΡΠΎΡΠΎΠ½Ρ, Π΅ΡΠ»ΠΈ Π»ΡΠ±ΠΎΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S Ρ 1 Π»ΠΈΠ±ΠΎ ΠΎΠ±ΡΠ°ΡΠΈΠΌ, Π»ΠΈΠ±ΠΎ ΠΈΠΌΠ΅Π΅Ρ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ, ΡΠΎ S Π±ΡΠ΄Π΅Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΠΌ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ΠΌ ΠΊΠΎΠ»ΡΡΠ° R(S) ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U(S). ΠΡΠΈ ΡΡΠΎΠΌ ΡΠ°Π·Π±ΠΈΠ΅Π½ΠΈΠ΅ {R(S), U(S)} ΠΈΠ½Π΄ΡΡΠΈΡΡΠ΅Ρ ΠΈΡΠΊΠΎΠΌΡΡ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΡ Π½Π° S.
ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅. Π UR ΡΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ Π°) Π°Π΄Π΄ΠΈΡΠΈΠ²Π½Π°Ρ Π³ΡΡΠΏΠΏΠ° R Π΄Π΅Π»ΠΈΠΌΠ°Ρ Π°Π±Π΅Π»Π΅Π²Π° Π³ΡΡΠΏΠΏΠ°. Π±) ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ½ Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΡΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ.
ΠΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ. Π°) ΠΡΡΡΡ, ΡΠΎΠ³Π΄Π°, Ρ.Ρ.Π΄.
Π±) ΠΡΡΡΡ ΠΌΡΠ»ΡΡΠΈΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠ²Π½Π°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ Π·Π°Π΄Π°Π½Π°. ΠΡΠ»ΠΈ, ΡΠΎ. Π£ΠΌΠ½ΠΎΠΆΠΈΠ² ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π½Π° ΡΠΏΡΠ°Π²Π°, ΠΏΠΎΠ»ΡΡΠΈΠΌ, Π·Π½Π°ΡΠΈΡ. Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ, ΠΏΡΡΡΡ. Π’ΠΎΠ³Π΄Π°, ΠΏΠΎΡΡΠΎΠΌΡ Π΅ΡΡΡ ΡΠ»Π΅ΠΌΠ΅Π½Ρ, ΡΠΊΠ»Π°Π΄ΡΠ²Π°Ρ ΠΊΠΎΡΠΎΡΡΠΉ ΡΠ°Π· ΠΏΠΎΠ»ΡΡΠΈΠΌ. ΠΠ· ΡΠ°Π½Π΅Π΅ Π΄ΠΎΠΊΠ°Π·Π°Π½Π½ΠΎΠ³ΠΎ ΡΠ»Π΅Π΄ΡΠ΅Ρ, ΡΡΠΎ ΡΠ°ΠΊΠΎΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π΅Π½, ΡΡΠΎ Π·Π°Π²Π΅ΡΡΠ°Π΅Ρ Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ. Π΅ΡΡΡ ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ Π² ΠΊΠΎΠ»ΡΡΠ΅ .
Π’Π΅ΠΎΡΠ΅ΠΌΠ° 1. ΠΠ»Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠ³ΠΎ ΠΊΠΎΠ»ΡΡΠ° R ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΡΠ»ΠΎΠ²ΠΈΡ:
1) ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π΄ΠΎΠΏΡΡΡΠΈΠΌΠ°Ρ ΡΡΠΎΠΉΠΊΠ° R, U, L, Π³Π΄Π΅ L — Π»ΡΠ±Π°Ρ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½Π°Ρ ΡΠ΅ΡΠ΅ΡΠΊΠ° Ρ 10;
2) ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ, ΡΠ²Π»ΡΡΡΠ΅Π΅ΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΠΌ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ΠΌ ΠΊΠΎΠ»ΡΡΠ° R ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U;
3) R — ΡΠ°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΠΎΠ΅ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ ΠΊΠΎΠ»ΡΡΠΎ, Π°Π΄Π΄ΠΈΡΠΈΠ²Π½Π°Ρ Π³ΡΡΠΏΠΏΠ° ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ Π΅ΡΡΡ Π΄Π΅Π»ΠΈΠΌΠ°Ρ Π³ΡΡΠΏΠΏΠ° Π±Π΅Π· ΠΊΡΡΡΠ΅Π½ΠΈΡ.
ΠΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ.
12. ΠΠ»Ρ Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠΎΠΉΠΊΠΈ ΡΠ°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΏΠΎΠ΄Ρ ΠΎΠ΄ΡΡΠΈΠ΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ S ΠΈ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΡ. ΠΠΎΡΠΊΠΎΠ»ΡΠΊΡ D — ΠΏΠΎΠ΄ΡΠ΅ΡΠ΅ΡΠΊΠ° Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΡΠ΅ΡΠΊΠΈ L Ρ 0 ΠΈ 1, Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΠΎΠ³ΠΎ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΡ ΠΌΠΎΠΆΠ½ΠΎ Π²Π·ΡΡΡ ΠΏΠΎΠ΄ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠΎ [1][0] Π² S.
21. ΠΡΠ±Π°Ρ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½Π°Ρ ΡΠ΅ΡΠ΅ΡΠΊΠ° L ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ ΠΏΡΠΎΡΡΡΠΌ ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ I, Π±ΠΎΠ»Π΅Π΅ ΡΠΎΠ³ΠΎ LI — Π΄ΡΠ°Π»ΡΠ½ΡΠΉ ΠΈΠ΄Π΅Π°Π».
ΠΠΎΡΡΠΎΠΌΡ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° S ΠΌΠΎΠΆΠ½ΠΎ Π²Π·ΡΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΠ°Ρ (i,r),iI,rR(l,p),lL/I,pP Ρ ΠΏΠΎΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΠ½ΡΠΌ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. ΠΠ²ΠΈΠ΄Ρ ΠΏΡΠΎΡΡΠΎΡΡ I ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π·Π°Π΄Π°Π½Ρ ΠΊΠΎΡΡΠ΅ΠΊΡΠ½ΠΎ, Π°ΠΊΡΠΈΠΎΠΌΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΠΎΠ½ΠΈ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π΄Π»Ρ Π»Π΅Π²ΠΎΠΉ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΡ, ΠΊΠ°ΠΊ Π°ΠΊΡΠΈΠΎΠΌΡ ΡΠ΅ΡΡΡΠΊΠΈ ΠΈ Π΄Π»Ρ ΠΏΡΠ°Π²ΠΎΠΉ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°ΡΡ, ΡΡΠΎ ΡΠ»Π΅Π΄ΡΠ΅Ρ ΠΈΠ· ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ F, [0]R, [1]P, F/L2. ΠΡΠ»ΠΈ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΊΠΎΠ½Π³ΡΡΡΠ½ΡΠΈΠΈ Π²ΡΠ±ΡΠ°ΡΡ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° ΠΏΠ΅ΡΠ²ΡΡ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°Ρ, ΡΠΎ [0]R, [1]P, S/L2, ΡΡΠΎ Π·Π°Π²Π΅ΡΡΠ°Π΅Ρ Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ.
ΠΠ΅ΠΌΠΌΠ°. ΠΡΡΡΡ Π² ΠΊΠΎΠ»ΡΡΠ΅ R r r tR,(r+rr+r)t=0,(r+rr+r)t=0, ΡΠΎΠ³Π΄Π° r r ,r+rr+r=0r+rr+r=0.
ΠΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ. ΠΡΡΡΡ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΎ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ Π»Π΅ΠΌΠΌΡ, ΡΠΎΠ³Π΄Π°, ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ r=-r-rr. ΠΠΌΠ΅Π΅ΠΌ
r+rr+r = r+(- r — rr)r — r — rr = (r+rr+r)(-r)=0
r+rr+r = r+r (- r — rr) — r — rr = (r+rr+r)(-r)=0.
ΠΠΎΠ»ΡΡΠΎ R Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠ°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΡΠΌ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ, Π΅ΡΠ»ΠΈ ΠΎΠ½ΠΎ ΡΠΎΠ²ΠΏΠ°Π΄Π°Π΅Ρ ΡΠΎ ΡΠ²ΠΎΠΈΠΌ ΡΠ°Π΄ΠΈΠΊΠ°Π»ΠΎΠΌ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Π° (ΡΠΌ., Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, [5]). ΠΡΠΎ ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ, ΡΡΠΎ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ «ΠΊΡΡΠ³ΠΎΠ²ΠΎΠΉ ΠΊΠΎΠΌΠΏΠΎΠ·ΠΈΡΠΈΠΈ» rs = r+s+rs Π² R ΡΠ²Π»ΡΠ΅ΡΡΡ Π³ΡΡΠΏΠΏΠΎΠ²ΠΎΠΉ, Ρ Π½Π΅ΠΉΡΡΠ°Π»ΡΠ½ΡΠΌ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ 0. ΠΡΡΠ³ΠΈΠΌΠΈ ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, Π² ΠΊΠΎΠ»ΡΡΠ΅ R Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ° r ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΡΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ s, ΡΠ°ΠΊΠΎΠΉ, ΡΡΠΎ r+s+rs=0.
2)3). P ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ Q+, ΠΈΠ½Π°ΡΠ΅ 1+1=1, ΡΠΌΠ½ΠΎΠΆΠΈΠ² ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π½Π° Π½Π΅Π½ΡΠ»Π΅Π²ΠΎΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ ΠΊΠΎΠ»ΡΡΠ° r, ΠΈΠΌΠ΅Π΅ΠΌ r+r=rr=0 — ΠΏΡΠΎΡΠΈΠ²ΠΎΡΠ΅ΡΠΈΠ΅. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, R — ΠΏΠΎΠ»ΡΠΌΠΎΠ΄ΡΠ»Ρ Π½Π°Π΄ Q+ ΠΈ, Π·Π½Π°ΡΠΈΡ, ΠΌΠΎΠ΄ΡΠ»Ρ Π½Π°Π΄ Q. ΠΠΎΡΡΠΎΠΌΡ <R,+> - Π΄Π΅Π»ΠΈΠΌΠ°Ρ Π°Π±Π΅Π»Π΅Π²Π° Π³ΡΡΠΏΠΏΠ° Π±Π΅Π· ΠΊΡΡΡΠ΅Π½ΠΈΡ (ΠΏΠΎΠ΄ΡΠΎΠ±Π½ΠΎ ΡΠΌ. ΡΠ°ΠΊΠΆΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅).
ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ T= Q++R ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΠΎΠ΄ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ Π² U, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ
q1+r1+q2+r2 = (q1+q2)+(r1+r2);
(q1+r1)(q2+r2) = (q1q2+q1r2+r1q2+r1r2) = q1q2+(q1r2+r1q2+r1r2);
t=q+r1=qt -1+rt -1t -1=q -1— q -1r t -1 Q+ + R.
Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ° 1+r,rR Π½Π°ΠΉΠ΄ΡΡΡΡ, 1+r,rR ΡΡΠΎ (1+r)(1+r) = (1+r)(1+r) = 1. ΠΠ· Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΡΡΠΈ ΡΠ»Π΅Π΄ΡΠ΅Ρ, ΡΡΠΎ 1+r+rr+r = 1+r+rr+r = 1. Π£ΠΌΠ½ΠΎΠΆΠ°Ρ ΠΏΠΎΡΠ»Π΅Π΄Π½Π΅Π΅ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ Π½Π° Π»ΡΠ±ΠΎΠ΅ tR, ΠΈΠΌΠ΅Π΅ΠΌ (r+rr+r)t=0(r+rr+r)t=0, Π·Π½Π°ΡΠΈΡ, Π² Π²ΠΈΠ΄Ρ Π»Π΅ΠΌΠΌΡ, R ΡΠ°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΠΎ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ.
3)2). ΠΠΎΡΠΊΠΎΠ»ΡΠΊΡ R ΡΠ°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΠΎ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ, Π°Π»Π³Π΅Π±ΡΠ° Q+R Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ
(q1,r1)+(q2,r2) = (q1+q2)+(r1+r2), (q1,r1)(q2,r2) = (q1q2,q1r2+r1q2+r1r2)
ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ Ρ Π΅Π΄ΠΈΠ½ΠΈΡΠ½ΡΠΌ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ (1,0). Π ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ S(Q+{0})R Ρ ΡΠ΅ΠΌΠΈ ΠΆΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ ΡΠΎΠ²ΠΏΠ°Π΄Π°Π΅Ρ Ρ (Q+R)({0}R) = (Q+R)R.
ΠΡΠΈΠΌΠ΅ΡΡ. 1. ΠΡΠ±ΠΎΠ΅ Π½ΠΈΠ»Ρ-ΠΊΠΎΠ»ΡΡΠΎ ΡΠ°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΠΎ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ. Π ΡΠ°ΡΡΠ½ΠΎΡΡΠΈ ΡΠ°ΠΊΠΎΠ²ΠΎ ΠΊΠΎΠ»ΡΡΠΎ Ρ Π½ΡΠ»Π΅Π²ΡΠΌ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ.
ΠΡΡ ΠΎΠ΄Π½ΠΈΠΌ ΡΠ°ΡΡΠ½ΡΠΌ ΡΠ»ΡΡΠ°Π΅ΠΌ ΡΠ²Π»ΡΠ΅ΡΡΡ Π½ΠΈΠ»ΡΠΏΠΎΡΠ΅Π½ΡΠ½ΠΎΠ΅ ΠΊΠΎΠ»ΡΡΠΎ R, ΠΏΠΎΡΠΎΠΆΠ΄ΡΠ½Π½ΠΎΠ΅ ΠΎΠ΄Π½ΠΈΠΌ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ .
ΠΡΡΡΡ — ΠΎΠ±ΡΠ°Π·ΡΡΡΠΈΠΉ. ΠΠΎΡΠΊΠΎΠ»ΡΠΊΡ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² R Π²ΡΡΡΡΠΏΠ°ΡΡ p1 + p22 + … + pn-1n-1, piQ, n — Π½Π°ΠΈΠΌΠ΅Π½ΡΡΠ°Ρ Π½ΡΠ»Π΅Π²Π°Ρ ΡΡΠ΅ΠΏΠ΅Π½Ρ, T R — Π² ΡΠΎΡΠ½ΠΎΡΡΠΈ ΡΠΎΠ²ΠΏΠ°Π΄Π°Π΅Ρ Ρ ΠΎΠ΄Π½ΠΈΠΌ ΠΈΠ· Π΄Π²ΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»Π΅Ρ.
(q+q1 + q22 + … + qn-1n-1,p1 + p22 + … + pn-1n-1)qQ+,qi,piQ ΠΈΠ»ΠΈ
(q+q1 + q22 + … + qn-1n-2,p1 + p22 + … + pn-1n-1)qQ+,qi,piQ
c ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ
(q1,r1)+(q2,r2) = (q1+q2)+(r1+r2), (q1,r1)(q2,r2) = (q1q2,q1r2+r1q2+r1r2).
2. Π Π°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΡΠΌ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ Π±ΡΠ΄Π΅Ρ ΠΊΠΎΠ»ΡΡΠΎ, ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡΡΠ΅Π΅ Ρ ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎΠΌ Π³ΠΈΠΏΠ΅ΡΠ΄Π΅ΠΉΡΡΠ²ΠΈΡΠ΅Π»ΡΠ½ΡΡ ΡΠΈΡΠ΅Π» R(0). ΠΡΠΎ ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΠΎΠ΅ ΠΊΠΎΠ»ΡΡΠΎ Π±Π΅Π· Π΄Π΅Π»ΠΈΡΠ΅Π»Π΅ΠΉ Π½ΡΠ»Ρ. a(0), a+x+ax = 0x = (-a)/(1+a)(0)
ΠΠΎΠ΄Π΅Π»ΡΡ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΡΠΌΠΎΠ΅ ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ Π΄Π²ΡΡ ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΠΊΠΎΠ»ΡΡΠ° Q[x]: ΠΌΠ½ΠΎΠ³ΠΎΡΠ»Π΅Π½ΠΎΠ² Ρ Π½Π΅ΠΎΡΡΠΈΡΠ°ΡΠ΅Π»ΡΠ½ΡΠΌ ΡΠ²ΠΎΠ±ΠΎΠ΄Π½ΡΠΌ ΡΠ»Π΅Π½ΠΎΠΌ ΠΈ ΠΌΠ½ΠΎΠ³ΠΎΡΠ»Π΅Π½ΠΎΠ² Ρ ΠΏΠΎΠ»ΠΎΠΆΠΈΡΠ΅Π»ΡΠ½ΡΠΌ ΡΠ²ΠΎΠ±ΠΎΠ΄Π½ΡΠΌ ΡΠ»Π΅Π½ΠΎΠΌ. ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΠ°Ρ, Π²ΠΈΠ΄Π° (q+q1 + q22 + … + qn-1l,p1 + p22 + … + pn-1m)qQ+,qi,pi
Π‘ΠΎΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎ ΡΠ°ΡΡΠ½ΠΎΠΌΡ ΡΡΠ½ΠΊΡΠΈΠΉ Π·Π°Π΄Π°ΡΡΡΡ Π²ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π² ΡΡΠΎΠΌ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ (ΡΠ°Π·ΡΠΌΠ΅Π΅ΡΡΡ, Π±Π΅ΡΡΡΡΡ Π½Π΅ Π²ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΏΠ°Ρ, Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΊΠ»Π°ΡΡΠΎΠ² ΡΠ°ΠΊΡΠΎΡΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ°, Π³Π΄Π΅ Π΄Π²Π΅ ΠΏΠ°ΡΡ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½Ρ ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΡΠ°Π²Π½Ρ ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΡ ΠΈΡ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΡΡ ΠΊΠΎΠΎΡΠ΄ΠΈΠ½Π°Ρ).
ΠΡΠΎΡ ΠΏΡΠΈΠΌΠ΅Ρ Π»Π΅Π³ΠΊΠΎ ΠΎΠ±ΠΎΠ±ΡΠ°Π΅ΡΡΡ Π΄Π»Ρ ΠΌΠ½ΠΎΠ³ΠΎΡΠ»Π΅Π½ΠΎΠ² ΠΎΡ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΠΎΠ³ΠΎ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ .
Β§2. ΠΠΎΠΏΡΡΡΠΈΠΌΡΠ΅ ΠΏΠΎΠ»ΡΡΠ΅Π»Π°
ΠΠ°Π»ΡΠ½Π΅ΠΉΡΠΈΠΉ ΡΡΠ΄ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΉ Π½Π°ΠΏΡΠ°Π²Π»Π΅Π½ Π½Π° ΠΎΡΡΡΠΊΠ°Π½ΠΈΠ΅ Π²ΡΠ΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π» P, ΡΡΠΎ PR.
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΡ. 1. ΠΡΡΡΡ Π΄Π°Π½ΠΎ Π΄ΠΎΠΏΡΡΡΠΈΠΌΠΎΠ΅ ΠΊΠΎΠ»ΡΡΠΎ R, ΡΠΎΠ³Π΄Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² M = rβ’m = mβ’r =0 ΠΎΠ±ΡΠ°Π·ΡΠ΅Ρ Π² Π½ΡΠΌ ΠΏΠΎΠ΄ΠΊΠΎΠ»ΡΡΠΎ.
2. ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² E = {R, 1+=1} ΠΎΠ±ΡΠ°Π·ΡΠ΅Ρ Π² M ΠΈ Π² R Π΄Π²ΡΡΡΠΎΡΠΎΠ½Π½ΠΈΠΉ ΠΈΠ΄Π΅Π°Π» Ρ Π΄Π΅Π»ΠΈΠΌΠΎΠΉ Π°Π΄Π΄ΠΈΡΠΈΠ²Π½ΠΎΠΉ Π³ΡΡΠΏΠΏΠΎΠΉ.
3. ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Q+Π§ (R/I) ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎΠΌ Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ (q1,r1)+(q2,r2) = (q1+q2)+(r1+r2), (q1,r1)(q2,r2) = (q1q2,q1r2+r1q2+r1r2), Π³Π΄Π΅ I — ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΠΉ ΠΈΠ΄Π΅Π°Π» Ρ Π΄Π΅Π»ΠΈΠΌΠΎΠΉ Π°Π΄Π΄ΠΈΡΠΈΠ²Π½ΠΎΠΉ Π³ΡΡΠΏΠΏΠΎΠΉ ΠΊΠΎΠ»ΡΡΠ° R.
Π’Π΅ΠΎΡΠ΅ΠΌΠ° 2. ΠΡΡΡΡ R, U, D — Π΄ΠΎΠΏΡΡΡΠΈΠΌΠ°Ρ ΡΡΠΎΠΉΠΊΠ° ΠΈ R Π½Π΅Π½ΡΠ»Π΅Π²ΠΎΠ΅. Π’ΠΎΠ³Π΄Π° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Q++R Π΅ΡΡΡ ΠΏΠΎΠ΄ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎ U, ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎΠ΅ ((R/I)Q+), Π³Π΄Π΅ I Π½Π΅ΠΊΠΎΡΠΎΡΡΠΉ ΠΈΠ΄Π΅Π°Π» Π°Π½Π½ΡΠ»ΡΡΠΎΡΠ° Ρ Π΄Π΅Π»ΠΈΠΌΠΎΠΉ Π°Π΄Π΄ΠΈΡΠΈΠ²Π½ΠΎΠΉ Π³ΡΡΠΏΠΏΠΎΠΉ. Π ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΊΠ°Π½ΠΎΠ½ΠΈΡΠ΅ΡΠΊΠΈΠΉ Π³ΠΎΠΌΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U Π² ΠΊΠΎΠ»ΡΡΠΎ R-ΠΌΠΎΠ΄ΡΠ»ΡΠ½ΡΡ ΡΠ½Π΄ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌΠΎΠ² End RR, ΠΎΠ±ΡΠ°Π· ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ Q+. ΠΡΠ»ΠΈ ΠΏΡΠ°Π²ΡΠΉ Π°Π½Π½ΡΠ»ΡΡΠΎΡ ΠΊΠΎΠ»ΡΡΠ° R Π½ΡΠ»Π΅Π²ΠΎΠΉ, ΡΠΎ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎ Im ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΏΠΎΠ΄ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎ, ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎΠ΅ ((R/I)Q+).
ΠΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ. ΠΡΡΡΡ T, R — ΠΈΠ· Π΄ΠΎΠΏΡΡΡΠΈΠΌΠΎΠΉ ΡΡΠΎΠΉΠΊΠΈ. ΠΡΠ±ΠΎΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ T ΠΏΡΠ΅Π΄ΡΡΠ°Π²ΠΈΠΌ Π² Π²ΠΈΠ΄Π΅ q+r,qQ+,rR. ΠΠ²Π° ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ° q+r1 ΠΈ q+r2 ΡΠ°Π²Π½Ρ ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° 1+r1-r2=1. Π‘ Π΄ΡΡΠ³ΠΎΠΉ ΡΡΠΎΡΠΎΠ½Ρ, Π΅ΡΠ»ΠΈ 1+r = 1, ΡΠΎ 1+r1+r=1+r1. ΠΠΎΡΡΠΎΠΌΡ Π²ΡΠ΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ Π²ΠΈΠ΄Π° q+r+, 1+=1 ΡΠ»ΠΈΠ²Π°ΡΡΡΡ Π² ΠΊΠ»Π°ΡΡΡ qΠ§ (R/I), Π³Π΄Π΅ I — ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π²ΡΠ΅Ρ .
ΠΡΠΎΠ±ΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ u: RuR, uU Π²Π²ΠΈΠ΄Ρ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΡΡΠΈ ΠΈ Π°ΡΡΠΎΡΠΈΠ°ΡΠΈΠ²Π½ΠΎΡΡΠΈ Π² UR ΡΠ²Π»ΡΠ΅ΡΡΡ R - ΠΌΠΎΠ΄ΡΠ»ΡΠ½ΡΠΌ ΡΠ½Π΄ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌΠΎΠΌ. ΠΡΡΡΡ u+v:R(u+v)R ΠΈ uv:RuvR, ΡΠΎΠ³Π΄Π° ΠΎΡΠΎΠ±ΡΠ°ΠΆΠ΅Π½ΠΈΠ΅: U End RR, ΡΠΎΠΏΠΎΡΡΠ°Π²Π»ΡΡΡΠ΅Π΅ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΡ uU ΡΠ½Π΄ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ u - ΠΊΠ°Π½ΠΎΠ½ΠΈΡΠ΅ΡΠΊΠΈΠΉ Π³ΠΎΠΌΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ.
ΠΡΡΡΡ ΠΏΡΠ°Π²ΡΠΉ Π°Π½Π½ΡΠ»ΡΡΠΎΡ R Π½ΡΠ»Π΅Π²ΠΎΠΉ, ΡΠΎΠ³Π΄Π° Π΄Π»Ρ Π΄Π²ΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² q1+r1, q2+r2, ΡΡΠΈΡΠ°Ρ Π±Π΅Π· ΠΎΠ³ΡΠ°Π½ΠΈΡΠ΅Π½ΠΈΡ ΠΎΠ±ΡΠ½ΠΎΡΡΠΈ, q1=q2+q3 (q3 ΠΌΠΎΠΆΠ΅Ρ ΡΠ°Π²Π½ΡΡΡΡΡ Π½ΡΠ»Ρ), r, (q1+r1)r=(q2+r2)r(q3+r1-r2)r=0q3=0,r1=r2. ΠΠ»Π΅ΠΌΠ΅Π½ΡΡ q1+r1 ΠΈ q2+r2 ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΠΎ Π΄Π΅ΠΉΡΡΠ²ΡΡΡ Π½Π° R ΡΠΎΠ»ΡΠΊΠΎ Π² ΡΠ»ΡΡΠ°Π΅ ΡΠ°Π²Π΅Π½ΡΡΠ²Π°. ΠΠΎΡΡΠΎΠΌΡ - ΠΌΠΎΠ½ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ ΠΈ Im ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΏΠΎΠ΄ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎ, ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½ΠΎΠ΅ ((R/I)Q+).
ΠΠ°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅. Π‘ΠΈΡΡΠ΅ΠΌΠ° (Q+Π§ (R/I))({0}Π§R) Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ (q1,r1)+(q2,r2) = (q1+q2)+(r1+r2), (q1,r1)(q2,r2) = (q1q2,q1r2+r1q2+r1r2) ΠΈ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΠΌ ΠΈΠ΄Π΅Π°Π»ΠΎΠΌ Π°Π½Π½ΡΠ»ΡΡΠΎΡΠ° Ρ Π΄Π΅Π»ΠΈΠΌΠΎΠΉ Π°Π΄Π΄ΠΈΡΠΈΠ²Π½ΠΎΠΉ Π³ΡΡΠΏΠΏΠΎΠΉ I ΡΠ²Π»ΡΠ΅ΡΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΠΌ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ΠΌ. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊΠ»Π°ΡΡΠ° (R/I) Ρ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ ΠΊΠΎΠ»ΡΡΠ° ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΠΊΠ°ΠΊ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ° ΡΡΠΎΠ³ΠΎ ΠΊΠ»Π°ΡΡΠ° Ρ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ ΠΊΠΎΠ»ΡΡΠ°.
§ 3. Π Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ
ΠΡΠΈ ΠΈΠ·ΡΡΠ΅Π½ΠΈΠΈ ΡΡΡΡΠΊΡΡΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΡ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠΉ ΠΊΠΎΠ»ΡΡΠ° ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° Π²ΠΎΠ·Π½ΠΈΠΊΠ°Π΅Ρ Π²ΠΎΠΏΡΠΎΡ ΠΎ Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ UR Π΄Π»Ρ Π΄Π°Π½Π½ΡΡ U ΠΈ R. ΠΠΈΠΆΠ΅ ΠΏΡΠΈΠ²Π΅Π΄ΡΠΌ ΠΏΡΠΈΠΌΠ΅Ρ ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΡ Π½Π΅ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡΡΠΈΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΡ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠΉ ΠΏΡΠΈ Π·Π°Π΄Π°Π½Π½ΡΡ U ΠΈ R.
ΠΡΡΡΡ Π΄Π»Ρ Π΄Π°Π½Π½ΡΡ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U ΠΈ ΠΊΠΎΠ»ΡΡΠ° R ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΠΎΠ΅ U R ΠΈ ΠΏΡΡΡΡ tR Π½Π΅ Π»Π΅ΠΆΠΈΡ Π² AnnR, Π½ΠΎ trAnnRrR (ΠΏΡΠΈΠΌΠ΅ΡΠΎΠΌ ΡΠ°ΠΊΠΎΠ³ΠΎ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΠΎΠ³ΠΎ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΡ Ρ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠΌ t ΡΠ»ΡΠΆΠΈΡ
(q+q1 + q22 + … + qn-1n-1,p1 + p22 + … + pn-1n-1)qQ+,qi,piQ ΠΈΠ· ΠΏΡΠΈΠΌΠ΅ΡΠ° 1).
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ Π½ΠΎΠ²ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π½Π° UR ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ: Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΎΡΡΠ°Π²ΠΈΠΌ Π½Π΅ΠΈΠ·ΠΌΠ΅Π½Π½ΡΠΌ, Π° ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² rR ΠΈ uU ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π·Π°Π΄Π°Π΄ΠΈΠΌ Π·Π°ΠΊΠΎΠ½ΠΎΠΌ ur=u+r+rt. ΠΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π²Π½ΡΡΡΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° ΠΈ ΠΊΠΎΠ»ΡΡΠ° ΠΏΡΠΈ ΡΡΠΎΠΌ Π½Π΅ ΠΌΠ΅Π½ΡΡΡΡΡ, Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΠΏΡΠΎΠ²Π΅ΡΠΈΡΡ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ Π·Π°ΠΊΠΎΠ½ΠΎΠ²:
1. ΠΡΡΠΎΡΠΈΠ°ΡΠΈΠ²Π½ΠΎΡΡΡ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ:
(u1u2)r=u1(u2r)u1+u2+r+rt= u1+u2+r+rt
(ur1)r2=u(r1r2)u+r1+r1t+r2+r2t=u+r1+r2+(r1+r2)t.
2. ΠΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΡΡΡ:
u1(ru2)=u1ru1u2u1(r+u2+rt)=u1u2+u1r+u1rt
r1(ur2)=r1ur1r2r1u+r1r2+r1r2t=r1u+r1r2.
Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, UR Ρ Π½ΠΎΠ²ΡΠΌΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΡΠΌ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ΠΌ. ΠΠ΄Π½Π°ΠΊΠΎ, Π΄Π²Π° ΠΈΠΌΠ΅ΡΡΠΈΡ ΡΡ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° ΠΈΠ·ΠΎΠΌΠΎΡΡΠ½Ρ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠΎΠ±ΠΎΠΉ, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΈΠ·ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ f:uuuU:
r(1+t)-1rrR. ΠΡΠΈΡΡΠΌ ft :r(1+t)-1rrR - Π°Π²ΡΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ R.
ΠΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ²ΠΎ. ΠΠΌΠ΅Π΅ΠΌ ft - Π°Π²ΡΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ R, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ Π΄Π»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ° r ΠΈΠΌΠ΅Π΅ΡΡΡ ΡΠ²ΠΎΠΉ ΠΏΡΠ°ΠΎΠ±ΡΠ°Π· (1+t)r. Π Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π°
r1,r2, ft(r1+r2)=(1+t)-1(r1+r2)= (1+t)-1r1+(1+t)-1r2=ft(r1)+ ft(r2)
r1,r2,(1+t)-1(r1β’r2)=(1+t)-1(1+t)-1(r1β’r2),
ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ (1+t)r1r2=r1r2. ΠΠΎΡΡΠΎΠΌΡ Π² Π²ΠΈΠ΄Ρ ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΠΎΡΡΠΈ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° ft(r1β’r2)= ft(r1)ft (r2).
ΠΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΠΏΡΠΈ ΠΎΡΠΎΠ±ΡΠ°ΠΆΠ΅Π½ΠΈΠΈ f ΠΊΠΎΠ»ΡΡΠΎ ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»ΠΎ Π°Π²ΡΠΎΠΌΠΎΡΡΠ½ΠΎ ΠΏΠ΅ΡΠ΅Ρ ΠΎΠ΄ΡΡ Π² ΡΠ΅Π±Ρ, ΠΈΠ·ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌ ΠΏΠΎΠ»ΡΠΊΠΎΠ»Π΅Ρ Π²ΡΡΠ΅ΠΊΠ°Π΅Ρ ΠΈΠ· ΡΠ»Π΅Π΄ΡΡΡΠΈΡ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²:
uU, rR f(u+r)=u+r= u+r+(1+t)-1r f(u)f(r)
uU, rR f(ur)=(1+t)-1ur=u(1+t)-1r=f(u) f(r).
ΠΠΎΠΏΡΠΎΡ ΠΎ ΡΠΎΠΌ, Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΡΠΌ Π»ΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠ½ΠΎΠ΅ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ Ρ ΡΠΎΡΠ½ΠΎΡΡΡΡ Π΄ΠΎ ΠΈΠ·ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌΠ° ΠΎΡΡΠ°ΡΡΡΡ ΠΎΡΠΊΡΡΡΡΠΌ.
ΠΠ°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅
Π Π΄ΠΈΠΏΠ»ΠΎΠΌΠ½ΠΎΠΉ ΡΠ°Π±ΠΎΡΠ΅ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ΠΎ ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ 0−1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΠΉ ΠΊΠΎΠ»ΡΡΠ° R ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ΅ΡΠ΅ΡΠΊΠΈ L. Π£ΡΡΠ°Π½ΠΎΠ²Π»Π΅Π½Ρ, ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΠ°ΠΊΡΡ:
ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°Π½ΠΈΠ΅ 0−1-ΡΠ°ΡΡΠΈΡΠ΅Π½ΠΈΡ Π½Π΅ Π·Π°Π²ΠΈΡΠΈΡ ΠΎΡ ΡΡΡΠΎΠ΅Π½ΠΈΡ Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΡΡΡΠΊΠΈ L (ΡΠ΅ΠΎΡΠ΅ΠΌΠ° 1);
ΠΊΠΎΠ»ΡΡΠΎ R ΡΠΎΡΡΠΎΠΈΡ Π² ΠΊΠ°ΠΊΠΎΠΉ Π»ΠΈΠ±ΠΎ Π΄ΠΎΠΏΡΡΡΠΈΠΌΠΎΠΉ ΡΡΠΎΠΉΠΊΠ΅ ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ½ΠΎ ΡΠ°Π΄ΠΈΠΊΠ°Π»ΡΠ½ΠΎ ΠΏΠΎ ΠΠΆΠ΅ΠΊΠΎΠ±ΡΠΎΠ½Ρ (ΡΠ΅ΠΎΡΠ΅ΠΌΠ° 1);
ΡΡΡΠΎΠ΅Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡΡΠ΅Π»Π° U ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ Π·Π°Π²ΠΈΡΠΈΡ ΠΎΡ ΡΡΡΠΎΠ΅Π½ΠΈΡ R (ΡΠ΅ΠΎΡΠ΅ΠΌΠ° 2).
ΠΠ΅ ΡΠ΅ΡΡΠ½Π½ΡΠΌ ΠΎΡΡΠ°ΡΡΡΡ Π²ΠΎΠΏΡΠΎΡ ΠΎ Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ Ρ ΡΠΎΡΠ½ΠΎΡΡΡΡ Π΄ΠΎ ΠΈΠ·ΠΎΠΌΠΎΡΡΠΈΠ·ΠΌΠ° UR. Π ΡΠ°Π±ΠΎΡΠ΅ ΡΡΡΠ°Π½Π°Π²Π»ΠΈΠ²Π°Π΅ΡΡΡ Π²Π·Π°ΠΈΠΌΠΎΡΠ²ΡΠ·Ρ ΠΌΠ΅ΠΆΠ΄Ρ Π·Π½Π°ΡΠΈΠΌΡΠΌΠΈ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ ΡΡΡΡΠΊΡΡΡΠ°ΠΌΠΈ — ΠΊΠΎΠ»ΡΡΠ°ΠΌΠΈ ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π»Π°ΠΌΠΈ. ΠΠΎΠ΄ΠΎΠ±Π½ΡΠ΅ Π²Π·Π°ΠΈΠΌΠΎΡΠ²ΡΠ·ΠΈ ΠΌΠΎΠ³ΡΡ ΡΡΡΠ΅ΡΡΠ²ΠΎΠ²Π°ΡΡ ΠΈ ΠΌΠ΅ΠΆΠ΄Ρ Π΄ΡΡΠ³ΠΈΠΌΠΈ ΠΎΠ±ΡΠ΅ΠΊΡΠ°ΠΌΠΈ Π°Π»Π³Π΅Π±ΡΡ, ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΠΌ ΠΌΠΎΠΆΠ΅Ρ ΠΎΠΊΠ°Π·Π°ΡΡΡΡ ΠΈΠ·ΡΡΠ΅Π½ΠΈΠ΅ ΠΈ ΠΎΠ±ΠΎΠ±ΡΠ΅Π½ΠΈΠ΅ ΡΠ°ΠΊΠΈΡ Π²Π·Π°ΠΈΠΌΠΎΡΠ²ΡΠ·Π΅ΠΉ.
ΠΠΈΠ±Π»ΠΈΠΎΠ³ΡΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΉ ΡΠΏΠΈΡΠΎΠΊ
1. ΠΠ΅ΡΡΠΎΠΌΠΎΠ² Π. Π. ΠΠ²Π΅ ΠΎΠ±ΡΠΈΠ΅ ΡΡΡΡΠΊΡΡΡΠ½ΡΠ΅ ΡΠ΅ΠΎΡΠ΅ΠΌΡ ΠΎ ΠΏΠΎΠ»ΡΠΌΠΎΠ΄ΡΠ»ΡΡ // ΠΠ±Π΅Π»Π΅Π²Ρ Π³ΡΡΠΏΠΏΡ ΠΈ ΠΌΠΎΠ΄ΡΠ»ΠΈ: ΡΠ±. ΡΡΠ°ΡΠ΅ΠΉ / ΠΠΎΠ΄ ΡΠ΅Π΄. Π. Π. ΠΠΈΡ Π°Π»Π΅Π²Π°. ΠΡΠΏ. 15. -Π’ΠΎΠΌΡΠΊ: Π’ΠΠ£, 2000. — Π‘. 17−23.
2. ΠΠ΅ΡΡΠΎΠΌΠΎΠ² Π. Π., ΠΠΈΡ Π°Π»Π΅Π² Π. Π., Π§Π΅ΡΠΌΠ½ΡΡ Π. Π. ΠΠ±Π΅Π»Π΅Π²ΠΎ-ΡΠ΅Π³ΡΡΡΡΠ½ΡΠ΅ ΠΏΠΎΠ»ΠΎΠΆΠΈΡΠ΅Π»ΡΠ½ΡΠ΅ ΠΏΠΎΠ»ΡΠΊΠΎΠ»ΡΡΠ° // Π’ΡΡΠ΄Ρ ΡΠ΅ΠΌΠΈΠ½Π°ΡΠ° ΠΈΠΌ. Π. Π. ΠΠ΅ΡΡΠΎΠ²ΡΠΊΠΎΠ³ΠΎ. — 2000. — Π’ 20. — Π‘. 282−309.
3. Golan J.S. The theory of semirings with applications in mathematics and theoretical computer science // Pitman monographs and surveys in pure and applied mathematics. V. 54. — 1992. — S. 93−98.
4. Π‘Π΅ΠΌΠ΅Π½ΠΎΠ² Π. Π. Π ΡΡΡΠΎΠ΅Π½ΠΈΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π» // ΠΠ΅ΡΡΠ½ΠΈΠΊ ΠΡΡΠΠΠ£. — 2003. — № 8. — Π‘. 105−107.
5. Π₯Π΅ΡΡΡΠ΅ΠΉΠ½ Π. ΠΠ΅ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΡΠ΅ ΠΊΠΎΠ»ΡΡΠ°. — Π.: ΠΠΈΡ, 1972. — 200 Ρ.