Jump to content

Конечно порожденная алгебра

В математике ( конечно порожденная алгебра также называемая алгеброй конечного типа ) — это ассоциативная алгебра A над полем K , где существует конечное множество элементов a 1 ,..., an из коммутативная A такое, что каждый элемент из A A можно выразить в виде от a 1 , ..., an полинома с коэффициентами из K .

Эквивалентно, существуют элементы такой, что гомоморфизм оценок в

является сюръективным ; таким образом, применяя первую теорему об изоморфизме , .

И наоборот , для любого идеала это -алгебра конечного типа, да и любой элемент из является полиномом по смежным классам с коэффициентами в . Таким образом, мы получаем следующую характеристику конечно порожденных -алгебры [1]

является конечно порожденным -алгебра тогда и только тогда, когда она изоморфна фактор - кольцу типа по идеалу .

Если необходимо выделить поле K то говорят, что алгебра конечно порождена над K. , Алгебры, не являющиеся конечно порожденными, называются бесконечно порожденными .

Примеры [ править ]

Свойства [ править ]

с аффинными Связь разновидностями

Конечно порожденные редуцированные коммутативные алгебры — основные объекты рассмотрения в современной алгебраической геометрии , где они соответствуют аффинным алгебраическим многообразиям ; по этой причине эти алгебры также называются (коммутативными) аффинными алгебрами . Точнее, учитывая аффинное алгебраическое множество мы можем связать конечно порожденный -алгебра

называется аффинным координатным кольцом ; более того, если является регулярным отображением между аффинными алгебраическими множествами и , мы можем определить гомоморфизм -алгебры

затем, контравариантный функтор из категории аффинных алгебраических множеств с регулярными отображениями в категорию приведенных конечно порожденных -алгебры: этот функтор оказывается [2] быть эквивалентностью категорий

и, ограничиваясь аффинными многообразиями (т. е. неприводимыми аффинными алгебраическими множествами),

алгебры против алгебр типа конечного Конечные

Напомним, что коммутатив - алгебра является кольцевым гомоморфизмом ; тот - модульная структура определяется

Ан -алгебра называется конечным, если оно конечно порождено как -модуля, т.е. существует сюръективный гомоморфизм -модули

Опять же, существует характеристика конечных алгебр в терминах частных [3]

Ан -алгебра конечен тогда и только тогда, когда он изоморфен фактору путем - субмодуль .

По определению, конечный -алгебра имеет конечный тип, но обратное неверно: кольцо многочленов имеет конечный тип, но не конечен.

Конечные алгебры и алгебры конечного типа связаны с понятиями конечных морфизмов и морфизмов конечного типа .

Ссылки [ править ]

  1. ^ Кемпер, Грегор (2009). Курс коммутативной алгебры . Спрингер. п. 8. ISBN  978-3-642-03545-6 .
  2. ^ Гёрц, Ульрих ; Ведхорн, Торстен (2010). Алгебраическая геометрия I. Схемы с примерами и упражнениями . Спрингер. п. 19. дои : 10.1007/978-3-8348-9722-0 . ISBN  978-3-8348-0676-5 .
  3. ^ Атья, Майкл Фрэнсис ; Макдональд, Ян Грант (1994). Введение в коммутативную алгебру . ЦРК Пресс. п. 21. ISBN  9780201407518 .

См. также [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 8ead242bece316d9c1d52158e1127586__1707228780
URL1:https://arc.ask3.ru/arc/aa/8e/86/8ead242bece316d9c1d52158e1127586.html
Заголовок, (Title) документа по адресу, URL1:
Finitely generated algebra - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)