Bourbaki

Exercise 17, § 2

Commutative Algebra, III

It is said that on an AA-module EE a linear topology C\mathscr{C} is minimal if it is separated and if there does not exist a separated linear topology strictly less fine than C\mathscr{C}.

a) For a separated linear topology C\mathscr{C} on EE to be minimal it is necessary and sufficient that every filter base B\mathscr{B} on EE, 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 MM runs through B\mathscr{B} and VV a fundamental system of neighbourhoods of 00 formed by submodules, the M+VM + V form a filter base having the same adherent points as B\mathscr{B}. To see that the condition is sufficient, remark that a filter base formed by open submodules, whose intersection is reduced to 00, is a fundamental system of neighbourhoods of 00 for a separated linear topology less fine than C\mathscr{C}.)

b) For the discrete topology on an AA-module EE to be minimal it is necessary and sufficient that EE be artinian.

c) If C\mathscr{C} is minimal, the topology induced by C\mathscr{C} on every closed submodule of EE is minimal.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.