Изображение градуированной линейной карты градуировано

Позволять А быть градуированным кольцом, М , Н оцененный А -модули и ты : М Н градуированная линейная карта степени дельта . Я хочу показать это Я ( ты ) является градуированным подмодулем Н . Достаточно доказать, что Я ( ты ) порождается однородными элементами.

Позволять у е Я ( ты ) . Тогда существует Икс е М такой, что у "=" ты ( Икс ) . Мы можем написать у и Икс как единственная сумма их однородных составляющих: Икс "=" λ е Δ м λ и у "=" λ е Δ н λ . Это означает, что у "=" ты ( Икс ) "=" λ е Δ ты ( м λ ) , где ты ( м λ ) е Н λ + дельта , для всех λ е Δ .

Я не уверен, что делать в этот момент; как я могу использовать приведенные выше данные, чтобы найти производящую систему Н элементы которого однородны?

Обозначение: пусть ( А λ ) λ , ( М λ ) λ и ( Н λ ) λ быть оценками А , М и Н , соответственно.

Ответы (1)

Вы в основном уже сделали. Каждый ты ( м λ ) является однородным элементом Я ( ты ) , так вы написали у как сумма однородных элементов Я ( ты ) . То есть, Я ( ты ) порождается его однородными элементами.

(Обратите внимание, что на самом деле вам не нужно искать порождающий набор однородных элементов. Вы можете просто взять набор всех однородных элементов Я ( ты ) , и посмотрим, порождает ли этот набор все Я ( ты ) .)

Можно побеспокоить вас вопросом по теме? Нужно ли предполагать дельта можно отменить, чтобы показать, что кер ( ты ) оценивается? Я думаю, что у меня есть доказательство, которое не требует этого: рассмотрим однородные компоненты ты ( м λ ) в Н ; все это должно быть 0 так как сумма всех ты ( м λ ) равен нулю. Это показывает, что м λ е кер ( ты ) М λ для всех λ . Это неправильно?
Если дельта не подлежит отмене, некоторые из различных ты ( м λ ) может иметь одинаковую степень. Таким образом, вы не можете заключить, что они каждый 0 из того, что их сумма 0 .