Helly-type theorems for homothets of planar convex curves

Helly's theorem implies that if is a finite collection of (positive) homothets of a planar convex body , any three having non-empty intersection, then has non-empty intersection. We show that for collections of homothets (including translates) of the boundary , if any four curves in have non-empty intersection, then has non-empty intersection. We prove the following dual version: If any four points of a finite set in the plane can be covered by a translate [homothet] of , then can be covered by a translate [homothet] of . These results are best possible in general.

     

On the Operator Semirings of a Γ-Semiring

In this paper we introduce the notion of operator semirings of a -semiring to study -semirings. It is shown that the lattices of all left (right) ideals (two-sided ideals) of a -semiring and its right (respectively left) operator semiring are isomorphic. This has many applications to characterize various -semirings.AMS Subject Classification (2000): 16Y60, 16Y99     

The Lattice of Deductive Systems on Hilbert Algebras

The concept of deductive system on a Hilbert algebra was introduced by A. Diego. We show that the set Ded A of all deductive systems on a Hilbert algebra A forms an algebraic lattice which is distributive.AMS Classification (2000): 06F35, 03G25, 08A30     

Generalized Bicyclic Semigroups and Jones Semigroups

In this paper, we consider the generalized bicyclic semigroups B_n = a, b | aⁿb = 1 and the Jones semigroups A_n = a, b | aⁿ⁺¹b = a. They are the generalizations of the bicyclic semigroup B = a, b | ab = 1 and its analogous semigroup A = a, b | a²b = a discovered by P.R., Jones in 1987. The word problem for these kinds of semigroups is solved. It is proved that, for n 2, B_n are bisimple right inverse but not inverse semigroups and that the semigroup C = a, b | a²b = a, ab² = b is the smallest idempotent-free homomorphic image of A_n. Moreover, we also prove that A_n and A_m are mutually embeddable but not isomorphic with each other if n m. As a consequence, different kind of -nontrivial [0-]simple semigroups without idempotents are discussed.AMS 1991 Subject Classification: primary 20M10 secondary 20M05.Supported by NNSF of China (19671063) and KSRF of Sichuan Education Committee ([1999]127).     

Some Congruences on S (X)

Some congruences on S (X) are investigated in this paper. A unique atom in the sublattice [C(E), C (E)] is determined for some spaces X and S-equivalences E and X.AMS Subject Classification (1991): 20M20 54H15     

NOTES ON GLAISHER＇S CONGRUENCES

Let p be an odd prime and let n≥1,k≥0 and r be integers,denote by Bk the kth Bernoulli number,It is proved that(i) If r≥1 is odd and suppose 1≥r+4,then ∑j=1^p-1 1/(np+j)^r=-(2n+1)r(r+1)/2(r+2)Bp-r-2p^2(mod p^3).(ii)If r≥2 is even and suppose p≥r+3, then p-1∑j=1 1/(np+j)^r=r/r+1Bv-r-1p(mod P^2).(iii) p-1∑j=1 1/(np+j)p-2=-(2n+1)p(mod P^2).This result generalizes the Glaisher‘s congruence. As a corollary, a generalization of the Wolsten-holme‘s theorem is obtained.     

On subnormal subgroups of linear groups

We describe the subnormal subgroups of 2-dimensional linear groups over local and full rings in which 2 is invertible, as well as the subnormal subgroups of symplectic groups over local rings in which 2 is invertible.     

《数书九章》大衍类算题中的数论命题

《数书九章》是我国著名数学家南宋秦九韶撰写(公元1247年)。青年时他“侍亲中都(临安,今杭州市)因得访习于太史(国家天文历法官员)”。《数书九章》有“大衍总数术”以处理天文历法问题,系统论述同余式解法,这在我国历史上是第一次,在世界数学史上也是创举。 本文用整数论知识来检验《数书九章》中有关解同余式算题(大衍类)题文、术文、草文以及清代学者所作注文的得失,使对我国传统数学在这一领域内的工作有,较系统的认识。     

两个分块矩阵合同的充要条件

利用矩阵方程,给出了两个分块矩阵O AB C与O AB O合同的一个充分必要条件.     

Semiring unions of a ring and a half-body

We describe the structure of semirings which are unions of a ring and a half-body.