Темы авторефератов и диссертаций по математике из каталога библиотеки ФизМатХим. Математическая логика, алгебра и теория чисел

Код ВАК 01.01.06
Тема работы Автор Год
Почти хорошие тройки вершин в графах и автоморфизмы графов

Реберный граф Ь(Кт^п) полного многодольного графа Кт>п является ко-реберно регулярным графом с параметрами (тп,т + п —2,2). Граф Ь(Кт:Т1) называют т х п-решеткой. При т — п решетчатый граф является сильно регулярным графом с параметрами (п2,2п — 2, п — 2, 2). С. Шрикханде в [38] показал, что граф, имеющий параметры п х п решетки является либо…

Токбаева, Альбина Аниуаровна 2010
Проблема Эстермана с почти равными слагаемыми

Н.Г. Чудаков [21]-[22] также предложил подобный метод исследования тригонометрических сумм S(a, х) с помощью оценки средних значений функции Чебышева, получение которой в свою очередь основывается на распределении нулей L-рядов Дирихле в критической полосе…

Шокамолова, Джилва Абдулназаровна 2010
Решение алгоритмических проблем в группах Кокстера

Впервые проблема сопряженности подгрупп рассматривалась В. Н. Ремеслешшковым [45], доказавшим ее положительное решение в классе конечно порожденных нильпотентных групп…

Добрынина, Ирина Васильевна 2010
Строение конечной группы и арифметические свойства ее неприводимых представлений

Конечные просто приводимые группы изучались Дж. Макки. Им были предложены некоторые обобщения 5"Л-групп [35], в которых он рассматривал различные ослабления условия вещественности группы. В работе [36] Макки, в частности, привел доказательство неравенства Вигнера для конечных групп, которое поясняет по каким причинам возникает условие Вигнера…

Чанков, Евгений Игоревич 2010
Тензорные произведения с конечным числом орбит

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

Парфенов, Петр Глебович 2010
Теоретико-модельные свойства частично упорядоченных полигонов

Обобщением понятий плоского, слабо плоского и сильно плоского ЧУ-полигонов является понятие проективного ЧУ-полигона, которое впервые появилось в работе S.M. Fakhruddin |28]. Позднее в своей совместной работе X. Shi, Z. Liu, F. Wang, S. Bulman-Fleming [48] дали алгебраическую характеризацию проективных ЧУ-полигонов. Описание моноидов с…

Первухин, Михаил Александрович 2010
Топологические методы в K-теории, теории колец и теории локализаций

Каждой категории Вальдхаузена (С,и>), где и) — класс слабых эквивалент-ностей, можно сопоставить категорию Но С, полученную из С путем обращения стрелок из и). Категория Но С называется в литературе производной или гомотопической категорией. Например, если С — модельная категория, то Но С — не что иное, как ее гомотопическая категория в смысле…

Гаркуша, Григорий Анатольевич 2010
Шаблоны, избегаемые антицепями слов, и их алгебраические приложения

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

Михайлова, Инна Анатольевна 2010
T-пространства в относительно свободной алгебре Грассмана

Пусть / — произвольный Т-идеал алгебры F (возможно нулевой). Относительно свободная алгебра F/I является, очевидно, циклическим кТ-модулем, порожденным любой из своих переменных. Согласно результатам A.B. Гришина [8], [33], если к — поле нулевой характеристики, а идеал I содержит многочлен Капели…

Цыбуля, Лилия Михайловна 2009
Алгоритмическая сложность фрагментов исчисления Ламбека

В исчислении Ламбека используются синтаксические типы, построенные из примитивных с помощью трех бинарных связок — умножения, левого деления и правого деления. Естественно рассматривать фрагменты исчисления Ламбека с ограниченным набором связок. В настоящей работе будут рассмотрены так называемый левосторонний фрагмент L(-,\), фрагмент без…

Саватеев, Юрий Вячеславович 2009
Алгоритмические приложения эллиптических кривых, задаваемых системами уравнений

Автором предложена модификация данного метода. Используя оценку Е.М.Матвеева [9] для формы от трех логарифмов алгебраических чисел, мы получаем более точные оценки сверху для числа решений системы (1). Более того, предложена итерационная процедура, использующая вычисления с подходящими дробями иррациональных чисел и позволяющая уменьшить…

Нестеренко, Алексей Юрьевич 2009
Алгоритмические сводимости счетных алгебраических систем

Следовательно, операция скачка ин-^и' может быть определена в е-степенях посредством конъюнкции УЗУ- и ЗУЗ-формул в сигнатуре частичного упорядочения е-степеней…

Калимуллин, Искандер Шагитович 2009
Алгоритмические свойства последовательностей, близких к периодическим

Более формально, топологическая динамическая система — это топологическое пространство V с заданным на нём непрерывным отображением f:V—^V. Рассмотрим V, / — топологическую динамическую систему, Ai, ., Ak — попарно непересекающиеся открытые подмножества в V, и р — точку, орбита которой {fn(p) : п £ N} лежит в |jf=i-A-k' Определим…

Притыкин, Юрий Львович 2009
Алгоритмы вычисления оптимальных коэффициентов

Результаты работы являются новыми, полученными автором самостоятельно. Основными результатами данной работы можно считать следующие: дан новый критерий оптимальности набора коэффициентов, основанный на обобщенной теореме Гельфонда, для любого модуля N] введена новая мера оптимальности набора коэффициентов и дан обобщенный критерий оптимальности…

Добровольская, Лариса Петровна 2009
Асимптотика ограниченных алгебр Ли

Определение 1.1.2 Свободная алгебра Ли L = L(x\,., I'd) ранга d (d может быть бесконечным) определяется следующим универсальным свойством. Пусть Н — алгебра Ли и yi,-.,yd £ Н. Тогда существует единственный гомоморфизм ф: L —у Н такой, что ф(х{) = yi, г = 1. d…

Смирнов, Андрей Анатольевич 2009
Верхние полурешётки арифметических нумераций и арифметических m-степеней

Характеризации типов изоморфизма, полученные Лахланом и Денисовым, существенно опирались на понятие лахлановекой полурешётки. Это понятие имеет довольно сложное определение, состоящее из многих пунктов. В связи с этим с конца 1970-х годов внимание исследователей привлекал вопрос о том, возможно ли описать класс лахлановских полурешёток более…

Подзоров, Сергей Юрьевич 2009
Вычислимые линейные порядки и η-представимость

Для другого естественного типа линейных порядков — дискретного линейного порядка, Р. Ватником [32] было показано, что (р имеет вычислимое представление тогда и только тогда, когда р имеет П® представление (ясно, что любой дискретный линейный порядок представим в виде (р, где С — тип естественного упорядочения целых чисел…

Зубков, Максим Витальевич 2009
Вычислимые модели эренфойхтовых теорий

Модель называется вычислимой, если её носитель — вычислимое подмножество множества натуральных чисел и, а операции и предикаты — равномерно вычислимые функции на этом подмножестве. В свою очередь, под вычислимыми функциями понимаются те, которые могут быть вычислены с помощью некоторой машины Тьюринга, а под вычислимыми множествами — обладающие…

Гаврюшкин, Александр Николаевич 2009
Гомоморфная устойчивость абелевых групп

Наряду с исследованиями группы гомоморфизмов Нот(Л, В) исследуются также гомоморфные образы абелевых групп и других алгебраических систем (см., например, [10], [15], [22], [35], [38], [39], [40], [42…

Ельцова, Тамара Александровна 2009
Группы с системами дополняемых подгрупп

Савичева, Галина Владимировна 2009