The self homotopy set of a Hopf-space (Q4935768)

Let \(X\) be a connected CW Hopf space and \(M(X)\) the set of \(H\)-space structures on \(X\). For any based space \(A\), any \(\mu\in M(X)\) induces an algebraic loop structure \(\mu_*\) on the set \([A,X]\) of based homotopy classes of maps \(A\to X\). The author classifies the algebraic structures which arise that way in the case that \(X\) has at most three cells of positive dimension and \(A=X\). It has been known that any such \(X\) is homotopy equivalent to one of the following list of spaces \[ S^n\;\bigl( n\in\{1,3,7\} \bigr),\quad S^m \times S^n \;(m,n \in\{1,3,7\},\;m\geq n) \] \[ SO(3), SU(3), Sp(2),\quad E_n\;\bigl(n\in \{3,4, 5\}\bigr) \] where \(E_n\) is a certain principal \(S^3\)-bundle over \(S^7\). In all these cases the algebraic loop \([X,X;\mu_*]\) is actually a group \(G(X,\mu_*)\). The author gives a complete classification of all the groups \(G(X, \mu_*)\) in terms of generators and relations except of the cases \(X=S^n \times S^n\), \(n=1,3,7\). In the latter case he constructs a surjection \(f\) from \(M(S^n \times S^n)\) onto a finite list of groups such that \(f(\mu)\cong G(S^n \times S^n, \mu_*)\) but cannot show that any two groups of this list are not isomorphic.