ΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² написании студСнчСских Ρ€Π°Π±ΠΎΡ‚
АнтистрСссовый сСрвис

Π Π°ΡΡˆΠΈΡ€Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΡŒΡ†Π° с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΠΏΠΎΠ»ΡƒΡ‚Π΅Π»Π°

Π”ΠΈΠΏΠ»ΠΎΠΌΠ½Π°ΡΠŸΠΎΠΌΠΎΡ‰ΡŒ Π² Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΠΈΠ£Π·Π½Π°Ρ‚ΡŒ ΡΡ‚ΠΎΠΈΠΌΠΎΡΡ‚ΡŒΠΌΠΎΠ΅ΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹

ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ Π² ΠΊΠ°Ρ‡Π΅ΡΡ‚Π²Π΅ ΠΏΠΎΠ»ΡƒΠΊΠΎΠ»ΡŒΡ†Π° 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 с.

ΠŸΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ вСсь тСкст
Π—Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Π΅ΠΊΡƒΡ‰Π΅ΠΉ Ρ€Π°Π±ΠΎΡ‚ΠΎΠΉ