Abstract This paper is a contribution to understanding what properties should topological algebra on Stone space satisfy be profinite. We reformulate and simplify proofs for some known using syntactic congruences. also clarify the role of various alternative ways describing congruences, namely by finite sets terms compact continuous self mappings algebra.

We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational semantics: Classical Domain Theory being introduced by Scott, and well-established and developed since; Topological Domain Theory being a generalization in which topologies more general than the Scott-topology are admitted....

We survey the present trends in theory of universal arrows to forgetful functors from various categories of topological algebra and functional analysis to categories of topology and topological algebra. Among them are free topological groups, free locally convex spaces, free Banach-Lie algebras, and more. An accent is put on relationship of those constructions with other areas of mathematics an...

The structure of the automorphism group of a simple TAI algebra is studied. In particular, we show that Inn(A) Inn0(A) is isomorphic (as a topological group) to an inverse limit of discrete abelian groups for a unital, simple, AH algebra with bounded dimension growth. Consequently, Inn(A) Inn0(A) is totally disconnected. Another consequence of our results is the following: Suppose A is the tran...

Extended BRST invariance (BRST plus anti-BRST invariances) provides in principle a natural way of introducing the complete gauge fixing structure associated to a gauge field theory in the minimum representation of the algebra. However, as it happens in topological Yang Mills theory, not all gauge fixings can be obtained from a symmetrical extended BRST algebra, where antighosts belong to the sa...

Our aim is to establish the Lebesgue decomposition for strongly-bounded elements in a topological group. In 1963 Richard Darst established a result giving the Lebesgue decomposition of strongly-bounded elements in a normed Abelian group with respect to an algebra of projection operators. Consequently, one can establish the decomposition of strongly-bounded additive functions defined on an algeb...

We describe a new first-order formulation of D = 11 supergravity which shows that that theory can be understood to arise from a certain topological field theory by the imposition of a set of local constraints on the fields, plus a lagrange multiplier term. The topological field theory is of interest as the algebra of its constraints realizes the D = 11 supersymmetry algebra with central charges...

We introduce the notion of the Fourier and Fouier-Stieltjes algebra of a topological ∗-semigroup and show that these are commutative Banach algebras. For a class of foundation semigroups, we show that these are preduals of von Neumann algebras. 1. Definitions and Notations Let S be a locally compact topological semigroup and M(S) be the Banach algebra of all bounded regular Borel measures μ on ...

Motivated by research on how topology may be a helpful foundation for building information modeling (BIM), a relational database version of the notions of chain complex and chain complex morphism is defined and used for storing cw-complexes and their morphisms, hence instances of building projects and different views upon them, into relational databases. In many cases, this can be done without ...