Taylor, Walter Spaces and equations. (English) Zbl 0968.08004 Fundam. Math. 164, No. 3, 193-240 (2000). The author proves that, for many topological spaces \(A\), \(A\) carries the structure of a topological \(\Sigma\)-algebra iff an algebraic theory \(\Sigma\) is undemanding. This condition means that \(\Sigma\) is trivial in the sense that it is satisfied on every set by interpreting operation symbols either as projection functions or as constant functions. The proof uses either the fundamental group of \(A\) or the cohomology ring of \(A\). Since these constructions are homotopy-invariant, the author’s result remains valid if one takes satisfaction of equations up to homotopy. The paper thus offers a far-reaching generalization of a celebrated theorem of Adams asserting that the only spheres that are \(H\)-spaces are \(S^1\), \(S^3\) and \(S^7\). Reviewer: Jiri Rosický (Brno) Cited in 3 Documents MSC: 08B05 Equational logic, Mal’tsev conditions 22A30 Other topological algebraic systems and their representations 18C05 Equational categories 57T25 Homology and cohomology of \(H\)-spaces 57T99 Homology and homotopy of topological groups and related structures Keywords:topological space; algebraic theory; fundamental group; cohomology ring PDFBibTeX XMLCite \textit{W. Taylor}, Fundam. Math. 164, No. 3, 193--240 (2000; Zbl 0968.08004) Full Text: EuDML