Диплом на тему Свободные полугруппы
Работа добавлена на сайт bukvasha.net: 2013-09-30Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
от 25%
договор
Содержание
Введение------------------------------------------------------------------- 3
1. Понятие свободной полугруппы------------------------- 4
1.1. Слова------------------------------------------------------------ 4
1.2. Понятие свободной полугруппы-------------------------- 5
2. Применение--------------------------------------------------- 9
2.1. Циклические (моногенные) полугруппы--------------- 9
2.2. Сводные коммутативные полугруппы------------------ 12
2.3. Упражнения-------------------------------------------------- 13
3. Обзор результатов по проблеме Туэ-------------------- 15
Литература-----------------------------------------------------------
Введение
Дипломная работа посвящена теории свободных полугрупп. Свободные алгебраические объекты играют важную роль в общей алгебре, поскольку любая алгебраическая структура является гомоморфным образом свободной алгебраической структуры того же типа.
В теории полугрупп свободные объекты описываются конструктивно, именно как полугруппы слов над некоторым алфавитом. Поэтому большое место в работе уделено рассмотрению свойств полугрупп слов. Эти свойства носят, как правило, комбинаторный характер.
Кроме того, в работе изучаются и абстрактные свойства свободных полугрупп и некоторых связанных с ним полугрупп.
В первом параграфе вводятся основные понятия и доказательства теорем о существовании и единственности свободных полугрупп с множеством образующих данной мощности.
Второй параграф посвящён двум применениям свободных полугрупп:
1) описание циклических полугрупп;
2) свободной коммутативной полугруппе.
Там же доказываются некоторые комбинаторные свойства слов над произвольным алфавитом.
В третьем параграфе даётся обзор проблематики Туэ о существовании бесквадратных и бескубных слов произвольной длины над различными алфавитами.
В дипломной работе используются книги [1 - 4] из приведённого списка библиографии.
1. Понятие свободной подгруппы
1.1. Слова
Алфавит А – это непустое конечное множество. Буквы (символы)- элементы алфавита А. Слово над алфавитом А – это конечная цепочка, состоящая из нуля или более букв из А, причем одна и та же буква может входить несколько раз. Цепочка, состоящая из нулевого количества букв, называется пустым словом и обозначается . Таким образом , 0, 1, 010, 1111 суть слова над алфавитом А ={0, 1}. Множество всех слов над алфавитом А обозначается W(A), а множество всех непустых слов обозначается Z(A).
Если u и v – слова над алфавитом А, то их катенация xy (результат приписывания) – тоже слово над А: и . Катенация является ассоциативной операцией, и пустое множество служит единицей по отношению к ней: x = x= для всех x. Если х – слово, а i – натуральное число, то обозначает слово, полученное катенацией i слов, каждое из которых есть х.
Длина слова х, обозначается , есть число букв в х, причем каждая буква считается столько раз, сколько раз она входит в х. Опять по определению =0. Функция длины обладает некоторыми свойствами логарифма: для всех слов х, у и неотрицательных некоторых i
, .
В теории языков важнейшей операцией является операция морфизма. Морфизмом называется отображение h: W(A) M(A), где W(A) и M(A) –множества всех слов удовлетворяющие условию h(xy)=h(x)h(y) для всех слов х,у.
1.2. Понятие свободной полугруппы
Пусть S – полугруппа, а Х – ее непустое подмножество. Пересечение Т всех подполугрупп полугруппы S, содержащих Х, называется подполугруппой, порожденной множеством Х. Существовавние полугруппы Т вытекает из следующего простого факта: Непустое пересечение любого множества подполугрупп является подполугруппой.
Доказательство. Пусть Т – пересечение некоторого множества подполугрупп. Если х, у принадлежат Т, то х и у лежат в каждой из подполугрупп рассматриваемого множества. Но тогда в каждой из них лежит и произведение ху, а значит ху принадлежит Т. Ч.т.д.
Поэтому подполугруппы, содержащие множество Х существуют, например сама S, и пересечение их непусто ( все они содержат Х). Значит Т – это наименьшая среди подполугрупп полугруппа S, содержащая Х. Если эта наименьшая подполугруппа совпадает с S, то говорят, что полугруппа S порождается множеством Х.
Полугруппа S=S(Х) называется свободной полугруппой со свободным порождающим множеством Х, если:
(1) S порождается множеством Х;
(2) для любого отображения , где Е – произвольная полугруппа, существует гомоморфизм такой, что
для любых х Х.
Теорема 1.1. (существование свободной полугруппы).
W=W(x) – свободная полугруппа со свободно порождающим множеством Х.
Доказательство. Оба свойства (1) и (2) свободной полугруппы проверим индукцией по длине слов W.
(1) Пусть Т – подполугруппа полугруппы W, порожденная множеством Х. Тогда любое слово w принадлежащее W, лежит в Т. Действительно, если =1, то w принадлежит Х и подмножество Т. Если >1, то w=w’x, где < и х принадлежит Х. следовательно, w’, x принадлежит Т по предположению индукции. Так как Т - подполугруппа, а w – произведение двух элементов w’ и х , то w принадлежит Т. Поэтому W подмножество Т. Обратное включение очевидно. Итак, T=W.
(2). Пусть - произвольное отображение множества Х в некоторую полугруппу Е с операцией . Определим элемент полугруппы Е индукцией по . Если =1,w принадлежит Х и мы положим
(*)
Если >1, то w=w’x где < и х принадлежит Х. Тогда и уже определены. Положим
(**)
Покажем, что отображение : W Е является гомоморфизмом, то есть что для любых .
Проведем индукцию по длине второго сомножителя . Если =1, то доказываемое следует из равенства (**). Если >1, то = ’ х, где < и х принадлежит Х. Поэтому, учитывая (**) и индуктивное предположение получаем:
Кроме того, если х принадлежит Х, то в силу равенства (*). Итак, условия (1) и (2) выполнены. Ч.т.д.
Теорема 1.2. (свойство универсальности свободной полугруппы).
Для всякой полугруппы Е найдутся свободная полугруппа S и гомоморфное наложение : S Е.
Доказательство. Пусть S – свободная полугруппа со свободно порождающим множеством Е. В силу свойства (2) из определения свободной полугруппы, тождественное отображение множества Е на себя продолжается до гомоморфизма : S Е, который в данном случае оказался наложением. Ч.т.д.
Теорема 1.3. (о единственности свободной полугруппы).
Если S=S(x) – свободная полугруппа со свободно порождающим множеством Х, то существует изоморфизм полугруппы S на полугруппу W=W(x) слов в алфавите Х, причем , для всех х принадлежащих Х.
Доказательство. По Т1. и свойству (2) из определения свободной полугруппы, тождественное отображение множества Х на себя продолжается до гомоморфизмов : S W и : W S, причем , для любых х принадлежащих Х. Таким образом Х и Х .
По теореме “Если : А В – гомоморфизм полугруппы, то - подполугруппа В ” и свойству (1) и , то есть как ,так и оказываются наложениями. Более того, поскольку для всех х принадлежащих Х, не трудно заметить, что для любого слова w в алфавите Х, то есть . Если некоторых a,b принадлежащих W, то
Следовательно - вложение, а значит и изморфизм. Ч.т.д.
Теорема 1.4. (об изоморфности свободных полугрупп)
Свободные полугруппы S(X) и S(Y) изоморфны равномощны множества X и Y.
Доказательство. Необходимость. По теореме 1.3. имеем S(X) W(X) и S(Y) W(Y). В полугруппе W(X) неразложимыми элементами будут в точности буквы алфавита Х.
Пусть S(X) S(Y). Тогда W(X) W(Y). Поскольку при изоморфизме полугрупп сохраняются все алгебраические свойства, то неразложимые элементы перейдут в неразложимые. Значит между X и Y будет установлено взаимно однозначное соответствие.
Достаточность. Пусть X равномощно Y, то есть существует биекция f множества X на множество Y. Тогда f продолжается до гомоморфизма , а обратное продолжается до гомоморфизма .
Легко видеть, что гомоморфизмы и взаимно обратны - это изоморфизм свободных полугрупп S(X) и S(Y).Ч.т.д.
2. Применения
2.1. Циклические (моногенные) полугруппы
Полугруппа В называется циклической (моногенной), если в ней содержится такой элемент а, что всякий элемент х из В может быть записан в форме для некоторого n >0. Элемент а называется образующим (порождающим) циклической полугруппы. Важнейшим примером циклической полугруппы является полугруппа Р положительных целых чисел относительно сложения. Её образующим служит 1. Зафиксируем положительные числа n и d и рассмотрим разбиение множества Р, состоящее из одноэлементных классов [1]={1}, [2]={2},…,[d-1]={d-1} и бесконечных классов
[d]={d, d+n, d+2n, …, d+kn,…},
[d+1]={d+1, d+1+n, d+1+2n,…, d+1+kn,…},
[d+(n-1)]={d+(n-1), d+(n-1)+n, d+(n-1)+2n,…,d+(n-1)+kn,…}.
Убедимся, что это разбиение допустимо. В самом деле, пусть х, u [ I ], y,v [ j ], где 1 I, j< d+n. Возможны следующие четыре случая: 1) I, j <d; 2) I< d, j d; 3) I d, j< d; 4) I, j d. В первом случае имеем: x=u=I и y=v=j, откуда [x+y]=[u+v], поскольку x+y=u+v. Во втором случае x=u=I, y=j+kn и v=j+Ln для подходящих k,L. Используя деление с остатком запишем
I + j - d=sn + r ,
где 0 r< n. Тогда
x + y = I + j + kn = d + (I + j – d) + kn = d + r + (s + k) n
и u + v = I + j + Ln = d + (I + j – d ) + Ln = d + r + (s + L) n,
откуда [x + y] = [d + r] = [u + v]. Третий случай рассматривается аналогично. В четвертом случае, используя определение смежных классов, можно записать
x =I + kn = d + (I – d) + kn,
u = I + Ln = d + (I – d) + Ln,
y = j + pn = d + (j – d) + pn,
v = j + qn = d + (j – d) + qn.
Тогда
x + y = d + (d + (I – d) + (j – d)) + (k + p) n
и
u + v = d + (d +(I – d) + (j – d)) + (L + q) n.
Разделив с остатком, получим
d + (I – d) + (j – d) = sn + r,
где 0 r< n. Отсюда
x + y = d + r + (k + p + s) n
и
u + v = d + r + (L + q + s) n,
т.е. [x + y] = [d + r] = [u + v].
Факторполугруппу полугруппы Р по рассмотренному разбиению называют циклом с хвостом.
SHAPE \* MERGEFORMAT
При d = 1 хвост оказывается пустым. Такую полугруппу называют циклом.
Теорема.
Всякая циклическая полугруппа изоморфна или аддитивной полугруппе Р положительных чисел, или некоторому циклу с хвостом (возможно пустым).
Доказательство. Пусть В – циклическая полугруппа с образующим а. Рассмотрим отображение полугруппы Р в полугруппу В, определяемое условием .
Ввиду циклической полугруппы В, оказывается наложением. В силу теоремы: “ для всех m, n > 0.”
,
т.е. является гомоморфизмом. Из следующей теоремы:
Если - гомоморфное наложение полугрупп и - естественный гомоморфизм, то существует изоморфизм такой, что , вытекает, что В изоморфна факторполугруппе Р/ , где = . Если все классы разбиения одноэлементны, то В изоморфна Р. В противном случае обозначим через d наименьшее целое число, входящее в неодноэлементный класс, а число n выберем так, чтобы d + n было наименьшим числом, отличным от d, но входящим в один класс с d. Тогда имеем классы [1], [2],…, [d – 1], [d], [d + 1],…, [d + n – 1], среди которых первые d – 1 одноэлементные и [d] [d + I] при I= 1,2,…, n – 1. Докажем, что
[d + I] = [d + I + kn] (*)
при любых I и k. В силу определения разбиения , для этого достаточно установить, что
. (**)
При k = 0 это очевидно. Допустим, что (**) доказано при всех I и
k = 0,1,…, t – 1. Тогда, вспоминая, что , получаем
Тем самым равенство (**), а значит (*), доказано. Остаётся убедится, что разбиение совпадает с разбиением (d +n). С этой целью заметим, что одноэлементные классы этих разбиений совпадают. Ввиду равенства (*), для доказательства совпадения бесконечных классов достаточно установить, что смежные классы [d + I] и [d + j] разбиения , где , различны. Но если [d + I] = = [d + j], то
[d] = [d + n] = [d + j] + [n – j] = [d + I] + [n – j] = [d + (n – (j – I))]
и, поскольку 0< n – (j – I)<n, мы вступаем в противоречие с выбором числа n. Ч.т.д.
2.2. Свободные коммутативные полугруппы
Свободные коммутативные полугруппы определяются точно также, как свободные полугруппы, но только в классе коммутативных полугрупп.
Предложение 2.1.
Если - такие элементы полугруппы, что для любых i и j, то
, где - произвольная подстановка на множестве {1, 2, …,n}.
Доказательство. При n = 2 утверждение теоремы справедливо по условию. Допустим, что теорема верна для n – 1 сомножителей. Если (n) = n, то учитывая теорему: “ Произведение нескольких элементов полугруппы не зависит от расстановки скобок”, и индуктивное предположение, имеем
.
Если n = (k), где k<n, то
Ч.т.д.
Следствие.
Для любых элементов коммутативной полугруппы и любой подстановки на множестве {1, 2, …,n} справедливо равенство
.
Теорема 2. 2.
Если А = { } – множество свободных образующих коммутативной полугруппы S, то S = { , - неотрицательные целые числа, одновременно не равные нулю}, причём различные наборы показателей ( ) дают различные элементы S.
Доказательство. По теореме 1.2. существует гомоморфное наложение , при котором для всех =1, 2, …,n. Значит, каждый элемент s S имеет вид . Поскольку мультипликативная полугруппа { , } изоморфны аддитивной полугруппе , то различные её элементы будут иметь различные наборы показателей. Ч.т.д.
2.3.Упражнения
Для полугруппы слов W(X) верны следующие утверждения.
1. ef = gh e = gu и h = uf либо g = eu и f = uh, для некоторого слова u (возможно непустое).
2. Из ef = fe e = fk = kf для некоторого слова u либо f=eu=ue для некоторого слова u.
3. Если ef = fe,то следует слово h, для которого e = и f= , где k, m – натуральные числа.
Введение------------------------------------------------------------------- 3
1. Понятие свободной полугруппы------------------------- 4
1.1. Слова------------------------------------------------------------ 4
1.2. Понятие свободной полугруппы-------------------------- 5
2. Применение--------------------------------------------------- 9
2.1. Циклические (моногенные) полугруппы--------------- 9
2.2. Сводные коммутативные полугруппы------------------ 12
2.3. Упражнения-------------------------------------------------- 13
3. Обзор результатов по проблеме Туэ-------------------- 15
Литература-----------------------------------------------------------
Введение
Дипломная работа посвящена теории свободных полугрупп. Свободные алгебраические объекты играют важную роль в общей алгебре, поскольку любая алгебраическая структура является гомоморфным образом свободной алгебраической структуры того же типа.
В теории полугрупп свободные объекты описываются конструктивно, именно как полугруппы слов над некоторым алфавитом. Поэтому большое место в работе уделено рассмотрению свойств полугрупп слов. Эти свойства носят, как правило, комбинаторный характер.
Кроме того, в работе изучаются и абстрактные свойства свободных полугрупп и некоторых связанных с ним полугрупп.
В первом параграфе вводятся основные понятия и доказательства теорем о существовании и единственности свободных полугрупп с множеством образующих данной мощности.
Второй параграф посвящён двум применениям свободных полугрупп:
1) описание циклических полугрупп;
2) свободной коммутативной полугруппе.
Там же доказываются некоторые комбинаторные свойства слов над произвольным алфавитом.
В третьем параграфе даётся обзор проблематики Туэ о существовании бесквадратных и бескубных слов произвольной длины над различными алфавитами.
В дипломной работе используются книги [1 - 4] из приведённого списка библиографии.
1. Понятие свободной подгруппы
1.1. Слова
Алфавит А – это непустое конечное множество. Буквы (символы)- элементы алфавита А. Слово над алфавитом А – это конечная цепочка, состоящая из нуля или более букв из А, причем одна и та же буква может входить несколько раз. Цепочка, состоящая из нулевого количества букв, называется пустым словом и обозначается
Если u и v – слова над алфавитом А, то их катенация xy (результат приписывания) – тоже слово над А:
В теории языков важнейшей операцией является операция морфизма. Морфизмом называется отображение h: W(A)
1.2. Понятие свободной полугруппы
Пусть S – полугруппа, а Х – ее непустое подмножество. Пересечение Т всех подполугрупп полугруппы S, содержащих Х, называется подполугруппой, порожденной множеством Х. Существовавние полугруппы Т вытекает из следующего простого факта: Непустое пересечение любого множества подполугрупп является подполугруппой.
Доказательство. Пусть Т – пересечение некоторого множества подполугрупп. Если х, у принадлежат Т, то х и у лежат в каждой из подполугрупп рассматриваемого множества. Но тогда в каждой из них лежит и произведение ху, а значит ху принадлежит Т. Ч.т.д.
Поэтому подполугруппы, содержащие множество Х существуют, например сама S, и пересечение их непусто ( все они содержат Х). Значит Т – это наименьшая среди подполугрупп полугруппа S, содержащая Х. Если эта наименьшая подполугруппа совпадает с S, то говорят, что полугруппа S порождается множеством Х.
Полугруппа S=S(Х) называется свободной полугруппой со свободным порождающим множеством Х, если:
(1) S порождается множеством Х;
(2) для любого отображения
Теорема 1.1. (существование свободной полугруппы).
W=W(x) – свободная полугруппа со свободно порождающим множеством Х.
Доказательство. Оба свойства (1) и (2) свободной полугруппы проверим индукцией по длине
(1) Пусть Т – подполугруппа полугруппы W, порожденная множеством Х. Тогда любое слово w принадлежащее W, лежит в Т. Действительно, если
(2). Пусть
Если
Покажем, что отображение
Проведем индукцию по длине второго сомножителя
Кроме того, если х принадлежит Х, то
Теорема 1.2. (свойство универсальности свободной полугруппы).
Для всякой полугруппы Е найдутся свободная полугруппа S и гомоморфное наложение
Доказательство. Пусть S – свободная полугруппа со свободно порождающим множеством Е. В силу свойства (2) из определения свободной полугруппы, тождественное отображение множества Е на себя продолжается до гомоморфизма
Теорема 1.3. (о единственности свободной полугруппы).
Если S=S(x) – свободная полугруппа со свободно порождающим множеством Х, то существует изоморфизм
Доказательство. По Т1. и свойству (2) из определения свободной полугруппы, тождественное отображение множества Х на себя продолжается до гомоморфизмов
По теореме “Если
Следовательно
Теорема 1.4. (об изоморфности свободных полугрупп)
Свободные полугруппы S(X) и S(Y) изоморфны
Доказательство. Необходимость. По теореме 1.3. имеем S(X)
Пусть S(X)
Достаточность. Пусть X равномощно Y, то есть существует биекция f множества X на множество Y. Тогда f продолжается до гомоморфизма
Легко видеть, что гомоморфизмы
2. Применения
2.1. Циклические (моногенные) полугруппы
Полугруппа В называется циклической (моногенной), если в ней содержится такой элемент а, что всякий элемент х из В может быть записан в форме
[d]={d, d+n, d+2n, …, d+kn,…},
[d+1]={d+1, d+1+n, d+1+2n,…, d+1+kn,…},
[d+(n-1)]={d+(n-1), d+(n-1)+n, d+(n-1)+2n,…,d+(n-1)+kn,…}.
Убедимся, что это разбиение допустимо. В самом деле, пусть х, u
I + j - d=sn + r ,
где 0
x + y = I + j + kn = d + (I + j – d) + kn = d + r + (s + k) n
и u + v = I + j + Ln = d + (I + j – d ) + Ln = d + r + (s + L) n,
откуда [x + y] = [d + r] = [u + v]. Третий случай рассматривается аналогично. В четвертом случае, используя определение смежных классов, можно записать
x =I + kn = d + (I – d) + kn,
u = I + Ln = d + (I – d) + Ln,
y = j + pn = d + (j – d) + pn,
v = j + qn = d + (j – d) + qn.
Тогда
x + y = d + (d + (I – d) + (j – d)) + (k + p) n
и
u + v = d + (d +(I – d) + (j – d)) + (L + q) n.
Разделив с остатком, получим
d + (I – d) + (j – d) = sn + r,
где 0
x + y = d + r + (k + p + s) n
и
u + v = d + r + (L + q + s) n,
т.е. [x + y] = [d + r] = [u + v].
Факторполугруппу полугруппы Р по рассмотренному разбиению называют циклом с хвостом.
SHAPE \* MERGEFORMAT
При d = 1 хвост оказывается пустым. Такую полугруппу называют циклом.
Теорема.
Всякая циклическая полугруппа изоморфна или аддитивной полугруппе Р положительных чисел, или некоторому циклу с хвостом (возможно пустым).
Доказательство. Пусть В – циклическая полугруппа с образующим а. Рассмотрим отображение полугруппы Р в полугруппу В, определяемое условием
Ввиду циклической полугруппы В,
т.е.
Если
[d + I] = [d + I + kn] (*)
при любых I и k. В силу определения разбиения
При k = 0 это очевидно. Допустим, что (**) доказано при всех I и
k = 0,1,…, t – 1. Тогда, вспоминая, что
Тем самым равенство (**), а значит (*), доказано. Остаётся убедится, что разбиение
[d] = [d + n] = [d + j] + [n – j] = [d + I] + [n – j] = [d + (n – (j – I))]
и, поскольку 0< n – (j – I)<n, мы вступаем в противоречие с выбором числа n. Ч.т.д.
2.2. Свободные коммутативные полугруппы
Свободные коммутативные полугруппы определяются точно также, как свободные полугруппы, но только в классе коммутативных полугрупп.
Предложение 2.1.
Если
Доказательство. При n = 2 утверждение теоремы справедливо по условию. Допустим, что теорема верна для n – 1 сомножителей. Если
Если n =
Ч.т.д.
Следствие.
Для любых элементов
Теорема 2. 2.
Если А = {
Доказательство. По теореме 1.2. существует гомоморфное наложение
2.3.Упражнения
Для полугруппы слов W(X) верны следующие утверждения.
1. ef = gh
2. Из ef = fe
3. Если ef = fe,то следует слово h, для которого e =
Докажем эти утверждения.
(1) . Пусть , и - слова в алфавите Х. По условию ef = gh. Если , то очевидно: e = g и f = h; в этом случае u = - пустое слово. Пусть n m. Будем считать, что n>m (случай m>n симметричен рассматриваемому). Имеем
=
=
откуда e = gu и h = uf для слова u = .
. Пусть для определённости и e = gu и h = uf. Тогда ef=(gu)f=g(uf)=gh. Ч.т.д.
(2) Это частный случай (1) при g = e и g = f.
(3) Пусть ef = fe. При ясно, что e = f, то имеем e=f=h= . Далее доказательство проведём индукцией по числу n=max ( ). Можно считать, что n = 2 имеем и =1, то есть е=ab и f=c, где a, b, c X. Тогда ef = abc и fe = cab. Поскольку ef = fe, то a = c, b = a, c = b, или a = b = c. Значит, e = и f = .
Предположим, что для всех натуральных чисел < n утверждение верно. Поскольку ef = fe, то в силу (2) e = fu = uf, где max ( )< n. По индуктивному предположению существует слово h, для которого f = и u = . Получаем f = и e = f = = .Ч.т.д.
Обзор результатов по проблеме Туэ
Аксель Туэ (1863 – 1922) – норвежский математик. Хотя он был специалистом по теории чисел, но остался в истории, как родоначальник теории формальных языков, связанные с решёнными им задачами о формальных словах известных теперь, как проблемы Туэ. Задачи решены в 1912 – 1914г.
I. Введём следующие определения.
1) Сформулируем определение - слова:
Бесконечная последовательность элементов алфавита А называется - словом или сверхсловом. Таким образом, - слово может быть отождествлено с отображением множества целых чисел в А. Очень удобным средством задания конкретных - слов являются DOL – системы.
2) Тройка G = (A, h, w), A – алфавит, - морфизм и w – слово над А, называется DOL – системой. DOL – система G определяет S(G) слов над А:
.
Рассмотрим DOL – систему G = (A, h, w), такую, что , х Z(A), т.е. w – собственное начало слова h(w) и, кроме того, h является нестирающим (т.е. h(a)= для всех а из А). Тогда
и вообще
для всех i 0.
Последнее равенство показывает, что для всех i является собственным началом слова . Следовательно, - слово может быть определено как “ предел ” последовательности , i=0,1,2, … . Точнее, представляет собой - слово, начало которого, имеющее длину , есть , i=0,1,2, … .
3) Определение. Слово или - слово называется бесквадратным (бескубным), если оно не содержит подслова вида хх (соответственно х ), где х – непустое слово.
Слово или - слово называется сильно бескубным, если если оно не содержит слов вида хха, где х – непустое слово, а а – первая буква слова х.
4) Может случиться, что слово w содержит два “перекрывающихся” вхождения х, т.е. подслово xy = zx, где . Если это не имеет место, то будем называть w словом без перекрытий.
II. Сформулируем основные теоремы.
Рассмотрим следующую DOL – систему G = ({a, b}, h, a), где h определяется следующим образом: h(a) =ab, h(b) = ba. Тогда последовательность S(G) начинается словами:
a, ab, abba, abba baab, abba baab baab abba, … .
Теперь есть - слово, порожденное DOL – системой G.
- слово является сильно бескубным.
Сформулируем следующее:
Существует бесквадратное - слово над алфавитом из четырех символов и cуществует бесквадратное - слово над алфавитом из трёх символов .
= где для всех j 1.
Введём новые обозначения для элементов А1, положив
[aa] = 1, [ab] = 2, [ba] = 3, [bb] = 4.
Теперь начало имеет вид
2432312431232432312324312432312…
Рассмотрим алфавит А2 = {1, 2, 3}. Определим - слово кА результат замены в всех вхождений символа 4 символом 1.
Теперь подведём итог полному решению проблемы Туэ в следующих теоремах:
1) “Если А состоит не менее чем из трёх символов, то над А существует бесквадратное - слово ”;
2) “Если А имеем не менее двух символов, то А существует сильно бескубное, а значит и бескубное - слово”.
III.Сейчас рассмотрим некоторые методы доказательства.
В формулировках основных теорем показано, как строятся - слова .
Теорема 3.1.
Слово и - слово свободно от перекрытий тогда и только тогда, когда оно является сильно бескубным.
Доказательство. Пусть w не свободно от перекрытий. Тогда w найдется подслово xy = zx, такое, что имеет место . Пусть а – первая буква слова z. По нашему предположению, x = zx , где первой буквой слова x также будет а. Следовательно, zza – подслово w и w не является сильно бескубеым.
Наоборот, предположим, что w не является сильно бескубным. Тогда в w найдётся слово z z a, где а – первая буква z . Пологая z =аz мы видим, что х = а z а, y = z а, z = а z . Тогда xy = zx – подслово w, и, кроме того, выполняется . Отсюда следует, что w не свободно от перекрытий. Ч.т.д.
Теорема 3.2.
Ни одно слово, имеющее длину более 3, над алфавитом А из двух букв не является бесквадратным. Следовательно, над алфавиотм А не существует бесквадратных - слов.
Доказательство. Пусть А состоит из букв a и b. Существуют только 2 бесквадратных слова
аbа и bаb, (*)
так как все другие слова указанной длины:
содержит в качестве подслова либо , либо . С другой стороны, каким бы способом ни была приписана буква к любому слову из (*), результирующее слово в каждом случае будет содержать в качестве подслова одно из слов , , и, следовательно, не будет бесквадратным.Ч.т.д.
Теоремя 3.3.
Ни , ни не входят в качестве подслова в . Ни ababa, ни babab не входят в качестве подслова в . Следовательно, любое подслово х - слова , такое, что , содержит в качестве подслова либо , либо .
Доказательство. Докажем первое утверждение. Если слово или входит в качестве подслова в , то оно входит в качестве подслова в некоторое w . Но это не возможно, так как w = h(w ) и, следовательно, w получено приписыванием слов ab и ba в некотором порядке.
Докажем второе утверждение. Предположим, что ababa входит в качестве подслова в - слова , начиная с j-й его буквы. Тогда используя = …, запишем
= ababa. (**)
Выберем настолько большое j что . Тогда вхождения (**) целиком лежит в w .Ещё раз используя соотношение w = h(w ), заключаем, что в w в качестве подслова входит либо , либо в зависимости от того, является ли j в (**) нечетным или четным. Но это не возможно в силу доказанного выше первого утверждения. Аналогично и для babab не входит в .
Наконец, последнее утверждение является следствием второго, так как, за исключением слов ababa и babab, любое слово длины 5 над {a,b} содержит в качестве подслова либо , либо . Ч.т.д.
Теорема 3.4.
Предположим, что или входит в качестве подслова в , начиная с j-й; тогда j четно.
Доказательство. Используя обозначения предыдущей теоремы, предположим, что есть или . Вновь выбираем такое i, что , и применяем соотношение w = h(w ). В силу этого соотношения, если j нечетно, то есть либо h(a), либо h(b). Так как ни h(a), ни h(b) не есть или .Ч.т.д.
Литература
1. Курош А.Т. Лекции по общей алгебре. – М.: Наука, 1973.
2. Лаллеман Ж. Полугруппы и комбинаторные приложения. – М.: Мир, 1985.
3. Саломаа А. Жемчужины теории формальных языков. – М.: Мир, 1986.
4. Скорняков Л.А. Элементы алгебры. – М.: Наука, 1986.
(1)
=
откуда e = gu и h = uf для слова u =
(2) Это частный случай (1) при g = e и g = f.
(3) Пусть ef = fe. При
Предположим, что для всех натуральных чисел < n утверждение верно. Поскольку ef = fe, то в силу (2) e = fu = uf, где max (
Обзор результатов по проблеме Туэ
Аксель Туэ (1863 – 1922) – норвежский математик. Хотя он был специалистом по теории чисел, но остался в истории, как родоначальник теории формальных языков, связанные с решёнными им задачами о формальных словах известных теперь, как проблемы Туэ. Задачи решены в 1912 – 1914г.
I. Введём следующие определения.
1) Сформулируем определение
Бесконечная последовательность элементов алфавита А называется
2) Тройка G = (A, h, w), A – алфавит,
Рассмотрим DOL – систему G = (A, h, w), такую, что
Последнее равенство показывает, что
3) Определение. Слово или
Слово или
4) Может случиться, что слово w содержит два “перекрывающихся” вхождения х, т.е. подслово xy = zx, где
II. Сформулируем основные теоремы.
Рассмотрим следующую DOL – систему G = ({a, b}, h, a), где h определяется следующим образом: h(a) =ab, h(b) = ba. Тогда последовательность S(G) начинается словами:
a, ab, abba, abba baab, abba baab baab abba, … .
Теперь
Сформулируем следующее:
Существует бесквадратное
Введём новые обозначения для элементов А1, положив
[aa] = 1, [ab] = 2, [ba] = 3, [bb] = 4.
Теперь начало
2432312431232432312324312432312…
Рассмотрим алфавит А2 = {1, 2, 3}. Определим
Теперь подведём итог полному решению проблемы Туэ в следующих теоремах:
1) “Если А состоит не менее чем из трёх символов, то над А существует бесквадратное
2) “Если А имеем не менее двух символов, то А существует сильно бескубное, а значит и бескубное
III.Сейчас рассмотрим некоторые методы доказательства.
В формулировках основных теорем показано, как строятся
Теорема 3.1.
Слово и
Доказательство. Пусть w не свободно от перекрытий. Тогда w найдется подслово xy = zx, такое, что имеет место
Наоборот, предположим, что w не является сильно бескубным. Тогда в w найдётся слово z
Теорема 3.2.
Ни одно слово, имеющее длину более 3, над алфавитом А из двух букв не является бесквадратным. Следовательно, над алфавиотм А не существует бесквадратных
Доказательство. Пусть А состоит из букв a и b. Существуют только 2 бесквадратных слова
аbа и bаb, (*)
так как все другие слова указанной длины:
содержит в качестве подслова либо
Теоремя 3.3.
Ни
Доказательство. Докажем первое утверждение. Если слово
Докажем второе утверждение. Предположим, что ababa входит в качестве подслова в
Выберем настолько большое j что
Наконец, последнее утверждение является следствием второго, так как, за исключением слов ababa и babab, любое слово длины 5 над {a,b} содержит в качестве подслова либо
Теорема 3.4.
Предположим, что
Доказательство. Используя обозначения предыдущей теоремы, предположим, что
Литература
1. Курош А.Т. Лекции по общей алгебре. – М.: Наука, 1973.
2. Лаллеман Ж. Полугруппы и комбинаторные приложения. – М.: Мир, 1985.
3. Саломаа А. Жемчужины теории формальных языков. – М.: Мир, 1986.
4. Скорняков Л.А. Элементы алгебры. – М.: Наука, 1986.