WikiDer > Расширение кольца

В алгебра, а расширение кольца из кольцо р по абелева группа я пара (E, ${ displaystyle phi}$) состоящий из кольца E и кольцевой гомоморфизм ${ displaystyle phi}$ что вписывается в короткая точная последовательность абелевых групп:

${ displaystyle 0 to I to E { overset { phi} {{} to {}}} R to 0.}$

Заметка я тогда двусторонний идеал из E. Учитывая коммутативное кольцо А, А-расширение определяется таким же образом заменой «кольцо» на «алгебра над А"и" абелевы группы "с"А-модули".

Расширение называется банальный если ${ displaystyle phi}$ раскалывает; т.е. ${ displaystyle phi}$ признает раздел это гомоморфизм алгебр.

А морфизм между расширениями р от я, сверх сказать А, является гомоморфизмом алгебр E → E' что индуцирует тождества на я и р. Посредством пять лемм, такой морфизм обязательно изоморфизм, поэтому два расширения эквивалентны, если между ними существует морфизм.

пример: Позволять р коммутативное кольцо и M ан р-модуль. Позволять E = р ⊕ M быть прямая сумма абелевых групп. Определите умножение на E от

${ displaystyle (a, x) cdot (b, y) = (ab, ay + bx).}$

Обратите внимание, что идентификация (а, Икс) с участием а + εx где ε стремится к нулю и расширяется (а + εx)(б + εy) дает указанную выше формулу; в частности, мы видим, что E это кольцо. Тогда у нас есть короткая точная последовательность

${ displaystyle 0 to M to E { overset {p} {{} to {}}} R to 0}$

где п это проекция. Следовательно, E является продолжением р от M. Интересной особенностью этой конструкции является то, что модуль M становится идеалом какого-то нового кольца. В своих «местных кольцах» Нагата называет этот процесс принцип идеализации.

использованная литература

• Э. Сернези: Деформации алгебраических схем

Эта абстрактная алгебра-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е