Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

ΠšΠΎΠ½Π΅Ρ‡Π½Π°Ρ Π³Ρ€ΡƒΠΏΠΏΠ°

Π‘ΠΎΠ΄Π΅Ρ€ΠΆΠ°Π½ΠΈΠ΅

Π’Π°Π±Π»ΠΈΡ†Ρ‹ умноТСния для ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ [ ΠΏΡ€Π°Π²ΠΈΡ‚ΡŒ ]

Π’Π°Π±Π»ΠΈΡ†Π° умноТСния (Ρ‚Π°Π±Π»ΠΈΡ†Π° Кэли) β€” Ρ‚Π°Π±Π»ΠΈΡ†Π°, которая описываСт структуру ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… алгСбраичСских систСм с ΠΎΠ΄Π½ΠΎΠΉ Π±ΠΈΠ½Π°Ρ€Π½ΠΎΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ. Π’Π°Π±Π»ΠΈΡ†Π° позволяСт ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ, являСтся Π»ΠΈ Π³Ρ€ΡƒΠΏΠΏΠ° Π°Π±Π΅Π»Π΅Π²ΠΎΠΉ, Π½Π°ΠΉΡ‚ΠΈ ядро Π³Ρ€ΡƒΠΏΠΏΡ‹ ΠΈ ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹Π΅ элСмСнты ΠΏΠΎ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡŽ ΠΊ Π΄Ρ€ΡƒΠ³ΠΈΠΌ элСмСнтам Π² этой Π³Ρ€ΡƒΠΏΠΏΠ΅.

Π‘Ρ‚Ρ€ΡƒΠΊΡ‚ΡƒΡ€Π° [ ΠΏΡ€Π°Π²ΠΈΡ‚ΡŒ ]

Π’ΠΎΠ³Π΄Π° Ρ‚Π°Π±Π»ΠΈΡ†Π° Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

*a1a2.an
a1a1a1a1a2.a1an
a2a2a1a2a2.a2an
.....
anana1ana2.anan

Бвойства [ ΠΏΡ€Π°Π²ΠΈΡ‚ΡŒ ]

[math]\triangleright[/math]Π’Π°Π±Π»ΠΈΡ†Π° симмСтрична [math]\Rightarrow ab = ba[/math] для Π»ΡŽΠ±Ρ‹Ρ… [math]a,b \in G[/math][math]\triangleleft[/math]
Π£Ρ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅:

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ Ρ‚Π°Π±Π»ΠΈΡ† умноТСния для ΠΊΠΎΠ½Π΅Ρ‡Π½Ρ‹Ρ… Π³Ρ€ΡƒΠΏΠΏ [ ΠΏΡ€Π°Π²ΠΈΡ‚ΡŒ ]

НиТС пСрСчислСны всС Π³Ρ€ΡƒΠΏΠΏΡ‹ Π΄ΠΎ ΡˆΠ΅ΡΡ‚ΠΎΠ³ΠΎ порядка Π²ΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ:

Π“Ρ€ΡƒΠΏΠΏΠ° Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Π΄Π²Π° ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния: [math]\mathbb/2\mathbb[/math]

Π“Ρ€ΡƒΠΏΠΏΠ° Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Ρ‚Ρ€ΠΈ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния: [math]\mathbb/3\mathbb[/math]

Π“Ρ€ΡƒΠΏΠΏΠ° Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния: [math]\mathbb/4\mathbb[/math]

+0123
00123
11032
22301
33210

Π“Ρ€ΡƒΠΏΠΏΠ° Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ ΠΏΡΡ‚ΡŒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния: [math]\mathbb/5\mathbb[/math]

Π“Ρ€ΡƒΠΏΠΏΠ° Π²Ρ‹Ρ‡Π΅Ρ‚ΠΎΠ² ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ ΡˆΠ΅ΡΡ‚ΡŒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния: [math]\mathbb/6\mathbb[/math]

+012345
0012345
1123450
2234501
3345012
4450123
5501234

Π“Ρ€ΡƒΠΏΠΏΠ° пСрСстановок мноТСства ΠΈΠ· Ρ‚Ρ€Π΅Ρ… элСмСнтов: [math]\mathbb_3[/math]

*eaaabcd
eeaaabcd
aaaaecdb
aaaaeadbc
bbdceaaa
ccbdaeaa
ddcbaaae

Π˜ΡΡ‚ΠΎΡ‡Π½ΠΈΠΊ

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π’ΠΎΠΉΡ‚ΠΈ

ΠΠ²Ρ‚ΠΎΡ€ΠΈΠ·ΡƒΡΡΡŒ Π² LiveJournal с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ стороннСго сСрвиса Π²Ρ‹ ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚Π΅ условия ΠŸΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΡΠΊΠΎΠ³ΠΎ соглашСния LiveJournal

19.2. Π’Π°Π±Π»ΠΈΡ†Π° Кэли для ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ

Π—Π°Π΄Π°Ρ‡Π° ΠΎΠ± Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚Π°Ρ…

Π£ Баши ΠΈ Π”Π°ΡˆΠΈ Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Π”Π°ΡˆΠ°.

Π£ Баши ΠΈ Маши Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Баша.

Π£ Баши Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Баша.

Π£ Π”Π°ΡˆΠΈ ΠΈ Маши Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Баша.

Π£ Π”Π°ΡˆΠΈ Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Π”Π°ΡˆΠ°.

Π£ Маши Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ ΠŸΠ΅Ρ‚Ρ.

Π£ ΠŸΠ΅Ρ‚ΠΈ ΠΈ Π”Π°ΡˆΠΈ Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ ΠŸΠ΅Ρ‚Ρ.

Π£ ΠŸΠ΅Ρ‚ΠΈ ΠΈ Маши Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ ΠŸΠ΅Ρ‚Ρ.

Π£ ΠŸΠ΅Ρ‚ΠΈ ΠΈ Баши Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Баша.

Π£ ΠŸΠ΅Ρ‚ΠΈ Π°Π²Ρ‚ΠΎΡ€ΠΈΡ‚Π΅Ρ‚ Баша.

Π’ΠΠ‘Π›Π˜Π¦Π ΠšΠ­Π›Π˜ Π”Π›Π― ΠžΠŸΠ•Π ΠΠ¦Π˜Π˜ «ΠΠ’Π’ΠžΠ Π˜Π’Π•Π’»

* Π—Π°Ρ‚Π΅Π½Π΅Π½ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΎΠ½Π½Ρ‹ΠΉ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚

Π’ΠΠ‘Π›Π˜Π¦Π ΠšΠ­Π›Π˜, ΠšΠžΠ Π•Π™Π‘ΠšΠ˜Π™ Π’ΠΠ Π˜ΠΠΠ’

Π›ΡƒΠΏΠ° , ΠΈΠ»ΠΈ ΠΊΠ²Π°Π·ΠΈΠ³Ρ€ΡƒΠΏΠΏΠ° с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ, ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ получаСтся ΠΈΠ· аксиом Π³Ρ€ΡƒΠΏΠΏΡ‹ отбрасываниСм трСбования ассоциативности, особСнно Π±Π»ΠΈΠ·ΠΊΠ° ΠΊ Π³Ρ€ΡƒΠΏΠΏΠ΅.

Ρ‚ΠΎ FX станСт ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠΎΠΉ; ΠΎΠ½Π° называСтся свободной ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠΎΠΉ Π½Π°Π΄ Π°Π»Ρ„Π°Π²ΠΈΡ‚ΠΎΠΌ X. Роль свободных ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏ Π² ΠΎΠ±Ρ‰Π΅ΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ опрСдСляСтся Ρ‚Π΅ΠΌ, Ρ‡Ρ‚ΠΎ всякая ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ° Π΅ΡΡ‚ΡŒ Π³ΠΎΠΌΠΎΠΌΠΎΡ€Ρ„Π½Ρ‹ΠΉ ΠΎΠ±Ρ€Π°Π· подходящСй свободной ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΡ‹. Π’Π°ΠΆΠ½ΡƒΡŽ Ρ€ΠΎΠ»ΡŒ ΠΈΠ³Ρ€Π°ΡŽΡ‚ свободныС ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΡ‹ ΠΈ Π² Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… прилоТСниях, ΠΏΡ€Π΅ΠΆΠ΄Π΅ всСго Π² Ρ‚Π΅ΠΎΡ€ΠΈΠΈ Ρ„ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Ρ… языков ΠΈ ΠΊΠΎΠ΄ΠΎΠ².

