WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

На правах рукописи

Кудрявцева Лика Александровна

ФУНКЦИЯ РОСТА НЕКОТОРЫХ ДВУПОРОЖДЕННЫХ ПОЛУГРУПП

Специальность 01.01.06 математическая логика, алгебра и теория чисел

Автореферат диссертации на соискание учёной степени кандидата физико-математических наук

Ульяновск 2012 г.

Работа выполнена на кафедре Высшей математики № в Федеральном государственном бюджетном образовательном учреждении высшего профессионального образования Национальный исследовательский университет МИЭТ

Научный консультант: доктор физико-математических наук, профессор Кожухов Игорь Борисович

Официальные оппоненты: доктор физико-математических наук, профессор механико-математического факультета Московского государственного университета имени М. В. Ломоносова Зайцев Михаил Владимирович доктор физико-математических наук, профессор кафедры математики Финансового университета при Правительстве Российской Федерации Тищенко Александр Владимирович

Ведущая организация: ФГБОУ ВПО Московский педагогический государственный университет

Защита диссертации состоится 13 июня 2012 г. в 1300 часов на заседании диссертационного совета Д 212.278.02 при ФГБОУ ВПО Ульяновский государственный университет по адресу: ул. Набережная р. Свияги, 106, корп. 1, ауд. 703.

С диссертацией можно ознакомиться в библиотеке Ульяновского государственного университета. С авторефератом можно ознакомиться на сайте ВУЗа http://www.uni.ulsu.ru и на сайте Высшей аттестационной комиссии при Министерстве образования и науки РФ http://www.vak.ed.gov.ru.

Отзывы по данной работе просим направлять по адресу:

432017, г. Ульяновск, ул. Л. Толстого, д. 42, УлГУ, Отдел послевузовского профессионального образования.

Автореферат разослан 2012 г.

Ученый секретарь диссертационного совета М.А. Волков

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. Свободные полугруппы играют важную роль в теории полугрупп, поскольку любая полугруппа является гомоморфным образом свободной. Одним из способов задания полугруппы является задание ее с помощью образующих элементов и определяющих соотношений. В связи с этим возникает вопрос, представляют ли два различных слова один и тот же элемент полугруппы. Этот вопрос известен под названием проблемы равенства слов.

Если полугруппа A задана множеством порождающих элементов M и множеством определяющих соотношений , то проблема равенства слов для полугруппы A состоит в описании алгоритма, который определяет, представляют ли два слова w1, w2 M один и тот же элемент полугруппы A. (Здесь M – свободная полугруппа над алфавитом M). Если такой алгоритм существует, то проблема равенства слов называется разрешимой; если доказано, что такого алгоритма нет, то алгоритмическую проблему называют неразрешимой. А.А. Марков1 и Э. Л. Пост2 в 1947 году независимо установили алгоритмическую неразрешимость проблемы равенства слов для некоторых конечно определённых полугрупп. Основные сведения из теории полугрупп можно найти в книгах Е. С. Ляпина3, А. Клиффорда и Г. Престона4.

При работе с образующими элементами и определяющими соотношениями часто возникают чисто комбинаторные вопросы. Эти вопросы связывают алгебру с комбинаторикой и дискретной математикой. Комбинаторным проблемам, связанным со словами, посвящена монография А. М. Шура5, а также большое количество работ, например: работа Г. Лаллемана6 о проблеме равенства слов, работы Р. Бука7 и С. Рэтхолл8 о полугруппах, заданных одним определяющим соотношением, работа Ю. Матиясевича9 о полугруппах, заМарков А. А., ДАН СССР, 1947, т.55, №7, с. 587-90.

Post E. L., J. Symbol. Logic, 1947, v.12, №1, p. 1-11.

Ляпин Е. С. Полугруппы. М.: Гос. изд-во физ.-мат. лит., 1960.

Клиффорд А., Престон Г. Алгебраическая теория полугрупп, тт. 1, 2. М.: Мир, 1972.

Шур А. М. Комбинаторика слов: учеб. пособие.- Екатеринбург: Изд-во Урал. ун-та, 2003.

Lallement G. The word problem for Thue rewriting systems // Lecture Notes in Computer Science, 1995, v.909, p. 27-38.

Book R. V. A note on special Thue systems with a single defining relation // Math. Systems Theory, 1983, v.16, p. 57-60.

