G_(55)(Q)不是K_2Q的子群

通过研究分圆多项式Фn（n,b）在n的两个素因子处的离散赋值,首先给出Gn（Q）是K2Q的子群时Фn（a,b）所需满足的丢番图方程,然后证明了G55（Q）不是K2Q的子群,从而部分证明了Browkin的一个猜想.     

G_(40)(Q)和G_(77)(Q)都不是K_2Q的子群

首先通过对丢番图方程的研究,给出了Gn(Q)是K2Q子群时所需满足的条件,然后利用这些结论证明了G40(Q)和G77(Q)都不是K2Q的子群,从而部分证明了Browkin的一个猜想.     

K_2Q中的有限阶子群

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

谈谈丢番图方程x~2+y~2=z~2

本文讨论了丢番图方程（1）的本原解的公式，介绍了费与（Fermat）无穷递降法，证明了丢番图方程x4±4y4=z2，x4+y2=z4无xyz≠0的解，并讨论了几个特殊的丢番图方程的解。     

丢番图方程x3+1=8y2的整数求解

为了研究丢番图方程x^3＋1=Dy^2（D〉0）的求解问题,利用唯一分解定理,证明了丢番图方程x^3＋1=8y^2仅有整数解（x,y）=（-1,0）,（23,±39）,丢番图方程x^3＋1=72y^2仅有整数解（x,y）=（-1,0）,（23,±13）,丢番图方程x^3＋1=1352y^2仅有整数解是（x,y）=（-1,0）,（23,±3）,丢番图方程x^3＋1=12168y^2仅有整数解（x,y）=（-1,0）,（23,±1）,并归纳得出了形如x^3＋1=8k^2y^2的丢番图方程的解的形式。     

仅含两个非次正规子群共轭类的有限群

主要证明了：若有限群G只含两个非次正规子群共轭类H={H1,H2,…,Hm}和K={K1,K2,…,Kn},则G可解．其中IGI含两个或三个素因子,且G满足下列情形之一： （1）G—H Q,其中H是具有循环极大子群的p-群,Q是Sylow q-子群,p,q为互不相同的素数; （2）G= Q,其中K是G的循环Sylow p-子群,Q是G的Sylow q-子群; （3）G—A B,其中A是p^mq^n阶非幂零有限内-Abel群,B是Sylow r-子群,p,q,r为互不相同的素数．     

关于Diophantine方程x^3±1=3pD1y^2

利用数论中的同余及因子分解法,研究了丢番图方程x^3±1=3pD1y^2 （其中p是奇素数,p=3（24r＋19）（24r＋20）＋1,r是正整数,D1=2^α.q,α=0或1,q为奇素数,q≡5（mod 6））的解的情况.证明了该丢番图方程无正整数解,从而推进了该类三次丢番图方程的研究.     

关于丢番图方程x^3-1=13py^2的整数解

设素数p≡1（mod12）,（p/13）=-1.关于丢番图方程x^3-1=13py^2的初等解法至今仍未解决.主要利用递归序列、同余式、平方剩余、Pell方程的解的性质,证明了丢番图方程x^3-1=13py^2仅有整数解（x,y）=（1,0）.     

关于丢番图方程px~4-（p-1）y~2=z~4

对任意的奇素数p,还没有找到给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一的初等方法,目前只解决了某类特殊的奇素数p的求解问题,例如王洪昌等人完全解决了p-1=Q2;或2Q2;或qQ2,2｜Q,q≡3（mod4）为奇素数,Q为正整数的情形.认为对某类特殊的奇素数p求解丢番图方程px4-（p-1）y2=z4,目的是对任意的奇素数p,寻找给出丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.当p=2q＋1,q≡5（mod8）,p,q为奇素数时,利用初等方法把方程px4-（p-1）y2=z4化为方程x2＋my2=z2,从而给出方程px4-（p-1）y2=z4的全部正整数解;当q为任意正整数时,上述解法仍然适用,因此对任意给定的奇素数p,实际上已经给出了丢番图方程px4-（p-1）y2=z4的全部正整数解的统一解法.     

关于一个丢番图方程x^3＋1=65y^2

利用递归数列,同余式证明了丢番图方程x^3＋1=65y^2,仅有整数解（x,y）=（-1,0）（4,±1）．     

关于丢番图方程4x^4＋py^4=z^2

利用初等方法给出丢番图方程4x^4＋py^4=z^2,当2 Q〉0,p=4Q^2＋1时的全部正整数解,从而丰富了广义费马猜想的有关结果。     

关于丢番图方程x~4-py~4=z~2

利用初等方法给出了丢番图方程x4-py4=z2,(x,y)=1,2|y当p=Q2+1,p为奇素数时的全部正整数解,从而拓展了Mordell关于x4-py4=z2的结果。     

关于不定方程x2＋11=y3

对于某些d,若Q（d）是Euclid域,则在其对应的Q（d）中算数基本定理成立.利用此来证明不定方程x2 ＋11 =y3仅有整数解（x,y）=（±58,15）.     

X-可换子群与有限群的超可解性

利用X-可换子群的概念,得到了有限群超可解的2个充分条件:(1)设G是可解群,X是G的子集且包含G的极小子群和极大子群。如果G的每个极大子群和G的sylow子群的每个极大子群在G中X-可换,那么G是超可解群;(2)设K■G,X是G的子集且包含G的p-子群。如果每个不包含K的G的极大子群在G中X-可换,那么K是超可解群。     

丢番图方程y(y+1)(y+2)(y+3)=n~2 x(x+1)(x+2)(x+3)解的研究

设n1是正整数,利用Pell方程的正整数解的一组恒等式和高次丢番图方程的结果,研究了丢番图方程y(y+1)(y+2)(y+3)=n~2x(x+1)(x+2)(x+3)的正整数解(x,y),分别在2|/n,3|x的情形下和n不同素因数的个数不超过2的情形下,证明了该方程没有正整数解(x,y).     

关于有限群的正规子群的补子群I

研讨了一个有限群的正规子群的补子群之存在性与共轭性的若干结果，主要的结果如下：设G／K是π-可解的并设日为有限群G的一个Hallπ-子群，其中π=π(K)，则有：(1)若K的每个Syylow子群Pl在G的某个含P1的Sylow子群中有补子群并且这个补子群在G中半正规，则K在G中有补子群，(2)若进一步设K在H中的所有补子群(由(1)，这些补子群存在，)在H中共轭，则K在G中的所有补子群在G中共轭。     

关于有限群的正规子群的补子群Ⅱ

研讨了关于有限群G的一个正规子群K的补子群之存在性与共轭性的更多一些的结果。主要结果如下：(1)假设K是Abel群并且K的每个Sylow子群S在G之含S的Sylow子群中有补子群，则有：(i)K在G中有补子群；(ii)若G有Hall π—子群H，其中π=π(K)，并且K在H中的所有补子群在H中是共轭的，则K在G中的所有补子群在G中是共轭的，(2)假设K是可解的并且对所有的S／K∈Syl(G／K)，K是S的一个直因子，则有：(i)K在G中有补子群；(ii)若G有Hall π—子群H，其中π=π(K)，则K在G中的所有补子群在G中共轭的充要条件是K在H中的所有补子群在H中共轭。