Exercise 17, § 2
Commutative Algebra, III
It is said that on an -module a linear topology is minimal if it is separated and if there does not exist a separated linear topology strictly less fine than .
a) For a separated linear topology on to be minimal it is necessary and sufficient that every filter base on , formed by affine linear varieties, and having a single adherent point, converge to this point. (To see that the condition is necessary, observe that when runs through and a fundamental system of neighbourhoods of formed by submodules, the form a filter base having the same adherent points as . To see that the condition is sufficient, remark that a filter base formed by open submodules, whose intersection is reduced to , is a fundamental system of neighbourhoods of for a separated linear topology less fine than .)
b) For the discrete topology on an -module to be minimal it is necessary and sufficient that be artinian.
c) If is minimal, the topology induced by on every closed submodule of is minimal.
Solution
No solution has been written yet.