Bands of weakly r-Archimedean ordered semigroups

In this paper, some characterizations that an ordered semigroup S is a band of weakly r-archimedean ordered subsemigroups of S are given by some relations on S . We prove that an ordered semigroup S is a band of weakly r -archimedean ordered subsemigroups if and only if S is regular band of weakly r -archimedean ordered subsemigroups. Finally, we obtain that a negative ordered semigroup S is a band of weakly r-archimedean ordered subsemigroups of S if and only if S is a band of r-archimedean ordered subsemigroups of S . As an application the corresponding results on semigroups without order can be obtained by moderate modifications. August 27, 1999     

Compact operators on a Banach space into the space of almost periodic functions

LetS be a topological semigroup andAP(S) the space of continous complex almost periodic functions onS. We obtain characterizations of compact and weakly compact operators from a Banach spaceX into AP(S). For this we use the almost periodic compactification ofS obtained through uniform spaces. For a bounded linear operatorT fromX into AP(S), letT ₅, be the translate ofT bys inS defined byT ₅(x)=(Tx) ₅ . We define topologies on the space of bounded linear operators fromX into AP(S) and obtain the necessary and sufficient conditions for an operatorT to be compact or weakly compact in terms of the uniform continuity of the maps→T ₅. IfS is a Hausdorff topological semigroup, we also obtain characterizations of compact and weakly compact multipliers on AP(S) in terms of the uniform continuity of the map S→μ_s, where μ_s denotes the unique vector measure corresponding to the operatorT ₅.     

Semiprimeness,quasi-Baerness and prime radical of skew generalized power series rings

