On a result of Turpin (Q346896)

A topological algebra (t.a.) is a topological vector space (t.v.s.) equipped with a separately continuous associative multiplication. It is a locally convex algebra (l.c.-algebra) if the underlying t.v.s. is locally convex. A completely metrizable t.a. is said to be a \(B_0\)-algebra, its multiplication must then be jointly continuous. The authors study the following properties of an l.c.-algebra \(A\) (here \(N(A)\) denotes a basis of neighbourhoods of the zero element): {\parindent=0.9cm \begin{itemize} \item[(\(P_1\))] For each \(V\) in \(N(A)\), there is a \(U\in N(A)\) with \(u^n\subset V\) for all natural \(n\). \item[(\(P_2\))] For any \(V\in N(A)\), there is a \(U\in N(A)\) so that \({1\over n!}\sum x_{j_1}\dots x_{j_n}\in V\) for \(x_1,\dots,x_n\in U\), the summation is taken over all permutations. \item[(\(P_3\))] The topology of \(A\) can be given by means of a family \((p_\alpha)\) of seminorms, so that for each \(\alpha\) there is an index \(\beta\) with \(p_\alpha(x^n)\leq[p_\beta(x)]^n\) for all \(x\) in \(A\) and all natural \(n\). \item[(\(P_4\))] The sequence of power maps \(x\mapsto x^n\), \(x\in A\), is equicontinuous at zero. \item[(\(P_5\))] Entire functions operate on \(A\), i.e., for each entire function \(\sum a_nz^n\) the series \(\sum a_nx^n\) converges in \(A\) for all its elements \(x\). \end{itemize}} The authors show that (\(P_2\),), (\(P_3\)) and (\(P_4\)) are equivalent for all t.a. (Proposition 2.1). In the case of a unital \(B_0\)-algebra \(A\), these conditions are equivalent with (\(P_5\)) (Corollary 2.3). If the topology of \(A\) is given by means of a family (\(p_\alpha\)) of seminorms satisfying \(p_\alpha(x^2)\leq[p_\alpha(x)]^2\), then the map \(x\mapsto x^{-1}\) is continuous. If, moreover, \(A\) is a complete \(Q\)-algebra (i.e., its set of invertible elements is open), then \(A\) satisfies (\(P_4\)) and (\(P_5\)) (Proposition 2.5). For an arbitrary t.a., the condition (\(P_1\)) is equivalent with the fact that \(A\) is locally idempotent, i.e., it has a basis \(N(A)\) consisting of sets satisfying \(U^2\subset U\).