WikiDer > Рядом с кольцом
В математика, а близкий к кольцу (также возле кольца или же приближение) является алгебраическая структура похожий на звенеть но удовлетворяет меньше аксиомы. Почти кольца возникают естественным образом из функции на группы.
Алгебраические структуры |
---|
Определение
А набор N вместе с двумя бинарные операции + (называется добавление) и ⋅ (называется умножение) называется (правым) близкий к кольцу если:
- A1: N это группа (не обязательно абелевский) под дополнением;
- A2: умножение ассоциативный (так N это полугруппа при умножении); и
- A3: умножение справа распределяет сверх сложения: для любого Икс, у, z в N, выполняется (Икс + у)⋅z = (Икс⋅z) + (у⋅z).[1]
Точно так же можно определить оставили близкий к кольцу заменой правого закона распределения A3 соответствующим законом распределения слева. В литературе встречаются как правые, так и левые близкие кольца; например, книга Пильца[2] использует правые почти кольца, в то время как книга Глины[3] использует левые ближние кольца.
Непосредственное следствие этого односторонний закон распределения в том, что верно, что 0⋅Икс = 0, но не обязательно, что Икс⋅0 = 0 для любого Икс в N. Еще одно непосредственное следствие: (-Икс)⋅у = −(Икс⋅у) для любого Икс, у в N, но не обязательно, чтобы Икс⋅(−у) = −(Икс⋅у). Почти кольцо - это звенеть (не обязательно с единицей) если и только если сложение коммутативно, и умножение также распределительно по сложению на оставили. Если почти-кольцо имеет мультипликативную единицу, то дистрибутивности с обеих сторон достаточно, и коммутативность сложения следует автоматически.
Отображения группы на себя
Позволять грамм быть группой, написанной аддитивно, но не обязательно абелевский, и разреши M(грамм) - множество {ж | ж : грамм → грамм} из всех функции из грамм к грамм. Операция сложения может быть определена на M(грамм): данный ж, грамм в M(грамм), то отображение ж + грамм из грамм к грамм дан кем-то (ж + грамм)(Икс) = ж(Икс) + грамм(Икс) для всех Икс в грамм. Потом (M(грамм), +) также является группой, которая абелева тогда и только тогда, когда грамм абелева. Принимая композицию отображений как произведение ⋅, M(грамм) становится почти кольцом.
Элемент 0 ближнего кольца M(грамм) это нулевая карта, т.е. отображение, которое принимает каждый элемент грамм к элементу идентичности грамм. Аддитивная инверсия -ж из ж в M(грамм) совпадает с естественным точечно определение, то есть (-ж)(Икс) = −(ж(Икс)) для всех Икс в грамм.
Если грамм имеет как минимум 2 элемента, M(грамм) не кольцо, даже если грамм абелева. (Рассмотрим постоянное отображение грамм из грамм к фиксированному элементу грамм ≠ 0 из грамм; тогда грамм⋅0 = грамм ≠ 0.) Однако существует подмножество E(грамм) из M(грамм) состоящий из всей группы эндоморфизмы из грамм, то есть все карты ж : грамм → грамм такой, что ж(Икс + у) = ж(Икс) + ж(у) для всех Икс, у в грамм. Если (грамм, +) абелева, обе почтикольцевые операции на M(грамм) закрыты на E(грамм), и (E(грамм), +, ⋅) - кольцо. Если (грамм, +) неабелева, E(грамм) обычно не закрывается при операциях, близких к кольцу; но закрытие E(грамм) относительно почти-кольцевых операций является почти-кольцом.
Многие подмножества M(грамм) образуют интересные и полезные почти-кольца. Например:[1]
- Отображения, для которых ж(0) = 0.
- Постоянные отображения, то есть те, которые отображают каждый элемент группы в один фиксированный элемент.
- Набор карт, генерируемых сложением и отрицанием из эндоморфизмы группы («аддитивное замыкание» множества эндоморфизмов). Если G абелева, то множество эндоморфизмов уже аддитивно замкнуто, так что аддитивное замыкание - это просто множество эндоморфизмов G, и оно образует не только почти-кольцо, но и кольцо.
Другие примеры возникают, если группа имеет дополнительную структуру, например:
- Непрерывные отображения в топологическая группа.
- Полиномиальные функции на кольце с единицей относительно сложения и полиномиальной композиции.
- Аффинные отображения в векторное пространство.
Каждое почти кольцо изоморфный в подмножество M(грамм) для некоторых грамм.
Приложения
Многие приложения включают подкласс почти колец, известный как ближние поля; об этом см. статью о ближних полях.
Существуют различные применения собственных почти-колец, т.е. тех, которые не являются ни кольцами, ни почти-полями.
Самый известный из них - сбалансированные неполные блочные конструкции[2] с помощью плоских околоколец. Это способ получить разные семьи с использованием орбит группы автоморфизмов без неподвижных точек группы. Клей и другие распространили эти идеи на более общие геометрические конструкции.[3].
Смотрите также
Рекомендации
- ^ а б Г. Пильц, (1982), «Ближайшие кольца: что они собой представляют и для чего они годны» в Contemp. Математика.9. С. 97–119. Амер. Математика. Soc., Providence, R.I., 1981.
- ^ а б Г. Пильц "Около-кольца, теория и ее приложения", Северная Голландия, Амстердам, 2-е издание, (1983).
- ^ а б Дж. Клей, «Неарингс: генезис и применение», Оксфорд, (1992).
- Селестина Котти Ферреро; Джованни Ферреро (2002). Барирингс: некоторые разработки, связанные с полугруппами и группами. Kluwer Academic Publishers. ISBN 978-1-4613-0267-4.