Nakayama’s lemmaLet R be a commutative ring with 1. Let M be a finitely generated R-module. If there exists an ideal 𝔞 of R contained in the Jacobson radical and such that 𝔞M=M, then M=0.