On Inverse Transversals of Ordered Regular Semigroups

We first consider an ordered regular semigroup S in which every element has a biggest inverse and determine necessary and sufficient conditions for the subset S ^○ of biggest inverses to be an inverse transversal of S. Such an inverse transversal is necessarily weakly multiplicative. We then investigate principally ordered regular semigroups S with the property that S ^○ is an inverse transversal. In such a semigroup we determine precisely when the set S ^☆ of biggest pre-inverses is a subsemigroup and show that in this case S ^☆ is itself an inverse transversal of a subsemigroup of S. The ordered regular semigroup of 2 × 2 boolean matrices provides an informative illustrative example. The structure of S, when S ^☆ is a group, is also described.     

On the Multiplicative Quasi-Adequate Transversals of an Abundant Semigroup

In this article, we explore the multiplicative quasi-adequate transversals of an abundant semigroup. Let S be an abundant semigroup with multiplicative quasi-adequate transversals. Then the product of any two multiplicative quasi-adequate transversals is also a multiplicative quasi-adequate transversal. Moreover, all multiplicative quasi-adequate transversals of S form a rectangular band. Let S°and S ^? be multiplicative quasi-adequate transversals of S, and let δ°(δ^?) be the δ-relation on S°(S ^?). Then there exists a bijection ? from S°/δ°onto S ^?/δ^?. In particular, if δ°and δ^? are congruences, then the bijection ? is an isomorphism.     

On the number of words in the language {w σ W = w}

Let S be the set of all palindromes over Σ^*. It is well known, that the language S² is an ultralinear, inherently ambiguous context-free language. In this paper we derive an explicit expression for the number of words of length n in S². Furthermore, we show, that for card(Σ) > 1 the asymptotical density of the language S² is zero and that, in the average, each word w of length n in S² has exactly one factorization into two palindromes for large n; the variance is zero for large n. Finally, we compute an expression for the structure-generating- function T(S²;z) of the language S²; it remains the open problem, if T(S²;z) is a transcendental or an algebraic function.     

An existence theorem for compressible viscous and heat conducting fluids

We consider an initial-boundary value problem of a flow of a viscous and heat-conducting gas in a bounded domain D ? R³. We assume that the boundary S of D consists of two disjoint surfaces S¹ and S² of class C², and that the gas enters D through the surface S¹ and leaves D through the surface S². Our aim is to prove the existence (locally in time) of a solution of the problem in anisotropic Sobolev spaces.     

Biflatness of semigroup algebras

We shall study the biflatness of the convolution algebra ℓ ¹(S) for a semigroup S. We show that for any semigroup S such that ℓ ¹(S) is biflat the canonical partial ordering on the idempotents must be uniformly locally finite. We use this to characterize the biflatness of ℓ ¹(S) for an inverse semigroup S.     

Invariant semigroups of orthodox semigroups

We consider, in a right inverse semigroupS with a multiplicative inverse transversalS ^o, the notion of anS ^o-invariant subsemigroup and use this to describe all the left amenable orders definable onS. The results obtained, together with their duals, are used to prove that ifS is an orthodox semigroup with a multiplicative inverse transversalS ^o, then every amenable order onS ^o can be extended to a unique amenable order onS. NATO Collaborative Research Grant 910765 is gratefully acknowledged. The second-named author also gratefully acknowledges support from the Calouste Gulbenkian Foundation, Lisbon.     

An extension theorem for periodic transformations of surfaces. I

For a given simplicial periodic transformationT of the compact orientable surfaceS, subject to certain constraints onT, a simplicial embedding ofS in the 3-dimensional sphereS ³ is defined and an orthogonal periodic transformationt ofS ³ such thatt/f(S) is equivalent toT is also defined.     

Arens multiplication on Banach algebras related to locally compact semigroups

