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).     

分配格和素域生成的半环簇

Let V be the variety generated by two-element distributive lattice B2 and k prime fields Fp1,...,Fpk. That is to say that V = HSP{B2, Fp1,...,Fpk}. It is proved that the variety V is finitely based. Also, the two-element distributive lattice B2 and prime fields Fp1,..., Fpk are, up to isomorphism, the only subdirectly irreducible semirings in V. Some known results are extended and enriched.     

关于丢番图方程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)的正整数解的情况.     

Strongly Irreducible Submodules of Modules

Strongly irreducible submodules of modules are defined as follows： A submodule N of an Rmodule M is said to be strongly irreducible if for submodules L and K of M, the inclusion L ∩ K ∈ N implies that either L ∈ N or K ∈ N. The relationship among the families of irreducible, strongly irreducible, prime and primary submodules of an R-module M is considered, and a characterization of Noetherian modules which contain a non-prime strongly irreducible submodule is given.     

Relative polars in ordered sets

In the paper, the notion of relative polarity in ordered sets is introduced and the lattices of R-polars are studied. Connections between R-polars and prime ideals, especially in distributive sets, are found.     

两个模糊子半群集合之间的同态

设S,T是半群,F(S)和F_s(S)分别表示S的所有模糊子集的集合和所有模糊子半群的集合。文中,讨论了F(S)(F_s(S))和F(T)(F_s(T))之间的模糊同态,建立了模糊商子半群的概念,把分明半群的基本同态定理推广到模糊子半群。     

Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas

The study of structure systems, an abstraction of the concept of first‐order structures, is continued. Structure systems have algebraic systems as their algebraic reducts and their relational component consists of a collection of relation systems on the underlying functors. An analog of the expansion of a first‐order structure by constants is presented. Furthermore, analogs of the Diagram Lemma and the Reduction Operator Lemma from the theory of equality‐free first‐order structures are provided in the framework of structure systems. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Categorical abstract algebraic logic: The categorical Suszko operator

Czelakowski introduced the Suszko operator as a basis for the development of a hierarchy of non‐protoalgebraic logics, paralleling the well‐known abstract algebraic hierarchy of protoalgebraic logics based on the Leibniz operator of Blok and Pigozzi. The scope of the theory of the Leibniz operator was recently extended to cover the case of, the so‐called, protoalgebraic π‐institutions. In the present work, following the lead of Czelakowski, an attempt is made at lifting parts of the theory of the Suszko operator to the π‐institution framework. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)