Позволять быть градуированным кольцом, оцененный -модули и градуированная линейная карта степени . Я хочу показать это является градуированным подмодулем . Достаточно доказать, что порождается однородными элементами.
Позволять . Тогда существует такой, что . Мы можем написать и как единственная сумма их однородных составляющих: и . Это означает, что , где , для всех .
Я не уверен, что делать в этот момент; как я могу использовать приведенные выше данные, чтобы найти производящую систему элементы которого однородны?
Обозначение: пусть , и быть оценками и , соответственно.
Вы в основном уже сделали. Каждый является однородным элементом , так вы написали как сумма однородных элементов . То есть, порождается его однородными элементами.
(Обратите внимание, что на самом деле вам не нужно искать порождающий набор однородных элементов. Вы можете просто взять набор всех однородных элементов , и посмотрим, порождает ли этот набор все .)
Фальк
Эрик Вофси