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

Код ВАК 01.01.06

Тема работы	Автор	Год
Группа Hom(A, B) как инъективный модуль над кольцами эндоморфизмов Большое внимание уделялось алгебраическому строению группы гомоморфизмов. Однако точное строение группы Нош(А,В) известно лишь в некоторых случаях. Например, если А - периодическая группа или если В - алгебраически компактная группа, то группа Нош(Л,В) - алгебраически компактна [13. Один из основных случаев, когда В пе имеет кручения, еще мало…	Пахомова, Елена Григорьевна	1997
Групповые свойства разрешимых алгебраических групп …	Пономарев, Константин Николаевич	1997
Группы когомологий малых размерностей над абелевыми группами В рамках когомологической теории групп решаются самые разнообразные и важные задачи из различных областей математики: топологии, геометрии, алгебры (теории расширений групп, теории Галуа, теории групп, теории алгебр, теории представлений и т.д.). Интересное применение получила эта теория в теоретической физике (например, при изучении явления…	Шапошникова, Елена Васильевна	1997
Динамические логики доказательств с оператором доказуемости При дальнейшем уточнении доказуеиостной семантики для мо-злыюсти было предложено считать, что □ выражает выводимость некоторой формальной системе, например в арифметике Пеано РА. огда естественным образом возникает определение доказуемост-интерпретации модального языка в арифметический, при ко-эрой оператору □ соответствует стандартная геделевская…	Сидон, Татьяна Леонидовна	1997
Диофантовы уравнения третьей степени Теосема А. Дусгь а,Ь,С ненулевые, попарно взаимно простые и бесквадрагные целые числа и А целое число. Тогда, если не более, чем одно из чисел а , Ь,с- равно +1, то кривая…	Гараев, Мабариз Зафар оглы	1997
Дистрибутивные решетки в теории представлений локальных алгебр и в комбинаторике фибоначчиевых разбиений Разбиения натуральных чисел на различные числа Фибоначчи (фи-боначчиевы разбиения) также изучались довольно давно; отметим работы [2, 3, 12, 20]. Полученная в настоящей работе структурная теорема-для решеток фибоначчиевых разбиений позволяет свести получение перечислительных результатов о них к изучению свойств некоторой подгруппы группы (в особых…	Пушкарев, Игорь Александрович	1997
Значения мультикососимметрических полиномов на простых алгебрах Ли и алгебрах матриц Известно,что простая ассоциативная алгебра Ац с тождеством после тензорного умножения на некоторое расширение К основного поля К является алгеброй Мп(К) всех пхп матриц некоторого порядка п над полем К…	Кагарманов, Альберт Аксанович	1997
Интуиционистские варианты ряда теорем классической алгебры Значение этих результатов общеизвестно. "Но их особенностью является то, что формула 5' существенно отличается от исходной формулы Я. Кроме того, одно из принципиальных достоинств интуиционистской теории состоит в свойстве экзистенциа-льности: если Эт05(г0), то можно предъявить терм индивидуально описывающий соответствующее х0 (так, что Теперь…	Горемыкина, Галина Ивановна	1997
Исследование некоторых алгоритмических проблем для свободных групп и полугрупп Позже была доказана неразрешимость многих алгоритмические проблем как в алгебре, так и в топологии, теории чисел, анализе, теории дифференциальных уравнений и т.д. Это привело к убеждению, что неразрешимые алгоритмические проблемы широко распространены в самых различных разделах математики…	Дурнев, Валерий Георгиевич	1997
Квазиурбаниковы минимальные структуры В данпоц работе мы развиваем теорию моделей для класса линейно упорядоченных структур, который изолируем требованием чтобы параметрически определимые подмножества упорядоченной структуры в нашем классе имели особую простую форму, которую начнем теперь описывать…	Кулпешов, Бейбут Шайыкович	1997
Классификация формальных групп над многомерными кольцами В алгебраической теории чисел важную роль играют формальные группы. Начало теории формальных групп было положено Л аза ром и Дьедонне в 1964г. Развитие теории формальных групп привело к результатам, имеющим важное значение в алгебраической теории чисел…	Винник, Петр Михайлович	1997
Коммутаторное строение и автоморфизмы обобщенных конгруэнц-подгрупп классических групп В §2 первой главы приведены результаты, полученные автором совместно с В.М.Лев'їуком. Введены понятие специального радикального ковра идеалов и операция коммутирования ковров; коммутирование копровых подгрупп при 2р(Ф)А' = К редуцируется к коммутированию соответствующих ковров. Это позволило построение нижнего центрального и коммутаторного рядов…	Колесников, Сергей Геннадьевич	1997
Кручения в категории модулей над расслоенным произведением колец Актуалыпсть теми. Дисертащя ирисвячена вивченню скру-tîb в категорп модупв над розщаровашш добутком юлець. Точ-Hinie, тут дослщжуються взаемозв'язки Mi>K властивостями скру-tîb над розшарованим добутком шлець i властивостями скруйв над в1дпов1дними множниками…	Вовк, Роман Владимирович	1997
Линейные представления свободных групп и групп автоморфизиков свободных групп Естественным образом возникает вопрос о линейности групп 'автоморфизмов свободных групп конечного ранга произвольного многообразия ЗИ, ответ на который содержится в данной работе. Кроме того, представляет интерес классификация всех линейных представлений группы автоморфизмов свободной группы ранга 2, для которой пока открыт вопрос о ее линейности…	Матейко, Олег Михайлович	1997
Методы построения диофантовых представлений Однако универсальная техника построения диофантовых представлений приводит к многочленам очень большой сложности, что практически не оставляет надежд для применения таких представлений при изучении свойств конкретных множеств. Поэтому весьма актуальна задача построения диофантовых представлений, использующих специфику рассматриваемых множеств…	Всемирнов, Максим Александрович	1997
Многообразия ассоциативных алгебр с условиями конечности Говорят, что алгебра удовлетворяет теореме о конечности базиса (т.н. Теореме Гильберта о базисе), если каждый ее идеал является конечно порожденным (как идеал). Это равносильно условию обрыва в алгебре возрастающих цепей идеалов (т.н. слабая нете-ровость алгебры). Аналогично определяется левая (правая) нете-ровость. Под нетеровостью понимается…	Кублановский, Станислав Ицхокович	1997
Модули над обобщенно разрешимыми группами Актуальність теми. Дисертація присвячена вивченню наступних двох питань теорії модулів над, узагальнено розв’язними групами: будова скінченно породжених модулів над групами скінченного рангу і вивчення прямих розкладів у модулях нал груповими кільцями таких груп. Точніше, у роботі вивчаються модулі над груповими кільцями вигляду ¿>(7, де О…	Петренко, Богдан Владимирович	1997
Наследственные и полунаследственные полудистрибутивные кольца Актуальність теки. Дисертація присв'ячена дослідженню Судова спадковім та напівсладкових нетерових напівдосконалих кілець за допомогою вивчення структури її сагайдаків…	Могилева, Виутория Витальевна	1997
Некоторые вопросы теории конструктивных абелевых групп Ю.Л. Ершов [2] ввел понятие сильно конструктивной модели. Конструктивная модель ( M,v ) называется сильно конструктивной, если существует алгоритм , который по произвольной формуле Ф( Vq,...,v„.i ) со свободными переменными vo,...,vn-i УИП сигнатуры модели М и по произвольным натуральным числам ma,...,mn.i определяет, истинна или нет формула…	Каленова, Бакытгул Советовна	1997
Нильпотентные алгебры близкие к коммутативным Определение. Ассоциативная алгебра N называется левоаннулягорной, если она нильпотеетна и Ann, N с Annr N. Если выполняется обратное включение, то алгебра N называется правоаинуляторной…	Строгович, Кирилл Александрович	1997