1: \begin{definition}

2: For any $\lambda=(\lambda_1 \geq \lambda_2 \geq \lambda_3)$ and integers $i,j$, we define the groups

3: \[ H^i_{\rm Iw}(\mathrm{Sh}_{\G}(K'_{\infty}), \mathcal{W}^{\lambda}_\zp(j)) := \varprojlim_{n, m \geq 1} H^i_{\et}(\mathrm{Sh}_{\G}(K'_{n, m}), \mathcal{W}^{\lambda}_\zp(j)), \] where the inverse limit for $n$ is taken with respect to the natural trace maps and the inverse limit for $m$ is taken with respect to the map $\tilde{\eta}_{p,*}^\lambda$ of Theorem \ref{cyclnormrelation}.

4: \end{definition}

5: