g_(81)(q)不是k_2(q)的子群(英文)

设k2是milnor函子,φn(x)∈q[x]是分圆多项式.gn(q)表示形如{a,φn(a)}的元素组成的集合,其中a∈q.j.browkin证明了gn(q)在n=1,2,3,4或6时是k2q的子群,并且猜测对任何其它的n,gn(q)都不是群.本文证明了j.browkin猜测在n=81时是对的.