Приложение: о группе $K_2(F)/\bigcap_{L\ge1}lK_2(F)$

Мы строим поле $F$, которое содержит первообразный корень степени $p$, такое что $p$-кручение в $K_2(F)/\bigcap_{L\ge1}lK_2(F)$ не порождается $p$-кручением в $F^*$. В доказательстве используется поле рациональных функций бесконечного произведения многообразий Севери–Брауэра, теорема Меркурьева–Суслина, теорема Суслина о кручении в $K_2(F)$ и теорема Кана.