Π—Π°ΠΌΠ΅Ρ‚Π½ΡƒΡŽ Ρ‡Π°ΡΡ‚ΡŒ ΠΎΠ±Ρ‰Π΅ΠΉ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ составляСт тСория прСдставлСний ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏ прСобразованиями ΠΈ ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Π°ΠΌΠΈ. Π’ΠΎΡ‡ΠΊΠ° зрСния Ρ‚Π΅ΠΎΡ€ΠΈΠΈ прСдставлСний Π½Π΅Ρ€Π΅Π΄ΠΊΠΎ ΠΏΡ€ΠΎΠ»ΠΈΠ²Π°Π΅Ρ‚ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹ΠΉ свСт Π½Π° Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Ρ‚ΠΈΠΏΡ‹ ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏ, СстСствСнно опрСдСляСмыС с Ρ‚ΠΎΡ‡ΠΊΠΈ зрСния аксиоматики. ВнСсСниС Π² ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΡ‹ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… структур, согласованных с ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠΎΠ²ΠΎΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ, выдСляСт особыС Ρ€Π°Π·Π΄Π΅Π»Ρ‹ Ρ‚Π΅ΠΎΡ€ΠΈΠΈ ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏ, Ρ‚Π°ΠΊΠΈΠ΅, ΠΊΠ°ΠΊ тСория топологичСских ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏ, тСория упорядочСнных ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏ.

3) ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ всСх подстановокn символов ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ Π³Ρ€ΡƒΠΏΠΏΡƒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ умноТСния подстановок, Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡƒΡŽ симмСтричСской Π³Ρ€ΡƒΠΏΠΏΠΎΠΉ. ΠŸΡ€ΠΈ n  3 симмСтричСская Π³Ρ€ΡƒΠΏΠΏΠ° Π½Π΅Π°Π±Π΅Π»Π΅Π²Π°. ΠŸΠΎΡ€ΡΠ΄ΠΎΠΊ (число элСмСнтов) симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ Ρ€Π°Π²Π΅Π½ n!.

Π˜ΡΡ‚ΠΎΡ‡Π½ΠΈΠΊ

ДискрСтная ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° (стр. 4 )

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠ˜Π· Π·Π° большого объСма этот ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π» Ρ€Π°Π·ΠΌΠ΅Ρ‰Π΅Π½ Π½Π° Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… страницах:
1 2 3 4 5 6 7 8 9 10 11 12

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Аналогично ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ ΠΈ ΠΏΡ€Π°Π²Ρ‹Π΅ смСТныС классы, содСрТащиС элСмСнты Π²ΠΈΠ΄Π° h*g. ΠŸΠ΅Ρ€Π²Ρ‹ΠΌ Π»Π΅Π²Ρ‹ΠΌ ΠΈ ΠΏΠ΅Ρ€Π²Ρ‹ΠΌ ΠΏΡ€Π°Π²Ρ‹ΠΌ смСТными классами являСтся сама ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° H. Π‘Ρ€Π΅Π΄ΠΈ смСТных классов ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ – СдинствСнная ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ°, ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ классы – просто подмноТСства Π³Ρ€ΡƒΠΏΠΏΡ‹ G.

Для получСния Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ Π»Π΅Π²ΠΎΠ³ΠΎ смСТного класса Π½Π°Π΄ΠΎ Π²Π·ΡΡ‚ΡŒ любой элСмСнт g ΠΈΠ· Π³Ρ€ΡƒΠΏΠΏΡ‹ G, Π½Π΅ попавший Π² ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ класс, ΠΈ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΡƒΠΌΠ½ΠΎΠΆΠΈΡ‚ΡŒ Π΅Π³ΠΎ Π½Π° всС элСмСнты ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ H (g*h). Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρ‹ этого умноТСния ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Π²Ρ‚ΠΎΡ€ΠΎΠΉ Π»Π΅Π²Ρ‹ΠΉ класс. Для получСния Ρ‚Ρ€Π΅Ρ‚ΡŒΠ΅Π³ΠΎ Π»Π΅Π²ΠΎΠ³ΠΎ смСТного класса Π½Π°Π΄ΠΎ Π²Π·ΡΡ‚ΡŒ любой элСмСнт g ΠΈΠ· Π³Ρ€ΡƒΠΏΠΏΡ‹ G, Π½Π΅ попавший Π² ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ ΠΈ Π²ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΉ классы, ΠΈ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΡƒΠΌΠ½ΠΎΠΆΠΈΡ‚ΡŒ Π΅Π³ΠΎ Π½Π° всС элСмСнты ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ H. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρ‹ этого умноТСния Π² свою ΠΎΡ‡Π΅Ρ€Π΅Π΄ΡŒ ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Ρ‚Ρ€Π΅Ρ‚ΠΈΠΉ Π»Π΅Π²Ρ‹ΠΉ класс. И Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅. Π’ качСствС послСднСго Π»Π΅Π²ΠΎΠ³ΠΎ смСТного класса бСрутся всС ΠΎΡΡ‚Π°Π²ΡˆΠΈΠ΅ΡΡ (Π½Π΅ попавшиС Π² ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰ΠΈΠ΅ классы) элСмСнты G (ΡƒΠΌΠ½ΠΎΠΆΠ°Ρ‚ΡŒ ΡƒΠΆΠ΅ Π½Π΅ Π½Π°Π΄ΠΎ).

Аналогично ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ ΠΈ ΠΏΡ€Π°Π²Ρ‹Π΅ смСТныС классы. ΠœΠ½ΠΎΠΆΠ΅ΡΡ‚Π²ΠΎ Π»Π΅Π²Ρ‹Ρ… классов ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Ρ€Π°Π·Π±ΠΈΠ΅Π½ΠΈΠ΅ Π³Ρ€ΡƒΠΏΠΏΡ‹ G, Ρ‚Π°ΠΊ ΠΆΠ΅ ΠΊΠ°ΠΊ ΠΈ мноТСство ΠΏΡ€Π°Π²Ρ‹Ρ…. Π£ Π½Π΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ мноТСство Π»Π΅Π²Ρ‹Ρ… ΠΈ ΠΏΡ€Π°Π²Ρ‹Ρ… классов ΠΌΠΎΠ³ΡƒΡ‚ ΠΈ Π½Π΅ ΡΠΎΠ²ΠΏΠ°ΡΡ‚ΡŒ. Если эти разбиСния (ΠΏΡ€Π°Π²ΠΎΠ΅ ΠΈ Π»Π΅Π²ΠΎΠ΅) ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‚, Ρ‚ΠΎ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° называСтся Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΌ. НапримСр, рассмотрим Ρ€Π°Π·Π±ΠΈΠ΅Π½ΠΈΠ΅ симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ стСпСни Ρ‚Ρ€ΠΈ ΠΏΠΎ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ΅ H = порядка Π΄Π²Π°:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π—Π΄Π΅ΡΡŒ слСва ΠΎΡ‚ элСмСнта (с Π±ΡƒΠΊΠ²ΠΎΠΉ l) ΠΏΠΎΠΊΠ°Π·Π°Π½Π° Π΅Π³ΠΎ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΊ Π»Π΅Π²ΠΎΠΌΡƒ Ρ€Π°Π·Π±ΠΈΠ΅Π½ΠΈΡŽ, Π° справа (с Π±ΡƒΠΊΠ²ΠΎΠΉ r) – ΠΊ ΠΏΡ€Π°Π²ΠΎΠΌΡƒ. Для получСния Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ Π»Π΅Π²ΠΎΠ³ΠΎ класса взят элСмСнт g =, Π½Π΅ попавший Π² ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ класс, ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ Π½Π° элСмСнт (1 2), Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π½Π° Π³Ρ€ΡƒΠΏΠΏΠΎΠ²ΡƒΡŽ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρƒ Π΅Π³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ Π½Π΅ ΡƒΠΌΠ½ΠΎΠΆΠ°Ρ‚ΡŒ. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ умноТСния элСмСнтвмСстС с ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠΌΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Π²Ρ‚ΠΎΡ€ΠΎΠΉ Π»Π΅Π²Ρ‹ΠΉ класс.