Wrathall C. Confluence of one-rule Thue systems // Lecture Notes in Computer Science, 1992, v.572, p. 237-246.

Matiyasevich Y. Word Problem for Thue Systems with a Few Relations // Lecture Notes данных несколькими определяющими соотношениями.

Диссертационная работа посвящена изучению полугрупп, заданных множеством порождающих элементов M = {a, b} из двух элементов a и b, и одним или несколькими определяющими соотношениями, представляющими собой равенство двух слов одинаковой длины.

В работе полностью разобраны случаи определяющих соотношений слов длины два и три. Если конгруэнция задается равенством k-буквенных слов, то конгруэнтными могут быть только слова одинаковой длины. Поэтому будем рассматривать соответствующее отношение эквивалентности на множестве Mn слов длины n.

Функцией роста конечно порожденной полугруппы A относительно множества порождающих элементов M, |M| < , мы будем называть функцию fM : N N, сопоставляющую числу n N число всех различных элементов полугруппы A, записываемых словами длины n в алфавите M. Это немного отличается от определений, приведенных в статье Л. Н. Шеврина10, §2, или в монографии В. А. Уфнаровского11.

Объектом исследования в работе являются полугруппы, заданные одним или несколькими равенствами слов длины два или три над двухбуквенным алфавитом. Нахождение функций роста таких полугрупп, мощности и строения классов эквивалентности является предметом исследования.

Цель и задачи работы. Основной целью диссертационной работы является исследование полугрупп над двухбуквенным алфавитом, порожденных одним или несколькими соотношениями слов длины два и три. Для достижения цели были поставлены и решены следующие задачи:

1. Вычислены функции роста полугрупп над двухбуквенным алфавитом, заданных одним или несколькими соотношениями слов длины два и три.

2. Установлен общий вид слов в классах эквивалентности конгруэнций, порожденных одним или несколькими соотношениями слов длины два и три.

3. Вычислены мощности классов эквивалентности в ряде случаев.

Методы исследования. В работе использованы методы теории полугрупп, in Computer Science, 1995, v.909, p. 39-53.

Шеврин Л. Н. Полугруппы. В сб. Общая алгебра, т. 2, гл. IV, сер. СМБ, - М.: Наука, 1991, с. 11 - 191.

Уфнаровский В. А. Комбинаторные и асимптотические методы в алгебре, Алгебра 6, Итоги науки и техн. Сер. Соврем. пробл. мат. Фундам. направления, 57, ВИНИТИ, М., 1990, c. 5 - 177.

теории графов, теории переписывающих систем или TRS (Term Rewriting System), а также некоторые методы перечислительной комбинаторики.

Научная новизна. В диссертационной работе получен ряд результатов о строении полугрупп, заданных одним определяющим соотношением длины два, одним определяющим соотношением длины три, а также несколькими определяющими соотношениями длины два и три. Полученные результаты являются новыми.

Научные положения, выносимые на защиту.

1. Для свободной двупорожденной полугруппы описаны конгруэнции, порожденные всевозможными парами слов длины два, длины три, а также совокупностями пар слов длины два и три.

2. Вычислены функции роста полугрупп, порожденных двумя элементами, с соотношениями, описанными в п. 1.

3. Установлен общий вид слов в классах эквивалентности вышеназванных конгруэнций свободных двупорожденных полугрупп и вычислены мощности классов в ряде случаев.

Достоверность результатов проведенных исследований. Достоверность результатов, полученных в данной работе, определяется обоснованными теоретическими выкладками и строгими доказательствами, опирающимися на методы алгебраической теории полугрупп и комбинаторные методы.

Практическая и теоретическая ценность. Работа носит теоретический характер. Полученные результаты могут найти применение в исследованиях теории полугрупп и в задачах компьютерной алгебры.

Апробация работы. Основные результаты и вопросы диссертации обсуждались в виде выступлений на следующих конференциях и семинарах:

– Четырнадцатая всероссийская межвузовская научно-техническая конференция студентов и аспирантов Микроэлектроника и информатика. Москва.

18 – 20 апреля 2007 г.;

– Международная научная конференция Современные проблемы дифференциальной геометрии и общей алгебры, посвященная 100-летию со дня рождения профессора В. В. Вагнера. Саратов. 5 – 7 ноября 2008 г.;

– Российская школа-конференция с международным участием Математика, информатика, их приложения и роль в образовании. Москва. 14 – декабря 2009 г.;

