Вложение Кольца

- мономорфизм кольца в некоторое другое кольцо. Кольцо 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. Л. А. Вокуть.