K2Q中的有限阶子群

当正整数n有两个或三个不同素因子时，论文首先给出了Gn(Q)是K2Q的子群时分圆多项式Φn（a,b）所需满足的丢番图方程。然后利用所得结论，通过计算证明了G30（Q），G45（Q）,G90(Q)都不是K2Q的子群，从而部分证明了Browkin的一个猜想。