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

Код ВАК 01.01.06
Тема работы Автор Год
Примитивно рекурсивная реализуемость и конструктивная теория моделей

Примитивно рекурсивными называются функции, которые можно получить с помощью операций подстановки и рекурсии из следующих исходных функций: константы 0, операции прибавления единицы S и семейства функций проекции Гт [т — 1,2,., 1 < i < т…

Витер, Дмитрий Александрович 2001
Проблема вхождения в естественные подгруппы конструктивных групп

Латкин, Иван Васильевич 2001
Проблема делителей Ингама на множестве чисел без k-ых степеней

В 1979 году Д.Р.Хиз-Браун [3] и Д.Исмаилов [4], в свою очередь, независимо друг от друга усилили результат Эстермана: в равенстве Эстермана ими был получен остаток…

Иконникова, Татьяна Константиновна 2001
Проблемы степени и степенной сопряженности в группах с условиями С(4) & Т(4)

С.И. Адяном определено понятие наследственного нетривиального свойства группы и доказано, что не существует алгоритма, позволяющего для произвольной конечно определенной группы распознать выполнимость некоторого свойства, представляющего собой объединение нетривиального наследственного и инвариантного свойства, если только существуют группы…

Паршикова, Елена Владиславовна 2001
Проективные представления симметрических групп

В 1964 году в своей работе [52] Тома описал характеры группы S0с. Все представления Sqo (кроме двух одномерных) бесконечномерны. Их характеры нельзя определять так, как это делается в теории конечномерных представлений. Тома определял характер как неразложимую центральную положительно определенную нормированную функцию. Идея этого определения…

Иванов, Владимир Николаевич 2001
Равномерные представления алгебр Каца-Муди

Прежде всего следует отметить работу С. Фернандо [4]. В этой работе введено понятие модуля без кручения над конечномерной полупростой алгеброй Ли. Показано, как задача о классификации всех конеч-нократных весовых модулей над конечномерными полупростыми алгебрами Ли может быть сведена к задаче о классификации одних лишь модулей без кручения. Гам же…

Спирин, Сергей Александрович 2001
Раздутия трехмерных терминальных особенностей

Федоров, Игорь Юрьевич 2001
Рациональные функции с немногими критическими значениями

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

Крейнес, Елена Михайловна 2001
Решение некоторых задач теории алгоритмов с использованием игровых методов

Мучник, Андрей Альбертович 2001
Решетки топологий унаров

Аналогичные вопросы ставятся и при изучении класса решеток топологий на множествах. Впервые этот класс рассмотрел Биркгоф в 1936 году [37]. С тех пор в этой области достигнуты значительные…

Карташова, Анна Владимировна 2001
Рост в алгебрах Ли

В настоящей работе мы изучаем главным образом производящие функции и рост алгебр Ли, а также некоторые приложения для групп и ассоциативных алгебр. Объектом исследования являются два типа роста: 1) рост конечно порожденных алгебр Ли и 2) последовательность коразмерностей многообразий алгебр Ли. Термин "последовательность коразмерностей" был…

Петроградский, Виктор Михайлович 2001
Системы уравнений от коммутирующих переменных и стабилизаторы автоморфизмов для свободных произведений групп

Есып, Евгений Семенович 2001
Слойно проективные решетки

Нужно выделить некоторые свойства решетки подгрупп конечной абеле-вой группы и доказать, что любые две решетки, удовлетворяющие этим свойствам, изоморфны. Из этого утверждения и будет следовать, что любая решетка, удовлетворяющая указанным свойствам, представима решеткой подгрупп некоторой конечной абелевой группы. Так как конечная абелева группа…

Назырова, Юлия Абдулловна 2001
Структурные свойства верхних полурешеток степеней по перечислимости

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

Калимуллин, Искандер Шагитович 2001
Упорядоченные дифференциальные кольца

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

Кульчиновский, Владислав Борисович 2001
Формулы для числа решений уравнений марковского типа в конечных полях

М(х) = С In2 ж + 0(1пж(1п In ж)2), где с=4 е* hlV* 18071704711507тг2 h(u)h(v)h{-w) u2+v2+w2=3uvw символ означает, что слагаемые, соответствующие решениям (1,1,1) и (2,1,1), берутся с коэффициентом -, a h(x) есть функция / . , Зж + V9a:2 - 4 h[x) =ln…

Баулина, Юлия Николаевна 2001
Частичные порядки групп

Доказательство Ч.Холландом [9] теоремы о том, что всякая решеточно упорядоченная группа имеет точное представление автоморфизмами подходящего линейно упорядоченного множества, позволило систематически привлекать к изучению решеточно упорядоченных групп технику работы с группами автоморфизмов линейно упорядоченных множеств. Группы порядковых…

Зенков, Алексей Владимирович 2001
Элементарная эквивалентность линейных и алгебраических групп

Бунина, Елена Игоревна 2001
φ-структура на симплектических и ортогональных конечных группах в нечетной характеристике

Второе наблюдение: не для всех порядков дистрибутивные квазигруппы существуют. Бурстин и Майер показали отсутствие таких квазигрупп порядков 2 и (без доказательства) б. Наконец, Бурстин и Майер рассмотрели свойства подстановок La = (х -» а°х) и Ra = (х —» х=а). Их замечания по этому поводу оказываются полезными при построении квазигрупп небольших…

Мохнина, Наталья Вячеславовна 2000
Абелевы и нильпотентные подгруппы максимального порядка конечных простых групп

Вдовин, Евгений Петрович 2000