Compact semitopological inverse Clifford Semigroups

An inverse Clifford Semigroup is a semilattice of groups. Conditions are given for constructing a compact semitopological (separately continuous multiplication) inverse Clifford semigroup on a compact Hausdorff semilattice. The conditions are necessary and sufficient for decomposing a compact inverse Clifford semigroup containing a dense subgroup and locally compact maximal groups into its semilattice of groups. A catalogue of examples is given to demonstrate the construction while exhibiting various pathologies. This work was supported in part by the S.R.C.     

On sums of powers of inverse complete quotients

For an irrational number , let denote its -th continued fraction inverse complete quotient, obtained by deleting the first partial quotients. For any positive real number , we establish the optimal linear bound on the sum of the -th powers of the first complete quotients. That is, we find the smallest constants such that for all and all irrationals .

     

Ordered groupoid quotients and congruences on inverse semigroups

We introduce a preorder on an inverse semigroup S associated to any normal inverse subsemigroup N, that lies between the natural partial order and Green’s \({\mathcal {J}}\)–relation. The corresponding equivalence relation \(\simeq _N\) is not necessarily a congruence on S, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisation of any inverse semigroup homomorphism into a composition of a quotient map and a star-injective functor, and that this decomposition implies a classification of congruences on S. We give an application to the congruence and certain normal inverse subsemigroups associate to an inverse monoid presentation.     

Semigroups of right quotients of a semigroup which is a semilattice of groups

Let S be a semigroup with zero which is a semilattice of groups. In [6], McMorris showed that the semigroup of quotients Q=Q(S) corresponding to the filter of “dense” right ideals of the semigroup S is also a semilattice of groups. He accomplished this by noting that Q is a regular semigroup in which all idempotents are central, an equivalent formulation of a semilattice of groups. In this paper we develop the semigroup of quotients Q corresponding to an arbitrary right quotient filter on S (as defined herein) and note the above result in this more general setting by explicitly constructing a semigroup which is isomorphic to Q. We also see that the underlying semilattice for Q in this case is isomorphic to a semigroup of quotients of the original semilattice for the semigroup S.     

One-sided Grothendieck quotients

We introduce one-sided thick subcategories of an arbitrary preadditive category and define a quotient category . When is abelian, this concept specializes to Grothendieck’s quotient for two-sided thick . We determine the left noetherian rings for which the injective modules form a left thick subcategory. We exhibit a class of one-sided thick subcategories in categories of coherent functors which are ubiquitous in representation theory. Received: 14 November 2006 Revised: 12 March 2007     

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

Singularities of ball quotients

We prove a result on the singularities of ball quotients ${\Gamma\backslash\mathbb{C}{H^n}}$ by an arithmetic group. More precisely, we show that a ball quotient has at most canonical singularities under certain restrictions on the dimension n and the underlying lattice. We also extend this result to the toroidal compactification.     

广义双循环半群和Jones半群

本文刻画了广义双循环半群Ｂｎ＝〈ａ,ｂ｜ａ＾ｎｂ＝１〉和Ｊｏｎｅｓ半群Ａｎ＝〈ａ,ｂ｜ａ＾ｎ＋１ｂ＝ａ〉（ｎ≥１）的结构;证明了每个Ａｎ都具有Ｐ．Ｒ．Ｊｏｎｅｓ所发现的半群Ａ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ〉的所有重要性质,特别地,证明了Ａｎ,Ａｍ可互相嵌入,从而得到：第三个Ｄ－非平凡的无幂等元「０－」单半群若不含Ｃ＝〈ａ,ｂ｜ａ＾２ｂ＝ａ,ａｂＴ＾２＝ｂ〉,则必含每个Ａｎ或它们的对偶,作为推论,每人广义     

一类Clifford半群的幂半群

Let S =∪（Gα ： α ∈ E） be a semilattice of groups（i.e., a Cliford semigroup） and n a natural number. E is called an n-element chain of groups if it is an n-element chain. Denote by Cn the set of all n-element chains of groups. In this paper we shall show that for any natural number n, the class of semigroups Cn satisfies the strong isomorphism property.     

Power Semigroups of a Class of Cliford Semigroups

Let S =∪(Gα : α∈ E) be a semilattice of groups(i.e., a Cliford semigroup) and n a natural number. E is called an n-element chain of groups if it is an n-element chain. Denote by Cn the set of all n-element chains of groups. In this paper we shall show that for any natural number n, the class of semigroups Cn satisfies the strong isomorphism property.     

Forcing with quotients

We study an extensive connection between quotient forcings of Borel subsets of Polish spaces modulo a σ-ideal and quotient forcings of subsets of countable sets modulo an ideal.     

Toric hypersymplectic quotients

We study the hypersymplectic spaces obtained as quotients of flat hypersymplectic space by the action of a compact Abelian group. These -dimensional quotients carry a multi-Hamilitonian action of an -torus. The image of the hypersymplectic moment map for this torus action may be described by a configuration of solid cones in . We give precise conditions for smoothness and non-degeneracy of such quotients and show how some properties of the quotient geometry and topology are constrained by the combinatorics of the cone configurations. Examples are studied, including non-trivial structures on and metrics on complements of hypersurfaces in compact manifolds.

     

Hurwitz ball quotients

We consider the analogue of Hurwitz curves, smooth projective curves \(C\) of genus \(g \ge 2\) that realize equality in the Hurwitz bound \(|{{\mathrm{Aut}}}(C)| \le 84 (g - 1)\) , to smooth compact quotients \(S\) of the unit ball in \(\mathbb C^2\) . When \(S\) is arithmetic, we show that \(|{{\mathrm{Aut}}}(S)| \le 288 e(S)\) , where \(e(S)\) is the (topological) Euler characteristic, and in the case of equality show that \(S\) is a regular cover of a particular Deligne–Mostow orbifold. We conjecture that this inequality holds independent of arithmeticity, and note that work of Xiao makes progress on this conjecture and implies the best-known lower bound for the volume of a complex hyperbolic \(2\) -orbifold.     

Divisibility of fermat quotients

For any ? > 0 and all primes p, with the exception of primes from a set with relative zero density, there exists a natural number a ≤ (log p)^3/2+? for which the congruence a ^p?1 ≡ 1 (modp ²) does not hold.     

A ring of quotients

Let be a radical filter in a ring R, and let the ring Q be defined by the equation Q= Hom_H (E, E), where H=Hom_R (E, E) and E is the -envelope of the ring. We show that the ring Q possesses the properties of a ring of quotients and coincides with the ring of quotients in the sense of Gabriel and Bourbaki if the annihilator of any ideal I is equal to zero.Translated from Matematicheskie Zametki, Vol. 7, No. 3, pp. 349–358, March, 1970.I wish to thank L. A. Skornyakov for his help in writing this paper.