Let S be a locally compact semigroup, let ω be a weight function on S, and let M_a (S, ω) be the weighted semigroup algebra of S. Let L^∞₀ (S;M_a (S, ω)) be the C^*‐algebra of allM_a (S, ω)‐measurable functions g on S such that g /ω vanishes at infinity. We introduce and study an Arens multiplication on L^∞₀ (S;M_a (S, ω))^* under which M_a (S, ω) is a closed ideal. We show that the weighted measure algebra M (S, ω) plays an important role in the structure of L^∞₀ (S;M_a (S, ω))^*. We then study Arens regularity of L^∞₀ (S;M_a (S, ω))^* and ist relation with Arens regularity of M_a (S, ω), M (S, ω) and the discrete convolution algebra ℓ¹(S, ω). As the main result, we prove that L^∞₀ (S;M_a (S, ω))^* is Arens regular if and only if S is finite, or S is discrete and Ω is zero cluster. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Homotopiemengen von Multiplikationen auf Sphären und ihre algebraische Struktur

In an earlier paper [E4] we introduced an algebraic structure on sets of homotopy classes [S ^p ×S ^q ;S ⁿ ], given by the reflecting product on spheresS ⁿ , which makes these sets symmetric groupoids. In this article we determine precisely the algebraic structure of the symmetric groupoids ([S ⁿ ×S ⁿ ;S ⁿ ], ) forn 1, 3, 7.

     

E-special Ordered Regular Semigroups

An ordered regular semigroup S is E-special if for every x ∈ S there is a biggest x ⁺ ∈ S such that both xx ⁺ and x ⁺ x are idempotent. Every regular strong Dubreil–Jacotin semigroup is E-special, as is every ordered completely simple semigroup with biggest inverses. In an E-special ordered regular semigroup S in which the unary operation x → x ⁺ is antitone the subset P of perfect elements is a regular ideal, the biggest inverses in which form an inverse transversal of P if and only if S has a biggest idempotent. If S ⁺ is a subsemigroup and S does not have a biggest idempotent, then P contains a copy of the crown bootlace semigroup.     

On semidistributive rings

Let S be a non-commutative associative ring with an identity element and G be a finite group of ring automorhphisms of S. By exploiting Morita Theory, a bijection between subsets of SpecS and spec(S^G ) is constructed. This Morita formulation is shown to be equivalent to a much more natural definition of the bijection, one in which the strong relationship between the rings S and S^G is clearly manifest. Indeed, the bijection is shown to have implications for a number of ring-theoretic properties of rings S and S^G . One such property being prime rank. A topological treatment of the bijection using quotient Zariski topologies yields a homeomorphism which exhibits the structural similarities between S and S ^G. The final section is devoted to a special case: charS - q, q prime, and G a q-group. In this case, it is shown that a prime ideal of the skew group ring S*G is uniquely determined by its intersection with R.     

A-Solvability and Mixed Abelian Groups

An abelian group A is an S-group (S ⁺-group) if every subgroup B ≤ A of finite index is A-generated (A-solvable). This article discusses some of the differences between torsion-free S-groups and mixed S-groups, and studies (mixed) S- and S ⁺-groups, which are self-small and have finite torsion-free rank.     

Bordism-Finiteness and Semi-simple Group Actions

We give bordism-finiteness results for smooth S ³-manifolds. Consider the class of oriented manifolds which admit an S ¹-action with isolated fixed points such that the action extends to an S ³-action with fixed point. We exhibit various subclasses, characterized by an upper bound for the Euler characteristic and properties of the first Pontryagin class p ₁, for example p ₁ = 0, which contain only finitely many oriented bordism types in any given dimension. Also we show finiteness results for homotopy complex projective spaces and complete intersections with S ³-action as above.     

Perfectness of Conelike *–Semigroups in ℚk

Let S be an abelian *–semigroup in ℚ^k. We give a sufficient condition for every positive definite function on S to have a unique representing measure on the dual semigroup of S (i.e. S is perfect). To characterize perfectness for any abelian *–semigroupis a challenging, but not yet generally solved problem. In this paper, we characterize the structure of involutions on an abelian *–semigroup which is a subset of ℚ^k, and show that any conelike *–semigroups in ℚ^k are perfect.     

Dense Subsets of H1/2(S2, S1)

We prove that the maps from S ² intoS ¹ having a finite number of isolated singularities ofdegree ±1 are dense for the strong topology inH ^1/2(S ², S ¹). We also prove that smooth maps are densein H ^1/2(S ², S ¹)for the sequentially weak topology andthat this is no more the case in H ^s (S ², S ¹) for s> 1/2.     

