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

Math-Net.

Ru
Общероссийский математический портал

А. А. Марков, О неотличимости по инвариантам в теории


ассоциативных исчислений, Изв. АН СССР. Сер. матем.,
1963, том 27, выпуск 4, 907–936

Использование Общероссийского математического портала Math-Net.Ru подра-


зумевает, что вы прочитали и согласны с пользовательским соглашением
http://www.mathnet.ru/rus/agreement

Параметры загрузки:
IP: 67.205.163.100
1 мая 2017 г., 12:03:03
ИЗВЕСТИЯ АКАДЕМИИ НАУК СССР
Серия математическая
27(1963), 907—Р36

А. А. МАРКОВ

О НЕОТЛИЧИМОСТИ ПО ИНВАРИАНТАМ В ТЕОРИИ


АССОЦИАТИВНЫХ ИСЧИСЛЕНИЙ
В работе доказываются теоремы 1, 2 и 3 заметки ВИ *, которая не
предполагается известной.

Введение
По терминологии и обозначениям эта статья несколько отличается от
заметки ВИ и монографии ТА.
Прежде всего термин «алфавит» понимается здесь как в статье АСС,
т. е. как слово без повторений букв. Как в АСС, мы применяем знак «У»:
Р15 А

означает, что Р есть слово в алфавите А.


Если алфавит А имеет четную длину (т. е. содержит четное число букв),
то А + будет означать левую половину алфавита А, т. е. начало этого алфа­
вита, имеющее длину, вдвое меньшую, чем весь алфавит А; А_ будет ана­
логичным образом означать правую половину алфавита А. Таким образом,
для всякого алфавита А четной длины имеем
А = А+А_.
Мы говорим, что буква ц алфавита А обратна в А букве £ этого алфа­
вита, если длина левого крыла вхождения буквы g в алфавит А равна
длине правого крыла вхождения буквы ц в алфавит А. Ясно, что для вся­
кой буквы £ алфавита А имеется единственная буква, обратная £ в А. Мы
обозначаем ее символом
(SA),

