Every numerical semigroup is one half of a symmetric numerical semigroup

Let be a numerical semigroup. Then there exists a symmetric numerical semigroup such that .

     

Densities of maximal embedding dimension numerical semigroups

We define the density of a numerical semigroup and study the densities of all the maximal embedding dimension numerical semigroups with a fixed Frobenius number, as well as the possible Frobenius number for a fixed density. We also prove that for a given possible density, in the sense of Wilf’s conjecture, one can find a maximal embedding dimension numerical semigroup with that density.     

The Weierstrass semigroup of a pair and moduli inM 3

We classify all the Weierstrass semigroups of a pair of points on a curve of genus 3, by using its canonical model in the plane. Moreover, we count the dimension of the moduli of curves which have a pair of points with a specified Weierstrass semigroup.This work has been supported by the Japan Society for the Promotion of Science and the Korea Science and Engineering Foundation (Project No. 976-0100-001-2). Also the first author is partially supported by Korea Research Foundation Grant (KRF-99-005-D00003).     

Continuous extension of a densely parameterized semigroup

Let be a dense sub-semigroup of ℝ₊, and let X be a separable, reflexive Banach space. This note contains a proof that every weakly continuous contractive semigroup of operators on X over can be extended to a weakly continuous semigroup over ℝ₊. We obtain similar results for nonlinear, nonexpansive semigroups as well. As a corollary we characterize all densely parametrized semigroups which are extendable to semigroups over ℝ₊. O.M. Shalit was partially supported by the Gutwirth Fellowship.     

The Weierstrass semigroup of a pair of GaloisWeierstrass points with prime degree on a curve

We describe the Weierstrass semigroup of a Galois Weierstrass point with prime degree and the Weierstrass semigroup of a pair of Galois Weierstrass points with prime degree, where a Galois Weierstrass point with degree n means a total ramification point of a cyclic covering of the projective line of degree n.*Supported by Korea Research Foundation Grant (KRF-2003-041-C20010).**Partially supported by Grant-in-Aid for Scientific Research (15540051), JSPS.     

Archimedean ordered semigroups as ideal extensions

The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup.     

Balanced subsets of a symmetric inverse semigroup

For elements in the subsets of some symmetric inverse semigroup we study the problem of equal cardinality for the sets of commuting and noncommuting elements.     

On the connectivity of the Julia set of a finitely generated rational semigroup

In this paper we show that the Julia set of a finitely generated rational semigroup is connected if the union of the Julia sets of generators is contained in a subcontinuum of . Under a nonseparating condition, we prove that the Julia set of a finitely generated polynomial semigroup is connected if its postcritical set is bounded.

     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

The rank of a commutative cancellative semigroup

Summary For a commutative cancellative semigroup S, we define the rank of S intrinsically. This definition implies that the rank of S equals the usual rank of its group of quotients. We also characterize the rank in terms of embeddability into a rational vector space of the greatest power cancellative image of S.     

Counting numerical sets with no small atoms

A numerical set S with Frobenius number g is a set of integers with min(S)=0 and max(Z−S)=g, and its atom monoid is . Let γg be the ratio of the number of numerical sets S having A(S)={0}∪(g,∞) divided by the total number of numerical sets with Frobenius number g. We show that the sequence {γg} is decreasing and converges to a number γ_∞≈.4844 (with accuracy to within .0050). We also examine the singularities of the generating function for {γg}. Parallel results are obtained for the ratio of the number of symmetric numerical sets S with A(S)={0}∪(g,∞) by the number of symmetric numerical sets with Frobenius number g. These results yield information regarding the asymptotic behavior of the number of finite additive 2-bases.     

The universal nilpotent group compactification of a semigroup

The purpose of this paper is to introduce an algebra of functions on a semitopological semigroup and to study these functions from the point of view of universal semigroup compactification. We show that the corresponding semigroup compactification of this algebra is universal with respect to the property of being a nilpotent group.

     

Independence results for weak systems of intuitionistic arithmetic

This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds in any linear Kripke model of HA satisfies PA. We construct a two‐node PA‐normal Kripke structure which does not force iΣ₂. We prove i?₁ ? i?₁, i?₁ ? i?₁, iΠ₂ ? iΣ₂ and iΣ₂ ? iΠ₂. We use Smorynski's operation Σ′ to show HA ? lΠ₁.     

The limiting semigroup of the Bernstein iterates: degree of convergence

Summary We study the degree of approximation of the iterated Bernstein operators to the members (T(t)) _{t ≧0}, of their limiting semigroup. This yields a full quantitative version of an earlier convergence result by Karlin and Ziegler.     

保等价部分变换半群的变种半群上的正则元

在现有的保等价部分变换半群的基础上,引入了一个新的运算,得出保等价部分变换半群的变种半群的概念,利用格林关系及幂等元的正则性,讨论了这类半群中元素的正则性,给出了保等价部分变换半群的变种半群中一个元是正则元的充要条件     

Small extensions of models of o-minimal theories and absolute homogeneity

We obtain some results on existence of small extensions of models of weakly o-minimal atomic theories. In particular, we find a sharp upper estimate for the Hanf number of such a theory for omitting an arbitrary family of pure types. We also find a sharp upper estimate for cardinalities of weakly o-minimal absolutely homogeneous models and a sufficient condition for absolute homogeneity.