Конечно порожденная алгебра
В математике ( конечно порожденная алгебра также называемая алгеброй конечного типа ) — это ассоциативная алгебра A над полем K , где существует конечное множество элементов a 1 ,..., an из коммутативная A такое, что каждый элемент из A A можно выразить в виде от a 1 , ..., an полинома с коэффициентами из K .
Эквивалентно, существуют элементы такой, что гомоморфизм оценок в
является сюръективным ; таким образом, применяя первую теорему об изоморфизме , .
И наоборот , для любого идеала это -алгебра конечного типа, да и любой элемент из является полиномом по смежным классам с коэффициентами в . Таким образом, мы получаем следующую характеристику конечно порожденных -алгебры [1]
- является конечно порожденным -алгебра тогда и только тогда, когда она изоморфна фактор - кольцу типа по идеалу .
Если необходимо выделить поле K то говорят, что алгебра конечно порождена над K. , Алгебры, не являющиеся конечно порожденными, называются бесконечно порожденными .
Примеры [ править ]
- Алгебра полиномов K [ x 1 ,..., x n ] конечно порождена. Алгебра полиномов в счетном и бесконечном числе образующих бесконечно порождена.
- Поле E = K ( t ) рациональных функций одной переменной над бесконечным полем K является не порожденной алгеброй над K. конечно С другой стороны, E генерируется над K элементом t одним в качестве поля .
- Если E / F — конечное расширение поля то из определений следует, что E — конечно порожденная алгебра над F. ,
- И наоборот, если E / F — расширение поля, а E — конечно порожденная алгебра над F , то расширение поля конечно. Это называется леммой Зарисского . См. также интегральное расширение .
- Если G — конечно порожденная группа то групповая алгебра KG — конечно порожденная алгебра над K. ,
Свойства [ править ]
- Гомоморфный образ . конечно порожденной алгебры сам по себе конечно порожден Однако подобное свойство для подалгебр, вообще говоря, не имеет места.
- Базисная теорема Гильберта : если A — конечно порожденная коммутативная алгебра над нётеровым кольцом то каждый идеал A A конечно порождён, или, что то же самое, , — нётерово кольцо.
с аффинными Связь разновидностями
Конечно порожденные редуцированные коммутативные алгебры — основные объекты рассмотрения в современной алгебраической геометрии , где они соответствуют аффинным алгебраическим многообразиям ; по этой причине эти алгебры также называются (коммутативными) аффинными алгебрами . Точнее, учитывая аффинное алгебраическое множество мы можем связать конечно порожденный -алгебра
называется аффинным координатным кольцом ; более того, если является регулярным отображением между аффинными алгебраическими множествами и , мы можем определить гомоморфизм -алгебры
затем, — контравариантный функтор из категории аффинных алгебраических множеств с регулярными отображениями в категорию приведенных конечно порожденных -алгебры: этот функтор оказывается [2] быть эквивалентностью категорий
и, ограничиваясь аффинными многообразиями (т. е. неприводимыми аффинными алгебраическими множествами),
алгебры против алгебр типа конечного Конечные
Напомним, что коммутатив - алгебра является кольцевым гомоморфизмом ; тот - модульная структура определяется
Ан -алгебра называется конечным, если оно конечно порождено как -модуля, т.е. существует сюръективный гомоморфизм -модули
Опять же, существует характеристика конечных алгебр в терминах частных [3]
- Ан -алгебра конечен тогда и только тогда, когда он изоморфен фактору путем - субмодуль .
По определению, конечный -алгебра имеет конечный тип, но обратное неверно: кольцо многочленов имеет конечный тип, но не конечен.
Конечные алгебры и алгебры конечного типа связаны с понятиями конечных морфизмов и морфизмов конечного типа .
Ссылки [ править ]
- ^ Кемпер, Грегор (2009). Курс коммутативной алгебры . Спрингер. п. 8. ISBN 978-3-642-03545-6 .
- ^ Гёрц, Ульрих ; Ведхорн, Торстен (2010). Алгебраическая геометрия I. Схемы с примерами и упражнениями . Спрингер. п. 19. дои : 10.1007/978-3-8348-9722-0 . ISBN 978-3-8348-0676-5 .
- ^ Атья, Майкл Фрэнсис ; Макдональд, Ян Грант (1994). Введение в коммутативную алгебру . ЦРК Пресс. п. 21. ISBN 9780201407518 .