groups and quasi-equivalence

A torsion-free abelian group is if every map from a pure subgroup of into lifts to an endomorphism of The class of groups has been extensively studied, resulting in a number of nice characterizations. We obtain some characterizations for the class of homogeneous groups, those homogeneous groups such that, for pure in every has a lifting to a quasi-endomorphism of An irreducible group is if and only if every pure subgroup of each of its strongly indecomposable quasi-summands is strongly indecomposable. A group is if and only if every endomorphism of is an integral multiple of an automorphism. A group has minimal test for quasi-equivalence ( if whenever and are quasi-isomorphic pure subgroups of then and are equivalent via a quasi-automorphism of For homogeneous groups, we show that in almost all cases the and properties coincide.

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .

     

Differential forms on quotients by reductive group actions

Let be a smooth affine algebraic variety where a reductive algebraic group acts with a smooth quotient space . We show that the algebraic differential forms on which are pull-backs of forms on are exactly the -invariant horizontal differential forms on .

     

-ideals of compact operators are separably determined

We prove that the space of compact operators on a Banach space is an -ideal in the space of bounded operators if and only if has the metric compact approximation property (MCAP), and is an -ideal in for all separable subspaces of having the MCAP. It follows that the Kalton-Werner theorem characterizing -ideals of compact operators on separable Banach spaces is also valid for non-separable spaces: for a Banach space is an -ideal in if and only if has the MCAP, contains no subspace isomorphic to and has property It also follows that is an -ideal in for all Banach spaces if and only if has the MCAP, and is an -ideal in .

     

A note on invariance of spectrum for symmetric banach -algebras

Let be a symmetric Banach -algebra, let be a Banach algebra, and assume that . A result is proved giving conditions which imply that every element of has the same spectrum in both and .

     

Mergelyan pairs for harmonic functions

Let be open and be a bounded set which is closed relative to . We characterize those pairs such that, for each harmonic function on which is uniformly continuous on , there is a sequence of harmonic polynomials which converges to uniformly on . As an immediate corollary we obtain a characterization of Mergelyan pairs for harmonic functions.

     

Centralizers in residually finite torsion groups

Let be a residually finite torsion group. We show that, if has a finite 2-subgroup whose centralizer is finite, then is locally finite. We also show that, if has no -torsion, and is a finite 2-group acting on in such a way that the centralizer is soluble, or of finite exponent, then is locally finite.

     

Banach spaces failing the almost isometric universal extension property

If is an infinite dimensional, separable, uniformly smooth Banach space, then there is an , a Banach space containing as a closed subspace and a norm one map from to a space which does not extend to an operator from to with .

     

Cycle rank of Lyapunov graphs and the genera of manifolds

We show that the cycle-rank of a Lyapunov graph on a manifold satisfies: , where is the genus of . This generalizes a theorem of Franks. We also show that given any integer with , for some Lyapunov graph on .

     

Applications of pseudo-monotone operators with some kind of upper semicontinuity in generalized quasi-variational inequalities on non-compact sets

Let be a topological vector space and be a non-empty subset of . Let and be two maps. Then the generalized quasi-variational inequality (GQVI) problem is to find a point and a point such that for all . We shall use Chowdhury and Tan's 1996 generalized version of Ky Fan's minimax inequality as a tool to obtain some general theorems on solutions of the GQVI on a paracompact set in a Hausdorff locally convex space where the set-valued operator is either strongly pseudo-monotone or pseudo-monotone and is upper semicontinuous from to the weak-topology on for each non-empty finite subset of .

     

The exposed points of the set of invariant means on an ideal

Let be a -compact locally compact nondiscrete group and let be a -invariant ideal of . We denote the set of left invariant means on that are zero on (i.e. for all ) by . We show that, when is amenable as a discrete group and the closed -invariant subset of the spectrum of corresponding to is a -set, is very large in the sense that every nonempty -subset of contains a norm discrete copy of , where is the Stone- compactification of the set of positive integers with the discrete topology. In particular, we prove that has no exposed points in this case and every nonempty -subset of the set of left invariant means on contains a norm discrete copy of .

     

The maximal normal -group

Let be a prime number and let be an abelian -group. Let be the maximal normal -subgroup of and the maximal -subgroup of its centre. Let be the torsion radical of . Then . The result is new for and 3, and the proof is new and valid for all primes .

     

A topology on lattice ordered groups

We show that a lattice ordered group can be topologized in a natural way. The topology depends on the choice of a set of admissible elements (-topology). If a lattice ordered group is 2-divisible and satisfies a version of Archimedes' axiom (-group), then we show that the -topology is Hausdorff. Moreover, we show that a -group with the -topology is a topological group.

     

On uniqueness of -adic meromorphic functions

Let be a complete ultrametric algebraically closed field of characteristic zero, and let be the field of meromorphic functions in . For all set in and for all we denote by the subset of : zero of order After studying unique range sets for entire functions in in a previous article, here we consider a similar problem for meromorphic functions by showing, in particular, that, for every , there exist sets of elements in such that, if have the same poles (counting multiplicities), and satisfy , then . We show how to construct such sets.

     

The Fuglede-Putnam theorem and a generalization of Barría's lemma

Let and be bounded linear operators, and let be a partial isometry on a Hilbert space. Suppose that (1) , (2) , (3) and (4) . Then we have .

     

The order of a meridian of a knotted Klein bottle

We consider the order of a meridian (of the group) of a Klein bottle smoothly embedded in the -sphere . The order of a meridian of a Klein bottle in is a non-negative even integer. Conversely, we prove that, for every non-negative even integer , there exists a Klein bottle in whose meridian has order .

     

Continuity of Lie mappings of the skew elements of Banach algebras with involution

Let and be centrally closed prime complex Banach algebras with linear involution. If is semisimple, then any Lie derivation of the skew elements of is continuous and any Lie isomorphism from the skew elements of onto the skew elements of is continuous.

     

Global iteration schemes for strongly pseudo-contractive maps

Suppose is a real uniformly smooth Banach space, is a nonempty closed convex and bounded subset of , and is a strong pseudo-contraction. It is proved that if has a fixed point in then both the Mann and the Ishikawa iteration processes, for an arbitrary initial vector in , converge strongly to the unique fixed . No continuity assumption is necessary for this convergence. Moreover, our iteration parameters are independent of the geometry of the underlying Banach space and of any property of the operator.

     

On the relative commutants of subfactors

Let be factors generated by a periodic tower of finite dimensional -algebras. We prove that for sufficiently large , is -isomorphic to a subalgebra of .