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

Код ВАК 01.01.06

Тема работы	Автор	Год
Интерпретация HF - логики на периодических абелевых группах В начале 50-х годов теория моделей выделилась в самостоятельный раздел математической логики. Основополагающе работы по теории моделей логики предикатов первого порядка (логики языка ¡-илЛ ) принадлежат Левенгейму, Геделю, Тарскому, Мальцеву. Процесс развития теории моделей Еел таким образом, что многие понятия и построения имели финитарный…	Епанчинцев, Владимир Ильич	1992
Исследование полускалярной эквивалентности некоторых классов многочленных матриц В 1988 году П.С.Казимирекий предложил применять понятие значения многочленной матрицы на система корней ыногочлена для изучения вопроса полускалярной эквивалентности многочленных иатриц. Такой подход позволяет заменить задачу.о полуска…	Билонога, Дария Михайловна	1992
Категорные оболочки бесконечномерных групп и представления категорий римановых поверхностей К началу 80-ых годов теория представлений бесконечномерных групп состояла из многочисленных слабо связанных (а иногда никак не связанных) между собой частей, число которых продолжало расти. 3 это время постепенно начали появляться объединяющие факторы. Первый, "внешний", объединяющий фактор - "универсальность" спинорного представления и…	Неретин, Юрий Александрович	1992
Квазимногообразия коммутативных луп муфанг Б главе 3 рассматривается многообразие Т12 всех КЛМ стдпени нильпотентности 2 и экспоненты 3, т. е. многообразие, заданное в классе всех КЛМ тождествами…	Урсу, Василий Иванович	1992
Классификация пропозициональных логик доказуемости Идея аксиоматичоского подхода к изучению доказуемости в арифметических теориях восходит к работе К. Геделя ["?]. К Гедель заметил, что многие естественные свойства доказуемости могут Сить записаны в языке исчисления высказываний, обогащенном новой одноместной связкой модальности о ( ор псншается кок "доказуемо ?>" ). Уточнение этой идеи приводит к…	Беклемишев, Лев Дмитриевич	1992
Компактные и связанные с ними кольца. Несвязные группы и поля положительной размерности Требования компактности и локальной компактности являются тополо.ичоскими условиями конечности, нологаомнми на топологические кольца. Подобно тому как при изучении колец с условиями конечности возникает необходимость рассмотрения н.шыготептпых идеалов, так и при исследованиях по локальпо компактным, компактным и линойно компактным кольцам…	Урсул, Михаил Иванович	1992
Композиционные факторы и подмодули модулей Вейля Основной вопрос этих исследований является классическим для теории представлении - это вопрос о характерах неприводимых представления (неприводимых С-модулеа). В случае палеа простой характеристики характер, заданный формулой Вейля, не является м приводами. Такоз характер имеет, например, универсальный код/ль, порожденный векторам данного старшего…	Адамович, Анна Маратовна	1992
Конечные группы с гиперцентрально вложенными примарными подгруппами Рассматриваются только конечные группы. Мч используем обозначения из [10] и [II]. В дальнейшем £ обозначает некоторую формацию, имеющую локальный экран ^ . Будем полагать, что экран ^ наследственен, т.е. функция ^ сопоставляет каждому простор числу р наследственную (иначе, замкнутую относительно подгрупп) формацию ^(р ) . Череь обозначается…	Го Вэньбинь	1992
Конечные группы с максимальными f- подгруппами В § I изучается вопрос о числе локальных подформаций i формации И10С . Понятно, что поскольку всякая подформация формации Ю, всех нильпотентных групп является подформа-цией формации , то ИИЭЬ шеет бесконечно много…	Бузланов, Александр Васильевич	1992
Конечные регулярные группы с абелевыми 3-максимальными подгруппами Напомним, что подгруппа Н группы О называется «--максимальной, если 0 содержит такую максимальную подгруппу М , что {-[сМ и Н является (Уъ~ 4.)-максимальной подгруппой в группе С…	Драганюк, Сергей Владимирович	1992
Критические теории первого порядка Одним из центральных вопросов теории моделей стал впервые сформулированный А.Тарским вопрос о разрешимости элементарных теорий. Пусть - класс алгебраических систем не более чем счетной сигнатуры О" ; £ - совокупность всех (Г- формул логики первого поряцка; £ УС - элементарная теория класса УС , т.е. совокупность всех предложений из § , истинных на…	Важенин, Юрий Михайлович	1992
Лиевы и йордановы гомоморфизмы ассоциативных колец с инволюцией Для произвольной ассоциативно!! алгебри R над полем F с инволюцией : R - R определим множество симметрических относительно инволюции элементов IHR,)-(rP./r' -г} и множество ко-сосимметрическнх относительно инволюции * элементов K(R, R/r"--г}. Оба множества являются F-подмодулчми алгебры R, но не являются подалгебрами ассоциативной алгебры R…	Лагутина, Людмила Алексеевна	1992
Матричные задачи и представления нильпотентных групп Ли В § 3 ееолится специальный алгоритм, который является модификацией алгоритма КлеЯнера-Ротера, приспособленной для классификации таких представлений М бокса OV-fA?/) , в которых d-ím f1fL)é= 1 для любого объекта ¿ категории А . На основании этого алгоритма строится дерево приведения 7 ) . rae d- - $икскр'ва.:нгя размерность /т.е. функция OéA^tJ…	Аббас Абид, Али Садхан	1992
Многомерные теоретико-числовые сетки Методы работ Чена и Добровольского Н.Ы.4'^ явля -лись дальнейшим развитием работ К.Рота и основывались на оценках среднего арифметического квадратичных отклонений по всем ■ преобразованным сеткам…	Ванькова, Валентина Сергеевна	1992
Многопараметрические квантовые деформации полной линейной группы Как известно, с алгебраической группой О естественно ассоциируются две алгебры Хопфа - алгебра регулярных функций на группе к[0] и универсальная обертывающая алгебры Ли группы в. Это (эквивалентные языки описания группы 0, если она достаточно хороша. При ого« первая алгебра Хопфа коммутативна, а вторая кокоммутатиниа. Переходя теперь к…	Демидов, Евгений Евгеньевич	1992
Модулярные инварианты и когомологии полной линейной группы над конечным полем ОБДАЙ МЕТОДИКА ИССЛЕДОВАНИИ. 3 работе применяются общие методы и результаты теории когомологий групп. В честности, используются методы теории модулярных инвариантов, спектральной последовательности Хохшилда-Серра…	Нгуен Вьет Донг	1992
Моноквазигруппы и квазигруппы с дистрибутивной решеткой подквазигрупп В последние десятилетия все больший интерес представляют изучение, класификация алгебраических систем по свойствам решетки их подсистем. Наиболее глубокие результаты в этом направлении получены для алгебраических систем с модулярными, в частности с дистрибутивными решетками подсистем. Известно, например, что груша обладает дистрибутивной решеткой…	Избаш, Владимир Иванович	1992
Некоторые алгоритмические проблемы в группе КОС Одним из приложений теории кос является теория узлов и зацеплений. Отождествляя конечные и начальные точки нитей косы, мы получаем некоторое зацепление или узел. Полученное зацепление…	Акименков, Андрей Михайлович	1992
Некоторые алгоритмические проблемы для конечно-порожденных про-р-колец и нильпотентных про-р-групп Яро- р -группы кг раит определяндую роль в исследованиях по теории Галуа бесконечномерных алгебраических р -расширений, в теории компактных аналитических р -групп, в арифметических и геометрических вопросах, связанных с локализацией. Вопрос описания конечно-порожденных разрешимых про-р -групп с разрешимыми элементарными.теориями был сформулирован…	Пахотин, Евгений Николаевич	1992
Некоторые инварианты и дуальные пары представлений аффинных алгебр Ли и групп петель Обизизвестным примером дуальной пары является левое и правое действие конечной группы в групповой алгебре. Ешэ один замечательный пример - V = В®". = С1(Я), С, = Sn. представление v.. полной линейной группы в V является n-й тензорной степенью тождественного представления. а симметрическая группа Sn действует в V перестановками сомножителей…	Рыбников, Григорий Леонидович	1992