A topological module over a topological ring that has a basis (cf. Base) of neighbourhoods of zero consisting of submodules, and in which every centred system (or filter base, cf. also Centred family of sets) consisting of cosets with respect to closed submodules has a non-empty intersection. Every linearly-compact module is a complete topological group.
A linearly-compact module is called a linearly-compact module in the narrow sense if every continuous homomorphism onto a topological module that has a basis of neighbourhoods of zero consisting of submodules, is open (cf. Open mapping). A topological module is a linearly-compact module in the narrow sense if and only if it is a complete topological group and if every quotient module of it with respect to an open submodule is an Artinian module. In particular, an Artinian module in the discrete topology is a linearly-compact module in the narrow sense. Thus, linearly-compact modules in the narrow sense are the topological analogues of Artinian modules.
Direct products, closed submodules, quotient modules with respect to closed submodules, and continuous homomorphic images having a basis of neighbourhoods of zero consisting of submodules of linearly-compact modules (in the narrow sense) are themselves linearly-compact modules (in the narrow sense).
|||S. Lefschetz, "Algebraic topology" , Amer. Math. Soc. (1955)|
|||D. Zelinsky, "Linearly compact modules and rings" Amer. J. Math. , 75 : 1 (1953) pp. 79–90|
|[3a]||H. Leptin, "Linear kompakte Moduln und Ringe" Math. Z. , 62 (1955) pp. 241–267|
|[3b]||H. Leptin, "Linear kompakte Moduln und Ringe II" Math. Z. , 66 (1957) pp. 289–327|
A topological module over a (topological) field (ring) is said to have a linear topology if there is a base of neighbourhoods of zero consisting of submodules. A linear subvariety of is linearly compact if for every system of closed linear subvarieties of with the finite intersection property, i.e. every finite intersection of elements of is non-empty, the intersection is non-empty. Such a linear subvariety is closed.
A filtration on a group (indexed by ) is an increasing or decreasing collection of subgroups of . Let be a ring with a filtration of the underlying additive group of . Such a filtration is said to be compatible with the ring structure if for all and . A filtered ring is a ring provided with such a filtration. Now let be an -module and let be a filtration of the underlying Abelian group. This filtration is said to be compatible with the filtered ring if for all . Such a module is called a filtered module over the filtered ring . If , as is often the case, the are all -submodules of . The definitions in the article filtered module correspond to the case that all are indeed -submodules of . Using the and as a base of open neighbourhoods in and , linear topologies are defined on and . These are the more frequently occurring examples of linearly topologized modules and rings.
|[a1]||N. Bourbaki, "Algèbre commutative" , Eléments de mathématiques , Hermann (1961) pp. Chapt. 3. Graduations, filtrations, et topologies|
|[a2]||S. Warner, "Topological fields" , North-Holland (1989) pp. Chapt. 5, Sect.31|
Linearly-compact module. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Linearly-compact_module&oldid=17860