No label defined (Q4486099)

The book under review gives a detailed introduction to the theory of topological algebras. They describe well known and new results in several classes of topological algebras, mostly in real and complex \(p\)-Banach algebras and real and complex pseudo-Michael algebras (= complete locally \(m\)-pseudoconvex Hausdorff algebras). The author of these books has used his own (not very usual) terminology. Therefore it is often rather difficult to read this book. The book under review consists of 9 Chapters, a short appendix and very short bibliography (31 books, 3 books of which have been published after 1980 and 14 articles only 1 of which has been published after 1965). Algebraic preliminaries (ideals, Jacobson radical, characters, unitization of algebras, complexification of real algebras, strictly real algebras, representations of algebras, spectrum and resolvent of elements) are presented in Chapter 1 and topological prelimiraries (topological groups, linear topological (in particular, locally bounded) spaces, topological algebras (= topological algebras with jointly continuous multiplication) and weak topological algebras (= topological algebras with separately continuous multiplication), completions, unitizations and complexifications of topological algebras and functionally continuous algebras) are given in Chapter 2. It is shown that the completion of topological algebra is a (complete) topological algebra. Special types of topological algebras are described in the Chapter 3. Several kinds of properties of quarter-norms (= seminorms, which instead of property \(p(\lambda a)= |\lambda |p(a)\) for each \(a\in A\) and each scalar \(\lambda \) have \(p(na)\leq |n|p(a)\) for each \(a\in A\) and each natural number \(n\)) and \(\rho \)-homogeneous seminorms (seminorms \(p\) for which \(p(\lambda a) = {|\lambda |^\rho }p(a)\) for each \(a\in A\) and each scalar \(\lambda \) where \(\rho \in (0,1]\)) are described and main properties of \({\mathcal P}\)-algebras (= topological algebras, the topology of which is given by the family of quarter-norms or (homogeneous or not) seminorms), \(Q\)-algebras and Waelbroeck algebras (CQ algebras in the authors terminology) are given. It is shown there that the unitization of topological algebra \(A\) is a \(Q\) algebra (Waelbroeck algebras) iff \(A\) is a \(Q\)-algebra (respectively, Waelbroeck algebra) and the complexification of real commutative \(Q\)-algebra (Waelbroeck algebra) is a \(Q\)-algebra (respectively a Waelbroeck algebra). The Arens-Banach Theorem about continuity of the quasi-inversion (inversion if \(A\) has a unit) in \(F\)-algebras is proved. Topological divisors of zero (mostly in \(p\)-Banach algebras) are studied at the end of this Chapter. The Chapter 4 is devoted to locally pseudoconvex spaces and algebras. Main properties of psedoconvex and absolutely pseudoconvex sets as well as the main properties of locally pseudoconvex spaces and algebras have been considered. It is shown that every locally bounded Hausdorff space (algebra) is a locally \(\rho \)-convex space (respectively, algebra) for some \(\rho \in (0,1]\) and every pseudo-Michael algebra is topologically isomorphic to the projective limit of locally bounded Fréchet algebras. [This result has been proved by the reviewer in ``Projective limits of topological algebras'' (in Russian), Tartu Ülik. Toim., Mat.-Mek.-Alaseid Töid. 836, 3-27 (1989)]. By this result pseudo-Michael algebras have similar properties as Michael algebras (= complete locally \(m\)-convex Hausdorff algebras). The cases of metrizable locally pseudoconvex algebras and ample locally pseudoconvex algebras (ample algebra is a topological algebra \(A\) if the topological dual of \(A\) separates the points of \(A\)) are considered separately. It is shown that the unitization of (and complexification of real) ample algebras is an ample algebra. Differentiability and analyticity of vector-valued functions, exponential and logarithmic functions, square roots and quasi-square roots of elements in topological (mostly in \(p\)-Banach) algebras, vector-valued line integrals and power series operating in topological algebras are considered in the Chapter 5. The result of Mitjagin-Rolewicz-Żelazko (every commutative locally convex Fréchet algebra on which all entire functions vanishing at 0 operate is a locally \(m\)-convex algebra) has been proved. For the case of locally pseudoconvex algebras this result does not hold by a result of \textit{Ph. Turpin} [C. R. Acad. Sci., Paris, Sér. A 270, 1686-1689 (1970; Zbl 0195.13804)]. Spectral properties of topological algebras, resolvent and pseudo-resolvent functions on topological algebras and spectral algebras (= unital algebras, spectrum of every element of which is not empty) are studied in the Chapter 6. It is shown that all unital ample (in particular, locally convex) complex Haustorff Waelbroeck algebras, all unital strictly real and complex pseudo-Michael algebras and all strictly real and complex \(p\)-Banach algebras are spectral algebras. Gelfand-Mazur Theorem for real and complex ample Waelbroeck division algebras, locally \(m\)-convex Hausdorff division algebras and \(p\)-Banach division algebras as well as the Turpin Theorem about locally \(m\)-convexity of commutative Fréchet \(Q\) algebras have been proved. Properties of normal algebras (= topological algebras in which every closed regular left (right) ideal is contained in some closed maximal regular left (right) ideal), Gelfand algebras (= non-radical algebras, every maximal regular left (right) ideal of which is contained in some closed codim-1 ideal), spectrally (topologically spectrally) Gelfand algebras (= topological algebras \(A\), for which the spectrum of each element \(a\) consists only of numbers \(\varphi (a)\) and 0 where \(\varphi \) is a character (respectively, continuous character) of \(A\)) are presented in the Chapter 7. Moreover, properties of Gelfand representations, mostly for commutative \(\rho \)-seminormed and pseudo-Michael algebras, and Gelfand-Beurling algebras (= \(\rho \)-seminormed algebras \((A,p)\) for which the spectral radius \(r(a) = {\lim_{n\to \infty }}p(a^n)^{\frac{1}{n}}\) for each \(a\in A\)) are given and La Page-Hirschfeld-. Zelazko Theorem (about commutativity of Banach algebra \(A\) with property \({\|a\|^2}\leq \|a^2\|\) for each \(a\in A\)) is generalized to the case of ample complex \(\rho \)-Banach algebras. Holomorphic functional calculus for a single element in unital complex pseudo-Michael algebras and properties of automorphisms and derivations in topological (in particular, \(\rho \)-Banach) algebras are given. The \(\rho \)-normed function algebras, their Shilov bounderies and completely regular \(\rho \)-normed (in particular \(\rho \)-Banach) algebras and the holomorphic functional calculus for several elements in complex or strictly real \(\rho \)-Banach and pseudo-Michael algebras are considered in Chapter 8. The Shilov idempotent theorem for commutative complex or strictly real pseudo-Michael (in particular \(\rho \)-Banach) algebras is proven. This result in a more general case is proven by the reviewer in his article mentioned above. The uniqueness of norm topology on real or complex \(\rho \)-Banach algebras has been studied in the last Chapter of this book.