опуская скобки и нижний индекс там, где это не будет вызывать недоразу­
мений. Ясно, что
((№) = I
для всякой буквы 2- алфавита А.

* См. литературу. Ниже эти теоремы формулированы под теми же номерами.


В дальнейшем сокращенные обозначения, состоящие из заглавных русских букв,
как, например, ТА, АСС, ПТП и т. д., будут означать соответствующие статьи из
списка литературы.
908 А. А. МАРКОВ

Символ (£АП)> где п — натуральное число, большее единицы, будет


означать Ц'А)™:

[ТА. I. § 3.14]. Здесь и в дальнейшем знак Лоренцена « ^ » означает сов­


падение по определению.
Символ (РА 1 )* где Р О А, будет означать слово, обратное в А слову Р,
т. е. слово, получаемое из обращения [Ри слова Р [ТА. I. § 3.12] путем
замены каждой буквы буквой, обратной ей в А. Индекс и скобки мы здесь
также часто будем отбрасывать.
Д л я всякого алфавита А может быть построен нормальный алгорифм
^ А над А, перерабатывающий всякое слово Р 13 А в слово (РА 1 )- Такой
алгорифм можно построить как нормальную композицию [ТА. I I I . § 3.4]
обращающего нормального алгорифма ФА> перерабатывающего всякое
слово Р У А в [ Р и [ТА. П. § 4.13] и нормального алгорифма $ А над А,
осуществляющего замену каждой буквы £ букой (^А1) [ТА. П. § 4.14]:
* А ^ ( * А ^ А ) .
МЫ
Алгорифм £ А называем инвертирующим алгорифмом для алфавита А.
В этой статье речь идет об ассоциативных исчислениях. Всякое ассо­
циативное исчисление определяется заданием некоторого алфавита и не­
которого списка соотношений в этом алфавите — определяющей системы
[ТА. VI. § 1]. Определяющую систему мы здесь рассматриваем как упоря­
доченную систему соотношений. Два ассоциативных исчисления мы тогда
и только тогда считаем тождественными, когда у них совпадают как алфа­
виты, так и определяющие системы. Таким образом, перестановка соот­
ношений в определяющей системе ассоциативного исчисления дает другое
ассоциативное исчисление.
Всякое ассоциативное исчисление в алфавите А определяет рефлексив­
ное, симметричное и транзитивное отношение эквивалентности слов в этом
алфавите ITA. VI. § 1]. В дальнейшем
(1) 21 : PJIQ
означает, что слово Р эквивалентно слову Q в ассоциативном исчисле­
нии 21;
91 : Р I Q
означает, что слово Р в алфавите исчисления 31 не эквивалентно слову Q
в этом алфавите.
Мы говорим об ассоциативных исчислениях 91 и 95, что они равносильны,
если в них имеют место одни и те же эквивалентности слов, т. е. если вы­
сказывание (1) верно тогда и только тогда, когда верно высказывание
35 : Р _[]_ Q.
Ясно, что алфавиты равносильных ассоциативных исчислений могут от­
личаться лишь порядком букв. Ясно также, что равносильность ассоциа­
тивных исчислений рефлексивна, симметрична и транзитивна. Равносиль­
ные исчисления, очевидно, изоморфны.
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 909

Пусть Р и Q — слова в алфавите А, V и W — соотношения в этом алфа­


вите. Мы говорим, что V смежно с W согласно соотношению

если имеются слова R и S в алфавите А <-> такие, что V = RPS, а


W = RQS, или, что V = RQS, a W = RPS.
Пусть 91 и 95 — ассоциативные исчисления в одном и том же алфавите.
Пусть {Vi (i = 1, . . ., т) и {Wi (i = 1, . . ., п) суть соответственно их
определяющие системы. Мы говорим, что 91 непосредственно преобразуемо
в 95, если га=пи имеются различные числа £ и / из ряда 1, . . ., п такие,
что Vk — Wk при 1 ^ /с ^ w и Л; ф i, тогда как Vi смежно с Wi согласно
Vj. Ясно, что если 91 непосредственно преобразуемо в 95, то 95 непосред­
ственно преобразуемо в 91. Ясно также, что тогда 91 и 95 равносильны.
Мы говорим об ассоциативных исчислениях 91 и 95, что они взаимно
преобразуемы, если имеется ряд ассоциативных исчислений 9t0, . . ., Щ
(I ;> 0) такой, что 9t0 тождественно 91, Щ тождественно 95 и что 9(г_х
непосредственно преобразуемо в 9tr при 0 <^ г <^ I. Ясно, что взаимная
преобразуемость ассоциативных исчислений в данном алфавите рефлек­
сивна, симметрична и транзитивна, что алфавиты двух взаимно преобра­
зуемых ассоциативных исчислений совпадают, что числа соотношений
в определяющих системах двух таких ассоциативных исчислений одина­
ковы и что два взаимно преобразуемых ассоциативных исчисления равно­
сильны.
Мы говорим об ассоциативном исчислении в алфавите А, что оно три­
виально, если его определяющая система состоит из двух частей: верхней,
все строки которой имеют вид А<->А, и нижней, строки которой суть соот­
ношения I ^* А, написанные для каждой буквы | алфавита А и располо­
женные в порядке этого алфавита. Верхняя часть определяющей системы
тривиального ассоциативного исчисления может содержать любое число
строк, в частности, 0 строк. Всякое тривиальное ассоциативное исчисле­
ние единично [ТА. VI. § 11.6].
В ТА были введены понятия свободного произведения ассоциативных
исчислений [ТА. VI. § 11.10] и записи ассоциативного исчисления
[ТА. VI. § 11.7] *, а также соответствующие обозначения. Понятие сво­
бодного произведения ассоциативных исчислений мы определяем теперь
следующим образом. Пусть 91 и 95 — ассоциативные исчисления в алфави­
тах А и Б, не имеющих общих букв. Приписывая снизу определяющую
систему ассоциативного исчисления 95 к определяющей системе ассоциа­
тивного исчисления 91, мы получаем систему соотношений в алфавите АБ.
Она определяет некоторое ассоциативное исчисление в алфавите АБ. Мы
называем это исчисление свободным произведением ассоциативных исчисле­
ний 21 и 95 и обозначаем символом
(91 ® 95).
* В ТА мы употребляли вместо этого более сложное выражение: «запись опре­
деляющей системы ассоциативного исчисления».
14 Известия АН СССР, серия математическая, № 4
910 А. А. МАРКОВ

Таким образом, свободное произведение ассоциативных исчислений 21


и 95 определено тогда и только тогда, когда их алфавиты не имеют общих
букв; оно является тогда ассоциативным исчислением в соединении этих
алфавитов. Нетрудно видеть, что для так определенного свободного
произведения ассоциативных исчислений имеют место предложения:
ТА. VI. § 11.10.1, ТА. VI. § И . 10.2, TA.VI.§ 11. 10.3, ТА. VI. § 11. 10.5
и ТА. VI. § И . 10.6. Ясно также, что если алфавиты ассоциативных исчис­
лений 21 и 35 не имеют общих букв, а 35 непосредственно преобразуемо
в (£, то (21 (х) 35) непосредственно преобразуемо в (21 (х) (£). Отсюда сле­
дует, что (21 (х) 33) и (21 (х) (£) взаимно преобразуемы, коль скоро алфавиты
ассоциативных исчислений 21 и 35 не имеют общих букв, а 35 и Е взаимно
преобразуемы.
Мы несколько видоизменим способ записи ассоциативных исчислений,
т. е. кодирования их словами. Мы будем теперь считать, что не только
знак «^», но и знак «V» н е входит в алфавиты рассматриваемых ассоциа­
тивных исчислений. Записью ассоциативного исчисления в алфавите А,
определяемого системой соотношений {V{ (i = 1, . . ., га), мы будем счи­
тать слово
Vt'i V F 2 V • • . VVmV

в алфавите А <-> V- Таким образом, запись ассоциативного исчисления 2(


в алфавите А есть V~ CHCTeMa B алфавите А ^ , элементами которой яв­
ляются соотношения определяющей системы исчисления 21 [АСС.02,
АСС.021].
Запись ассоциативного исчисления 21 мы, как в ТА, обозначаем симво­
лом 213 [ТА. VI. § 11.7]. Нетрудно видеть, что

(2) (Я(х)£) 3 = 3{ 3 © Б _ Д ) у ; у (23 3 )

для любых ассоциативных исчислений 2( и 35 в алфавитах А и Б без общих


букв. Здесь £ ) Б ^ Л —нормальный алгорифм в алфавите Б <^\/, под­
ставляющий пустое слово вместо первого вхождения буквы V I.ACC. 114].
Мы говорим об ассоциативном исчислении 2( в алфавите А четной дли­
ны, что оно есть инверсивное исчисление, если соблюдены следующие ус­
ловия.
1°. Правые части всех соотношений определяющей системы исчисле­
ния 21 пусты.
2°. В конце определяющей системы исчисления Ш стоят все соотноше­
ния вида

(3) £(&)~Л (115 А),

расположенные в порядке алфавита А.


Нетрудно видеть, что всякое инверсивное исчисление есть групповое
исчисление [ТА. VI. § 11.6].
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 911

Опуская стоящие в конце определяющей системы инверсивного исчис­


ления 21 в алфавите А соотношения (3), получаем систему соотношений
{Ri^ A (i = 1, . . ., т),
где Ri<BA(i = l, . . ., т). Эту систему соотношений мы будем называть
укороченной определяющей системой инверсивного исчисления 21. Задание
алфавита и укороченной определяющей системы, очевидно, однозначно
определяет инверсивное исчисление.
Пусть 21 и 95 — инверсивные исчисления в одном и том же алфавите А,
Пусть {Ri ^> A (i = 1, . . ., т) и {Si <-> A (i = 1, . . ., п) суть соот­
ветственно их укороченные определяющие системы. Мы говорим, что 21
переходит в 23, если т = пи имеется натуральное число i из ряда 1, . . ., п
такое, что Rk = Sk при 1 <; /с ^ п и /с ф i и что соблюдается одно из сле­
дующих трех условий.
1°. Имеются слово Т в алфавите А и буква £ этого алфавита такие, что
Ri = IT, a Si = ГЕ.
2°. Имеется буква £ алфавита А такая, что Si — Rill •
3°. Имеется отличное от i число / из ряда 1, . . ., п такое, что
S\ = RiRj.
Ясно, что 21 равносильно 35, если 21 переходит в 35.
Мы говорим об инверсивных исчислениях 21 и 35, что они взаимно пере­
водимы, если имеется ряд инверсивных исчислений 210, . . ., 3fj (I > 0)
такой, что 2t0 тождественно 2(, Щ тождественно 95 и что при 0 <^ г ^ I
либо 2fr-i переходит в 21г, либо Шг переходит в 2tr-i- Ясно, что взаимная
переводимость инверсивных исчислений в данном алфавите четной длины
рефлексивна, симметрична и транзитивна, что алфавиты двух взаимно
переводимых инверсивных исчислений совпадают, что числа соотношений
укороченных определяющих систем двух взаимно переводимых инвер­
сивных исчислений одинаковы и что два взаимно переводимых инверсив­
ных исчисления равносильны.
Мы говорим об инверсивном исчислении в алфавите А, что оно явно
единично, если его укороченная определяющая система состоит из двух
частей: верхней, все строки которой имеют вид А <-» А, и нижней, строки
которой суть соотношения £ <-> А, написанные для каждой буквы g алфа­
вита А+ и расположенные в порядке этого алфавита. Верхняя часть уко­
роченной определяющей системы явно единичного исчисления может со­
держать любое число строк, в частности 0 строк. Нетрудно видеть, что
всякое явно единичное исчисление единично.
Свободное произведение двух инверсивных исчислений в алфавитах
без общих букв, вообще говоря, не есть инверсивное исчисление (хотя
и является групповым исчислением). Ввиду этого, для инверсивных ис­
числений целесообразно ввести свое понятие свободного произведения,,
которое мы определим так.
Инверсивно свободным произведением инверсивных исчислений 2( и 23
в алфавитах А и Б без общих букв мы называем инверсивное исчисление
в алфавите А+ БА_, укороченная определяющая система которого полу-
14*
912 А. А. МАРКОВ

чается, если к укороченной определяющей системе исчисления 2t припи­


сать снизу укороченную определяющую систему исчисления 95. Инвер­
сивно свободное произведение инверсивных исчислений 21 и 95 мы обо­
значаем символом
(21 ^ 95).
Если 91 и 95 — инверсивные исчисления в алфавитах А и, соответствен­
но, Б без общих букв, то можно построить оба свободных произведения:
(2t (х) 95) и (21 [X] 25). Они, вообще говоря, не совпадают. Однако их алфа­
виты АБ и А+ БЛ_ отличаются лишь порядком букв. Определяющие си­
стемы этих исчислений, как нетрудно видеть, также отличаются лишь по­
рядком соотношений. Поэтому исчисления (2t (g) 95) и (2t [ЯЗ 95) равно­
сильны: в них выводимы одни и те же эквивалентности слов. Это дает воз­
можность непосредственно переносить некоторые предложения, установ­
ленные для (21 (g) 95), на (2t[X]95). В частности, это касается предложений
ТА. VI. § И . 10.1, ТА. VI. § 11. 10.2, ТА. VI. § И . 10.3, ТА. VI. § И . 10.5
и ТА. VI. § 11. 10.6. Во всех этих предложениях можно понимать под 21
и 95 инверсивные исчисления, а знак (g) заменить знаком [X]: Такие видо­
изменения будут подразумеваться при ссылках на указанные предло­
жения в § 6.
Нетрудно видеть, что если алфавиты инверсивных исчислений 21 и 95
не имеют общих букв, а 95 переходит в S, то (21 [X] 95) переходит в (21 [X] ©).
Отсюда следует, что (21[Х]95) и (21 [X] (£) взаимно переводимы, коль скоро
алфавиты инверсивных исчислений 21 и 25 не имеют общих букв, а 23 и (£
взаимно переводимы.
Укороченной записью инверсивного исчисления в алфавите А с укорочен­
ной определяющей системой {Ri±->A(i = 1, . . ., т) мы будем называть
слово
Vi?i V Да V • • • V Д т У
в алфавите AV- Таким образом, укороченная запись инверсивного исчис­
ления 21 в алфавите А есть \ 7 _ с и с т е м а в А, элементами которой являются
левые части соотношений укороченной определяющей системы исчисле­
ния 21 [АСС. 02, AGC. 021].
Укороченную запись инверсивного исчисления 2t мы обозначаем сим­
волом 2ty. Нетрудно видеть, что

(4) №$f=r© B V i V ^(23y)

для любых инверсивных исчислений 21 и 95 в алфавитах А и Б без общих


букв. Здесь © B v Л —нормальный алгорифм в алфавите BV» подстав­
ляющий пустое слово вместо первого вхождения буквы V [АСС. 114].
Символ {21}, где 2t есть нормальный алгорифм или ассоциативное ис­
числение означает в дальнейшем алфавит этого алгорифма или этого ис­
числения. Таким образом, для двух ассоциативных исчислений 21 и 95
в алфавитах без общих букв имеем
(5) {(21 (X) Щ = {21} {Щ;
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 913

для двух инверсивных исчислений 31 и 95 в алфавитах без общих букв имеем


(6) { ( « ^ » ) } = {«} + {®Н«Ь
Мы рассматриваем здесь «вычислимые инварианты» некоторых рефлек­
сивных, симметричных и транзитивных отношений, играющих существен­
ную роль в теории ассоциативных исчислений.
Пусть для слов данного вида определено рефлексивное, симметрич­
ное и транзитивное отношение Ш. Мы говорим о нормальном алгорифме / ,
что он есть вычислимый инвариант отношения Ш, если / применим ко
всякому слову рассматриваемого вида и
(7) 1(Р) = 1 (<?)
всякий раз, когда слова Р и Q этого вида связаны отношением Ш. Нас
однако будет здесь интересовать более широкое понятие «вычислимого
инварианта отношения Ш для слова Р», которое мы определим так.
Пусть Р — фиксированное слово рассматриваемого вида. Мы гово­
рим о нормальном алгорифме / , что он есть вычислимый инвариант от­
ношения Ш для слова Р, если / применим ко всякому слову рассматри­
ваемого вида и равенство (7) соблюдается для всякого слова Q/связанного
с Р отношением Ш. Ясно, что вычислимый инвариант отношения Ш мо­
жет быть определен как вычислимый инвариант этого отношения для
всякого слова данного вида.
Мы говорим о словах Р и Q данного вида, что они неотличимы по
инвариантам отношения Ш, если равенство (7) имеет место, каков бы
ни был вычислимый инвариант / отношения Ш для Р и для Q.
Из определений следует, что слова, связанные отношением Ш, неотли­
чимы по его инвариантам. Для всякого рассматриваемого рефлексивного,
симметричного и транзитивного отношения Ш естественно спросить, верно
ли обратное, т. е. всякие ли слова Р и Q, неотличимые по инвариан­
там отношения Ш, связаны этим отношением. Результаты, получаемые
ниже, показывают, что для многих отношений, естественно рассматрива­
емых в теории ассоциативных исчислений, на этот вопрос может быть
дан отрицательный ответ: могут быть указаны слова, не связанные дан­
ным отношением, но неотличимые по его инвариантам.
Мы говорим, что отношение Ш сильнее отношения Щ, если всякие
два слова, связанные отношением Ш, связаны и отношением Щ. Если
Ш и Щ суть рефлексивные, симметричные и транзитивные отношения,
определенные для одного и того же вида слов, и Ш сильнее Щ, то всякий
вычислимый инвариант отношения Щ есть вычислимый инвариант от­
ношения Ш, всякий вычислимый инвариант отношения Щ для слова Р
есть вычислимый инвариант отношения Ш для слова Р и всякие слова Р
и Q, неотличимые по инвариантам отношения Ш, неотличимы по инвари­
антам отношения Щ.
Мы говорим, что отношение Ш заключено между отношениями Ц и Щ,
если Ц сильнее Ш, а Ш сильнее Щ.
Наряду с понятием неотличимости по инвариантам напрашивается
введение следующего понятия «неотделимости по инвариантам»: мы го­
ворим, что слова Р и Q данного вида неотделимы по инвариантам отноше-
916 А. А. МАРКОВ

Следовательно, и
(6) »(88) = 8(Г),
так как 95 есть пополнение алгорифма 31 над алфавитом аЪ. Ввиду при­
менимости алгорифма 21в,а, ь, а к слову 95 (%3), имеем далее

6(8 В ) = ЗГв,а.Ь.а(5(Г)) [(5), (6)].


Наконец, ввиду эквивалентности алгорифмов @ и % относительно алфавита
ab, получаем
(7) &(Г) = «В.«.Ь.а(8(8 8 )).
Равенство (7) однако невозможно, так как S(§ 3 ) есть либо а, либо 6,
а алгорифм 31в, а, ь, а перерабатывает а в &, а 6 — в а. Это противоречие
показывает, что алгорифм 31 не может иметь пополнений над алфавитом аЪ>
что и оставалось доказать.

§ 2. Неотличимость по инвариантам в ассоциативном исчислении


Мы докажем здесь следующую лемму, являющуюся аналогом теоремы 1
(см. § 3) для ассоциативных исчислений.
ЛЕММА 2. Могут быть построены ассоциативное исчисление (£ и
слова А и В в его алфавите, таким образом, что будут выполнены следую­
щие условия.
1°. £ : Л I B .
2°. А и В неотличимы по инвариантам эквивалентности слов в (£.
Д о к а з а т е л ь с т в о . Построим нормальный алгорифм 21 над
алфавитом аЪ согласно лемме 1. Обозначим через А его алфавит, через
а, р и у — отличные друг от друга буквы, не входящие в А. Построим
ассоциативное исчисление (£ над алфавитом Аару таким образом, что ра­
венство

будет иметь место для слов Р и Q в А тогда и только тогда, когда


(£:ра/>рЛРТ<?Р.
[ТА. VI. § 2.1.1]. Положим
Аф$гФ,
в ^ рг&р.
ЛУАаРт и 5УАаРг, так как а13А и 60А. Следовательно, А?5{&}
и 5У{©}. Покажем, что К, Л и В удовлетворяют условиям 1° и 2°.
Заметим прежде всего, что, согласно построению исчисления © и слов
А я В, имеем для слова .Р^ЗА:1
(1) at (/>) = а
тогда и только тогда, когда
(2) (£:Ра/>РЛЛ;
(3) «(/>) = &
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 917

тогда и только тогда, когда


(4) <£ :$*РР]1В.
Если бы имела место эквивалентность
(5) &:A]LB,
то равенство (1) для слова Р в А влекло бы эквивалентность (2), которая,
в силу (5), влекла бы эквивалентность (4) и мы имели бы равенство (3),
несовместимое с (1). Таким образом, равенство (1) не могло бы соблюдать­
ся ни для какого слова Р в алфавите А. Аналогично мы усматриваем, что
ни для какого слова Р в А н е могло бы соблюдаться и равенство (3). А так
как алгорифм 21 удовлетворяет условию 1° леммы 1, то этот алгорифм не
был бы применим ни к какому слову в А. Но тогда нормальный алгорифм
в алфавите ab со схемой

применимый ко всякому слову в этом алфавите, был бы пополнением алго­


рифма 91 над ab вопреки условию 2° леммы 1.
Следовательно, эквивалентность (5) не имеет места, т. е. соблюдается
условие 1°.
Пусть теперь / есть инвариант эквивалентности слов в исчислении (£
как для А, так и для В. Найдем / (А) и / (В) и сравним эти слова. Предпо­
ложим, что
(6) / (А) ф / (Б).
Построим нормальный алгорифм 35 с помощью теоремы разветвления
[ТА. III. § 5.1.1] таким образом, чтобы соблюдались условия:
sg /рч ^ la, если / (РосРр) = / (А),
\Ъ, если / (ра^р) ф / (А)
для всякого слова Р в а&*.
35 полн над ab, так как / применим ко всякому слову росРр, где Р13 ab.
ЕсЛи для слова Р в ab имеет место равенство (1), то имеет место экви­
валентность (2), откуда
/ (ра/>Р) = / (А)
и, значит,
®(Р) = а [(7)]
= я (Р) [(1)] •
Если же для/* имеет место равенство (3), то имеем эквивалентность (4),
откуда
(8) / (pai>p) = / (В) .
В этом случае имеем
/ (Ро/>р) ф / (Л) [(8), (6)]
и, значит,
%(Р)=:Ъ 1(7)1
= Я'(Р) 1(3)1.
Проведение этого построения предоставляем читателю.
918 А. А. МАРКОВ

Принимая во внимание условие 1° леммы 1, мы видим, что равенство


33 (Р) = 31 (Р) имеет место для всякого слова Р в алфавите ab такого, что
31 применим к Р.
Таким образом, 35 есть пополнение алгорифма 31 над алфавитом аЬ
вопреки условию 2° леммы 1.
Следовательно, неравенство (6) не имеет места, т. е.
1(A) = 1(Б).
Здесь / — любой инвариант эквивалентности слов в исчислении Е
как для А, так и для В.
Таким образом, соблюдается условие 2°, что и оставалось доказать.

§ 3. Леммы о неотличимости
Для всего дальнейшего нам будет полезно доказать следующую лемму.
ЛЕММА 3. Пусть Ш и Щ — рефлексивные, симметричные и транзитив-

920 А. А. МАРКОВ

Д о к а з а т е л ь с т в о . Построим ассоциативное исчисление ©


и слова А и В в {(£} согласно лемме 2. Согласно известной теореме
П. С. Новикова и С. И. Адяна, (£ может быть «представлено» в инверсив­
ном исчислении [ПТП, теорема 3]. Это означает, что возможно построить
инверсивное исчисление @ и алгорифм Щ таким образом, чтобы соблюда­
лись следующие условия.
3°. Алгорифм Щ перерабатывает всякое слово в алфавите исчисления (£
в некоторое слово в алфавите исчисления @.
4°. (£: Р\[_ Q тогда и только тогда, когда @: g (P)_Ц_§ ((?).•
Нетрудно видеть, что алгорифм % может быть здесь построен как нор­
мальный. В самом деле, анализируя доказательство теоремы Новикова
и Адяна [ПТП, АНПТ], мы замечаем, что для их алгорифма § имеет места
равенство
(1) 8 (Р)--=£гд (Р) A1PA2frjim (P) А3£ГДЖ (£ГдОР)).
Здесь: Г = {(£}; Д — фиксированный алфавит той же длины, что Г, не
имеющий с Г общих букв; Ж — фиксированный алфавит той же длины,
что ГД, не имеющий с ГД общих букв; Аг, А2 и А.Л — фиксированные
слова; Р — любое слово в Г. Нормальный алгорифм %, удовлетворяющий
равенству (1), легко может быть построен с помощью теорем композиции
[ТА. III. § 3.1.1] и объединения [ТА. III. § 4.4.2].
Таким образом, имеем инверсивное исчисление @ и нормальный алго­
рифм %, удовлетворяющие условиям 3° и 4°.
Положим:
(2) С^%(А),
(3) ПФ%(В).

Имеем :
(4) CU {&} [(2), 3°],
(5) DV {©} [(3), 3°],
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 921

Применим еще раз лемму 3. Теперь роли отношений Ш и Щ будет


играть эквивалентность слов в @, «слово вида Ю» и «слово вида Я» будет
означать «слово в {©}», роль g будет играть нормальный алгорифм Э5{@}, D-Ч
присоединяющий справа слово (Df®}) ко всякому слову в {©} [ТА. П. § 4.4]-
Условия леммы 3 выполнены, так как эквивалентность @ : Р \\ Q влечет
эквивалентность @ : PD'1 Jj_ QD'1. Принимая во внимание, что С и D
неотличимы по инвариантам эквивалентности в @, заключаем, согласно
лемме 3, что G и DD~X неотличимы по инвариантам эквивалентности в @
[(7)].
С другой стороны, @ \ DD'1 \\_А. Согласно лемме 4 мы заключаем, что
GnA неотличимы по инвариантам эквивалентности в @. Таким образом,
соблюдено условие 2°, что и оставалось доказать.
Заметим, что в инверсивном исчислении @, построенном согласно
теореме 1, неразрешима проблема эквивалентности.
В самом деле, допустим, что 36 есть нормальный алгорифм над {©},
применимый ко всякому слову в {©} и аннулирующий слово Р в {@} тогда
и только тогда, когда @: />_{{_ А. Положим
/ ^ («{*}. л. л. s °ЭЕ),

где б — первая буква алфавита алгорифма 38. / есть, как и 36, нормальный
алгорифм над {©} [ТА. II. § 4.11, ТА. III. § 3. 4.2], причем

/ (Р) ~ Щх}, л, л, Б (ЗЕ (Р)) (Р(3 {©}) [ТА. III. § 3.4.3].

Так как алгорифм 36 применим ко всякому слову в {©}, а алгорифм


ЭД(х},л, л, 5 применим ко всякому слову в {36}, то алгорифм / применим
ко всякому слову в {©} и мы имеем

(8) / (Р) = ЩХ}. А, А, 5 (ЗЕ (Р)) № {©})•

Если 0 :РЦА, то 36 (Р) = А и потому I (Р) = Л [ТА. И. §4.11(2)].


В частности, / (Л) = Л. Таким образом, I (Р) = I (Л), коль скоро
® ' Рj[_A, т. е. I есть инвариант эквивалентности в @ для Л.
Если©:/* JJ_G,TO@ :Р~£А [п. 1° теоремы 1] и потому 36 (Р) ф Л, откуда
1(Р) = 6 [(8), ТА. И. § 4. И (3)]. В частности, / (G) = б. Таким обра­
зом, I (Р) = I (G), коль скоро © : РJJ_G, т. е. /есть инвариант эквива­
лентности в @ для G.
Так как С и Л неотличимы по инвариантам эквивалентности в @
[п. 2° теоремы 1], то имеем

1(0) = / ( Л ) .

Но мы видели, с другой стороны, что / (G) = б, тогда как / (Л) = Л.


Наше предположение о наличии решения проблемы эквивалентности в @
ведет, таким образом, к абсурду. Следовательно, эта проблема неразре­
шима, что и утверждалось .
922 А. А. МАРКОВ

§ 5. Неотличимость ассоциативных исчислений по инвариантам


Докажем теорему 2 В И .
ТЕОРЕМА 2. Каково бы ни было ассоциативное исчисление 21, может
быть построено ассоциативное исчисление 35 в алфавите abed, удовлетво­
ряющее следующим условиям.
1°. 21 включаемо в 33.
2°. 33 неотличимо по инвариантам взаимной преобразуемости от три­
виального исчисления в алфавите abed.
Д о к а з а т е л ь с т в о . Пусть дано ассоциативное исчисление 21.
Построим ассоциативное исчисление (£ и слова А и В в {(£} согласно
лемме 2. Осуществим это построение так, чтобы алфавиты исчислений
21 и © не имели общих букв, что, очевидно, возможно. Положим
(1) £> ^ ((£ (х) 21).
© — ассоциативное исчисление и
{©} = {К}{21} [Введение (5)].
Поэтому всякое слово в {(£} ясть слово в {©}. В частности:
А15 {©},
5 0 {©}.
При этом
(2) © : Л I В [п. 1° леммы 2, (1), ТА. VI. § 11.10.5].
Применим лемму 3 к отношениям эквивалентности в исчислениях
© и ©. «Слово вида Ю» будет означать «слово в {©}»; «слово вида Я»—«сло­
во в {©}». Роль алгорифма % будет играть тождественный алгорифм 21(g), л,
перерабатывающий само в себя всякое слово в {&} [ТА. II. § 4.2]. Усло­
вия леммы 3 соблюдаются, так как эквивалентность (£: Р }]_ Q влечет экви­
валентность © : Р _[]_ Q [ТА. VI. § 11.10.2]. Следовательно, А и В неотли­
чимы по инвариантам эквивалентности в © [п. 2° леммы 2].
Включим исчисление © в ассоциативное исчисление (§ в алфавите ab
[ТА. VI. § 11. 8.14]. Имеем изоморфизм ф исчисления Э в исчисление (S.
Положим:
(3) С ^ Si (A),
(4) В^Ъ (В).
Имеем:
(5) С15аЪ,
(6) DVab.
Имеем также
(7) € :C1D [(2) - ( 4 ) ] ,
так как ф есть изоморфизм.
Применим лемму 3 к отношениям эквивалентности в исчислениях
© и 6. «Слово вида Ю» будет означать «слово в {©}»; «слово вида Я»—
«слово в ab». Роль алгорифма Qf будет играть изоморфизм ф. Условия
леммы 3 очевидно соблюдаются. Согласно этой лемме из неотличимости
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 923

А и В по инвариантам эквивалентности в 2D вытекает неотличимость С VLD


по инвариантам эквивалентности в ё [(3), (4)].
Присоединяя к определяющей системе исчисления ё соотношения
cXd <-> Л,
IcYd^ cYd {ll5abcd),
где X и У — фиксированные слова в ab, получим зависящее от этих слов
ассоциативное исчисление <£х, Y B алфавите abed.
Известно, что 6 включаемо в <$LXt у , если 6 : XjY [ТА. VI. § 11.11.11].
Положим
(8) 95 ^ gCf D.
95 — ассоциативное исчисление в abed [(5), (6), (8)]. S включаемо в 95
[(7), (8)]. Но 21 включаемо в © [(1), ТА. VI. § 11.10.3], а © - в 6. Следо­
вательно, 95 удовлетворяет условию 1°.
Нетрудно видеть, что запись ассоциативного исчисления S^f D, где
ЙГ?5а&, имеет вид EXF, где Е и F — фиксированные (независимые от X)
слова в алфавите abed «-» у. Поэтому имеется нормальный алгорифм, пере­
рабатывающий всякое слово Х^ЗаЪ в запись ассоциативного исчисления
®х, Di а именно алгорифм
3 ^ ( 9 5 ф , Fo3f0iE),
где
(9) Ф ^ a&crf <-> у
[ТА. П. § 4.2 (3), ТА. II. § 4.4.5, ТА. III. § 3.4]. Итак ,
(Ю) 3(X) = <ZX,D* (Х15аЬ).
Соотношение cXd <-> Л очевидно смежно с соотношением cZd<*-*.A
согласно одному из соотношений определяющей системы ассоциативного
исчисления @, если ё : X_[_Z. Следовательно, исчисление @х, D непо­
средственно преобразуемо в исчисление @z> D, если 6 : XJLZ. Отсюда сле­
дует, что ассоциативные исчисления (&х, D И @Z, D взаимно преобразуемы,
если <g : XjJ_Z.
Это дает возможность применить лемму 3. «Слово вида Ю» будет при
этом означать «слово в ab»; «слово вида Я» — «слово в Ф, являющееся
записью ассоциативного исчисления в abed». Роль отношения Ш будет
играть эквивалентность в @; роль отношения Щ — взаимная преобразуе-
мость ассоциативных исчислений в abed, рассматриваемая как отношение
между их записями; роль алгорифма Q — алгорифм 3- Условие леммы 3,
как мы только что видели, соблюдается. Согласно этой лемме, из неотли­
чимости слов С иВ по инвариантам эквивалентности в ё вытекает неотли­
чимость ассоциативных исчислений 25 и $Dt D по инвариантам взаимной
преобразуемости [(8), (10)].
Обозначим через р число соотношений в определяющей системе исчис­
ления 6; через £ — тривиальное ассоциативное исчисление в abed, в опре­
деляющей системе которого первые/? + 1 соотношений имеют видЛ<~>Л,
924 А. А. МАРКОВ

а остальные 4 суть соотношения


(И) 1<^А (iVabcd);
через @0— ассоциативное исчисление в abed, определяющая система кото­
рого получается из определяющей системы исчисления S путем присое­
динения соотношений:
(12) cDd^A,
(13) lcDd<^A (IVabcd);
через @! — ассоциативное исчисление в abed, определяющая система
которого получается из определяющей системы исчисления S путем при­
соединения соотношений (12) и (11).
Какова бы ни была буква \ алфавита abed, соотношение \cDd
<~> cDd смежно с соотношением \cDd*->h согласно соотношению (12),
а соотношение ^cDd^-> А смежно с соотношением |<->Л согласно соотно­
шению (12).
Ввиду этого исчисления, Q£Df D и © 0 взаимно преобразуемы и исчисле­
ния @о и(З х также взаимно преобразуемы. Следовательно, ассоциативные
исчисления (5#, D и @х взаимно преобразуемы.
Ясно, далее, что всякое соотношение в алфавите abed, отличное от
Л «-» Л, смежно с соотношением меньшей длины в том же алфавите со­
гласно одному из соотношений (11).
Отсюда следует, что исчисления @х и £ взаимно преобразуемы.
Таким образом, ассоциативные исчисления <£Dt D и X взаимно преоб­
разуемы.
Применяя, наконец, лемму 4 к ассоциативным исчислениям 35, @£>, D
и X, мы убеждаемся в соблюдении условия 2°. Теорема доказана.
С л е д с т в и е 1. Каковы бы ни были ассоциативные исчисления 31
и (£, могут быть построены ассоциативные исчисления Э и ё в одном и том
же алфавите, удовлетворяющие следующим условиям.
1°. У включаемо в © .
2°. (£ изоморфно (£.
3°. Э и (5 неотличимы по инвариантам взаимной преобразуемости.
Если при этом алфавит исчисления (£ содержит q букв, то 25 и ё могут
быть построены как ассоциативные исчисления в (q -f- ^-буквенном алфа­
вите.
В самом деле, построим ассоциативное исчисление 35 в алфавите abed
согласно теореме 2. Построим ассоциативное исчисление ф, изоморфное ©,
в алфавите, не содержащем букв а, Ъ, с и d, что, разумеется, возможно.
Имеется тривиальное исчисление £ в алфавите abed, неотличимое по инва­
риантам взаимной преобразуемости от 35 [п.2° теоремы 2]. Положим

(14) © ^ (§ ® * ) ,
(15) в ^ (5? 0 £ ) .
Так как {§} не имеет общих букв с abed, т о Э и ё суть ассоциативные
исчисления в одном и том же алфавите {fy}abcd [Введение (5)]. 35 вклю-
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 925

чаемо в © [(14), ТА. VI. § 11. 10.3] и потому соблюдено условие 1° [п. 1° тео­
ремы 2]. ё изоморфно ф, так как тривиальное исчисление Z единично
[(15), ТА. VI. § 11.10.6]. Так как ф изоморфно К, то соблюдено условие 2°.
Д л я всякого ассоциативного исчисления ЭЕ в алфавите abed имеем

(5? (х) Ж)3 - £ 3 © Ф> Vt л (Ж3) [Введение (2)],

где Ф определяется равенством (9). Это дает нормальный алгорифм Я,


перерабатывающий запись всякого ассоциативного исчисления 38 в алфа-
дите abed в запись ассоциативного исчисления (ф (х) 38):

* (Э83) = ($ (g> 38)3.

Ассоциативные исчисления (ф(х)38) и (ф(х)3)) взаимно преобразуемы, коль


скоро 38 и *$ суть взаимно преобразуемые ассоциативные исчисления в
алфавите abed [Введение].
Это дает возможность применить лемму 3. «Слово вида Ю» будет теперь
означать «запись ассоциативного исчисления в abed»; «слово вида Я» будет
означать «запись ассоциативного исчисления в {fy}abcd». Роль отноше­
ния III будет играть взаимная преобразуемость ассоциативных исчисле­
ний в abed (рассматриваемая как отношение между их записями); роль
отношения Щ — взаимная преобразуемость ассоциативных исчислений
в {fy}abcd (рассматриваемая как отношение между их записями); роль
алгорифма § — алгорифм $. Условие леммы 3 соблюдается. Согласно этой
лемме, из неотличимости исчислений Э 5 и £ п о инвариантам взаимной пре-
образуемости вытекает соблюдение условия 3° [(14), (15)].
Если {©} содержит q букв, то и ф может быть построено как ассоциатив­
ное исчисление в g-буквенном алфавите. Алфавит {ф} abed исчислений
© и © будет тогда содержать q + 4 буквы. Следствие 1, таким образом,
доказано.
Следствие 1 является усилением теоремы о неразрешимости проблемы
распознавания для некоторых свойств ассоциативных исчислений *.
В самом деле, пусть И—инвариантное свойство ассоциативных исчисле­
ний. Пусть ассоциативное исчисление 95 в ^-буквенном алфавите обладает
свойством И, а ассоциативное исчисление 21 не включаемо ни в какое ассо­
циативное исчисление с этим свойством. Пусть m^>7i+4. Построим ассо­
циативное исчисление © в (т — 4)-буквенном алфавите, изоморфное 95,
что, очевидно, возможно. Построим ассоциативные исчисления © и (£ со­
гласно следствию 1. © не обладает свойством И, так как 21 включаемо в ©
[п. 1° следствия 1], но не включаемо ни в какое ассоциативное исчисление
со свойством И. ё обладает инвариантным свойством И, так как 93 им
обладает, а (£ изоморфно 95 [п. 2° следствия 1].
Допустим теперь, что нормальный алгорифм £1 над алфавитом {©} <-» у
применим к записи всякого ассоциативного исчисления в алфавите {©}
и что он аннулирует запись ассоциативного исчисления §) в этом алфавите

* См. HAPG или ТА. VI. § 11.7.1.


15 Известия АН СССР, серия математическая, № 4
926 А. А. МАРКОВ

тогда и только тогда, когда §) обладает свойством И» Положим

/ — нормальный алгорифм над {£} <-> v t TA - И. § 4.11, ТА. III. § 3.4.2].


Имеем
/(Г)^^а},Л,Л,У1(^(§>8))
для всякого ассоциативного исчисления §) в алфавите {£)} [ТА. III. § 3.4.3]»
Так как алгорифм £t применим к записи всякого ассоциативного исчис­
ления в алфавите {©}, а алгорифм Щ&}, л, Л, V применим ко всякому
слову в {&}, то алгорифм / применим к записи всякого ассоциативного
исчисления в {£)} и мы имеем

(16) / ( Г ) = Я{а),л,л, у (£(Г))


для всякого ассоциативного исчисления §) в {©}.
Если ассоциативное исчисление §) в алфавите {©} взаимно преобра­
зуемо с S, то оно изоморфно © и потому, как и ©, не обладает инвариант­
ным свойством И. Отсюда следует, что & ($3) ф А и далее, что / (§)3) = у
[(16), ТА. II. §4,11 (3)1. В частности,

(17) /(© 8 ) = V
и, таким образом, имеем / (§)3) = / (£)3) для всякого ассоциативного ис­
числения $ в алфавите {©}, взаимно преобразуемого с ©. Это означает,
что / — инвариант взаимной преобразуемости для ©.
Если ассоциативное исчисление §) в алфавите {£)} взаимно преобра­
зуемо с ё, то мы аналогичным образом убеждаемся, что
(18) /(g)8) - / ( б 3 ) = А.
Следовательно, / — инвариант взаимной преобразуемости для €.
Так как исчисления S и g неотличимы по инвариантам взаимной пре­
образуемости [п. 3° следствия 1], то
/ (©3) = / (а3)
вопреки (17) и (18).
Наше предположение о наличии нормального алгорифма с указанными
выше свойствами, т. е. о разрешимости проблемы распознавания свой­
ства И для алфавита {£)} [ТА. VI. § 11.7], ведет, таким образом, к абсурду.
Следовательно, эта проблема неразрешима.
Согласно заключительной фразе следствия 1, построение ассоциатив­
ных исчислений 55 и S может быть выполнено так, чтобы их общий алфа­
вит содержал т букв. Таким образом, для некоторого m-буквенного алфа­
вита проблема распознавания инвариантного свойства И неразрешима.
Но тогда она, очевидно, неразрешима для всякого т/г-буквенного алфавита.
Здесь т — любое натуральное число, большее или равное п + 4.
В частности, когда свойством И обладает единичное исчисление, в ка­
честве (£ может быть взято единичное исчисление в любом алфавите (даже
в пустом!). В этом случае неразрешимой оказывается проблема распозна-
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 927

вания свойства И для всякого алфавита с числом букв, большим или рав­
ным четырем.
Таким образом, все утверждения теоремы ТА. VI. § 11. 7.1 легко полу­
чаются из следствия 1.
Для некоторых отношений, определенных для ассоциативных исчисле­
ний в данном алфавите, мы можем теперь дать отрицательные ответы на
вопросы о том, обязательно ли два таких исчисления, неотличимых по
инвариантам данного отношения, связаны этим отношением. А именно,
имеем
С л е д с т в и е 2. Во всяком алфавите К, содержащем не менее четырех
букв, могут быть построены ассоциативные исчисления © w e такие, что,
каково бы ни было рефлексивное, симметричное и транзитивное отноше­
ние Ш, определенное для ассоциативных исчислений в А и заключенное
между взаимной преобразуемостью и изоморфией таких исчислений, исчис­
ления © и (S не связаны отношением Ш, хотя и неотличимы по его инва­
риантам.
В самом деле, пусть ?г> 4. Обозначим через 91 неединичное ассоциатив­
ное исчисление в однобуквенном алфавите а с пустой определяющей систе­
мой, через © — тривиальное ассоциативное исчисление в (п — ^-буквен­
ном алфавите Б с определяющей системой
Ц^А (|ОБ).
Построим ассоциативные исчисления © и @ согласно следствию 1 и при
том так, чтобы их общий алфавит {©} содержал (п — 4) + 4, т. е. п букв.
© не единично, так как неединичное ассоциативное исчисление 91
включаемо в© [п. 1° следствия 1]. 6 единично, так как (S изоморфно единич­
ному исчислению (£ [п. 2° следствия 1]. Поэтому © неизоморфно @.
Пусть теперь Ш — рефлексивное, симметричное и транзитивное отно­
шение, определенное для ассоциативных исчислений в алфавите {©}
и заключенное между взаимной преобразуемостью и изоморфией таких
исчислений.
© и (S не связаны отношением Ш, так как они неизоморфны, а отноше­
ние Ш сильнее изоморфии. С другой стороны, © и ё неотличимы по инва­
риантам отношения Ш, так как они неотличимы по инвариантам взаимной
преобразуемости [п. 3° следствия 1], а взаимная преобразуемость сильнее
отношения Ш.
Таким образом, следствие 2 доказано для некоторого алфавита А длины
п, где п может быть любым натуральным числом, не меньшим четырех.
Очевидно, однако, что тогда это следствие верно для всякого алфавита А
длины п, где п ;> 4.

§ 6. Неотличимость инверсивных исчислений по инвариантам


Докажем теорему 3 В И .
ТЕОРЕМА 3. Каково бы ни было инверсивное исчисление 31, может быть
построено инверсивное исчисление 95 в алфавите yzxtsabdbbu$t$if)7 удовлет­
воряющее следующим условиям:
15*
928 А. А. МАРКОВ

1°. 31 включаемо в 33.


2°. 35 неотличимо по инвариантам взаимной переводимости от явно
единичного исчисления в алфавите yzxtsabdbh<X$tic$Y).
Д о к а з а т е л ь с т в о . Пусть дано инверсивное исчисление 31.
Построим инверсивное исчисление @ и слово G в {©} согласно теореме 1.
Осуществим это построение так, чтобы алфавиты исчислений 31 и <8 не
имели общих букв, что, очевидно, возможно. Положим
(1) ©^(@[Х]31).
© — инверсивное исчисление и
{©} = {@}+ {31} {©}_ [Введение, (6)].
Поэтому всякое слово в {©} есть слово в {©}. В частности,
G15 {©}.
При этом
(2) © : GIA [п. 1° теоремы 1, (1), ТА. VI. § И . 10.5].
Применим лемму 3 к отношениям эквивалентности в исчислениях ® и ,;D,
«Слово вида Ю» будет означать «слово в {©}»; «слово вида Я» — «слово
в {©}». Роль алгорифма § будет играть^тождественный алгорифм Щ®},А.>
перерабатывающий само в себя всякое слово в {©} [ТА. II. § 4.2]. Усло­
вия леммы 3 соблюдаются, так как эквивалентность ©: Р || Q влечет экви­
валентность S: JP_LL(? [(1), ТА. VI. § 11.10.2]. Следовательно, С и Л неотли­
чимы по инвариантам эквивалентности в © [п. 2° теоремы 1].
Включим инверсивное исчисление © в инверсивное исчисление 6
в алфавите г/^t), что возможно согласно известной теореме G. Higmann'a,
В. Н. Neumann'a и Н. Neumann [ETG]. Имеем изоморфизм ф исчисления
© в исчисление @. Положим
(3) Я ^ i? (G).
Имеем
(4) ЯО^н>
и, так как ф есть изоморфизм, то имеем
(5) <g:#IA [(2), (3)].
Применим лемму 3 к отношениям эквивалентности в исчислениях ©
и @. «Слово вида Ю)> будет означать «слово в {©}»; «слово вида Я» — «слово
в yz%\)». Роль алгорифма Qf будет играть изоморфизм ф. Условия леммы 3
очевидно соблюдаются. Согласно этой лемме, из неотличимости G и Л по
инвариантам эквивалентности в © вытекает неотличимость Н и Л по инва­
риантам эквивалентности в S [(3)].
Положим теперь
(6) Э ^ yzxtsabdbbu$t$ffl.
Фиксируя произвольное слово XOz/z^t), построим зависящее от него
инверсивное исчисление @х в Э, укороченная определяющая система
которого получается из укороченной определяющей системы инверсивного
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 929

исчисления € путем добавления восьми соотношений:


(7) ybab-HcrH'1 <-» Л,
(8) zb2ab-42a-4-2 <-> Л,
(9) хЬ3аЬ'Ы3а~Ч-3 ^ Л,
(10) fxXx^Xt^X^xX^x'1 <-> А,
(И) s^xXx^Xs^X^xX^x'1 <-* Л,
(12) аНа-Ц-1 <-> Л,
(13) bHb-^s-1 <-> Л,
(14) tfadarbdrWdb^a^b-* <-> Л,
где отрицательные степени берутся в алфавите Э : Ь~х — Ь, а - 1 = а,
й -1 = о и т. д.
Нетрудно видеть, что это построение с точностью до несущественных
различий представляет собой частный случай построения «тест-группы»
согласно Rabin'y [RUG]*. Поэтому @ включаемо в @z, если 6 : X I Л
[RUG, определение 1.2 (3)].
Положим
(15) 23 ^ 6 Н .
25 — инверсивное исчисление в Э [(4)]. S включаемо в 35 [(5), (15)]. Но 31
включаемо в £) [(1), ТА. VI. § И . 10.3], а © — в 6. Следовательно, Э5
удовлетворяет условию 1°.
Нетрудно видеть, что укороченная запись инверсивного исчисления @х>
где X^yzffl, имеет вид
л 0 хл 1 хл 2 х- 1 л 3 х-м 4 хл 5 хл 6 х- 1 4 7 х-м 8 ,
где Л0, . . ., As — независимые от X слова в алфавите Эу. Поэтому имеет­
ся нормальный алгорифм, перерабатывающий всякое слово Xl5yz%\) в уко­
роченную запись инверсивного исчисления S z , а именно алгорифм

[ТА. П. § 4.7, ТА. П. § 4.2, Введение, АСС.06]. Итак,


91 (X) = 6 / (XVyzi9).
Пусть теперь
(16) е:Х_]_У.
Покажем, что тогда (£х и ёу взаимно переводимы.
Ввиду (16), имеются слова Р, Q и R такие, что R есть левая часть
одного из соотношений определяющей системы инверсивного исчисления
6 и что имеют место либо два равенства:
(17) X = PRQ,
(18) Y = PQ

* Основное различие состоит в том, что Rabin вводит еще букву с, связанную с
а соотношением а *-> с. Эта буква стоит у Rabin'a вместо а в некоторых местах в
укороченной определяющей системе. Инверсивное исчисление &х изоморфно исчис­
лению Rabin'a, что дает возможность воспользоваться его результатом.
930 А. А. МАРКОВ

либо два равенства:


X = PQ,
Y = PRQ.
Не ограничивая этим общности рассуждения, будем считать, что соблю­
дены равенства (17) и (18).
Оставляя неизменными все соотношения укороченной определяющей
системы исчисления @х> кроме соотношения (10), имеющего вид
t2xPRQx-'PkQt^Q^R'^p-HQ-^R^P-H-1 <-> Л [(17)],
заменим это соотношение последовательно соотношениями:
Qx^PR Qr1 Q^R^P^x Q^R-'P-1 x~42xPR <--> Л,
Qx~vPR Qr1 Q^R^P^x Q^R^P^x-H^xP ++ Л,
Qr1Q-1R-1P-1zQ-1R-1P-1ar1t2xPQx-1PR <-> Л,
Qr1 Q-W^P^x Q-'R^P^x-H^xP Qx'xP <-> A,
P^xQ^R^P^x'H^xPQx^PQt^Q-m-1 <-> Л,
P^xQ^R^P^x^fxPQx^PQt^Q^R^R <-> Л,
P-1xQ-1R-1P'1z-H2xPQz'1PQt'1Q'1 <-> A,
P^x-H^xPQx^PQt^Q^P^xQ^R'1 <-> Л,
p-H-H^xPQx^PQt^Q^P^xQ^R^R «-> Л,
x 2 1 1
P~ x-H xPQx-^P Qr Q^P^x Q- <-> Л,
(19) t2xP Qx'xP Qr1 Q^P^x Q^P^x-1 «-> Л.
Это дает нам ряд инверсивных исчислений @0, . . ., © п в алфавите Э.
Переходы от @0 к @]L, от @2 к ®з> о т ®4 к @&» о т @7 к © 8 и о т ®ю к ® п осуще­
ствимы путем последовательных циклических перестановок букв в одном из
соотношений укороченной определяющей системы, т. е. согласно условию
1° определения перехода для инверсивных исчислений [Введение]. Поэтому
@0 взаимно переводимо с @х, @2 — с @3,®4 — с ®5> @7 — с ®8 и ®ю ~~ с ®ii-
@2 переходит в @1? ® 4 — в @з> ®§ — в ®е и @8 — в @9 согласно условию 2°
или условию 3° определения перехода (в зависимости от того, является
ли R левой частью одного из соотношений укороченной определяющей
системы инверсивного исчисления S). Наконец, переходы от @7 к @6 и
от @ю к @9 осуществимы путем последовательных вставок двухбуквен-
ных слов вида ££~ (£?5Э) в левой части одного из соотношений уко­
роченной определяющей системы. Каждая такая вставка делается в не­
сколько шагов согласно условиям 1° и 2° определения перехода. Поэтому
@6 взаимно переводимо с @7, а @е — с @10. Таким образом, @0 взаимно пе­
реводимо с @ п .
Здесь © 0 совпадает с (Sjf, а @ п получается из ®х заменой соотношения
(10) укороченной определяющей системы соотношением (19), т. е. соотно­
шением
PxYx-m-iY^xY-ix-1 ++ А [(18)].
Совершенно аналогично путем последовательных преобразований со­
отношения (11) мы убеждаемся в том, что инверсив* т ^ исчисление © и
взаимно переводимо с инверсивным исчислением @у.
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 931

Следовательно, <£х и ®У взаимно переводимы, как и утверждалось.


Отсюда следует, что инверсивные исчисления 6^ и (5 у взаимно пере­
водимы, коль скоро @: X || Y.
Это дает возможность применить лемму 3. «Слово вида Ю» будет при
этом означать «слово в г/zjt)»; «слово вида Я» — «V-система в Э». Роль отно­
шения Ш будет играть эквивалентность в @; роль отношения Щ — взаим­
ная переводимость инверсивных исчислений в Э, рассматриваемая как от­
ношение между их записями; роль алгорифма % — алгорифм SR. Условие
леммы 3, как мы только что видели, соблюдается. Согласно этой лемме, из
неотличимости слов Н и Л по инвариантам! эквивалентности в ё вытекает
неотличимость ассоциативных исчислений S и SA по инвариантам взаим­
ной переводимости [(15)]."
Покажем теперь, что инверсивное исчисление ёд взаимно переводимо
с некоторым явно единичным исчислением в алфавите Э.
Соотношения (10) и (11) имеют для ё л вид:
(20) Рхх'Ч^хх-1 <-> Л,
(21) s2xx~1s~1xx~1 *-* Л.
Оставляя неизменными все соотношения укороченной определяющей
системы, кроме соотношения (20), заменим это соотношение последова­
тельно соотношениями:
t2xx~H~x <-> Л,
txx'4'Ч <-> Л,
txx'1 <-> Л,
(22) t <-> Л.
Это дает нам ряд инверсивных исчислений 950, 25х, 952> ^з> ^4> причем, как
легко убедиться, 954 переходит в 853, Э53 — в 952 и 35х — в 350, согласно усло­
вию 2° определения перехода, а 35х переходит в 332 согласно условию 1°
определения перехода. Следовательно, 950 взаимно переводимо с Я54, т. е.
инверсивное исчисление (5^ взаимно переводимо с тем инверсивным исчис­
лением в алфавите Э, укороченная определяющая система которого полу­
чается из укороченной определяющей системы исчисления ёд. путем
замены соотношения (20) соотношением (22).
Далее соотношение (21) может быть, подобным же образом заменено
соотношением
s <-> Л,
что опять дает инверсивное исчисление, взаимно переводимое с ёд.-
Дальнейшие преобразования касаются соотношений (12) и (13). Соот­
ношение (12) мы последовательно заменяем соотношениями
a2ta'4"4 *->Л,
аНа'1 <-> Л,
ata^a <-> Л,
at <-> Л,
(23) а <-> Л,
932 А. А. МАРКОВ

Это дает ряд инверсивных исчислений, в котором соседние члены


связаны отношением перехода. Существенную роль играет при этом
соотношение (22), дважды используемое в связи с условием 3° опреде­
ления перехода. В результате соотношение (12) заменяется соотно­
шением (23).
Подобным же образом процесс упрощения исчисления продолжается
дальше, причем в его ходе все время получаются инверсивные исчисления
в алфавите Э, взаимно переводимые с исчислением S ^ : соотношение (13)
заменяется соотношением Ъ <-> А; соотношение (14) — соотношением
с?«-»Л; соотношения (7) — (9) — соотношениями ?/<->Л, z<-»A и х <->Л .
На этой стадии мы получаем инверсивное исчисление, укороченная опре­
деляющая система которого получается из укороченной определяющей
системы исчисления ё путем добавки снизу соотношений

(24) | ~ Л (|ОЭ+).

Теперь остается заменить каждое соотношение укороченной опре­


деляющей системы инверсивного исчисления 6 соотношением Л <-> Л,
что достигается с помощью соотношений (24) (для l>l5yz) путем последо­
вательных шагов, осуществляемых на основании условий 2° и 3° опреде­
ления перехода. Это дает искомое явно единичное исчисление % в алфа­
вите Э, взаимно переводимое с @А.
Применяя, наконец, лемму 4 к инверсивным исчислениям 35, ёл..и £ ,
мы убеждаемся в соблюдении условия 2°. Теорема доказана.
С л е д с т в и е 3. Каковы бы ни были инверсивные исчисления 91 и ©,
льогут быть построены инверсивные исчисления © и ё в одном и толь же
алфавите, удовлетворяющие следующим условиям:
1°. 91 включаемо в ©.
2°. (S изоморфно К.
3°. © и (S неотличимы по инвариантам взаимной переводимости.
Если при этолг алфавит исчисления © содержит q букв, то © и 6 мюгут
быть построены как инверсивные исчисления в (q -\- 1Q)-буквенном алфавите.
В самом деле, построим, согласно теореме 3, инверсивное исчисление £5
в алфавите Э, определяемом равенством (6). Построим инверсивное ис­
числение ф, изоморфное © в алфавите, не имеющем с Э общих букв, что,
разумеется, возможно. Имеется явно единичное исчисление % в алфавите Э,
неотличимое по инвариантам взаимной переводимости от 95 [п.2° теоремы 3].
Положим
(25) © ^ (5? ^ ®),

(26) е^($^£).

Так как {ф} не имеет общих букв с Э, то © и ё суть инверсивные ис­


числения в одном и том же алфавите {ф}+ Э {ф}_ [Введение, (6)]. 35 вклю­
чаемо в © [(25), ТА. VI. § 11.10.3] и потому соблюдено условие 1° [п.1° тео­
ремы 3]. S изоморфно ф, так как явно единичное исчисление £ единично
[(26), ТА. VI. § 11.10.6]. Так к а к ф изоморфно®, то соблюдено условие 2°.
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 933

Для всякого инверсивного исчисления ЗЕ в алфавите Э имеем


(ft ^ ЗЕ)У = fty©9v, v, А (£У) [Введение, (4)3.
Это дает нормальный алгорифм S, перерабатывающий укороченную за­
пись всякого инверсивного исчисления ЗЕ в алфавите Э в укороченную за­
пись инверсивного исчисления (ft [X] ЗЕ):
5? (ЗЕУ) - ($ ^ ЗЕ)У.
Иверсивные исчисления (ft [X] ЗЕ) и (ft [><] ф) взаимно переводимы, коль
скоро ЗЕ и ф суть взаимно переводимые инверсивные исчисления в алфа­
вите Э [Введение].
Это дает возможность применить лемму 3. «Слово вида Ю» будет теперь
означать «V-^истема в Э»; слово вида Я» — «V-система в {ft}+9{ft}_>>.
Роль отношения Ш будет играть взаимная переводимость инверсивных
исчислений в Э (рассматриваемая как отношение между их укороченными
записями); роль отношения Щ — взаимная переводимость инверсивных
исчислений в {ft}+9{ft}_ (рассматриваемая как отношение между их уко­
роченными записями); роль алгорифма $ — алгорифм $. Условие леммы
3 соблюдается. Согласно этой лемме, из неотличимости исчислений 25 и £
по инвариантам взаимной переводимости вытекает соблюдение условия
3° [(25), (26)].
Если {(£} содержит q букв, то и ft может быть построено как инверсив­
ное исчисление в ^-буквенном алфавите. Алфавит {ft}+9{ft}_ будет тогда
содержать q + 16 букв. Следствие 3, таким образом, доказано.
Следствие 3 является усилением теоремы Адяна — Rabin'а о нераз­
решимости проблемы распознавания для некоторых свойств инверсив­
ных исчислений [КГА, RUG, теорема 1.1]. Действительно, с помощью след­
ствия 3 эта теорема легко может быть доказана в следующей форме.
Пусть И — инвариантное свойство инверсивных исчислений. Если
имеются как инверсивное исчисление со свойством И, так и инверсивное
исчисление, не включаемое ни в какое инверсивное исчисление со свойст­
вом И, то может быть указан алфавит четной длины, для которого про­
блема распознавания свойства И неразрешима. Если при этом алфавит
инверсивного исчисления со свойством И состоит из п букв, то для вся­
кого алфавита с четным числом букв, большим или равным п + 16,
проблема распознавания свойства И неразрешима. Если же, в част­
ности, имеется единичное инверсивное исчисление со свойством И, то
для всякого алфавита с четным числом букв, большим или равным 16,
проблема распознавания свойства И неразрешима.
При этом проблема распознавания свойства И для данного алфавита А
понимается как требование построить нормальный алгорифм, применимый
к укороченной записи любого инверсивного исчисления в А и аннулирую­
щей запись инверсивного исчисления ЗЕ в алфавите А тогда и только тогда,
когда ЗЕ обладает свойством И.
Приведем доказательство теоремы Адяна — Rabin'a с помощью след­
ствия 3.
934 А. А. МАРКОВ

Пусть И — инвариантное свойство инверсивных исчислений. Пусть


инверсивное исчисление 95 в гс-буквенном алфавите обладает свойством И,
а инверсивное исчисление 91 не включаемо ни в какое инверсивное исчис­
ление с этим свойством. Пусть т четно и т ;> п + 16. Построим инверсив­
ное исчисление (£ в (т — 16)-буквенном алфавите, изоморфное 95, что, как
легко видеть, возможно. Построим инверсивные исчисления'£>и (5 согласно
следствию 3. © не обладает свойством И, так как 21 включаемо в £)
1п.1° следствия 3], но не включаемо ни в какое инверсивное исчисление со
свойством И. (£ обладает инвариантным свойством И, так как 95 им обла­
дает, a S изоморфно 95 [п.2° следствия 3].
Допустим теперь, что нормальный алгорифм & над алфавитом {£>} V
применим к укороченной записи всякого инверсивного исчисления
в алфавите {£)} и что он аннулирует укороченную запись инверсивного
исчисления Ч) в этом алфавите тогда и только тогда, когда Ч) обладает
свойством И. Положим

/ — нормальный алгорифм над {£)} V [ТА. II. § 4. И , ТА. I I I . § 3.4.2].


Имеем
/№y)^9t{0}.A.A.v(a(2)T))
для всякого инверсивного исчисления Ч) в алфавите {£)} [ТА. I I I . § 3.4.3].
Так как алгорифм £1 применим к укороченной записи всякого инвер­
сивного исчисления в алфавите {©}, а алгорифм 3t/m, л, А, у применим
ко всякому слову в {£}}, то алгорифм / применим к укороченной за­
писи всякого инверсивного исчисления в {©} и мы имеем
(27) /(§) у ) = V } . A . A , v ( £ ( § > y ) )
для всякого инверсивного исчисления У) в {©}.
Если инверсивное исчисление §) в алфавите {S} взаимно переводимо
с ©, то оно изоморфно © и потому, как и ©, не обладает инвариантным
свойством И. Отсюда следует, что й (§)у) ф Л и, далее, что / (§)у) = V
[(27), ТА. II. § 4.11 (3)]. В частности,
(28) I (£)у) = V
и, таким образом, имеем / (§) ) = / (£) т ) для всякого инверсивного исчис­
у

ления §) в {£)}, взаимно переводимого с JD. Это означает, что / — инвариант


взаимной переводимости для ©.
Если инверсивное исчисление §) в алфавите {£)} взаимно переводимо
с ё , то мы аналогичным образом убеждаемся, что
(29) / ( F ) = Щ7) = Л.
Следовательно, / — инвариант взаимной переводимости для @.
Так как Э и ё неотличимы по инвариантам взаимной переводимости
[п. 3° следствия 3], то
/ ( © у ) = /(@ у )
вопреки (28) и (29)..
Наше предположение о наличии нормального алгорифма & с указан­
ными выше свойствами, т. е. о разрешимости проблемы распознавания
НЕОТЛИЧИМОСТЬ ПО ИНВАРИАНТАМ 935

свойства И для алфавита {©}, ведет, таким образом, к абсурду. Следо­


вательно, эта проблема неразрешима.
Согласно заключительной фразе следствия 3, построение инверсивных
исчислений © и @ может быть осуществлено так, чтобы их общий алфавит
содержал га букв. Таким образом, для некоторого га-буквенного алфавита
проблема распознавания инвариантного свойства И неразрешима. Но
тогда она очевидно неразрешима для всякого га-буквенного алфавита.
Здесь га — любое четное число, большее или равное п + 16.
В частности, если свойством И обладает единичное инверсивное исчис­
ление, то в качестве К может быть взято единичное инверсивное исчисление
в любом алфавите четной длины (даже в пустом!). В этом случае неразре­
шимой оказывается проблема распознавания свойства И для всякого
алфавита с четным числом букв, большим или равным шестнадцати.
Таким образом, доказаны все утверждения теоремы Адяна — Rabin'a.
Для некоторых отношений, определенных для инверсивных исчисле­
ний в данном алфавите, мы можем теперь дать отрицательные ответы на
вопросы о том, обязательно ли два таких исчисления, неотличимых по
инвариантам данного отношения, связаны этим отношением. А именно,
имеем
С л е д с т в и е 4. Во всяком алфавите А с четным числом букв, не
меньшим шестнадцати, могут быть построены инверсивные исчисления ©
и ё такие, что, каково бы ни было рефлексивное, симметричное и транзи­
тивное отношение Ш, определенное для инверсивных исчислений в А и за­
ключенное между взаимной переводимостью и изоморфией таких исчисле­
ний, исчисления © и (5 не связаны отношением Ш, хотя и неотличимы по
его инвариантам.
В самом деле, пусть п четно и п ;> 16. Обозначим через 9t неединичное
инверсивное исчисление в двухбуквенном алфавите ай с пустой укорочен­
ной определяющей системой; через (Е — явно единичное инверсивное ис­
числение в (п — 16)-буквенном алфавите Б с укороченной определяющей
системой
{£~ Л (£8Б + )}.{
Построим инверсивные исчисления © и 6 согласно следствию 3
ппритомтак, чтобы их общий алфавит{©} содержал (AZ— 16) + 16, т. е. п
букв.
© не единично, так как неединичное инверсивное исчисление 31 вклю­
чаемо в © [п. 1° следствия 3]. @ единично, так как 6 изоморфно единичному
исчислению К [п. 2° следствия 3]. Поэтому © неизоморфно @.
Пусть теперь Ш — рефлексивное, симметричное и транзитивное отно­
шение, определенное для инверсивных исчислений в алфавите {©} и заклю­
ченное между взаимной переводимостью и изоморфией таких исчислений.
Э й S не связаны отношением Ш, так как они неизоморфны, а отно­
шение Ш сильнее изоморфии. С другой стороны, © и S неотличимы по ин­
вариантам отношения Ш, так как они неотличимы по инвариантам взаимной
переводимости [п. 3° следствия 3], а взаимная переводимость сильнее
отношения Ш.
936 А. А. МАРКОВ

Таким образом, следствие 4 доказано для некоторого алфавита А дли­


ны п, где п может быть любым четным числом, не меньшим шестнадцати.
Очевидно, однако, что тогда это следствие верно для всякого алфавита А
длины п, где п четно и п > 16.
Автор выражает свою признательность С. И. Адяну за ценные советы.
Поступило
17.XI.1962
ЛИТЕРАТУРА
1
М а р к о в А. А., Теория алгорифмов, Труды матем. ин-та им. В. А. Стеклова АН
СССР, 42, 1954. Цитируется в тексте как «ТА».
2
М а р к о в А. А., О некоторых алгорифмах, связанных с системами слов, Изве­
стия АН СССР, серия матем., 27 (1963), 101 — 160. Цитируется в тексте как «АСС».
3
М а р к о в А. А., О вычислимых инвариантах, Доклады АН СССР, 146, 5 (1962),
1017—1020. Цитируется в тексте как «ВИ».
4
М а р к о в А. А.,. Невозможность алгорифмов распознавания некоторых свойств
ассоциативных систем, Доклады АН СССР, 77, 6 (1951), 953—956. Цитируется в
тексте как «НАРС».
5
Н о в и к о в П. С , Об алгоритмической неразрешимости проблемы тождества
слов в теории групп, Труды матем. ин-та им. В. А. Стеклова АН СССР, 44, 1955.
Цитируется в тексте как «АНПТ».
6
Н о в и к о в П. С. и А д я н С . И., Проблема тождества для полугрупп с одно­
сторонним сокращением, Zeitschrift f. math. Logik und Grundlagen d. Math., 4
(1958), 66—88. Цитируется в тексте как «ПТП».
7
А д я н С. И., Конечно-определенные группы и алгоритмы, Доклады АН СССР,
117, 1 (1957), 9—12. Цитируется в тексте как «КГА».
8
К л и н и } С. К., Введение в метаматематику, М., ИЛ, 1957. Цитируется] в тексте
как «М».
9
Ц е й т и н Г. С , Теоремы о среднем значении в конструктивном анализе, Тру­
ды матем. ин-та им. В. А. Стеклова АН СССР, 67 (1962), 362—384. Цитируется в
тексте как «ТСЗ».
10
R a b i n M . О., Recursive unsolvability of group theoretic problems, Ann. of Math.,
67, 1 (1958), 172—194. Цитируется в тексте как «RUG».
11
H i g m a n G., N e u m a n n B. H. a n d N e u m a n n H., Embedding theorems for
groups, J. London Math. Soc. v. 24, pt. 4 (1949), 247—254. Цитируется в тексте
как «ETG».