Graded Nakayama lemma
ID: graded-nakayama-lemma
For a positively graded ring with degree-zero part a field, put . A bounded-below graded module with is zero: a nonzero homogeneous element of least degree would have to be a sum of positive-degree coefficients times elements of lower degree. Hence homogeneous lifts of a basis of generate .
New to topics? Read the docs here!