A problem about the weak Hilbert property

In this paper, we prove the main result: Let both (K, S) and (K ^*,S ^*) be preordered fields, and let (K ^*,S ^*) be a finitely generated extension of (K, S). IfK ^* is transcendental overK, then (K ^*,S ^*) has the weak Hilbert property. This result answers negatively an open problem posed by the author in reference [1]. Moreover, some results on the weak Hilbert property are established. Project supported by National Natural Science Foundation of China     

Minimal entropy and collapsing with curvature bounded from below

We show that if a closed manifold M admits an ℱ-structure (not necessarily polarized, possibly of rank zero) then its minimal entropy vanishes. In particular, this is the case if M admits a non-trivial S ¹-action. As a corollary we obtain that the simplicial volume of a manifold admitting an ℱ-structure is zero.?We also show that if M admits an ℱ-structure then it collapses with curvature bounded from below. This in turn implies that M collapses with bounded scalar curvature or, equivalently, its Yamabe invariant is non-negative.?We show that ℱ-structures of rank zero appear rather frequently: every compact complex elliptic surface admits one as well as any simply connected closed 5-manifold.?We use these results to study the minimal entropy problem. We show the following two theorems: suppose that M is a closed manifold obtained by taking connected sums of copies of S ⁴, ℂP ², ²,S ²×S ²and the K3 surface. Then M has zero minimal entropy. Moreover, M admits a smooth Riemannian metric with zero topological entropy if and only if M is diffeomorphic to S ⁴,ℂP ²,S ²×S ²,ℂP ²#  ² or ℂP ²# ℂP ². Finally, suppose that M is a closed simply connected 5-manifold. Then M has zero minimal entropy. Moreover, M admits a smooth Riemannian metric with zero topological entropy if and only if M is diffeomorphic to S ⁵,S ³×S ², then on trivial S ³-bundle over S ² or the Wu-manifold SU(3)/SO(3). Oblatum 13-III-2002 & 12-VIII-2002?Published online: 8 November 2002 G.P. Paternain was partially supported by CIMAT, Guanajuato, México.?J. Petean is supported by grant 37558-E of CONACYT.     

On Cycles in 3-Connected Graphs

 Let G be a 3-connected graph of order n and S a subset of vertices. Denote by δ(S) the minimum degree (in G) of vertices of S. Then we prove that the circumference of G is at least min{|S|, 2δ(S)} if the degree sum of any four independent vertices of S is at least n+6. A cycle C is called S-maximum if there is no cycle C ^′ with |C ^′∩S|>|C∩S|. We also show that if ∑⁴ _i=1 d(a _i)≥n+3+|⋂⁴ _i=1 N(a _i)| for any four independent vertices a ₁, a ₂, a ₃, a ₄ in S, then G has an S-weak-dominating S-maximum cycle C, i.e. an S-maximum cycle such that every component in G−C contains at most one vertex in S. Received: March 9, 1998 Revised: January 7, 1999     

Associative Cones and Integrable Systems

Abstract We identify ℝ⁷ as the pure imaginary part of octonions. Then the multiplication in octonions gives a natural almost complex structure for the unit sphere S⁶. It is known that a cone over a surface M in S⁶ is an associative submanifold of ℝ⁷ if and only if M is almost complex in S⁶. In this paper, we show that the Gauss-Codazzi equation for almost complex curves in S⁶ are the equation for primitive maps associated to the 6-symmetric space G₂=T², and use this to explain some of the known results. Moreover, the equation for S¹-symmetric almost complex curves in S⁶ is the periodic Toda lattice, and a discussion of periodic solutions is given. (Dedicated to the memory of Shiing-Shen Chern) * Partially supported by NSF grant DMS-0529756.     

A single supplier–single retailer system with an order-up-to level inventory policy

We consider a two-level vendor-managed system in which external demand occurs only at a retailer and a supplier replenishes the retailer employing an order-up-to S policy over T periods. We present an O(T³) algorithm to coordinate the system when S is known. We also show that S can be optimized in O(aT³) time for an input parameter a.