https://www.math.cornell.edu/~hatcher/VBKT/VB.pdf S^{2k}はH-spaceでないことがK(S^{2k})の構造からわかる。 \mu:S^{2k} \times S^{2k} \to S^{2k}が存在するとすると、K-ringの準同型 \mu^*:Z[c]/(c^2) \to Z[a,b]/(a^2,b^2)を誘導する。 i:S^{2k} \to e…