1: \begin{definition}

2: 	Let $\defm{PK^*(G; \mathbb{Q})}$ be the primitive vector space of $K^*(G; \mathbb{Q})$. By abuse of notation, we use $\defm{\widehat{P}}$ to denote the \defd{$K$-theoretic Samelson space} of $G/K$, i.e. $\text{im}(j^*)\cap PK^*(G; \mathbb{Q})$ where $j^*$ is the map $K^*(G/K; \mathbb{Q})\to K^*(G; \mathbb{Q})$ (cf. Theorem \ref{thm:HGKstructure} (\ref{Samsubsp})). 

3: \end{definition}

4: