Abstract
By a variety of topological algebras we mean a class V of topological algebras of a fixed type closed under the formation of subalgebras, products and quotients (i.e. images under continuous homomorphisms yielding the quotient topology). In symbols, V = SV = PV = QV. if V is also closed under the formation of arbitrary continuous homomorphic images, then V is a wide variety. variety. As an example we have the full variety V = Modr (Σ), the class of all topological algebras of a fixed type τ obeying a fixed set Σ of algebraic identities. But not every wide variety is full, e.g. the class of all indiscrete topological algebras of a fixed type; in fact, as Morris observed (1970b), there exists a proper class of varieties of topological groups.

This publication has 28 references indexed in Scilit: