软代数的理想和同余关系

本文刻划了使软代数Ｆ的任意二元ａ，ｂ在一个同余类的最小同余关系（定理１），Ｆ的理想可以成为某个同余关系的核的充分必要条件（定理２），以Ｆ的同余理想Ｉ为核的最小和最大的同余关系（定理３）．     

分配伪补格的主理想

本给出了分配伪补格（Ｌ;∧,∨,＊,０,１）中的主理想Ｉ＝（ｄ」成为同余理想的充分必要条件。当Ｌ是局部有限时（即Ａｄ∈Ｓ（Ｌ）,Ｆｄ＝｛ｘ│ｘ＾＊＊＝ｄ｝有限）,对骨架Ｓ（Ｌ）中的每个元素ｄ,我们找到了以Ｉ＝（ｄ」为核心的最小同余关系,利用以上结果我们得到一个Ｓｔｏｎｅ代数是布尔代数的一些等价条件。     

De Morgan代数同余格的性质

以弱射影为工具，得到了ＤｅＭｏｒｇａｎ代数的主同余关系的刻划，在此基础上证明了同余格θ（Ｌ）为原子的充要条件是Ｌ为弱原子的。然后通过引进极小商的概念，描述了θ（Ｌ）是布尔格的Ｄｅ Ｍｏｒｇａｎ代数Ｌ。     

Fuzzy格的F—同态与W—理想（Ⅰ）

本文讨论了Ｆｕｚｚｙ格的Ｗ－理想在Ｆ－同态下的一些性质，得到如下主要结果：设ψ：Ｆ→Ｆ为Ｆｕｚｚｙ满同态，Ｊ为Ｆ的一个理想，Ｊ＝ψ＾－１（Ｊ）．（１）若Ｊ为Ｆ的Ｗ－理想，则Ｊ为Ｆ之间余理想，且Ｆ／θ（Ｊ）≌Ｆ／θ（Ｊ），（２）若Ｊ为Ｆ的同余理想，而Ｋｅｒψ为Ｆ的Ｗ－理想。则Ｆ／θ（Ｊ）≌Ｆ／θ（Ｊ），且Ｊ为Ｆ的ＷＳ－理想＝Ｊ为Ｆ的Ｗ－理想；（３）若Ｆ为二元Ｆｕｚｚｙ格，则Ｋｅｒψ是Ｆ的Ｗ－素理想。     

关于W-Fuzzy格与W-理想

本文讨论了Ｆｕｚｙ格的Ｗ理想的一些基本性质。主要结果有：（１）对于一般的Ｆｕｚｙ格，给出了一个同余理想为Ｗ理想的若干充分条件和充要条件，所得结果是文［３］中相应结果在一般Ｆｕｚｙ格中的推广，从而完整地回答了文［３］中提出的一个问题；（２）对于Ｆｕｚｙ格下的同余素理想Ｐ，我们得到：Ｐ为Ｆ的Ｗ理想Ｆ／θ（Ｐ）为ＷＦｕｚｙ格；此时，Ｆ的的任一包含Ｐ的同余理想均为Ｗ理想。     

W－理想与W－软代数

本文给出了Ｗ－理想与Ｗ－软代数的定义，主要结果有（Ⅰ）：（ｄ］，（ｄ＿１］分别是软代数Ｆ的同余理想，ｄ＿１≥ｄ，若（ｄ］是Ｗ－理想，则（ｄ＿１］是Ｗ－理想。（Ⅱ）：分别给出了软代数Ｆ，商软代数Ｆ／θ、软代数的直积Ｆ＝ПＦ＿ｉ是Ｗ－软代数的充分必要条件。     

Г—半群的根同余—（3）

对于Ａ．ｓｅｔｈ（１９８９）定义的正则Ｒｅｅｓ矩阵Г－半群μ＾０，本文讨论了基根同余，得出（（ａ）ｉμ，（ｂ）μ）∈ＪГ（μ＾０）当且仅当λ＝μ，且ｑω。     

MS-代数的理想和同余关系

给出了MS-代数L的理想I=(d]可以成为某个同余关系核的充要条件;分别给出了以L的理想I=(d]为核的最小同余关系及最大同余关系的充要条件．     

弱射影与De Morgan代数的同余关系

