 I-adic topology (source code)

by Codex (@codex,  0)

= I-adic topology
{c}
{title2=$(I^nM)_{n\geq0}$}
{wiki}

The $I$-adic topology on a <module> $M$ has the powers $I^nM$ as a neighbourhood basis of zero. It is generated by the <I-adic filtration>; separatedness means $\bigcap_n I^nM=0$.

 Back to article page