The inverse limit is the submodule of the direct product consisting of compatible families:Its projection to sends to ; these projections satisfy the universal property of an inverse limit.
Two decreasing filtrations of a module and are equivalent when each contains a fixed shift of the other: there are such thatfor every .
For an -filtration, , so . If it is stable from onward, thenIt is therefore equivalent to the I-adic filtration. Any two stable -filtrations are consequently equivalent to each other.
No. Give the x-adic filtration , take , and let . At the intersection filtration giveswhereas the induced filtration of givesThus intersection with a submodule need not equal the induced filtration.
Yes. Scalar multiplication in the quotient module gives directlyHence the displayed filtration is precisely the induced filtration.
Work modulo . Putand let be the image of in . The separating condition modulo says that is injective, so we may regard as a submodule of .
Since , some power annihilates . Apply the Artin-Rees lemma to and the principal ideal . There is such that for every ,For , the right side is zero. Pulling the equality back to givesas required.
Articles by others on the same topic
There are currently no matching articles.