scholarly journals On totally bounded universal algebras

2012 ◽  
Vol 21 (2) ◽  
pp. 151-165
Author(s):  
MITROFAN M. CHOBAN ◽  
◽  
INA D. CIOBANU ◽  

In the class of topological algebras of a given signature the notions of totally boundedness and a-pseudocompactness are introduced. A topological algebra is totally bounded if it is a subalgebra of a compact algebra. The general properties of totally bounded algebras are studied. The compactifications of topological algebras are investigated too. In particular, the problem of the continuous extension of the operation on the Stone-Cech compactification is studied.

2014 ◽  
Vol 66 (1) ◽  
pp. 205-240 ◽  
Author(s):  
Miodrag Cristian Iovanov

Abstract“Co-Frobenius” coalgebras were introduced as dualizations of Frobenius algebras. We previously showed that they admit left-right symmetric characterizations analogous to those of Frobenius algebras. We consider the more general quasi-co-Frobenius (QcF) coalgebras. The first main result in this paper is that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or right) rational dual Rat(C*) in the sense that certain coproduct or product powers of these objects are isomorphic. Fundamental results of Hopf algebras, such as the equivalent characterizations of Hopf algebras with nonzero integrals as left (or right) co-Frobenius, QcF, semiperfect or with nonzero rational dual, as well as the uniqueness of integrals and a short proof of the bijectivity of the antipode for such Hopf algebras all follow as a consequence of these results. This gives a purely representation theoretic approach to many of the basic fundamental results in the theory of Hopf algebras. Furthermore, we introduce a general concept of Frobenius algebra, which makes sense for infinite dimensional and for topological algebras, and specializes to the classical notion in the finite case. This will be a topological algebra A that is isomorphic to its complete topological dual Aν. We show that A is a (quasi)Frobenius algebra if and only if A is the dual C* of a (quasi)co-Frobenius coalgebra C. We give many examples of co-Frobenius coalgebras and Hopf algebras connected to category theory, homological algebra and the newer q-homological algebra, topology or graph theory, showing the importance of the concept.


1986 ◽  
Vol 28 (1) ◽  
pp. 31-36 ◽  
Author(s):  
P. Fletcher ◽  
W. F. Lindgren

The notation and terminology of this paper coincide with that of reference [4], except that here the term, compactification, refers to a T1-space. It is known that a completely regular totally bounded Hausdorff quasi-uniform space (X, ) has a Hausdorff compactification if and only if contains a uniformity compatible with ℱ() [4, Theorem 3.47]. The use of regular filters by E. M. Alfsen and J. E. Fenstad [1] and O. Njåstad [5], suggests a construction of a compactification, which differs markedly from the construction obtained in [4]. We use this construction to show that a totally bounded T1 quasi-uniform space has a compactification if and only if it is point symmetric. While it is pleasant to have a characterization that obtains for all T1-spaces, the present construction has several further attributes. Unlike the compactification obtained in [4], the compactification given here preserves both total boundedness and uniform weight, and coincides with the uniform completion when the quasi-uniformity under consideration is a uniformity. Moreover, any quasi-uniformly continuous map from the underlying quasi-uniform space of the compactification onto any totally bounded compact T1-space has a quasi-uniformly continuous extension to the compactification. If is the Pervin quasi-uniformity of a T1-space X, the compactification we obtain is the Wallman compactification of (X, ℱ ()). It follows that our construction need not provide a Hausdorff compactification, even when such a compactification exists; but we obtain a sufficient condition in order that our compactification be a Hausdorff space and note that this condition is satisfied by all uniform spaces and all normal equinormal quasi-uniform spaces. Finally, we note that our construction is reminiscent of the completion obtained by Á. Császár for an arbitrary quasi-uniform space [2, Section 3]; in particular our Theorem 3.7 is comparable with the result of [2, Theorem 3.5].


1972 ◽  
Vol 6 (2) ◽  
pp. 161-167 ◽  
Author(s):  
R.J. Loy

Let B be a topological algebra with Fréchet space topology, A an algebra with locally convex topology and an algebra of formal power series over A in n commuting indeterminates which carries a Fréchet space topology. In a previous paper the author showed, for the case n = 1, that a homomorphism of B into whose range contains polynomials is necessarily continuous provided the coordinate projections of into A satisfy a certain equicontinuity condition. This result is here extended to the case of general n, and also to weaker topological assumptions.


Author(s):  
M. El Azhari

Abstract The uniform norm on a uniform normed Q-algebra is the only uniform Q-algebra norm on it. The uniform norm on a regular uniform normed Q-algebra with unit is the only uniform norm on it. Let A be a uniform topological algebra whose spectrum M(A) is equicontinuous, then A is a uniform normed algebra. Let A be a regular semisimple commutative Banach algebra, then every algebra norm on A is a Q-algebra norm on A.


1979 ◽  
Vol 22 (4) ◽  
pp. 413-418 ◽  
Author(s):  
T. Husain

The notion of sequential topological algebra was introduced by this author and Ng [3], Among a number of results concerning these algebras, we showed that each multiplicative linear functional on a sequentially complete, sequential, locally convex algebra is bounded ([3], Theorem 1). From this it follows that every multiplicative linear functional on a sequential F-algebra (complete metrizable) is continuous ([3], Corollary 2).


1975 ◽  
Vol 18 (1) ◽  
pp. 143-145 ◽  
Author(s):  
L. T. Gardner ◽  
P. Milnes

AbstractA theorem of M. Katětov asserts that a bounded uniformly continuous function f on a subspace Q of a uniform space P has a bounded uniformly continuous extension to all of P. In this note we give new proofs of two special cases of this theorem: (i) Q is totally bounded, and (ii) P is a locally compact group and Q is a subgroup, both P and Q having the left uniformity.


1978 ◽  
Vol 18 (3) ◽  
pp. 475-480 ◽  
Author(s):  
B.J. Day

Aspects of duality relating to compact totally disconnected universal algebras are considered. It is shown that if P is a ““basic“ set of injectives in a variety of compact totally disconnected algebras then the category P of P-copresentable objects is in duality with the class of all G-copresentable algebras on P, where G: P → Ens is the forgetful functor and an algebra is taken to mean a finite-product-preserving functor from P to Ens.


1969 ◽  
Vol 1 (3) ◽  
pp. 419-424 ◽  
Author(s):  
R.J. Loy

Let A be an algebra of formal power series in one indeterminate over the complex field, D a derivation on A. It is shown that if A has a Fréchet space topology under which it is a topological algebra, then D is necessarily continuous provided the coordinate projections satisfy a certain equicontinuity condition. This condition is always satisfied if A is a Banach algebra and the projections are continuous. A second result is given, with weaker hypothesis on the projections and correspondingly weaker conclusion.


2017 ◽  
Vol 31 (1) ◽  
pp. 71-81
Author(s):  
Mohammed El Azhari

Abstract Let E be a complete uniform topological algebra with Arens-Michael normed factors within an algebra isomorphism ϕ. If each factor Eα is complete, then every multiplier of E is continuous and ϕ is a topological algebra isomorphism where M(E) is endowed with its seminorm topology.


1977 ◽  
Vol 17 (3) ◽  
pp. 391-399 ◽  
Author(s):  
Gerard A. Joseph

Every multiplicative linear functional on a pseudocomplete locally convex algebra satisfying the “sequential” property of Husain and Ng is bounded (a topological algebra is called “sequential” if every null sequence contains an element whose powers converge to zero). Characterizations of such algebras are given, with some examples.


Sign in / Sign up

Export Citation Format

Share Document