ВЛОЖЕНИЕ КОЛЬЦА это:

ВЛОЖЕНИЕ КОЛЬЦА

- мономорфизм кольца в некоторое другое кольцо; кольцо Rвкладывается в кольцо L, если Rизоморфно подкольцу кольца L. Наиболее подробно изучались условия вложения ассоциативного кольца в (ассоциативное) тело и произвольного кольца в кольцо с делением. Начало этим исследованиям положила работа А. И. Мальцева [1], в которой был построен пример ассоциативного кольца без делителей нуля, не вложимого в тело. Долгое время оставалась открытой следующая проблема Мальцева: будет ли вложимо в тело каждое ассоциативное кольцо без делителей нуля, полугруппа ненулевых элементов к-рого вложима в группу? Эта проблема была решена отрицательно в 1966 (см. [2], с. 354). Квадратная матрица Апорядка над ассоциативным кольцом R наз. неполной, если она предета-вима в виде , где - матрицы порядков и соответственно и r<n. Пусть


- квадратные матрицы порядка над R, у к-рых совпадают все столбцы, кроме, возможно, первого. Тогда матрица наз. детерминантной суммой матриц А и Вотносительно первого столбца. Аналогично определяется детерминантная сумма квадратных матриц одинаковых порядков относительно произвольного столбца (строки). Ассоциативное кольцо R с 1 вложимо в тело тогда и только тогда, когда оно не имеет делителей нуля и никакая скалярная матрица аЕ с ненулевым элементом апо диагонали не может быть представлена в виде детерминантной суммы конечного числа неполных матриц ([2], с. 349). Класс ассоциативных колец, вложимых в тела, не является конечно аксиоматизируемым (т. е. его нельзя задать конечным числом аксиом) [3]. Известен ряд достаточных условий вложения ассоциативного кольца в тело. Наиболее важными из них являются следующие. Пусть R - ассоциативное кольцо без делителей нуля, полугруппа ненулевых элементов к-рого удовлетворяет условию Оре (см. Вложение полугруппы). Тогда кольцо Rвложимо в тело ([4], с. 293). Групповая алгебра упорядоченной группы вложима в тело (теорема Мальцева- Неймана, см. [4], с. 294). Произвольная область свободных правых (левых) идеалов (см. Ассоциативные кольца и алгебры).вложима в тело ([2], с. 351).

Кольцо Rвложимо в кольцо с делением тогда и только тогда, когда оно не содержит делителей нуля. Пусть R, L - кольца, - символ, . Отображение наз. Т- гомоморфизмом; если: 1) множество есть кольцо и отображение на атом множестве есть кольцевой гомоморфизм; 2) из следует ; 3) из , следует . T-гомоморфизм поля есть не что иное, как специализация (или точка) поля. Кольцо с делением L наз. свободным T-расширением кольца R, если: Lсодержит Rи порождается (как кольцо с делением) кольцом R, а любой T-гомомор-физм кольца Rв некоторое кольцо с делением Sможно продолжить до T-гомоморфизма Lв S. Каждое кольцо без делителей нуля обладает свободным T-расширением ([4], с. 301).

Лит.:[1] Мальцев А. И., "Math. Ann.", 1937, Bd 113, S. 686-691; [2] Кон П. М., Свободные кольца и их связи, пер. с англ., М., 1975; [3] Соhn Р. М., "Bull. Lond. Math. Soc.", 1974, v. 6, p. 147-148; [4] Кон П, М., Универсальная алгебра, пер. с англ., М., 1968. Л. А. Вокуть.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ВЛОЖЕНИЕ КОЛЬЦА" в других словарях:

  • КОЛЬЦА И АЛГЕБРЫ — множества с двумя бинарными операциями, к рые обычно принято наз. сложением и умножением. Кольцом наз. множество: 1) являющееся абелевой группой относительно сложения (в частности, в кольце существует нулевой элемент, обозначаемый 0, и… …   Математическая энциклопедия

  • Вложение — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете …   Википедия

  • ОБЛАСТЬ ЦЕЛОСТНОСТИ — целостное кольцо, коммутативное кольцо с единицей и без делителей нуля. Любое поле, а также любое кольцо с единицей, содержащееся в нек ром поле, является О. ц. Обратно, любая О. ц. может быть вложена в нек рое поле. Такое вложение дает… …   Математическая энциклопедия

  • ТЕЛО — кольцо, в к ром уравнения ах=b и уа=b, где однозначно разрешимы. В случае ассоциативного кольца достаточно потребовать существования единицы 1 и однозначной разрешимости уравнений ах=1 и уа=1 для любого Коммутативное ассоциативное Т. является… …   Математическая энциклопедия

  • КОБОРДИЗМ — кобордизмов теория, обобщенная теория когомологий, определенная спектрами пространств Тома и связанная с различными структурами в стабильном касательном или нормальном расслоении к многообразию. Теория К. двойственна (в смысле S двойственности… …   Математическая энциклопедия

  • СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать …   Математическая энциклопедия

  • ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ K-ТЕОРИЯ — раздел алгебры, к рый в основном занимается изучением К функторов по существу это часть общей линейной алгебры. Она имеет дело со структурной теорией проективных модулей и их групп автоморфизмов. Упрощенно, это обобщение результатов о… …   Математическая энциклопедия

  • Подкольцо — кольца   это пара , где   кольцо, а   мономорфизм (вложение) колец. Такое определение согласуется с общим понятием подобъекта в теории категорий. В классическом определении подкольцо кольца рассматривается как подмножество …   Википедия

  • Область целостности — (или целостное кольцо, или область цельности или просто область)  понятие абстрактной алгебры: ассоциативное коммутативное кольцо без делителя нуля (произведение ненулевых элементов не равно 0). Эквивалентное определение: область… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»