Dejar ser un anillo graduado, calificado -módulos y un mapa lineal graduado de grado . quiero mostrar eso es un submódulo graduado de . Es suficiente probar que es generado por elementos homogéneos.
Dejar . Entonces existe tal que . Podemos escribir y como suma única de sus componentes homogéneos: y . Esto implica que , dónde , para todos .
No estoy seguro de qué hacer en este momento; ¿Cómo puedo usar los datos anteriores para encontrar un sistema generador de cuyos elementos son homogéneos?
Notación: Sea , y ser las calificaciones de y , respectivamente.
Básicamente ya has terminado. Cada es un elemento homogéneo de , por lo que ha escrito como una suma de elementos homogéneos de . Eso es, es generado por sus elementos homogéneos.
(Tenga en cuenta que realmente no necesita encontrar un conjunto generador de elementos homogéneos. Simplemente puede tomar el conjunto de todos los elementos homogéneos de , y ver si este conjunto genera todos .)
falq
eric wofsey