Tensor-nilpotent module

ID: tensor-nilpotent-module

An -module is tensor-nilpotent when for some positive integer . A nonzero finitely generated module cannot be tensor-nilpotent: localize at a maximal ideal in its support and reduce modulo that maximal ideal, obtaining a nonzero tensor power of a nonzero vector space.

New to topics? Read the docs here!