Topologically \(Q\)-algebras, more (Q657682)

Let \(E\) be a topological algebra over \(\mathbb{C}\) (with separately continuous multiplication) with nonempty set \(\hom E\) (of continuous characters of \(E\)), \(\text{Sp}_E^t(x)\) the topological spectrum of \(x\), \(\text{r}_E^t(x)\) the topological spectral radius of \(x\), \((E^\circ)^t\) the set of topologically quasi-invertible elements in \(E\) and \(E^\circ\) the set of quasi-invertible elements in \(E\). A topological algebra \(E\) is a topologically \(Q\)-algebra if \((E^\circ)^t\) is open in \(E\), and is an advertive algebra if \((E^\circ)^t=E^\circ\). Properties of topologically \(Q\)-algebras which mainly satisfy at least one of the following conditions a) Sp\(_E^t(x)=\{\varphi (x):\varphi\in \hom E\}\) or b) r\(_E^t(x)=\sup \{|\varphi (x)|:\varphi\in \hom E\}\) are considered, giving similar (or more general) results proved by reviewer and \textit{W. Żelazko} in [Proc. Est. Acad. Sci. 60, No. 3, 141--148 (2011; Zbl 1242.46058)], \textit{A. Najmi} [Bull. Greek Math. Soc. 56, 29--45 (2009; Zbl 1232.46046)] and \textit{H. Arizmendi, A. Carillo} and \textit{L. Palacios} [Contemporary Mathematics 427, 49--55 (2007; Zbl 1124.46028)]. Moreover, a new class of topological algebras \(-\) Cauchy topologically \(Q\)-algebras \(-\) is introduced and the properties of such topological algebras are studied. A topological algebra \(E\) is a Cauchy topologically \(Q\)-algebra if the set \((E^\circ)^{ct}\) of all Cauchy topologically invertible elements (that is, elements \(x\) for which there exists a Cauchy net \((x_\delta)_{\delta\in \Delta}\) such that \((x_\delta \circ x)_{\delta\in \Delta}\) and \((x\circ x_\delta)_{\delta\in \Delta}\) converge to zero) is open in \(A\). It is shown, for example, that \(E^\circ\subset (E^\circ)^{ct}\subset (E^\circ)^t\), a topological algebra \(E\) is advertibly complete if and only if \(E^\circ= (E^\circ)^{ct}\), a topological algebra \(E\) whose completion is a \(Q\)-algebra is a Cauchy topologically \(Q\)-algebra, and other properties. \{Reviewer's remark: in the formulation of Theorem 3.8 (conclusion \(3)\Rightarrow 1)\)) and of Corollary 3.9 the assumptions that \(E\) is \textit{advertive} (only in this case every maximal two-sided ideal of a topologically \(Q\)-algebra is closed) and \textit{every maximal two-sided ideal \(M\) is maximal as left or right ideals} (only in this case \(E/M\) is a division algebra) are omitted\}.