本文借助弱射影和弱透视的概念刻划了Ｄｅ Ｍｏｒｇａｎ代数的同余关系,由此得到了Ｋａｌｍａｎ关于Ｄｅ Ｍｏｒｇａｎ代数次直不可约定理的一个新的证明并证明了一个完全分配的Ｄｅ Ｍｏｒｇａｎ代数的同余理想与同余关系一一对应的充要条件是Ｌ为弱可补的。     

关于算术平均和几何平均的加权算术平均和加权几何平均

设Ｇ（ａ，ｂ），Ａ（ａ，ｂ）和Ｌ（ａ，ｂ）分别是两不相等正数ａ和ｂ的几何平均、算术平均和对数平均．本文得以下两重要结论①Ｌ＜ｐＧ＋（１－ｐ）Ａ成立的充要条件为－∞＜ｐ≤２３；②ＧｐＡ１－ｐ＜Ｌ成立的充要条件为２３≤ｐ＜＋∞．     

New Congruences for the Partition Function

Let p(n) denote the number of unrestricted partitions of a non-negative integer n. In 1919, Ramanujan proved that for every non-negative n Recently, Ono proved for every prime m 5 that there are infinitely many congruences of the form p(An+B)0 (mod m). However, his results are theoretical and do not lead to an effective algorithm for finding such congruences. Here we obtain such an algorithm for primes 13m31 which reveals 76,065 new congruences.     

Divisibility of Certain Partition Functions by Powers of Primes

Let be the prime factorization of a positive integer k and let b _k (n) denote the number of partitions of a non-negative integer n into parts none of which are multiples of k. If M is a positive integer, let S _k (N; M) be the number of positive integers N for which b _k(n ) 0(mod M). If we prove that, for every positive integer j In other words for every positive integer j, b _k(n) is a multiple of for almost every non-negative integer n. In the special case when k=p is prime, then in representation-theoretic terms this means that the number ofp -modular irreducible representations of almost every symmetric groupS _n is a multiple of p ^j. We also examine the behavior of b _k(n) (mod ) where the non-negative integers n belong to an arithmetic progression. Although almost every non-negative integer n (mod t) satisfies b _k(n) 0 (mod ), we show that there are infinitely many non-negative integers n r (mod t) for which b _k(n) 0 (mod ) provided that there is at least one such n. Moreover the smallest such n (if there are any) is less than 2 .     

Extension of a Theorem of Kiming and Olsson for the Partition Function

Some congruence properties of the partition function are proved.     

A new proof of the Ramanujan congruences for the partition function

Let p(n) denote the number of partitions of n. Recall Ramanujan’s three congruences for the partition function,

A “Generalized Trace Formula” for Bell numbers

The nth Bell number B_n is the number of ways to partition a set of n elements into nonempty subsets. We generalize the “trace formula” of Barsky and Benzaghou [1], which asserts that for an odd prime p and an appropriate constant τ_p, the relation B_n=-Tr(^n-1-τ_p)B_τp holds in , where is a root of and is the trace form. We deduce some new interesting congruences for the Bell numbers, generalizing miscellaneous well-known results including those of Radoux [4].     

Classification of Plane Congruences in 4 C4 (I)

Nondegenerate plane congruences in the four-dimensional complex projective space with degenerate general focal conic are classified by using the focal method due to Corrado Segre.     

High order moments of character sums

We establish the upper bound

with a prime and any positive integer, the sum being over all nonprincipal multiplicative characters .

     

单模数多变量二次同余方程组的求解及其在信息安全中的应用

根据二次同余理论,利用当P=5mod8,n^（p-1）/4=±1modp时,方程X^2=nmodP的解有具体表达式这一事实,设计了基于多变量二次同余方程组实现的密码体系。数值算例证明,该类密码体系是可行的,体系信息冗余且是一次一密的,要依赖于解密策略的交互确认,所以该类密码体系是安全的。     

On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra

We prove some representation theorems for lattices and their lower subsemilattices as the lattices of congruences and subsemilattices of first-order definable congruences of universal algebras.     

关于指数丢番图方程$(a^m-1)(b^n-1)=x^2$的注记

Let a and b be fixed positive integers.In this paper,using some elementary methods,we study the diophantine equation（a~m-1）（b~n-1）= x~2.For example,we prove that if a ≡ 2（mod 6）,b ≡ 3（mod 12）,then（a~n-1）（b~m-1）= x~2 has no solutions in positive integers n,m and x.