Real Gel'fand-Mazur division algebras (Q1415109)

Summary: We show that the complexification \((\tilde{A},\tilde{\tau})\) of a real locally pseudoconvex (locally absorbingly pseudoconvex, locally multiplicatively pseudoconvex, and exponentially galbed) algebra \((A,\tau)\) is a complex locally pseudoconvex (resp., locally absorbingly pseudoconvex, locally multiplicatively pseudoconvex, and exponentially galbed) algebra and all elements in the complexification \((\tilde{A},\tilde{\tau})\) of a commutative real exponentially galbed algebra \((A,\tau)\) with bounded elements are bounded if the multiplication in \((A,\tau)\) is jointly continuous. We give conditions for a commutative strictly real topological division algebra to be a commutative real Gel'fand-Mazur division algebra.