Π’Ρ€Π΅Ρ‚ΠΈΠΉ Π»Π΅Π²Ρ‹ΠΉ составили Π΄Π²Π° элСмСнта, Π½Π΅ попавшиС Π² ΠΏΠ΅Ρ€Π²Ρ‹Π΅ Π΄Π²Π° класса. Для получСния Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΏΡ€Π°Π²ΠΎΠ³ΠΎ класса взят Ρ‚ΠΎΡ‚ ΠΆΠ΅ элСмСнт g =, Π½Π΅ попавший Π² ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ класс, ΠΈ элСмСнтумноТСн Π½Π° Π½Π΅Π³ΠΎ. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ умноТСния элСмСнтвмСстС с ΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ΠΎΠΌΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Π²Ρ‚ΠΎΡ€ΠΎΠΉ ΠΏΡ€Π°Π²Ρ‹ΠΉ класс.

Π’Π°ΠΊ ΠΊΠ°ΠΊ Π»Π΅Π²ΠΎΠ΅ Ρ€Π°Π·Π±ΠΈΠ΅Π½ΠΈΠ΅ Π½Π΅ совпало с ΠΏΡ€Π°Π²Ρ‹ΠΌ, Ρ‚ΠΎ рассмотрСнная ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° H Π½Π΅ являСтся Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΌ. Π›ΡŽΠ±Π°Ρ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° индСкса Π΄Π²Π°, порядок ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ Π²Π΄Π²ΠΎΠ΅ мСньшС порядка самой Π³Ρ€ΡƒΠΏΠΏΡ‹, являСтся Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΌ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΌ. ΠŸΠ΅Ρ€Π²Ρ‹ΠΉ смСТный класс – это сама ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ°, Π° Π²Ρ‚ΠΎΡ€ΠΎΠΉ – это Ρ‚Π΅ элСмСнты, Ρ‡Ρ‚ΠΎ Π½Π΅ ΠΏΠΎΠΏΠ°Π»ΠΈ Π² ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ класс. Π—Π½Π°Ρ‡ΠΈΡ‚, ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° H = – Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒ симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ стСпСни Ρ‚Ρ€ΠΈ.

