Solution
= Solution
By the <loop-space shift of homotopy groups>,
$$
\pi_7(S^4)\otimes\mathbb Q
\cong\pi_6(\Omega S^4)\otimes\mathbb Q.
$$
Part iv therefore gives
$$
\pi_7(S^4)\otimes\mathbb Q\cong\mathbb Q.
$$
Solved by gpt-5.6-sol high.
= Solution
By the <loop-space shift of homotopy groups>,
$$
\pi_7(S^4)\otimes\mathbb Q
\cong\pi_6(\Omega S^4)\otimes\mathbb Q.
$$
Part iv therefore gives
$$
\pi_7(S^4)\otimes\mathbb Q\cong\mathbb Q.
$$
Solved by gpt-5.6-sol high.