https://faculty.math.illinois.edu/~cmalkiew/stable.pdf
exercise.
HoSpectraの自己関手\Sigmaと\Omegaを
- \Sigma(X) = (\Sigma^\infty S^1) \wedge X
- \Omega(X) = F(\Sigma^\infty S^1, X)
と定義する。
このとき、これらは随伴になる。
実際、
[\Sigma X, Y] = [(\Sigma^\infty S^1) \wedge X, Y] = [X, F(\Sigma^\infty S^1, Y)] = [X, \Omega Y]
である。
これを用いて群構造を定めることができるらしいが、よく分からない