# Topological algebra

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A universal algebra that is a topological space such that the algebraic operations are continuous.

An algebra (in the sense of a "ring with operators" ) over a topological field or commutative ring that is a topological space in which the operations of addition and multiplication, as well as the mapping (), are continuous. A Banach algebra is an example of a topological algebra over the field of complex numbers.

The branch of algebra which studies topological algebraic structures, i.e. groups, semi-groups, rings, lattices, vector spaces, modules, and others, equipped with topologies in which the algebraic operations considered are continuous.

The notion of a topological group arose in connection with the study of groups of continuous transformations. Thus, in the second half of the 19th century, S. Lie and his school developed the theory of an important class of topological groups (groups of differentiable transformations from a manifold into itself), which were subsequently called Lie groups (cf. Lie group). The study of general topological groups began in the 1920's (cf. [1], [2]). By the early 1930's, topological groups, rings and fields were being systematically investigated.

A.N. Kolmogorov [3] developed an axiomatic approach to the study of topological projective geometries. Their classification depends essentially on the description of locally compact skew-fields (cf. Locally compact skew-field). A complete description of connected locally compact skew-fields was given in 1932 by L.S. Pontryagin (cf. [4], Chapt. 4).

Numerous problems in analysis led to the general definition of a Banach space (cf. also [5]), which motivated the systematic study of topological modules over topological rings and Banach algebras (cf. [6], [7]).

The basic branches of topological algebra at present are: topological groups and their generalizations (in particular, topological semi-groups and quasi-groups, cf. Topological group); topological rings (cf. Topological ring) (in particular, topological fields and skew-fields) and topological modules (cf. Topological module) over them (in particular, topological vector spaces, cf. Topological vector space); topological lattices (in particular, topological projective planes); and topological universal algebras (cf. [5], [8], [10], [11]).

The following lines of research in topological algebra can be distinguished: the existence of topologies in algebraic systems (groups, rings and others), to transform them into topological algebraic systems with special properties; questions about extending topologies to extensions of algebraic systems, and the possibility of imbedding them into topological algebraic systems of specific classes; properties of the topology of a topological algebraic system, in particular the possibility of specifying the topology by a metric or norm; the construction of different classes of topological algebraic systems (including the theory of radicals of a topological algebraic system); free topological algebraic systems; and questions of duality of topological algebraic systems.

#### References

 [1] O. Schreier, "Abstrakte kontinuierliche Gruppen" Abh. Math. Sem. Univ. Hamburg , 4 (1926) pp. 15–32 [2] F. Leja, "Sur la notion du groupe topologique" Fund. Math. , 9 (1927) pp. 37–44 [3] A.N. Kolmogorov, "Zur Begründung der projektiven Geometrie" Ann. of Math. , 33 (1932) pp. 175–176 [4] L.S. Pontryagin, "Topological groups" , Princeton Univ. Press (1958) (Translated from Russian) [5] N. Bourbaki, "Topological vector spaces" , Springer (1987) (Translated from French) [6] I.M. Gel'fand, D.A. Raikov, G.E. Shilov, "Commutative normed rings" , Chelsea, reprint (1964) (Translated from Russian) [7] M.A. Naimark, "Normed rings" , Reidel (1984) (Translated from Russian) [8] V.I. Arnautov, M.I. Vodinchar, A.V. Mikhalev, "Introduction to the theory of topological rings and modules" , Kishinev (1981) (In Russian) [9] V.M. Glushkov, "Structure of locally bicompact groups and Hilbert's fifth problem" Uspekhi Mat. Nauk , 12 : 2 (1957) pp. 3–41 (In Russian) [10] L.A. Skornyakov, "Topological projective planes" Trudy Moskov. Mat. Obshch. , 3 (1954) pp. 347–373 (In Russian) [11] A.I. [A.I. Mal'tsev] Mal'cev, "The metamathematics of algebraic systems, Collected papers 1936–1967" , North-Holland (1971) (Translated from Russian)