– Семнадцатая международная конференция студентов, аспирантов и молодых ученых Ломоносов. Москва. 12 – 15 апреля 2010 г.;

– Седьмая международная конференция Алгебра и теория чисел: современные проблемы и приложения, посвященная памяти профессора А. А.

Карацубы. Тула. 11 – 16 мая 2010 г.;

– Семинары Кольца и модули кафедры Высшей алгебры Московского государственного университета.

Личный вклад автора. В диссертации изложены результаты, полученные автором лично. Постановка задач выполнена совместно с научным руководителем.

Публикации. По теме диссертации опубликовано 10 работ, в том числе две статьи в журналах из списка ВАК.

Объем и структура диссертации. Диссертация состоит из введения, четырех глав и списка литературы. Содержит 96 страниц машинописного текста, список литературы из 41 наименования.

СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность темы диссертации. Приводится аннотация работы.

В первой главе изложены предварительные сведения, основные определения и результаты теории переписывающих систем (Term Rewriting Systems).

Теория переписывающих систем является удобным инструментом для нахождения функций роста групп и полугрупп. Например, в работе Р. И. Григорчука12 получена формула для выражения числа допустимых слов, т. е. слов, не содержащих вхождения запрещенных подслов. Эта формула может быть применена для вычисления функций роста групп и полугрупп, см., например, работу М. Д. Мамагани13. В работе М. Д. Мамагани14 была построена полная конечная система переписывающих правил для групп Коксетера.

Во второй главе полностью разобраны полугруппы, заданные одним определяющим соотношением, представляющим собой равенство слов длины Григорчук Р. И. Функции роста, переписывающие системы и эйлерова характеристика // Матем. заметки, 58:5 (1995), c. 653-668.

Мамагани М. Д. О функциях роста групп поверхностей // Матем. заметки, 58:5 (1995), c. 681-693.

Мамагани М. Д. Переписывающие системы и полный ряд роста для треугольных групп Коксетера // Матем. заметки, 71:3 (2002), c. 431-439.

два. Всего двухбуквенных соотношений существует 6. С точностью до инверсии и перемены букв a и b местами, принципиально разными будут лишь следующие 3 соотношения:

aa = ab, ab = ba, aa = bb.

Каноническим словом в данном классе будем называть слово, наименьшее относительно лексикографического порядка. Если w Mn, то через K(w) обозначим класс эквивалентности, в котором лежит слово w. Пусть |K(w)| число элементов в классе эквивалентности K(w). Число элементов в классе эквивалентности будем также называть мощностью этого класса.

Предложение 2.1. Функция роста полугруппы A, заданной множеством образующих элементов M = {a, b} и одним определяющим соотношением aa = ab, равна n + 1. Канонические слова в каждом классе имеют вид wi = bian-i, i = 0, 1,..., n. Число элементов в каждом классе равно |K(wi)| = 2n-i-1, i = 0, 1,..., n - 1 и |K(wn)| = 1.

Предложение 2.2. Функция роста полугруппы A, заданной множеством образующих элементов M = {a, b} и одним определяющим соотношением ab = ba, равна n + 1. Канонические слова в каждом классе имеют вид wi = i an-ibi, i = 0, 1,..., n. Число элементов в каждом классе равно |K(wi)| = Cn, i = 0, 1,..., n.

Предложение 2.3. Функция роста полугруппы A, заданной множеством образующих элементов M = {a, b} и одним определяющим соотношением aa = bb, равна n + 1. Канонические слова в каждом классе имеют вид wi = ai · u, i = 0, 1,..., n, где u - либо пустое слово, либо слово, состоящее из одной буквы b, либо слово, состоящее из чередующихся букв b и a, начиная с b.

Сложнее оказалось получить формулу для числа элементов в каждом классе эквивалентности, порожденном соотношением aa = bb. Во второй главе приведено два доказательства следующей теоремы: первое основано на индукции по n, второе использует комбинаторную формулу Вандермонда.

Теорема 2.1. Обозначим через (n, k) число слов в классе эквивалентности слов длины n, содержащих слово wk = ak · u, 0 k n, где u – либо пустое слово (при k = n), либо состоящее из одной буквы b (при k = n - 1), либо состоящее из чередующихся букв b и a, начиная с b. Тогда k [ (n, k) = Cn ].

