Let $k$ be a field, $K$ a finite extension of $k$, and $K_{n}^{M}(K)$ the $n$-th Milnor K-group of $K$, that is, $$ K_{n}^{M}(K)=K^{\times}\otimes_{\mathbb{Z}}\cdots\otimes_{\mathbb{Z}} K^{\times}/I, $$ where $I$ is the subgroup generated by $\{a_{1}\otimes\cdots\otimes a_{n}\mathrel{\vert}a_{i}+a_{j}=1 \text{ for some }i\neq j \}$.

**Question:** Is there a Hopf algebra $A$ over $k$ such that ${\rm Hom}_{k}(A,K)=K_{n}^{M}(K)$? In other words, are Milnor K-groups affine algebraic groups?

Of course when $n=1$, we can take $A=k[t^{\pm}]$. So I am interested in the case of $n\geq 2$. Do you have any positive or negative answers about this?

plausiblyrepresentable: I think that the set of generators is indeed representable, and then you just need the free group they generate to be available… $\endgroup$