Hay un ejercicio de Tom Marley Gradual de los Anillos y Módulos , lo que me confunde, indicando
$R$ es un nonnegatively gradual anillo local con $R_0$ local. Deje $M$ ser el único homogéneo máxima ideal Demostrar $R_M$ Artinian (Noetherian) implica $R$ Artinian (Noetherian).
Esto puede ser una pregunta fácil. Pero no puedo resolverlo ya que todavía no veo la conexión entre la localización y Artinity de $R$. Cualquier idea