Higher homotopy commutativity in localized groups (Q1895780)

We generalize the results of McGibbon on homotopy commutativity [\textit{C. A. McGibbon}, Am. J. Math. 106, No. 3, 665-687 (1984; Zbl 0574.55004)] to higher homotopy commutativity in the sense of \textit{F. D. Williams} [Trans. Am. Math. Soc. Math. 139, 191-206 (1969; Zbl 0185.271)]. The main results obtained are the following, where in both cases the type also means that the rationalization is homotopy equivalent to \((S^{2n_ 1 -1}\times \cdots\times S^{2n_ l -1} )_{(0)}\): Theorem A. Let \(G\) be a 1-connected, compact, simple Lie group, different from \(G_ 2\) at \(p=5\), of type \((2n_ 1, \dots, 2n_ l)\) where \(n_ 1\leq \cdots\leq n_ l\), and let \(k\geq 2\) be an integer. Then (i) If \(p> kn_ l\) then \(G_{(p)}\) is a \(C_ k\)-space; (ii) If \(p< kn_ l\) when \(G_{(p)}\) is not a \(C_ k\)-space, except in the case \(\text{Sp} (2)\), or equivalently \(\text{Spin}(5)\) at \(p=3\) and \(k=2\). And we also prove for finite loop spaces and loop multiplications: Theorem B. Let \((X, \mu)\) be a loop space where \(X\) has the homotopy type of 1-connected, \(p\)-local CW-complex, with type \((2n_ 1,\dots, 2n_ l)\) where \(n_ 1\leq \dots \leq n_ l\), and let \(k\geq 2\) be an integer. Then (i) If \(p> kn_ l\) then \((X,\mu)\) is a \(C_ k\)-space; (ii) If \(n_ l<p <kn_ l\) then \((X, \mu)\) is not a \(C_ k\)-space.