Тема: ТЕОРЕТИКО-МОДЕЛЬНЫЕ ВОПРОСЫ ДЛЯ КОЛЕЦ НИЛЬТРЕУГОЛЬНЫХ МАТРИЦ И АССОЦИИРОВАННЫХ КОЛЕЦ ЛИ
Характеристики работы
Закажите новую по вашим требованиям
Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
📋 Содержание
1 Общие сведения о модальных логиках 4
2 Структурная полнота некоторых табличных и предтабличных логик . 11
3 Элементарные эквивалентности алгебраических систем 1-й и 2-й ступени 16
4 Теоретико-модельное соответствие Мальцева для линейных групп и колец 22
Заключение 24
Список использованных источников 25
📖 Введение
Исследования зависимости элементарной эквивалентности 1-й и 2-й сту¬пени и других модельных свойств линейных групп и колец от свойств по¬лей или колец коэффициентов восходят к работам А.И. Мальцева [1]. Одним из главных здесь является вопрос о выполнимости соответствия Мальцева — переносится ли их элементарная эквивалентность 1-й ступени на кольца коэффициентов. Видела [2] установил мальцевское соответствие для колец NT(n, K) (n >3) нильтреугольных n x n-матриц над ассоциативными кольцами с единицей и [6] для унипотентных подгрупп группы Шевалле над полями характеристики = 2, 3. См. также [5, Вопрос 3.2].
Соответствие Мальцева выполняется для унитреугольных групп UT(n, K) и колец Ли, ассоциированных с NT(n, K), когда кольца коэффициентов - коммутативные, [7] и [3]. Однако, в некоммутативном случае соответствие Мальцева может нарушаться, как показано в [3].
В §4 мы покажем, что элементарная эквивалентность 2-й ступени колец NT(n, K) над ассоциативными кольцами с единицей вообще говоря не переносится на кольца коэффициентов (Теорема 4.3).
✅ Заключение
Также выявлено, что мальцевское соответствие для NT(n, K) нарушается в ассоциативном случае в языке второго порядка, т.е. элементарная эквивалентность 2-й ступени колец NT(n, K) над ассоциативными кольцами с единицей вообще говоря не переносится на кольца коэффициентов.