Комутативне кільце
| Алгебричні структури |
|---|
Комутативне кільце — кільце, в якому операція множення є комутативною.
Вивченням кілець взагалі займається теорія кілець (частина абстрактної алгебри).
Вивченням комутативних кілець, їх ідеалів та їх модулів займається комутативна алгебра (на комутативній алгебрі базуються алгебрична геометрія та алгебрична теорія чисел).
Деякі підвиди комутативних кілець (перечислені в порядку від загальніших до більш спеціалізованих):
- комутативне кільце ⊃ область цілісності ⊃ цілозамкнута область ⊃ факторіальне кільце ⊃ кільце головних ідеалів ⊃ евклідове кільце ⊃ поле.
Визначення[ред. | ред. код]
Кільце це множина R з двома бінарними операціями, що називають додавання та множення і позначаються символами "+" і "⋅". Одиничні елементи цих операцій позначають як 0 і 1, відповідно.
Щоб утворювати кільце, ці операції повинні задовільняти властивості:
- R є абелевою групою відносно додавання;
- R є моноїдом відносно множення,
- множення є дистрибутивним відносно додавання; a ⋅ (b + c) = (a ⋅ b) + (a ⋅ c).
Якщо множення є комутативним, тобто
- a ⋅ b = b ⋅ a,
тоді кільце R називають комутативним.
Приклади[ред. | ред. код]
Важливим прикладом, в певному сенсі вирішальним, є кільце цілих чисел Z із двома операціями додавання і множення. Оскільки множення цілих чисел є комутативною операцією, це комутативне кільце. Воно зазвичай позначається Z, що є скороченням німецького слова Zahlen (числа).
Поле це комутативне кільце, де і кожен не нульовий елемент a є інвертованим; тобто, має мультиплікативне обернене число b, таке що a ⋅ b = 1. Тому, за визначенням, будь-яке поле є комутативним кільцем. Раціональні, дійсні і комплексні числа утворюють поля.
Якщо R це дане комутативне кільце, тоді множина всіх поліномів для змінної X, коефіцієнти якого належать R утворюють кільце поліномів, що позначається як R[X]. Те саме буде виконуватися і для декількох змінних.
Якщо V це деякий Топологічний простір, наприклад підмножина деякої Rn, неперервні функції над V дійсних або комплексних змінних утворюють комутативне кільце. Те саме буде вірним і для диференційовних або голоморфні функції, коли обидва поняття визначені такими, що є комплексним многовидом для V.
Оборотний елемент[ред. | ред. код]
...
Модуль над кільцем[ред. | ред. код]
...
Ідеал кільця[ред. | ред. код]
...
Див. також[ред. | ред. код]
Джерела[ред. | ред. код]
- Зарисский О., Самюэль П. Коммутативная алгебра. — Москва : ИЛ, 1963. — Т. 1. — 373 с.(рос.)
- Бурбаки Н. Коммутативная алгебра. — Москва : Мир, 1971. — С. 707. — (Елементи математики)(рос.)
|
Це незавершена стаття з математики. Ви можете допомогти проєкту, виправивши або дописавши її. |