В заключительной части главы 2 показано, что количество классов эквивалентности слов длины n над двухбуквенным алфавитом в случаях действия соотношений aa = ab и ab = ba может быть найдено как число слов длины n, не содержащих подслова ab. Для соотношения aa = bb показано, что количество классов эквивалентности слов длины n над двухбуквенным алфавитом может быть найдено как число слов длины n, не содержащих подслов bb и baa одновременно. Подсчет количества слов длины n, не содержащих одного определенного подслова, уже производился некоторыми авторами. Подобные расчеты сделаны, например, в работах Р. Дорословацки15 и Р. Дорословацки, О. Марковица16 для подслов длины три. Для подсчета количества слов, не содержащих одновременно двух или нескольких подслов, был использован метод трансфер-матрицы (см. Р. Стенли17, С. Хейбач и Т. Мансур18). Подсчет количества слов длины n, не содержащих подслов bb и baa одновременно, сделан в конце второй главы.

В третьей главе разобраны полугруппы, заданные одним определяющим соотношением, представляющим собой равенство слов длины три. С точностью до инверсии слова и перемены букв a и b местами, достаточно рассмотреть лишь 11 соотношений, представляющих собой равенство двух трехбуквенных слов: aab = aaa, aab = aba, aab = abb, aab = baa, aab = bab, aab = bba, aba = aaa, abb = aaa, bab = aaa, bab = aba, bbb = aaa. Показано, что функция роста полугруппы, заданной множеством порождающих элементов M = {a, b} и одним из соотношений aab = aaa, aab = aba, aab = abb, aab = baa, aab = bab, aab = bba, abb = aaa, удовлетворяет рекуррентному соотношению (n) = (n - 1) + (n - 2) + 1; функция роста полугруппы, заданной множеством порождающих элементов M = {a, b} и соотношением aba = aaa, удовлетворяет рекуррентному соотношению (n) = 2(n-1)-(n-2)+(n-3).

Также доказаны следующие теоремы:

Doroslovacki R. The set of all the words of length n over alphabet {0, 1} with any forbidden subword of length three // Novi Sad J. Math, 1995, v.25, №2, p. 111-115.

Doroslovacki R., Markovic O. N-words over any alphabet with forbidden any 3-subwords // Novi Sad J. Math, 2000, v.30, №2, p. 159-163.

Стенли P. Перечислительная комбинаторика, т.1. М.: Мир, 1990.

Heubach S., Mansour T. Combinatorics of compositions and words. Discrete mathematics and its applications. CRC Press. 2009.

Теорема 3.1. Функция роста полугруппы A, заданной множеством порождающих элементов M = {a, b} и одним определяющим соотношением bbb = aaa, равна Fn+2 - 1, где Fn - n-ое число Фибоначчи.

Теорема 3.2. Функция роста полугруппы A, заданной множеством порождающих элементов M = {a, b} и одним определяющим соотношением bab = aaa, равна Fn+2 - 1.

Теорема 3.3. Функция роста полугруппы A, заданной множеством порождающих элементов M = {a, b} и одним определяющим соотношением bab = aba, равна Fn+2 - 1.

Зависимость количества классов эквивалентности от количества букв в слове n, 3 n 10, приведена в следующей таблице.

Таблица 1. Количество классов эквивалентности слов длины n, 3 n 10, порожденных соотношениями слов длины три.

n 3 4 5 6 7 8 9 (n) 7 12 20 33 54 88 143 2(n) 7 12 21 37 65 114 200 3В четвертой главе рассмотрены полугруппы, заданные несколькими соотношениями слов длины два и три. Полностью разобраны полугруппы, заданные двумя соотношениями слов длины два, тремя соотношениями слов длины два, двумя соотношениями слов длины два и три. Найдены функции роста таких полугрупп, мощности классов эквивалентности в каждом случае, и описан состав классов эквивалентности.

Всего слов длины 2 существует 4. Из них можно составить 6 соотношений.

Число способов выбрать 2 соотношения из 6 возможных равно C6 = 15.

Из 15 возможных систем из двух двухбуквенных соотношений достаточно рассмотреть лишь следующие 4 системы, остальные будут им эквивалентны:

aa = ab aa = ab aa = ab aa = bb 1.1. 1.2. 1.3. 1.4.

