摘要

利用群在集合上的作用的方法,建立组合数的一些新的同余式,这些同余式在证明Sylow定理与Frobenius定理等方面有广泛的应用。借鉴Gallagher的方法,运用循环群在其特定子集组成的集族上的作用,提出了四个关于组合数的同余式的基本引理,在此基础上建立了一些新的同余公式,获得了一些推广的结果,通过这些同余公式给出Frobenius定理的一种巧妙的证明,并且这些同余公式及其推广的结果都可以作为素数的性质定理。