双重伪补代数的假值理想的一点注记

介绍了双重伪补代数的假值理想和假值同余的概念,并刻画了它们的某些性质.特别地,给出了双重伪补代数的假值理想和假值同余的特征表示.     

双循环半群上的同余关系

从双循环半群的同余关系出发,讨论了幂等元所在的同余类,证明了双循环半群上的一类同余ρd(d∈N)与其逆子半群之间的相互唯一确定关系,并对这种同余做成的集合进行了刻画,证明了这种同余做成的格与自然数集在某种偏序下做成的格同构,得到了一些有意义的结果.     

Ramanujan-type congruences for broken 2-diamond partitions modulo 3

The notion of broken k-diamond partitions was introduced by Andrews and Paule.Let△k(n)denote the number of broken k-diamond partitions of n.Andrews and Paule also posed three conjectures on the congruences of△2(n)modulo 2,5 and 25.Hirschhorn and Sellers proved the conjectures for modulo 2,and Chan proved the two cases of modulo 5.For the case of modulo 3,Radu and Sellers obtained an infinite family of congruences for△2(n).In this paper,we obtain two infinite families of congruences for△2(n)modulo 3 based on a formula of Radu and Sellers,a 3-dissection formula of the generating function of triangular number due to Berndt,and the properties of the U-operator,the V-operator,the Hecke operator and the Hecke eigenform.For example,we find that△2(243n+142)≡△2(243n+223)≡0(mod 3).The infinite family of Radu and Sellers and the two infinite families derived in this paper have two congruences in common,namely,△2(27n+16)≡△2(27n+25)≡0(mod 3).     

关于丢番图方程x~3±1=3·2~αpD_1y~2

设D_1=multiply from i=1 to s q_i(s=1或2),q_i≡-1(mod6)(i=1,2,…,s)是彼此不同的奇素数,p≡1(mod6)为奇素数.运用初等方法讨论了丢番图方程x~3±1=3·2~αpD_1y~2(α=0或1)的正整数解的情况.     

一类循环系的平坦性

设Ｓ是幺半群,ｘ_１,ｘ₂,…∈Ｓ且满足ｘ_i+１ｘ_i＝ｘ_i,ｉ＝１,２……ｙ是S中的任意元素,记H={(yx_i,x_i)|i=1,2,…}.设ρ(H)是S的由Ｈ生成的最小右同余,本文证明了S／ρ（Ｈ）是平坦右Ｓ－系．     

Fuzzy Good Congruences on Left Semiperfect Abundant Semigroups

Motivated by studying fuzzy congruences in groups, semigroups, and ordered semigroups, and as a continuation of N. Kuroki and Y. Tan's works in regular semigroups in terms of fuzzy subsets, in this article we introduce the notions of a fuzzy good congruence relation, a fuzzy cancellative congruence relation on abundant semigroups, and give some properties, and characterizations of fuzzy good congruences on such semigroups. Furthermore, we characterize fuzzy good congruences of left semiperfect abundant semigroups, and get sufficient and necessary conditions for an abundant semigroup to be left semiperfect.     

A proposal for a variation on the axioms of classical geometry

A set of axioms for classical absolute geometry is proposed that is accessible to students new to axioms. The metric axioms adopted are the ruler axiom, triangle inequality and the bisector axiom. Angle measure is derived from distance, and all properties needed to establish a consistent system are derived. In particular, the SAS congruence theorem is proved. The proofs are broken into many small steps suitable for the target audience. Some explorations with geometry drawing programmes are shown.     

Congruence numerical ranges and their radii

The earliest congruence numerical range was introduced by Thompson in 1980. Since then, congruence numerical ranges and their radii have been studied by some authors. The purpose of this article is to discuss several aspects of this subject. We survey some known results and propose some problems for furthur study. A few new results are also presented.     

A note on unimodular congruence of the Laplacian matrix of a graph

Let G be a simple connected graph and L(G) be its Laplacian matrix. In this note, we prove that L(G) is congruent by a unimodular matrix to its Smith normal form if and only if G is a tree.