aa = ba aa = bb ba = bb ab = ba Предложение 4.1.1. Если полугруппа A задана множеством порождающих элементов M = {a, b} и множеством определяющих соотношений 1.1, то число классов эквивалентности на множестве Mn равно двум. Первый класс состоит из одного слова b...b, число слов во втором классе эквивалентности, в который входят все остальные слова длины n, равно 2n - 1. Канонические слова в классах эквивалентности: b...b и a...a.

Предложение 4.1.2. Если полугруппа A задана множеством порождающих элементов M = {a, b} и множеством определяющих соотношений 1.2, то все слова длины n будут лежать в одном классе. Каноническое слово – a...a, число слов в классе – 2n.

Предложение 4.1.3. Если полугруппа A задана множеством порождающих элементов M = {a, b} и множеством определяющих соотношений 1.3, то число классов эквивалентности на множестве Mn равно двум. Число слов в каждом классе одинаково и равно 2n-1. Канонические слова в классах эквивалентности – a...a и ba...a.

Предложение 4.1.4. Если полугруппа A задана множеством порождающих элементов M = {a, b} и множеством определяющих соотношений 1.4, то число классов эквивалентности на множестве Mn равно двум. Число слов в каждом классе одинаково и равно 2n-1. Канонические слова в классах эквивалентности – a...a и a...ab.

Также были рассмотрены все системы из трех двухбуквенных соотношений. Их C6 = 20 штук.

aa = ab aa = ab aa = ab aa = ab 2.1. 2.2. 2.3. 2.4.

aa = ba aa = ba aa = ba aa = ba aa = bb ab = ba ab = bb ba = bb aa = ab aa = ab aa = ab aa = ab 2.5. 2.6. 2.7. 2.8.

aa = bb aa = bb aa = bb ab = ba ab = ba ab = bb ba = bb ab = bb aa = ab aa = ab aa = ba aa = ba 2.9. 2.10. 2.11. 2.12.

ab = ba ab = bb aa = bb aa = bb ba = bb ba = bb ab = ba ab = bb aa = ba aa = ba aa = ba aa = ba 2.13. 2.14. 2.15. 2.16.

aa = bb ab = ba ab = ba ab = bb ba = bb ab = bb ba = bb ba = bb aa = bb aa = bb aa = bb ab = ba 2.17. 2.18. 2.19. 2.20.

ab = ba ab = ba ab = bb ab = bb ab = bb ba = bb ba = bb ba = bb Предложение 4.2.1. Если полугруппа A задана множеством порождающих элементов M = {a, b} и множеством определяющих соотношений 2.либо 2.20, то число классов эквивалентности на множестве Mn равно двум.

Предложение 4.2.2. Если полугруппа A задана множеством порождающих элементов M = {a, b} и любым множеством определяющих соотношений, приведенным выше, кроме 2.2 и 2.20, то все слова длины n будут лежать в одном классе.

В конце четвертой главы были рассмотрены системы, состоящие из одного двухбуквенного и одного трехбуквенного соотношения. Всего таких систем 168, но достаточно рассмотреть лишь 17 из них, остальные будут им эквивалентны. В трех случаях второе соотношение является следствием первого, поэтому число классов эквивалентности на полугруппе A будет таким же, как и в случае одного двухбуквенного соотношения, а именно, n+1. В остальных 14 случаях число классов эквивалентности равно единице, двум или трем.

Автор выражает глубокую благодарность своему научному руководителю, доктору физико-математических наук, профессору Кожухову Игорю Борисовичу за постановку задач, детальное обсуждение результатов работы и всестороннюю поддержку.

ВЫВОДЫ Таким образом, в диссертационной работе были исследованы конгруэнции свободной двупорожденной полугруппы, порожденные всевозможными парами слов длины два, длины три, а также совокупностями пар слов длины два и три, и получены следующие результаты:

1. Описаны конгруэнции свободной полугруппы над двухбуквенным алфавитом, порожденные одним определяющим соотношением, представляющим собой равенство слов длины два. Описан состав классов эквивалентности таких конгруэнций и найдены мощности классов. Доказано, что функция роста таких полугрупп равна n + 1.

2. Описаны конгруэнции свободной полугруппы над двухбуквенным алфавитом, порожденные одним определяющим соотношением, представляющим собой равенство слов длины три. Для некоторых таких конгруэнций описан состав классов эквивалентности и найдены мощности классов. Доказано, что:

