Symbol Length of Classes in Milnor $K$-groups

Abstract

Given a field $F$, a positive integer $m$ and an integer $n\ge 2$, we prove that the symbol length of classes in Milnor's $K$-groups $K_{n}F/2^m{K}_{n}F$ that are equivalent to single symbols under the embedding into $K_{n}F/2^{m+1}{K}_{n}F$ is at most $2^{n-1}$ under the assumption that $F\supseteq \hat{I}{¼}_{2^{m+1}}$. Since for $n=2$, $K_{2}F/2^m{K}_{2}F\cong {}_{2^m}Br(F)$, this coincides with the upper bound of $2$ for the symbol length of central simple algebras of exponent $2^m$ that are Brauer equivalent to a single symbol algebra of degree $2^{m+1}$ proved by Tignol in 1983. We also consider the cases where the embedding into $K_{n}F/2^{m+1}{K}_{n}F$ is of symbol length 2, 3 and 4 (the latter when $n=2$). We finish with studying the symbol length of classes in $K_3/3^m{K}_{3}F$ whose embedding into $K_{3}F/3^{m+1}{K}_{3}F$ is one symbol when $F\supseteq \hat{I}{¼}_{3^{m+1}}$.