on a ring $A$
A topology on a ring for which there is a fundamental system of neighbourhoods of zero consisting of left ideals (in this case the topology is said to be left linear). Similarly, a topology on a left $A$-module $E$ is linear if there is a fundamental system of neighbourhoods of zero consisting of submodules. The most extensively used is the adic topology, a basis of which is given by the powers of an ideal.
A separable linearly topologized $A$-module $E$ is called a linearly-compact module if any filter basis (cf. Filter) consisting of affine linear varieties of $E$ (that is, subsets of the form $x+E'$, where $x\in E$ and $E'$ is a submodule of $E$) has a limit point. Any module of finite type over a complete local Noetherian ring is linearly compact.
|||N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)|
Gabriel topologies on rings are examples of linear topologies; these appear in the theory of localization (cf. Localization in a commutative algebra) or torsion theory. Gabriel topologies correspond to Serre localizing subcategories of the category of left modules over the ring.
|[a1]||J.S. Golan, "Localization of noncommutative rings" , M. Dekker (1975)|
|[a2]||B. Stenström, "Rings of quotients" , Springer (1975)|
|[a3]||F. Van Oystaeyen, A. Verschoren, "Reflectors and localization. Application to sheaf theory" , M. Dekker (1979)|
|[a4]||J. Lambek, "Torsion theories, additive semantics and rings of quotients" , Lect. notes in math. , 77 , Springer (1971)|
Linear topology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Linear_topology&oldid=32938