• Функция роста полугруппы над двухбуквенным алфавитом, заданной одним из определяющих соотношений aab = aaa, aab = aba, aab = abb, aab = baa, aab = bab, aab = bba, abb = aaa, удовлетворяет рекуррентному соотношению (n) = (n - 1) + (n - 2) + 1.

• Функция роста полугруппы над двухбуквенным алфавитом, заданной определяющим соотношением aba = aaa, удовлетворяет рекуррентному соотношению (n) = 2(n - 1) - (n - 2) + (n - 3).

• Функция роста полугруппы над двухбуквенным алфавитом, заданной одним из определяющих соотношений bab = aaa, bab = aba, bbb = aaa, равна Fn+2 - 1, где Fn – n-ое число Фибоначчи.

3. Описаны конгруэнции свободной полугруппы над двухбуквенным алфавитом, порожденные совокупностями пар слов длины два и три. Описан состав классов эквивалентности таких конгруэнций и найдены мощности классов. Доказано, что количество классов эквивалентности равно либо n + 1, либо константе (единице, двум или трем).

РЕЗУЛЬТАТЫ ДИССЕРТАЦИИ ОПУБЛИКОВАНЫ В СЛЕДУЮЩИХ РАБОТАХ Публикации в журналах, входящих в список ВАК [1 ] Кудрявцева, Л. А. Функции роста и мощности классов некоторых двупорожденных полугрупп / Л. А. Кудрявцева // Вестник Московской государственной академии делового администрирования. Серия Философские, социальные и естественные науки. №1(13), 2012, с. 103-115.

[2 ] Кудрявцева, Л. А. О конгруэнциях двупорожденного моноида / Л. А.

Кудрявцева // Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика. Том 10, выпуск 1, 2010, с. 14-18.

Публикации в прочих изданиях [3 ] Кудрявцева, Л. А. О конгруэнциях свободной полугруппы, порожденной несколькими соотношениями слов длины два и три / Л. А. Кудрявцева // МИЭТ. - Москва, 2010. 27с. Деп. в ВИНИТИ 20.10.10, № 608-В2010.

[4 ] Кудрявцева, Л. А. Об эквивалентности слов двухбуквенного алфавита, порождаемой равенствами трехбуквенных слов / Л. А. Кудрявцева // Моделирование, алгоритмизация и программирование при проектировании информационно-управляющих систем. Сборник научных трудов под ред. д.т.н., проф. В.А. Бархоткина. - Москва, 2008, с. 96-103.

[5 ] Кудрявцева, Л. А. О количестве классов эквивалентности слов двухбуквенного алфавита / Л. А. Кудрявцева // Системный анализ и информационноуправляющие системы. Сборник научных трудов под ред. д.т.н., проф.

В.А. Бархоткина. - Москва, 2006, с. 121-126.

[6 ] Кудрявцева, Л. А. Операция умножения на полугруппах слов канонической формы / Л. А. Кудрявцева // Микроэлектроника и информатика - 2007. Тезисы докладов 14-й Всероссийской межвузовской научнотехнической конференции студентов и аспирантов. - Москва, 2007, с. 152.

[7 ] Кудрявцева, Л. А. Об однородных конгруэнциях свободной двупорожденной полугруппы / Л. А. Кудрявцева // Современные проблемы дифференциальной геометрии и общей алгебры. Тезисы докладов Международной научной конференции, посвященной 100-летию со дня рождения профессора В. В. Вагнера. - Саратов: Издательство Саратовского университета, 2008, с. 119-121.

[8 ] Кудрявцева, Л. А. О конгруэнциях на полугруппе, порожденных соотношением трехбуквенных слов / Л. А. Кудрявцева // Математика, информатика, их приложения и роль в образовании. Тезисы докладов Российской школы-конференции с международным участием. - Москва, 2009, с. 225-227.

[9 ] Кудрявцева, Л. А. О числе классов эквивалентности конгруэнции, порожденной соотношением / Л. А. Кудрявцева // Материалы Международного молодежного научного форума "Ломоносов-2010"[Электронный ресурс]. - Москва: МАКС Пресс, 2010.

[10 ] Кудрявцева, Л. А. Конгруэнции конечнопорожденных полугрупп / Л.

А. Кудрявцева // Алгебра и теория чисел: современные проблемы и приложения. Материалы 7-й Международной конференции, посвященной памяти профессора А. А. Карацубы. - Тула: Издательство Тульского государственного педагогического университета им. Л.Н. Толстого, 2010, с.

109-110.




© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.