Namespaces
Variants
Actions

Difference between revisions of "Linear topology"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
''on a ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595101.png" />''
+
{{TEX|done}}
 +
''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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595102.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595103.png" /> is linear if there is a fundamental system of neighbourhoods of zero consisting of submodules. The most extensively used is the [[Adic topology|adic topology]], a basis of which is given by the powers of an ideal.
+
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|adic topology]], a basis of which is given by the powers of an ideal.
  
A separable linearly topologized <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595104.png" />-module <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595105.png" /> is called a [[Linearly-compact module|linearly-compact module]] if any filter basis (cf. [[Filter|Filter]]) consisting of affine linear varieties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595106.png" /> (that is, subsets of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595107.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595108.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l0595109.png" /> is a submodule of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l059/l059510/l05951010.png" />) has a limit point. Any module of finite type over a complete local Noetherian ring is linearly compact.
+
A separable linearly topologized $A$-module $E$ is called a [[Linearly-compact module|linearly-compact module]] if any filter basis (cf. [[Filter|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.
  
 
====References====
 
====References====

Latest revision as of 19:21, 14 August 2014

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.

References

[1] N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)


Comments

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.

References

[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)
How to Cite This Entry:
Linear topology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Linear_topology&oldid=32938
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article