A compactification of the algebra of terms (Q1239183)

Let \(Q_\sigma\) be the absolutely free algebra of terms of a given similarity type \(\sigma\). As a natural completion of \(Q_\sigma\) the algebra \(R_\sigma\) of generalized infinite terms is constructed. The main result is: Theorem 3. There exists a compact Hausdorff topology on \(R_\sigma\) in which all the operations of \(Q_\sigma\) (and \(R_\sigma\) of course) are continuous. Corollary 4 states that \(R_\sigma\) is equationally compact. The paper is concluded by some related problems.