Definition 2.0.1.
For the remainder of the course (except as specified), fix a prime number Define the following standard categories:
sets. abelian groups. commutative unital rings. modules over (where ).
Let denote the Jacobson radical of For an ideal of we say that is -local if if we also say that is -local.