Example 2
Tag 0BNJ, permanent. Cite it as [Bourbaki, Tag 0BNJ].
General Topology, chapter III, § 6. Topological groups with operators; topological rings division rings and fields
Let be a ring and let be a filter base on consisting of two-sided ideals of ; let be a left -module. If we give the topology (compatible with its ring structure) for which is a fundamental system of neighbourhoods of (no. 3, Example 3), and the topology (compatible with its additive group structure) in which the sets , as runs through , form a fundamental system of neighbourhoods of (, no. 2, Example), it is immediately verified that is a topological -module.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.