WikiDer > Подкольцо

Эта статья включает список литературы, связанное чтение или внешние ссылки, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшить эта статья введение более точные цитаты. (Ноябрь 2018) (Узнайте, как и когда удалить этот шаблон сообщения)

Алгебраическая структура → Теория колец Теория колец
Базовые концепты Кольца • Подкольца • Идеально • Факторное кольцо • Дробный идеал • Общее кольцо частного • Кольцо продукта • Свободное произведение ассоциативных алгебр • Тензорное произведение колец Гомоморфизмы колец • Ядро • Внутренний автоморфизм • Эндоморфизм Фробениуса Алгебраические структуры • Модуль • Ассоциативная алгебра • Градуированное кольцо • Инволютивное кольцо • Категория колец • Начальное кольцо ${ Displaystyle mathbb {Z}}$ • Терминальное кольцо ${ Displaystyle 0 = mathbb {Z} _ {1}}$ Связанные структуры • Поле • Конечное поле • Неассоциативное кольцо • Кольцо лжи • Кольцо Jordan • Полукруглый • Полуполе
Коммутативная алгебра Коммутативные кольца • Интегральный домен • Целостно закрытый домен • GCD домен • Уникальный домен факторизации • Основная идеальная область • Евклидова область • Поле • Конечное поле • Композиционное кольцо • Кольцо полиномов • Формальное кольцо серии power Алгебраическая теория чисел • Поле алгебраических чисел • Кольцо целых чисел • Алгебраическая независимость • Трансцендентальная теория чисел • Степень трансцендентности п-адический теория чисел и десятичные дроби • Прямой лимит/Обратный предел • Нулевое кольцо ${ displaystyle mathbb {Z} _ {1}}$ • Целые числа по модулю пп ${ Displaystyle mathbb {Z} / p ^ {n} mathbb {Z}}$ • Прюфер п-кольцо ${ Displaystyle mathbb {Z} (р ^ { infty})}$ • База-п круг кольцо ${ displaystyle mathbb {T}}$ • База-п целые числа ${ Displaystyle mathbb {Z}}$ • п-adic рациональные ${ Displaystyle mathbb {Z} [1 / p]}$ • База-п действительные числа ${ Displaystyle mathbb {R}}$ • п-адические целые числа ${ displaystyle mathbb {Z} _ {p}}$ • п-адические числа ${ displaystyle mathbb {Q} _ {p}}$ • п-адический соленоид ${ displaystyle mathbb {T} _ {p}}$ Алгебраическая геометрия • Аффинное разнообразие
Некоммутативная алгебра Некоммутативные кольца • Дивизионное кольцо • Полупримитивное кольцо • Простое кольцо • Коммутатор Некоммутативная алгебраическая геометрия Свободная алгебра Алгебра Клиффорда • Геометрическая алгебра Операторная алгебра
v т е

В математика, а подкольцо из р это подмножество из кольцо это само кольцо, когда бинарные операции сложения и умножения на р ограничены подмножеством и разделяют мультипликативная идентичность так как р. Для тех, кто определяет кольца, не требуя существования мультипликативного тождества, подкольцо р это просто подмножество р это кольцо для операций р (это означает, что он содержит аддитивную идентичность р). Последнее дает строго более слабое условие даже для колец, которые действительно имеют мультипликативную идентичность, так что, например, все идеалы становятся вложенными (и они могут иметь мультипликативную идентичность, отличную от одной из р). С определением, требующим мультипликативной идентичности (которое используется в этой статье), единственный идеал р это подкольцо р является р сам.

Определение

Подкольцо кольца (р, +, ∗, 0, 1) это подмножество S из р сохраняющее структуру кольца, т. е. кольцо (S, +, ∗, 0, 1) с участием S ⊆ р. В равной степени это и подгруппа из (р, +, 0) и субмоноид из (р, ∗, 1).

Примеры

Кольцо Z и его коэффициенты Z/пZ не имеют подколец (с мультипликативной идентичностью), кроме полного кольца.

Каждое кольцо имеет единственное наименьшее подкольцо, изоморфное некоторому кольцу Z/пZ с участием п неотрицательное целое число (см. характеристика). Целые числа Z соответствуют п = 0 в этом заявлении, поскольку Z изоморфен Z/0Z.

Тест подколец

В проверка подколец это теорема который гласит, что для любого кольца р, а подмножество S из р является подкольцом тогда и только тогда, когда оно закрыто при умножении и вычитании и содержит мультипликативное тождество р.

Например, кольцо Z из целые числа является подкольцом поле из действительные числа а также подкольцо кольца многочлены Z[Икс].

Расширения кольца

Если S это подкольцо кольца р, то эквивалентно р считается расширение кольца из S, записанный как р/S в обозначениях, аналогичных обозначениям для расширения полей.

Подкольцо, созданное набором

Позволять р быть кольцом. Любое пересечение подколец р снова является подкольцом р. Следовательно, если Икс любое подмножество р, пересечение всех подколец р содержащий Икс это подкольцо S из р. S это наименьшее подкольцо р содержащий Икс. («Наименьший» означает, что если Т любое другое подкольцо р содержащий Икс, тогда S содержится в Т.) S называется подкольцом р генерируется от Икс. Если S = Р, мы можем сказать, что кольцо р является генерируется от Икс.

Отношение к идеалам

Правильный идеалы - подкольца (без единицы), замкнутые как при левом, так и при правом умножении на элементы из р.

Если опустить требование, чтобы кольца имели единичный элемент, тогда подкольца должны быть только непустыми и иначе соответствовать структуре кольца, а идеалы становятся подкольцами. Идеалы могут иметь или не иметь свою собственную мультипликативную идентичность (отличную от идентичности кольца):

• Идеал я = {(z,0) | z в Z} кольца Z × Z = {(Икс,у) | Икс,у в Z} с покомпонентным сложением и умножением имеет тождество (1,0), которое отличается от тождества (1,1) кольца. Так я кольцо с единством и «подкольцо без единства», но не «подкольцо с единством» Z × Z.
• Собственные идеалы Z не имеют мультипликативной идентичности.

Если я это главный идеал коммутативного кольца р, то пересечение я с любым подкольцом S из р остается главным в S. В этом случае говорят, что я лежит над я ∩ S. Ситуация более сложная, когда р не коммутативен.

Профиль по коммутативным подкольцам

Кольцо может быть профилированным^{[требуется разъяснение]} разнообразием коммутативный подстроки, которые он содержит:

• В кватернион кольцо ЧАС содержит только комплексная плоскость как плоское подкольцо
• В кокватернион кольцо содержит три типа коммутативных плоских подкольц: двойной номер самолет, расщепленное комплексное число плоскость, а также обычная комплексная плоскость
• Кольцо вещественных матриц 3 × 3 также содержит 3-мерные коммутативные подкольца, порожденные единичная матрица и нильпотентный ε порядка 3 (εεε = 0 ≠ εε). Например, Группа Гейзенберга может быть реализовано как соединение группы единиц двух из этих нильпотентно порожденных подколец матриц 3 × 3.

Смотрите также

• Интегральное расширение
• Расширение группы
• Алгебраическое расширение
• Расширение руды

использованная литература

• Иэн Т. Адамсон (1972). Элементарные кольца и модули. Университетские математические тексты. Оливер и Бойд. С. 14–16. ISBN 0-05-002192-3.
• Страница 84 из Ланг, Серж (1993), Алгебра (Третье изд.), Ридинг, Массачусетс: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
• Дэвид Шарп (1987). Кольца и факторизация. Издательство Кембриджского университета. стр.15–17. ISBN 0-521-33718-6.