La imagen de un mapa lineal graduado está clasificada

Dejar A ser un anillo graduado, METRO , norte calificado A -módulos y tu : METRO norte un mapa lineal graduado de grado d . quiero mostrar eso Soy ( tu ) es un submódulo graduado de norte . Es suficiente probar que Soy ( tu ) es generado por elementos homogéneos.

Dejar y Soy ( tu ) . Entonces existe X METRO tal que y = tu ( X ) . Podemos escribir y y X como suma única de sus componentes homogéneos: X = λ Δ metro λ y y = λ Δ norte λ . Esto implica que y = tu ( X ) = λ Δ tu ( metro λ ) , dónde tu ( metro λ ) norte λ + d , para todos λ Δ .

No estoy seguro de qué hacer en este momento; ¿Cómo puedo usar los datos anteriores para encontrar un sistema generador de norte cuyos elementos son homogéneos?

Notación: Sea ( A λ ) λ , ( METRO λ ) λ y ( norte λ ) λ ser las calificaciones de A , METRO y norte , respectivamente.

Respuestas (1)

Básicamente ya has terminado. Cada tu ( metro λ ) es un elemento homogéneo de Soy ( tu ) , por lo que ha escrito y como una suma de elementos homogéneos de Soy ( tu ) . Eso es, Soy ( tu ) 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 Soy ( tu ) , y ver si este conjunto genera todos Soy ( tu ) .)

¿Puedo molestarte con una pregunta relacionada? ¿Es necesario asumir d es cancelable para demostrar que ker ( tu ) se califica? Creo que tengo una prueba que no requiere esto: Considere los componentes homogéneos de tu ( metro λ ) en norte ; estos deben ser todos 0 ya que la suma de todos tu ( metro λ ) es cero Esto muestra que metro λ ker ( tu ) METRO λ para todos λ . ¿Esto esta mal?
Si d no es cancelable, algunos de los diferentes tu ( metro λ ) puede tener el mismo grado. Entonces no puedes concluir que son cada uno 0 del hecho de que su suma es 0 .