关于域的K2群的挠

设$F$是域, 记 $G_{n}(F)=\{\{a,
\Phi_{n}(a)\} \in K_{2}(F)\mid {a, \Phi_{n}(a)} \in F^{*}\},$
这里$\Phi_{n}(x)$ 是$n$次分圆多项式. 首先,
使用关于数域上的Mordell猜想的Faltings定理证明了若$F$是数域, $n\neq
1, 4, 8, 12$且含有平方因子, 则$G_{n}(F)$不是$K_{2}(F)$的子群; 然后,
使用Manin, Grauert, Samuel和李克正关于
函数域上的Mordell猜想的结果, 对代数闭域上的函数域证明了类似的结果.