Topological module
In mathematics, a topological module is a module over a topological ring such that scalar multiplication and addition are continuous.
01Examples
A module topology is the finest topology such that scalar multiplication and addition are continuous. A finitely generated module topology is a topological ring. Note that this general definition of a module topology does not need to have a ring structure, it merely needs the existence of addition and scalar multiplication.
A topological vector space is a topological module over a topological field.
An abelian topological group can be considered as a topological module over where
is the ring of integers with the discrete topology.
A topological ring is a topological module over each of its subrings.
A more complicated example is the -adic topology on a ring and its modules. Let
be an ideal of a ring
The sets of the form
for all
and all positive integers
form a base for a topology on
that makes
into a topological ring. Then for any left
-module
the sets of the form
for all
and all positive integers
form a base for a topology on
that makes
into a topological module over the topological ring
Sources and credits
This article is adapted from the Wikipedia article “Topological module”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.