Свободные полугруппы
Дипломная работа - Математика и статистика
Другие дипломы по предмету Математика и статистика
?е и [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.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. Значит, каждый элемент sS имеет вид . Поскольку мультипликативная полугруппа {, } изоморфны аддитивной полугруппе , то различные её элементы будут иметь различные наборы показателей. Ч.т.д.
2.3.Упражнения
Для полугруппы слов W(X) верны следующие утверждения.
- ef = gh
e = gu и h = uf либо g = eu и f = uh, для некоторого слова u (возможно непустое).
- Из ef = fe
e = fk = kf для некоторого слова u либо f=eu=ue для некоторого слова u.
- Если ef = fe,то следует слово h, для которого e =
и f=, где k, m натуральные числа.
Докажем эти утверждения.
(1). Пусть , и - слова в алфавите Х. По условию ef = gh. Если , то очевидно: e = g и f = h; в этом случае u = - пустое слово. Пусть nm. Будем считать, что 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.
- Пусть 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. Введём следующие определения.
- Сформулируем определение
- слова:
Бесконечная последовательность элементов алфавита А называется - словом или сверхсловом. Таким образом, - слово может быть отождествлено с отображением множества целых чисел в А. Очень удобным средством задания конкретных - слов являются 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, ab