Кільце Нетер
Кільце Нетер — в абстрактній алгебрі це таке асоціативне кільце з одиницею для якого справджується наступне твердження: нехай маємо деяку зростаючу послідовність ідеалів кільця:
тоді існує таке для якого:
Якщо ідеали в означенні ліві, то кільце називається лівим кільцем Нетер, якщо праві - правим кільцем Нетер. Якщо твердження виконується і для лівих і для правих ідеалів то кільце просто називається кільцем Нетер. Дані кільця названі на честь німецького математика Еммі Нетер (нім. Emmy Noether).
Альтернативні означення
ред.Наступні два твердження є еквівалентними до означення кільця Нетер і, відповідно, самі можуть бути означеннями:
- Деяке кільце A є кільцем Нетер тоді й лише тоді коли кожна непуста множина його ідеалів має максимальний елемент.
- Деяке кільце A є кільцем Нетер тоді й лише тоді коли кожен його ідеал є скінченно породженим. Тобто для кожного ідеалу кільця існують такі елементи , що .
Приклади
ред.Приклади кілець Нетер:
- Будь-яке поле, зокрема раціональні, дійсні та комплексні числа.
- Кільце цілих чисел.
- Кільце многочленів з скінченною кількістю змінних і цілочисельними коефіцієнтами
чи коефіцієнтами з деякого поля.
Приклади кілець, що не є кільцями Нетер
- Кільце многочленів, з нескінченною кількістю змінних.
- Кільце неперервних функцій з множини дійсних функцій в множину дійсних функцій.
Властивості
ред.- Теорема Гільберта про базис: для довільного кільця Нетер A кільце многочленів є кільцем Нетер.
- Якщо A є кільцем Нетер то будь-яке фактор-кільце по двохсторонньому ідеалу є кільцем Нетер
Див. також
ред.Література
ред.- Атья М., Макдональд И. Введение в коммутативную алгебру. — Москва : Мир, 1972. — 160 с.(рос.)
- Зарисский О., Самюэль П. Коммутативная алгебра. — Москва : ИЛ, 1963. — Т. 1. — 373 с.(рос.)
- Ленг С. Алгебра. — Москва : Мир, 1968. — 564 с. — ISBN 5458320840.(рос.)