Для опрСдСлСния Π²ΠΈΠ΄Π° дСлитСля – ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ ΠΌΠΎΠΆΠ½ΠΎ Π²ΠΎΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅ΠΌ: H – Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒ G Ссли для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ g ΠΈ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ h ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ h` ΠΈ h«, Ρ‚Π°ΠΊΠΈΠ΅ Ρ‡Ρ‚ΠΎ, g*h = h`*g ΠΈ h*g = g*h«. ΠžΡ‚ΡΡŽΠ΄Π° Ρƒ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ всС Π΅Ρ‘ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ (Ссли ΠΎΠ½ΠΈ Π΅ΡΡ‚ΡŒ) Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Π΅ Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΠΈ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ здСсь h = h` = h«.

Π’Π΅ΠΎΡ€Π΅ΠΌΠ° Π›Π°Π³Ρ€Π°Π½ΠΆΠ°: порядок ΠΊΠΎΠ½Π΅Ρ‡Π½ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ дСлится Π½Π° порядок своСй ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹. Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ слСдуСт ΠΈΠ· разбиСния Π³Ρ€ΡƒΠΏΠΏΡ‹ Π½Π° смСТныС классы Ρ€Π°Π²Π½ΠΎΠΉ мощности. Из Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ Π›Π°Π³Ρ€Π°Π½ΠΆΠ° слСдуСт, Ρ‡Ρ‚ΠΎ Π³Ρ€ΡƒΠΏΠΏΡ‹, порядок ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… являСтся простым числом, Π½Π΅ ΠΈΠΌΠ΅ΡŽΡ‚ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ ΠΈ ΡΠ²Π»ΡΡŽΡ‚ΡΡ цикличСскими.

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π“Ρ€ΡƒΠΏΠΏ порядка 6 ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π΅: цикличСская ΠΈ симмСтричСская стСпСни 3. ЦикличСской ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка 6 Ρƒ этой Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка 12 Π½Π΅Ρ‚, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Ρƒ Π½Π΅Ρ‘ Π½Π΅Ρ‚ элСмСнтов порядка 6. Π’ симмСтричСской ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ΅ стСпСни Ρ‚Ρ€ΠΈ ΠΈΠΌΠ΅ΡŽΡ‚ΡΡ Π΄Π²Π° элСмСнта порядка Ρ‚Ρ€ΠΈ ΠΈ Ρ‚Ρ€ΠΈ элСмСнта порядка Π΄Π²Π°. Π’ΠΎΠ·ΡŒΠΌΡ‘ΠΌ Π² качСствС ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π° ΠΏΠΎΠ΄Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ Кэли для Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Π΄Π²Π΅Π½Π°Π΄Ρ†Π°Ρ‚ΡŒ с элСмСнтами порядка Ρ‚Ρ€ΠΈ 2 ΠΈ 3, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΡΠ²Π»ΡΡŽΡ‚ΡΡ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π°ΠΌΠΈ Π΄Ρ€ΡƒΠ³ Π΄Ρ€ΡƒΠ³Π°, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ вмСстС с 1 ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡƒ порядка Ρ‚Ρ€ΠΈ, ΠΈ всСми трСмя элСмСнтами порядка Π΄Π²Π°: 10, 11 ΠΈ 12:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

ΠŸΠΎΠ»ΡƒΡ‡Π΅Π½Π½Π°Ρ ΠΏΠΎΠ΄Ρ‚Π°Π±Π»ΠΈΡ†Π° Π½Π΅ являСтся Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ Кэли для ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π² Π½Π΅ΠΉ ΠΊΡ€ΠΎΠΌΠ΅ элСмСнтов 1, 2, 3, 10, 11 ΠΈ 12 ΠΏΡ€ΠΈΡΡƒΡ‚ΡΡ‚Π²ΡƒΡŽΡ‚ ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ элСмСнты Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Π΄Π²Π΅Π½Π°Π΄Ρ†Π°Ρ‚ΡŒ.

Из Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ Π›Π°Π³Ρ€Π°Π½ΠΆΠ° Ρ‚Π°ΠΊΠΆΠ΅ слСдуСт, Ρ‡Ρ‚ΠΎ элСмСнты, ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹Π΅ сами сСбС (порядка Π΄Π²Π°), Π΅ΡΡ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρƒ Π³Ρ€ΡƒΠΏΠΏ Ρ‡Ρ‘Ρ‚Π½ΠΎΠ³ΠΎ порядка, Π½ΠΎ количСство ΠΈΡ… Π² Π³Ρ€ΡƒΠΏΠΏΠ΅ ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ Π½Π΅Ρ‡Ρ‘Ρ‚Π½ΠΎΠ΅. ΠžΠ±Ρ‰Π΅Π΅ число элСмСнтов Π³Ρ€ΡƒΠΏΠΏΡ‹, Π½Π΅ ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹Ρ… самим сСбС, вмСстС с ΠΈΡ… ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΌΠΈ элСмСнтами – Ρ‡Ρ‘Ρ‚Π½ΠΎΠ΅. Из ΠΎΡΡ‚Π°Π²ΡˆΠ΅Π³ΠΎΡΡ Ρ‡Ρ‘Ρ‚Π½ΠΎΠ³ΠΎ числа элСмСнтов Π³Ρ€ΡƒΠΏΠΏΡ‹ Ρ‡Ρ‘Ρ‚Π½ΠΎΠ³ΠΎ порядка ΠΎΠ΄ΠΈΠ½ – это Π΅Π΄ΠΈΠ½ΠΈΡ‡Π½Ρ‹ΠΉ элСмСнт (e), ΠΎΡ‚ΡΡŽΠ΄Π° ΠΎΠ±Ρ‰Π΅Π΅ число элСмСнтов, ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹Ρ… самим сСбС, Π½Π΅Ρ‡Ρ‘Ρ‚Π½ΠΎΠ΅. НапримСр, Ρƒ симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ стСпСни Ρ‚Ρ€ΠΈ имССтся Ρ‚Ρ€ΠΈ элСмСнта порядка Π΄Π²Π°, Ρƒ цикличСских Π³Ρ€ΡƒΠΏΠΏ порядка Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ ΠΈ ΡˆΠ΅ΡΡ‚ΡŒ – ΠΎΠ΄ΠΈΠ½, Ρƒ Ρ‡Π΅Ρ‚Π²Π΅Ρ€Ρ‚Π½ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ КлСйна V4 порядка Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ – Ρ‚Ρ€ΠΈ.

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π£ Π²Ρ‚ΠΎΡ€ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Π΄Π²Π΅Π½Π°Π΄Ρ†Π°Ρ‚ΡŒ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ Π½Π΅Ρ‚, Π° Π΅ΡΡ‚ΡŒ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ порядков Π΄Π²Π°, Ρ‚Ρ€ΠΈ ΠΈ ΡˆΠ΅ΡΡ‚ΡŒ. Π’ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, Ρ‡Ρ‚ΠΎ Ρƒ Π½Π΅ цикличСской Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Π΄Π²Π΅Π½Π°Π΄Ρ†Π°Ρ‚ΡŒ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ порядка Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ ΠΈ ΡˆΠ΅ΡΡ‚ΡŒ.

Π£ Π²Ρ‚ΠΎΡ€ΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Π΄Π²Π΅Π½Π°Π΄Ρ†Π°Ρ‚ΡŒ элСмСнты 2 ΠΈ 6 ΠΈΠΌΠ΅ΡŽΡ‚ порядок ΡˆΠ΅ΡΡ‚ΡŒ, элСмСнты 4, 7, 8, 9, 10, 11 ΠΈ 12 – порядок Π΄Π²Π°, Π° элСмСнты 3 ΠΈ 5 ΠΈΠΌΠ΅ΡŽΡ‚ порядок Ρ‚Ρ€ΠΈ. Π­Ρ‚Π° Π³Ρ€ΡƒΠΏΠΏΠ° ΠΈΠΌΠ΅Π΅Ρ‚ ΠΏΠΎΡ…ΠΎΠΆΠ΅Π΅ устройство, ΠΊΠ°ΠΊ ΠΈ Ρƒ Π½Π΅ цикличСских Π³Ρ€ΡƒΠΏΠΏ порядков Π΄Π΅ΡΡΡ‚ΡŒ, восСмь (с цикличСской ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠΎΠΉ порядка Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅) ΠΈ ΡˆΠ΅ΡΡ‚ΡŒ. Π£ Π½ΠΈΡ… Ρƒ всСх Π΅ΡΡ‚ΡŒ цикличСская ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° индСкса Π΄Π²Π°, Π° ΠΎΡΡ‚Π°Π²ΡˆΠΈΠ΅ΡΡ (Π½Π΅ попавшиС Π² ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡƒ индСкса Π΄Π²Π°) элСмСнты ΠΈΠΌΠ΅ΡŽΡ‚ порядок Π΄Π²Π°.

Π’ΠΎΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΡΡ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠΎΠΉ Π›Π°Π³Ρ€Π°Π½ΠΆΠ° ΠΈ ΡƒΡ‚ΠΎΡ‡Π½Ρ‘Π½Π½ΠΎΠΉ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠΎΠΉ Кэли для построСния Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ стСпСни Ρ‚Ρ€ΠΈ (порядка ΡˆΠ΅ΡΡ‚ΡŒ). Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Ρ‹ Π½ΡƒΠΌΠ΅Ρ€ΡƒΡŽΡ‚ΡΡ ΠΎΡ‚ 1 Π΄ΠΎ 6, ΠΏΡ€ΠΈΡ‡Ρ‘ΠΌ 1 – это опСрационная Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΏΠΎ Π³Ρ€ΡƒΠΏΠΏΠΎΠ²ΠΎΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, ΠΊΠ°ΠΊ ΠΈ Ρ€Π°Π½ΡŒΡˆΠ΅:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π’Π°Π±Π»ΠΈΡ†Π° 1 Π’Π°Π±Π»ΠΈΡ†Π° 2

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π’Π°Π±Π»ΠΈΡ†Π° 3 Π’Π°Π±Π»ΠΈΡ†Π° 4

По Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ΅ Π›Π°Π³Ρ€Π°Π½ΠΆΠ° порядок ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ являСтся Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΌ порядка Π³Ρ€ΡƒΠΏΠΏΡ‹. ΠžΡ‚ΡΡŽΠ΄Π° Ρƒ Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка ΡˆΠ΅ΡΡ‚ΡŒ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ° порядка Ρ‚Ρ€ΠΈ ΠΈ порядка Π΄Π²Π°. ΠŸΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ Ρƒ Π³Ρ€ΡƒΠΏΠΏΡ‹ всСгда Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ Ρ‚Ρ€Ρ‘Ρ…, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ элСмСнтов ΠΈΠ· Ρ€Π°Π·Π½Ρ‹Ρ… ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ Π³Ρ€ΡƒΠΏΠΏΡ‹ ΠΌΠΎΠΆΠ΅Ρ‚ ΠΏΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ°Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΠ΅, ΠΎΡ‚Π»ΠΈΡ‡Π½ΠΎΠΉ ΠΎΡ‚ этих Π΄Π²ΡƒΡ… ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ.

Π’ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Кэли 1 для симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ стСпСни Ρ‚Ρ€ΠΈ ΠΏΠΎΠ»Π½ΠΎΡΡ‚ΡŒΡŽ Π·Π°ΠΏΠΎΠ»Π½Π΅Π½Ρ‹ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ пСрвая строка ΠΈ ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ столбСц, ΠΏΠΎΡ‚ΠΎΠΌΡƒ Ρ‡Ρ‚ΠΎ ΠΊΠ°ΠΊ Ρ€Π°Π±ΠΎΡ‚Π°Π΅Ρ‚ Π΅Π΄ΠΈΠ½ΠΈΡ‡Π½Ρ‹ΠΉ элСмСнт Π² Π³Ρ€ΡƒΠΏΠΏΠ΅ всСгда понятно. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚Ρ‹ 2 ΠΈ 3 ΠΈΠΌΠ΅ΡŽΡ‚ порядок Ρ‚Ρ€ΠΈ, Π° ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ (4, 5 ΠΈ 6) – порядок Π΄Π²Π°. Π’ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Кэли 1 Π·Π°ΠΏΠΎΠ»Π½Π΅Π½Ρ‹ ΠΏΠΎΠ΄Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ для этих цикличСских ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ. ΠŸΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ элСмСнт 2 ΠΈΠΌΠ΅Π΅Ρ‚ порядок Ρ‚Ρ€ΠΈ, Ρ‚ΠΎ вторая строка Π΄ΠΎΠ»ΠΆΠ½Π° Π±Ρ‹Ρ‚ΡŒ Ρ€Π°Π²Π½ΠΎΡ†ΠΈΠΊΠ»ΠΎΠ²Ρ‹ΠΌ бСспорядком ΠΈΠ· Π΄Π²ΡƒΡ… Ρ†ΠΈΠΊΠ»ΠΎΠ² порядка Ρ‚Ρ€ΠΈ. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ 2 – это ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ элСмСнта 3, ΠΈ Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚, элСмСнт 3 – это ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ элСмСнта 2.

На Ρ‚Ρ€Ρ‘Ρ… элСмСнтах 4, 5 ΠΈ 6 ΠΌΠΎΠΆΠ½ΠΎ ΡΠ΄Π΅Π»Π°Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π° бСспорядка: этоиВ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Кэли 2 для Π²Ρ‚ΠΎΡ€ΠΎΠΉ строки взят ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ бСспорядок, ΠΈ сразу ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ для элСмСнта 4, Ρ‡Ρ‚ΠΎ 1 ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΡ‚ Π² 4 ΠΈ 4 – Π² 1, 2 ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΡ‚ Π² 5 ΠΈ, Π·Π½Π°Ρ‡ΠΈΡ‚, 5 Π΄ΠΎΠ»ΠΆΠ΅Π½ ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΡ‚ΡŒ Π² 2, 3 – Π² 6 ΠΈ Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚, 6 Π² 3, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ элСмСнт 4 ΠΎΠ±Ρ€Π°Ρ‚Π΅Π½ сам сСбС ΠΈ Π΅Π³ΠΎ столбСц являСтся Ρ€Π°Π²Π½ΠΎΡ†ΠΈΠΊΠ»ΠΎΠ²Ρ‹ΠΌ бСспорядком ΠΈΠ· Ρ‚Ρ€Ρ‘Ρ… Ρ†ΠΈΠΊΠ»ΠΎΠ² Π΄Π»ΠΈΠ½Ρ‹ Π΄Π²Π°.

Π’ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Кэли 3 для Ρ‚Ρ€Π΅Ρ‚ΡŒΠ΅ΠΉ строки взят Π²Ρ‚ΠΎΡ€ΠΎΠΉ бСспорядок:ΠΈ Π°Π½Π°Π»ΠΎΠ³ΠΈΡ‡Π½ΠΎ Ρ‡Π΅Ρ‚Π²Ρ‘Ρ€Ρ‚ΠΎΠΌΡƒ Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ 2 Π·Π°ΠΏΠΎΠ»Π½Π΅Π½Ρ‹ столбцы для Π΄Π²ΡƒΡ… ΠΎΡΡ‚Π°Π²ΡˆΠΈΡ…ΡΡ элСмСнтов порядка Π΄Π²Π° (5 ΠΈ 6). ΠžΡΡ‚Π°Π»ΠΎΡΡŒ Π·Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Π΄Π²Π° Π½Π΅ΠΏΠΎΠ»Π½Ρ‹Ρ… столбца для элСмСнтов порядка Ρ‚Ρ€ΠΈ ΠΈΠ»ΠΈ, Ρ‡Ρ‚ΠΎ Ρ‚ΠΎ ΠΆΠ΅ самоС, Ρ‚Ρ€ΠΈ Π½Π΅ΠΏΠΎΠ»Π½Ρ‹Ρ… строки для элСмСнтов порядка Π΄Π²Π°. Если Π·Π°ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ 4 строку для элСмСнта 4 Π³Ρ€ΡƒΠΏΠΏΡ‹, Ρ‚ΠΎ 6 ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΡ‚ Π² 2, ΠΈ, Π·Π½Π°Ρ‡ΠΈΡ‚, 2 Π² 6, Π° Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ 5 ΠΏΠ΅Ρ€Π΅Ρ…ΠΎΠ΄ΠΈΡ‚ Π² 3, Ρ‚ΠΎ ΠΈ 3 – Π² 5. Аналогично Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ 4 Π·Π°ΠΏΠΎΠ»Π½ΠΈΠΌ ΠΈ Π΄Π²Π΅ ΠΎΡΡ‚Π°Π²ΡˆΠΈΡ…ΡΡ строки ΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ Π½Π΅ ΡΠΈΠΌΠΌΠ΅Ρ‚Ρ€ΠΈΡ‡Π½ΡƒΡŽ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ Кэли для Π½Π΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠΉ симмСтричСской Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка ΡˆΠ΅ΡΡ‚ΡŒ.

НС цикличСская Π³Ρ€ΡƒΠΏΠΏΠ° порядка ΡˆΠ΅ΡΡ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½Π°, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π² Π½Π΅ цикличСской Π³Ρ€ΡƒΠΏΠΏΠ΅ порядка ΡˆΠ΅ΡΡ‚ΡŒ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π΄Π²Π΅ ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏΡ‹ порядка Ρ‚Ρ€ΠΈ ΠΈ ΠΎΠ΄Π½Π° порядка Π΄Π²Π°, хотя ΠΏΠΎ числу элСмСнтов Π³Ρ€ΡƒΠΏΠΏΡ‹ этот расклад ΠΏΠΎΠ΄Ρ…ΠΎΠ΄ΠΈΡ‚. Для получСния всСх ΠΏΠΎΠΏΠ°Ρ€Π½Ρ‹Ρ… ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ элСмСнтов Π΄Π²ΡƒΡ… цикличСских ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ порядка Ρ‚Ρ€ΠΈ Π½Π°Π΄ΠΎ ΠΊΠ°ΠΊ ΠΌΠΈΠ½ΠΈΠΌΡƒΠΌ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ элСмСнта Π½Π΅ ΠΈΠ· этих ΠΏΠΎΠ΄Π³Ρ€ΡƒΠΏΠΏ, Π° имССтся Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄ΠΈΠ½. Π­Ρ‚ΠΎ Π²ΠΈΠ΄Π½ΠΎ ΠΈ ΠΈΠ· ΠΏΠΎΠΏΡ‹Ρ‚ΠΊΠΈ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ Кэли для Ρ‚Π°ΠΊΠΎΠΉ Π³Ρ€ΡƒΠΏΠΏΡ‹:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

ΠŸΠΎΠ΄ΠΎΠ±Π½Ρ‹ΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ ΡΡ‚Ρ€ΠΎΠΈΠ»ΠΈΡΡŒ ΠΈ Π²Ρ‹ΡˆΠ΅ΠΏΡ€ΠΈΠ²Π΅Π΄Ρ‘Π½Π½Ρ‹Π΅ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ Кэли для Π΄Π²ΡƒΡ… Π½Π΅ цикличСских Π³Ρ€ΡƒΠΏΠΏ порядка Π΄Π²Π΅Π½Π°Π΄Ρ†Π°Ρ‚ΡŒ. Для цикличСских Π³Ρ€ΡƒΠΏΠΏ Ρ‚Π°Π±Π»ΠΈΡ†Π° Кэли ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ Ρ‚Π°ΠΊΠΎΠΉ способ построСния Π½Π΅Ρ‚ нСобходимости. Если Ρ€Π°ΡΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚ΡŒ элСмСнты цикличСской Π³Ρ€ΡƒΠΏΠΏΠ°, начиная с Π΅Π΄ΠΈΠ½ΠΈΡ‡Π½ΠΎΠ³ΠΎ, Π° Π·Π°Ρ‚Π΅ΠΌ Π² порядкС возрастания стСпСни ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‰Π΅Π³ΠΎ эту Ρ†ΠΈΠΊΠ»ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Π³Ρ€ΡƒΠΏΠΏΡƒ элСмСнта, Ρ‚ΠΎ каТдая ΠΏΠΎΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π°Ρ строка Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ Кэли Π±ΡƒΠ΄Π΅Ρ‚ цикличСским сдвигом Π²Π»Π΅Π²ΠΎ ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅ΠΉ. НапримСр, цикличСская Π³Ρ€ΡƒΠΏΠΏΠ° порядка ΡˆΠ΅ΡΡ‚ΡŒ, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ 2 – ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‰ΠΈΠΉ элСмСнт, элСмСнт 3 – это ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚ элСмСнта 2, элСмСнт 4 – ΠΊΡƒΠ± элСмСнта 2, …, элСмСнт 6 – пятая ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ элСмСнта 2, 1 – Π΅Π΄ΠΈΠ½ΠΈΡ‡Π½Ρ‹ΠΉ элСмСнт ΠΈ ΡˆΠ΅ΡΡ‚Π°Ρ ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ элСмСнта 2:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π“Π»Π°Π²Π° 6. ΠšΠΎΠ»ΡŒΡ†Π° ΠΈ поля

ΠšΠΎΠ»ΡŒΡ†Π° ΠΈ поля – алгСбраичСскиС структуры с двумя опСрациями, условно Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΡ‹ΠΌΠΈ слоТСниСм ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅ΠΌΡ‹ΠΌΠΈ ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ ΠΊΠ°ΠΊ + ΠΈ *. ΠžΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ слоТСния ΠΊΠΎΠ»ΡŒΡ†ΠΎ ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΡƒΡŽ Π³Ρ€ΡƒΠΏΠΏΡƒ, Π° ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ умноТСния – ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΡƒ. Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ слоТСния ΠΈ умноТСния связаны Π·Π°ΠΊΠΎΠ½ΠΎΠΌ дистрибутивности: (a+b)*c=a*c+b*c ΠΈ c*(a+b)= c*a+c*b для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c ΠΈΠ· нСпустого мноТСства – носитСля ΠΊΠΎΠ»ΡŒΡ†Π°.

Π—Π½Π°Ρ‡ΠΈΡ‚, ΠΊΡ€ΠΎΠΌΠ΅ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ ΠΊΠΎΠ»ΡŒΡ†Π° Π½Π° Π³Ρ€ΡƒΠΏΠΏΡƒ ΠΏΠΎ слоТСнию ΠΈ Π½Π° ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΡƒ ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ, Π½Π°Π΄ΠΎ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ ΠΈ Π΄ΠΈΡΡ‚Ρ€ΠΈΠ±ΡƒΡ‚ΠΈΠ²Π½ΠΎΡΡ‚ΡŒ этих ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ. Если ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎ, Ρ‚ΠΎ ΠΊΠΎΠ»ΡŒΡ†ΠΎ Ρ‚ΠΎΠΆΠ΅ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½Ρ‹ΠΌ; Ссли ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ Π΅ΡΡ‚ΡŒ ΠΌΠΎΠ½ΠΎΠΈΠ΄, Ρ‚ΠΎ это ΠΊΠΎΠ»ΡŒΡ†ΠΎ с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ. Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ Π΅ΡΡ‚ΡŒ ΠΈ Π½ΡƒΠ»ΡŒ (0 – ΠΊΠΎΠ»ΡŒΡ†Π΅Π²Π°Ρ (опСрационная) Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΏΠΎ слоТСнию) ΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†Π° (1 – ΠΊΠΎΠ»ΡŒΡ†Π΅Π²Π°Ρ Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ).

1. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π½Π΅ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ ΠΈΠ· мноТСства – носитСля ΠΊΠΎΠ»ΡŒΡ†Π°.

2. a + (b + c) = (a + b) + c для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ассоциативно.

3. БущСствуСт ΠΊΠΎΠ»ΡŒΡ†Π΅Π²ΠΎΠΉ 0 (Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΏΠΎ слоТСнию), Ρ‚Π°ΠΊΠΎΠΉ, Ρ‡Ρ‚ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта a ΠΊΠΎΠ»ΡŒΡ†Π° a + 0 = 0 + a = a.

5. Для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a ΠΈ b ΠΊΠΎΠ»ΡŒΡ†Π° a + b = b + a. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎ, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ ΠΊΠΎΠ»ΡŒΡ†ΠΎ – Π°Π±Π΅Π»Π΅Π²Π° Π³Ρ€ΡƒΠΏΠΏΠ° ΠΏΠΎ слоТСнию.

6. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π½Π΅ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ ΠΈΠ· мноТСства – носитСля ΠΊΠΎΠ»ΡŒΡ†Π°.

7. a * (b * c)= (a * b) * c для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ассоциативно, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ ΠΊΠΎΠ»ΡŒΡ†ΠΎ – ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ° ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ.

8. (a+b)*c=a*c+b*c ΠΈ c*(a+b)= c*a+c*b для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ дистрибутивно ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния ΠΈ справа ΠΈ слСва.

Если ΠΊΠ°ΠΊΠΎΠΉ-Ρ‚ΠΎ ΠΈΠ· восьми ΠΏΡƒΠ½ΠΊΡ‚ΠΎΠ² Π½Π΅ выполняСтся, Ρ‚ΠΎ ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ ΠΏΡƒΠ½ΠΊΡ‚Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ Π½Π΅ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΡΡ‚ΡŒ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ рассматриваСмая алгСбраичСская структура ΠΊΠΎΠ»ΡŒΡ†ΠΎΠΌ Π½Π΅ являСтся.

Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ ΠΌΠΎΠ³ΡƒΡ‚ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΠΎΠ²Π°Ρ‚ΡŒ ΠΈ ΠΏΠΎΠ΄ΠΊΠΎΠ»ΡŒΡ†Π°, ΠΈ пСрСсСчСниС ΠΏΠΎΠ΄ΠΊΠΎΠ»Π΅Ρ† Ρ‚ΠΎΠΆΠ΅ ΠΏΠΎΠ΄ΠΊΠΎΠ»ΡŒΡ†ΠΎ. ΠŸΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ бСсконСчного ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ ΠΊΠΎΠ»ΡŒΡ†Π° с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ являСтся мноТСство Ρ†Π΅Π»Ρ‹Ρ… чисСл с ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌΠΈ опСрациями слоТСния ΠΈ умноТСния ΠŸΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ бСсконСчного ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠ³ΠΎ ΠΊΠΎΠ»ΡŒΡ†Π° Π±Π΅Π· Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ являСтся мноТСство Ρ†Π΅Π»Ρ‹Ρ… чисСл, ΠΊΡ€Π°Ρ‚Π½Ρ‹Ρ… Ρ†Π΅Π»ΠΎΠΌΡƒ числу n (n > 1), с ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌΠΈ опСрациями слоТСния ΠΈ умноТСния.

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ Z Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠΏΡ€ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ слоТСния (+) цСлочислСнно ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ n ΡΠΊΠ»Π°Π΄Ρ‹Π²Π°ΡŽΡ‚ΡΡ индСксы элСмСнтов ΠΊΠΎΠ»ΡŒΡ†Π°, Π° ΠΏΡ€ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния (*) цСлочислСнно ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ n ΡƒΠΌΠ½ΠΎΠΆΠ°ΡŽΡ‚ΡΡ индСксы элСмСнтов ΠΊΠΎΠ»ΡŒΡ†Π°. C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ+ C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ= CΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ, Π³Π΄Π΅ modΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ(a + b) = d. C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ* C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ= CΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ, Π³Π΄Π΅ modΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ(a * b) = d. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ modΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ(x) – это ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½ΠΈΠ΅ остатка ΠΎΡ‚ цСлочислСнного дСлСния числа x Π½Π° число n.

МоТно ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ Ρ‚Ρ€ΠΈ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ: слоТСниС, Π²Ρ‹Ρ‡ΠΈΡ‚Π°Π½ΠΈΠ΅ ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅. ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ вычитания Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ – это опСрация слоТСния с ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΌ элСмСнтом, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ сущСствуСт Ρƒ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта ΠΊΠΎΠ»ΡŒΡ†Π°.

1. Для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта a ΠΊΠΎΠ»ΡŒΡ†Π° a * 0 = 0 * a = 0, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ a + 0 = a, Π·Π½Π°Ρ‡ΠΈΡ‚, a * (a + 0) = a * a = a * a + a * 0 = a * a + 0. ΠžΡ‚ΡΡŽΠ΄Π° a * 0 = 0.

3. –a = (-1) * a, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ –a = (-a) * 1 = (-1) * a.

Π’ ΠΊΠΎΠ»ΡŒΡ†Π°Ρ… Ρ†Π΅Π»Ρ‹Ρ… чисСл с опСрациями ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹Ρ… слоТСния ΠΈ умноТСния ΠΈΠ· Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ a * b = 0, слСдуСт, Ρ‡Ρ‚ΠΎ ΠΈΠ»ΠΈ a = 0, ΠΈΠ»ΠΈ b = 0. Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ Z Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΡΡ‚ΠΎ Π½Π΅ Ρ‚Π°ΠΊ: CΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ* CΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ= 0 = C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠΈ C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠ½Π΅ Ρ€Π°Π²Π΅Π½ CΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ.

Если Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ a*b=0 ΠΈ aΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ0, bΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ0, Ρ‚ΠΎ a – Π»Π΅Π²Ρ‹ΠΉ, Π° b – ΠΏΡ€Π°Π²Ρ‹ΠΉ Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒ нуля. Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ Z Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΡΠ»Π΅ΠΌΠ΅Π½Ρ‚ C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ— это Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒ нуля. Если Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ Π½Π΅Ρ‚ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля, Ρ‚ΠΎ это ΠΊΠΎΠ»ΡŒΡ†ΠΎ Π±Π΅Π· Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля ΠΈ Π² Π½Ρ‘ΠΌ выполняСтся Π·Π°ΠΊΠΎΠ½ сокращСния: Ссли a * b = a * c ΠΈ a Π½Π΅ Ρ€Π°Π²Π½ΠΎ 0, Ρ‚ΠΎ Π² = с. Π”ΠΎΠΊΠ°Π·Π°Ρ‚Π΅Π»ΡŒΡΡ‚Π²ΠΎ: a * b – a * c = 0, ΠΎΡ‚ΡΡŽΠ΄Π° ΠΏΠΎ дистрибутивности a * (b – c) = 0, Π·Π½Π°Ρ‡ΠΈΡ‚, b – c = 0 ΠΈ b = c.

ΠšΠΎΠ»ΡŒΡ†ΠΎ Z Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠ½Π΅ ΠΈΠΌΠ΅Π΅Ρ‚ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π² Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Кэли ΠΊΠΎΠ»ΡŒΡ†Π° ΠΏΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния Π½ΡƒΠ»ΠΈ (C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ= 0) Π΅ΡΡ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² ΠΏΠ΅Ρ€Π²ΠΎΠΌ столбцС ΠΈ ΠΏΠ΅Ρ€Π²ΠΎΠΉ строкС:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

Π’ ΠΊΠΎΠ»ΡŒΡ†Π΅ с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ ΠΌΠΎΠ³ΡƒΡ‚ Π±Ρ‹Ρ‚ΡŒ ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹Π΅ элСмСнты ΠΏΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния. ΠžΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ элСмСнт Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΌ нуля, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Ссли a * b = 0, Ρ‚ΠΎ a Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ* (a * b) = 0 = (a Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ* a) * b = 0 = 1 * b = 0 ΠΈ, Π·Π½Π°Ρ‡ΠΈΡ‚, b = 0.

ВсС ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹Π΅ элСмСнты ΠΊΠΎΠ»ΡŒΡ†Π° с Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ ΠΎΠ±Ρ€Π°Π·ΡƒΡŽΡ‚ Π³Ρ€ΡƒΠΏΠΏΡƒ ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния. НапримСр, Π² ΠΊΠΎΠ»ΡŒΡ†Π΅ Z Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌΡ‹ΠΉ элСмСнт – это CΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠΎΠ±Ρ€Π°Ρ‚Π΅Π½ сам сСбС ΠΈ вмСстС с ΠΊΠΎΠ»ΡŒΡ†Π΅Π²ΠΎΠΉ Π΅Π΄ΠΈΠ½ΠΈΡ†Π΅ΠΉ C Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΡƒΡŽ Π³Ρ€ΡƒΠΏΠΏΡƒ ΠΏΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

ПолС – это ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎΠ΅ ΠΊΠΎΠ»ΡŒΡ†ΠΎ, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ Π½Π΅Π½ΡƒΠ»Π΅Π²ΠΎΠΉ элСмСнт ΠΎΠ±Ρ€Π°Ρ‚ΠΈΠΌ. Π’ ΠΏΠΎΠ»Π΅ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ нуля. Аддитивная Π³Ρ€ΡƒΠΏΠΏΠ° поля (ΠΏΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ слоТСния) содСрТит всС Π΅Π³ΠΎ элСмСнты, Π° ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Π°Ρ Π΅Π³ΠΎ Π³Ρ€ΡƒΠΏΠΏΠ° (ΠΏΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния) Π½Π΅ содСрТит ΠΏΠΎΠ»Π΅Π²ΠΎΠ³ΠΎ нуля, Ρ‚. Π΅. содСрТит Π½Π° ΠΎΠ΄ΠΈΠ½ элСмСнт мСньшС, Ρ‡Π΅ΠΌ аддитивная Π³Ρ€ΡƒΠΏΠΏΠ°. ΠšΠΎΠ½Π΅Ρ‡Π½Ρ‹Π΅ поля ZΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ, число элСмСнтов p Π² ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… являСтся простым числом, Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ΡΡ полями Π“Π°Π»ΡƒΠ°. НапримСр, Z Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΡΠ²Π»ΡΠ΅Ρ‚ΡΡ ΠΏΠΎΠ»Π΅ΠΌ:

Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ

ПолС ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ умноТСния Π±Π΅Π· ΠΏΠΎΠ»Π΅Π²ΠΎΠ³ΠΎ нуля ΠΎΠ±Ρ€Π°Π·ΡƒΠ΅Ρ‚ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΡƒΡŽ Π³Ρ€ΡƒΠΏΠΏΡƒ (ΠΌΡƒΠ»ΡŒΡ‚ΠΈΠΏΠ»ΠΈΠΊΠ°Ρ‚ΠΈΠ²Π½Π°Ρ Π³Ρ€ΡƒΠΏΠΏΠ° поля). Π’ ΠΏΠΎΠ»Π΅Π²ΠΎΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ Кэли ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ ΠΏΠΎΠ»Π΅Π²ΠΎΠΉ ноль Π½Π΅ присутствуСт.

МоТно ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ Π² ΠΏΠΎΠ»Π΅ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ: слоТСниС, Π²Ρ‹Ρ‡ΠΈΡ‚Π°Π½ΠΈΠ΅, ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈ Π΄Π΅Π»Π΅Π½ΠΈΠ΅. Π£Ρ€Π°Π²Π½Π΅Π½ΠΈΠ΅ b * x = a Π² ΠΏΠΎΠ»Π΅ ΠΈΠΌΠ΅Π΅Ρ‚ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ ΠΏΡ€ΠΈ b Π½Π΅ Ρ€Π°Π²Π½ΠΎΠΌ ΠΏΠΎΠ»Π΅Π²ΠΎΠΌΡƒ Π½ΡƒΠ»ΡŽ: x = a / b = a * bΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ.

ΠšΠΎΠ»ΡŒΡ†ΠΎ Ρ†Π΅Π»Ρ‹Ρ… чисСл с ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌΠΈ опСрациями слоТСния ΠΈ вычитания – Π½Π΅ ΠΏΠΎΠ»Π΅, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ Π½Π΅Ρ‚ ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹Ρ… элСмСнтов, Π° Π²ΠΎΡ‚ ΠΊΠΎΠ»ΡŒΡ†Π° Ρ€Π°Ρ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½Ρ‹Ρ… ΠΈ Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… Ρ†Π΅Π»Ρ‹Ρ… чисСл с Ρ‚Π΅ΠΌΠΈ ΠΆΠ΅ опСрациями – поля. Π’ ΠΏΠΎΠ»Π΅:

1. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π½Π΅ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ ΠΈΠ· мноТСства – носитСля поля.

2. a + (b + c)= (a + b) + c для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ассоциативно.

3. БущСствуСт ΠΏΠΎΠ»Π΅Π²ΠΎΠΉ 0 (Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΏΠΎ слоТСнию), Ρ‚Π°ΠΊΠΎΠΉ, Ρ‡Ρ‚ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта a поля a + 0 = 0 + a = a.

5. Для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a ΠΈ b поля a + b = b + a. Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎ, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ ΠΏΠΎΠ»Π΅ – это Π°Π±Π΅Π»Π΅Π²Π° Π³Ρ€ΡƒΠΏΠΏΠ° ΠΏΠΎ слоТСнию.

6. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π½Π΅ Π²Ρ‹Π²ΠΎΠ΄ΠΈΡ‚ ΠΈΠ· мноТСства – носитСля поля.

7. a * (b * c)= (a * b) * c для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ассоциативно.

8. БущСствуСт полСвая 1 (Π΅Π΄ΠΈΠ½ΠΈΡ†Π° ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ), такая, Ρ‡Ρ‚ΠΎ для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ элСмСнта a поля a * 1 = 1 * a = a.

9. Для ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ Π½Π΅ Ρ€Π°Π²Π½ΠΎΠ³ΠΎ 0 элСмСнта a сущСствуСт ΠΎΠ±Ρ€Π°Ρ‚Π½Ρ‹ΠΉ элСмСнт ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ aΠ’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ: = a Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ* a = a * a Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ= 1.

10. Для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a ΠΈ b поля a * b = b * a. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊΠΎΠΌΠΌΡƒΡ‚Π°Ρ‚ΠΈΠ²Π½ΠΎ, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ ΠΏΠΎΠ»Π΅ – это Π°Π±Π΅Π»Π΅Π²Π° Π³Ρ€ΡƒΠΏΠΏΠ° ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ Π±Π΅Π· 0.

11. c*(a+b)= c*a+c*b для ΠΊΠ°ΠΆΠ΄Ρ‹Ρ… a, b ΠΈ c. Π£ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ дистрибутивно ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ слоТСния.

Если ΠΊΠ°ΠΊΠΎΠΉ-Ρ‚ΠΎ ΠΈΠ· ΠΎΠ΄ΠΈΠ½Π½Π°Π΄Ρ†Π°Ρ‚ΠΈ ΠΏΡƒΠ½ΠΊΡ‚ΠΎΠ² Π½Π΅ выполняСтся, Ρ‚ΠΎ ΠΎΡΡ‚Π°Π²ΡˆΠΈΠ΅ΡΡ ΠΏΡƒΠ½ΠΊΡ‚Ρ‹ ΠΌΠΎΠΆΠ½ΠΎ Π½Π΅ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΡΡ‚ΡŒ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ рассматриваСмая алгСбраичСская структура ΠΏΠΎΠ»Π΅ΠΌ Π½Π΅ являСтся.

ΠšΠΎΠ»ΡŒΡ†Π° ΠΈ поля Π½Π΅ СдинствСнныС Π°Π»Π³Π΅Π±Ρ€Ρ‹ с двумя опСрациями, Π·Π°Ρ‚ΠΎ ΠΎΠ½ΠΈ самыС ΠΈΠ·ΡƒΡ‡Π΅Π½Π½Ρ‹Π΅. Π˜Π½Ρ‚Π΅Ρ€Π΅ΡΠ½ΠΎΠΉ являСтся Π°Π»Π³Π΅Π±Ρ€Π° Π½Π° ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… Ρ†Π΅Π»Ρ‹Ρ… числах с двумя опСрациями: ΠΎΠ±Ρ‹Ρ‡Π½Ρ‹ΠΌΠΈ слоТСниСм ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. По слоТСнию – это ΠΌΠΎΠ½ΠΎΠΈΠ΄, Π° ΠΏΠΎ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡŽ – ΠΏΠΎΠ»ΡƒΠ³Ρ€ΡƒΠΏΠΏΠ°.

Π’ этой Π°Π»Π³Π΅Π±Ρ€Π΅ Ρ€Π°Π±ΠΎΡ‚Π°Π΅Ρ‚ Π½Π΅Π΄Π°Π²Π½ΠΎ доказанная Ρ‚Π΅ΠΎΡ€Π΅ΠΌΠ° Π€Π΅Ρ€ΠΌΠ°: ΡƒΡ€Π°Π²Π½Π΅Π½ΠΈΠ΅ a Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ+ b Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ= c Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ. Π€ΠΎΡ‚ΠΎ Π’Π°Π±Π»ΠΈΡ†Π° кэли ΠΊΠ°ΠΊ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒΠΈΠΌΠ΅Π΅Ρ‚ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π² Ρ†Π΅Π»Ρ‹Ρ… ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… числах Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΏΡ€ΠΈ n = 2. Π’Π°ΠΊΠΈΠ΅ Ρ‚Ρ€ΠΎΠΉΠΊΠΈ чисСл a, b ΠΈ c Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ ΠΏΠΈΡ„Π°Π³ΠΎΡ€ΠΎΠ²Ρ‹ΠΌΠΈ Ρ‚Ρ€ΠΎΠΉΠΊΠ°ΠΌΠΈ. ΠΈ Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅. Если Π² Π»Π΅Π²ΠΎΠΉ части уравнСния ΡƒΠ²Π΅Π»ΠΈΡ‡ΠΈΠ²Π°Ρ‚ΡŒ число слагаСмых, Ρ‚ΠΎ для n = 2 число слагаСмых ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ€Π°Π²Π½ΠΎ Ρ‚Ρ€Ρ‘ΠΌ, Ρ‡Π΅Ρ‚Ρ‹Ρ€Ρ‘ΠΌ ΠΈ Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅.

Для n = 3 число слагаСмых Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ Ρ‚Ρ€Ρ‘Ρ…, ΠΈ Ρ‚ΠΎΠ³Π΄Π° Π±ΡƒΠ΄Π΅Ρ‚ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ уравнСния Π² Ρ†Π΅Π»Ρ‹Ρ… ΠΏΠΎΠ»ΠΎΠΆΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… числах:,ΠΈ Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅. Для n = 4 число слагаСмых Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ пяти (ΠΏΡ€ΠΎΠΈΠ·ΠΎΡˆΡ‘Π» скачок Π² числС слагаСмых):5),5) ΠΈ Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅. Для n = 5 число слагаСмых Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅ ΡˆΠ΅ΡΡ‚ΠΈ, Ρ‡Ρ‚ΠΎ косвСнно ΠΏΠΎΠ΄Ρ‚Π²Π΅Ρ€ΠΆΠ΄Π°Π΅Ρ‚ Π΄ΠΎΡΡ‚ΠΎΠ²Π΅Ρ€Π½ΠΎΡΡ‚ΡŒ скачка слагаСмых для n = 4:2),29 30) ΠΈ Ρ‚Π°ΠΊ Π΄Π°Π»Π΅Π΅.

Π’ΠΎ Π²Ρ€Π΅ΠΌΠ΅Π½Π° Π€Π΅Ρ€ΠΌΠ° Ρ‚Π°ΠΊΠΈΠ΅ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρ‹ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Π±Ρ‹Π»ΠΎ Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ Π½Π΅ Π±Ρ‹Π»ΠΎ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€ΠΎΠ². Π”Π°ΠΆΠ΅ сСйчас ΡˆΠ΅ΡΡ‚Π°Ρ ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ (n = 6) Π½Π΅ бСрётся. Π’ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΈ дальнСйшСм Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠΈ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€ΠΎΠ² удастся ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Ρ‹ ΠΏΠΎ Ρ€Π°ΡΡˆΠΈΡ€Π΅Π½ΠΈΡŽ Ρ‚Π΅ΠΎΡ€Π΅ΠΌΡ‹ Π€Π΅Ρ€ΠΌΠ° для n > 5. МоТно ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ ΠΊΠ°ΠΆΠ΄ΡƒΡŽ вновь ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½ΡƒΡŽ ΡΡ‚Π΅ΠΏΠ΅Π½ΡŒ n ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ этапом Π² Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠΈ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€ΠΎΠ².

Π˜ΡΡ‚ΠΎΡ‡Π½ΠΈΠΊ

Π”ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ

Π’Π°Ρˆ адрСс email Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΠΏΡƒΠ±Π»ΠΈΠΊΠΎΠ²Π°Π½. ΠžΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ поля ΠΏΠΎΠΌΠ΅Ρ‡Π΅Π½Ρ‹ *