Let R be a ring, (S,≤) a strictly ordered monoid and ω:S→End(R) a monoid homomorphism. The skew generalized power series ring R[[S,ω]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal’cev-Neumann Laurent series rings. In this paper we obtain necessary and sufficient conditions for the skew generalized power series ring R[[S,ω]] to be a semiprime, prime, quasi-Baer, or Baer ring. Furthermore, we study the prime radical of a skew generalized power series ring R[[S,ω]]. Our results extend and unify many existing results. In particular, we obtain new theorems on (skew) group rings, Mal’cev-Neumann Laurent series rings and the ring of generalized power series.     

Ned sets on a hyperplane

Under study are the sets in ℝ ⁿ (NED sets) each of which does not affect the conformal capacity of any condenser with connected plates disjoint from this set. These sets are removable singularities of quasiconformal mappings, which explains our interest in them. For compact sets on a hyperplane we obtain a geometric criterion of the NED property; we point out a simple sufficient condition for an NED set in terms of the connected attainability of its points from its complement in the hyperplane. For compact sets on a hypersphere we obtain a criterion for an NED set in terms of the reduced module at a pair of points in its complement. We establish that a compact set on a hypersphere S, removable for the capacity in at least one spherical ring concentric with S and containing S, is an NED set.     

On the Polar Decomposition of the Product of Two Operators and Its Applications

Let T = U|T| and S = V|S| be the polar decompositions. In this paper, we shall obtain the polar decomposition of TS as TS = UWV|TS|, where |T||S^*| = W||T||S^*|| is the polar decomposition. Next, we shall show that TS = UV|TS| is the polar decomposition if and only if |T| commutes with |S^*|. Lastly, we shall apply this result to binormal and centered operators. We shall obtain characterizations of these operator classes from the viewpoint of the polar decomposition.     

On the Extension of Isometries between Unit Spheres of E and C（Ω）

In this paper,we study the extension of isometries between the unit spheres of some Banach spaces E and the spaces C(Ω). We obtain that if the set sm.S1(E) of all smooth points of the unit sphere S1(E) is dense in S1(E),then under some condition,every surjective isometry V0 from S1(E) onto S1(C(Ω)) can be extended to be a real linearly isometric map V of E onto C(Ω).From this resultwe also obtain some corollaries. This is the first time we study this problem on different typical spaces,and the method of proof is also very different too.     

Subnormal operators with compact selfcommutator

For an arbitrary subnormal operator we estimate the essential norm and trace of commutators of the form [T _u, S], whereT _u is a Toeplitz operator with continuous symbol. In particular, we obtain criteria for the compactness of [S ^*,S]. The trace estimates apply to multiplication operators on Hardy spaces over general domains.     

Numerical Schottky Uniformizations

A real algebraic curve of algebraic genus g ≥ 2 is a pair (S, τ), where S is a closed Riemann surface of genus g and τ is a reflection on S (anticonformal involution with fixed points). In this note, we discuss a numerical (Burnside) program which permits to obtain a Riemann period matrix of the surface S in terms of an uniformizing real Schottky group. If we denote by Aut₊(S, τ) the group of conformal automorphisms of S commuting with the real structure τ, then it is a well known fact that |Aut₊(S,τ)| ≥ 12(g−1). We say that (S,τ) is maximally symmetric if |Aut₊(S,τ)|=12(g−1). We work explicitly such a numerical program in the case of maximally symmetric real curves of genus two. We construct a real Schottky uniformization for each such real curve and we use the numerical program to obtain a real algebraic curve, a Riemann period matrix and the accessory parameters in terms of the corresponding Schottky uniformization. In particular, we are able to give for Bolza’s curve a Schottky uniformization (at least numerically), providing an example for which the inverse uniformization theorem is numerically solved.Partially supported by Projects Fondecyt 1030252 1030373 and UTFSM 12.03.21     

Automorphism groups of compact bordered Klein surfaces with invariant subsets

In this work we get upper bounds for the order of a group of automorphisms of a compact bordered Klein surface S of algebraic genus greater than 1. These bounds depend on the algebraic genus of S and on the cardinals of finite subsets of S which are invariant under the action of the group. We use our results to obtain upper bounds for the order of a group of automorphism whose action on the set of connected components of the boundary of S is not transitive. The bounds obtained this way depend only on the algebraic genus of S. The author is partially supported by the European Network RAAG HPRN-CT-2001-00271 and the Spanish GAAR DGICYT BFM2002-04797.     

Poisson structures on Hilbert schemes of points¶of a surface and integrable systems

In this paper we prove that if S is a Poisson surface, i.e., a smooth algebraic surface with a Poisson structure, the Hilbert scheme of points of S has a natural Poisson structure, induced by the one of S. This generalizes previous results obtained by A. Beauville [B1] and S. Mukai [M2] in the symplectic case, i.e., when S is an abelian or K3 surface. Finally we apply our results to give some examples of integrable Hamiltonian systems naturally defined on these Hilbert schemes. In the simple case S=ℙ² we obtain by this construction a large class of integrable systems, which includes the ones studied by P. Vanhaecke in [V1] and, more generally, in [V2]. Received: 9 March 1998 / Revised version: 19 June 1998     

Associate inverse subsemigroups of regular semigroups

By an associate inverse subsemigroup of a regular semigroup S we mean a subsemigroup T of S containing a least associate of each x∈S, in relation to the natural partial order ≤ _S . We describe the structure of a regular semigroup with an associate inverse subsemigroup, satisfying two natural conditions. As a particular application, we obtain the structure of regular semigroups with an associate subgroup with medial identity element. Research supported by the Portuguese Foundation for Science and Technology (FCT) through the research program POCTI.     

Induced generalized <Emphasis Type="Italic">S</Emphasis>-space-form structures on submanifolds

We study non-anti-invariant slant submanifolds of generalized S-space-forms with two structure vector felds in order to know if they inherit the ambient structure. In this context, we focus on totally geodesic, totally umbilical, totally ƒ-geodesic and totally ƒ-umbilical non-anti-invariant slant submanifolds and obtain some obstructions. Moreover, we present some new interesting examples of generalized S-space-forms.     

Coverings of 3-manifolds by open balls and two open solid tori

Hempel and McMillan showed that a closed 3-manifold that can be covered by three open balls is a connected sum of S³- and S²-bundles over S¹. In this paper we obtain a classification of all closed 3-manifolds that can be covered by two open balls and one open solid torus or by one open ball and two open solid tori.     

Separation theorems and minimax theorems for fuzzy sets

In this paper, we prove some theorems on fuzzy sets. We first show that, in order to demonstrate that the equality of shadows ofA andB implies the equality ofA andB, it is necessary to assume thatA andB are closed and thatS _H (A)=S _H (B) for any closed hyperplane hyperplaneH. We also obtain a separation theorem for two convex fuzzy sets in a Hilbert space. Finally, we investigate results relating to minimax theorems for fuzzy sets. We obtain a necessary and sufficient condition for compactness.The authors wish to express their sincere thanks to Professor Hisaharu Umegaki for his invaluable suggestions and advice.     

Nonexistence of Certain Spherical Designs of Odd Strengths and Cardinalities

A spherical τ -design on S ^n-1 is a finite set such that, for all polynomials f of degree at most τ , the average of f over the set is equal to the average of f over the sphere S ^n-1 . In this paper we obtain some necessary conditions for the existence of designs of odd strengths and cardinalities. This gives nonexistence results in many cases. Asymptotically, we derive a bound which is better than the corresponding estimation ensured by the Delsarte—Goethals—Seidel bound. We consider in detail the strengths τ =3 and τ =5 and obtain further nonexistence results in these cases. When the nonexistence argument does not work, we obtain bounds on the minimum distance of such designs. Received January 30, 1997, and in revised form November 29, 1997.     

Dominions in varieties generated by simple groups

We determine the dominion (in the sense of Isbell) of a subgroup H of a finite nonabelian simple group S in Var(S). We also obtain necessary and suficient conditions for H to be epimorphically embedded in S, and derive several examples, which generalize an example of B. H. Neumann. Finally, we extend the results to a variety generated by a family of finite nonabelian simple groups. Received May 12, 1999; accepted in final form April 9, 2002.     

Baer and Quasi-Baer Properties of Skew Generalized Power Series Rings

Let R be a ring, (S, ≤) a strictly ordered monoid and ω: S → End(R) a monoid homomorphism. The skew generalized power series ring R[[S, ω]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal'cev–Neumann Laurent series rings. In this article, we study relations between the (quasi-) Baer, principally quasi-Baer and principally projective properties of a ring R, and its skew generalized power series extension R[[S, ω]]. As particular cases of our general results, we obtain new theorems on (skew) group rings, Mal'cev–Neumann Laurent series rings, and the ring of generalized power series.     

Double centralizing theorem for wreath products of the alternating group

The double centralizing theorem between the action of the symmetric group S_n and the action of the general linear group on the tensor space T_n(W) was obtained by Schur. Here we obtain a double centralizing theorem when S_n is replaced by the wreath product of a finite group G and the alternating group A_n.     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

Direct sums of injective semimodules and direct products of projective semimodules over semirings

We prove that if the direct sum of a family of semimodules over a semiring S is an injective semimodule or if the direct product of a family of semimodules over S is a projective semimodule, then the cardinality of the subfamily consisting of all semimodules which are not modules is strictly less than the cardinality of S. As a consequence, we obtain semiring analogs of well-known characterizations of classical semisimple, quasi-Frobenius, and one-sided Noetherian rings.