To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
This note contains extensions of the Abelian ergodic theorems in [3] and [6] to functions which take their values in a Banach space. The results are based on an adaptation of Rota's maximal ergodic theorem for Abel limits [8]. Convergence theorems for continuous parameter semigroups are deduced by the approximation technique developed in [3], [6]. A direct application of the resolvent equation also enables us to deduce a convergence theorem for pseudo-resolvents.
Throughout this paper it is assumed that rings are associative, have the identity element, and all modules are left unital. R will denote a ring with identity, R-Mod the category of left R-modules, and for each left R-module M, E(M) (resp. J(M)) will represent the injective hull (resp. Jacobson radical) of M. Also, for a module M, A ⊆' M will mean that A is an essential submodule of M, and Z(M) denotes the singular submodule of M. M is called singular if Z(M) = M, and it is called non-singular in case Z(M) = 0. For fundamental definitions and results related to torsion theories, we refer to [12] and [14]. In this paper we shall deal mainly with Goldie torsion theory. Recall that a pair (G, F) of classes of left R-modules is known as Goldie torsion theory if G is the smallest torsion class containing all modules B/A, where A ⊆' B, and the torsion free class F is precisely the class of non-singular modules.
Using the definition of a Riemann surface, as given for example by Ahlfors and Sario, one can prove that all Riemann surfaces are orientable. However by modifying their definition one can obtain structures on non-orientable surfaces. In fact nonorientable Riemann surfaces have been considered by Klein and Teichmüller amongst others. The problem we consider here is to look for the largest possible groups of automorphisms of compact non-orientable Riemann surfaces and we find that this throws light on the corresponding problem for orientable Riemann surfaces, which was first considered by Hurwitz [1]. He showed that the order of a group of automorphisms of a compact orientable Riemann surface of genus g cannot be bigger than 84(g – 1). This bound he knew to be attained because Klein had exhibited a surface of genus 3 which admitted PSL (2, 7) as its automorphism group, and the order of PSL(2, 7) is 168 = 84(3–1). More recently Macbeath [5, 3] and Lehner and Newman [2] have found infinite families of compact orientable surfaces for which the Hurwitz bound is attained, and in this paper we shall exhibit some new families.
Let ℋ be a complex Hilbert space and B(ℋ) be the algebra of all bounded linear opeators on ℋ. An operator T ∈ B(ℋ) is said to be p-hyponormal if (T*T)p–(TT*)p. If p = 1, T is hyponormal and if p = ½ is semi-hyponormal. It is well known that a p-hyponormal operator is p-hyponormal for q≤p. Hyponormal operators have been studied by many authors. The semi-hyponormal operator was first introduced by D. Xia in [7]. The p-hyponormal operators have been studied by A. Aluthge in [1]. Let T be a p-hyponormal operator and T=U|T| be a polar decomposition of T. If U is unitary, Aluthge in [1] proved the following properties.
Let G be a finite abelian group, and Y be a closed surface. The problems of classifying and enumerating the free and effective G-actions on Y modulo selfhomeomorphisms of Y and X = Y/G can be transferred into ones of classifying regular G-coverings on X. P. A. Smith [7], proved that for any prime number p there are pr(r–1)/2 equivalence classes of free (ℤp)r actions on Y provided that rℤgenus of X. This paper is devoted to the classification and the enumeration of regular G-covering surfaces, when G is any finite abelian group. Recently, A. Edmonds [2] classified the G-actions on closed surfaces by their G-bordism classes in the set (G) of free oriented G-cobordism classes of free oriented G-surfaces.
Recently, Levin and Saxon [5], De Wilde and Houet [2] defined the σ-barrelledness while Husain [3] defined the countable barrelledness and countable quasibarrelledness. It is well-known that barrelled spaces are countably barrelled, and countably barrelled spaces are σ-barrelled. It is natural to ask whether there is some condition for σ-barrelled (resp. countably barrelled) spaces to be countably barrelled (resp. barrelled). Using the concept of S-absorbent sequences of sets, we are able to give such conditions in Theorem 2.5 and Corollaries 2.6 and 2.7.
A classical result in potential theory is the Schwarz reflection principle for solutions of Laplace's equation which vanish on a portion of a spherical boundary. The question naturally arises whether or not such a property is also true for solutions of the Helmholtz equation. This has been answered in the affirmative by Diaz and Ludford ([4]; see also [10]) in the limiting case of the plane. It is the purpose of this paper to show that a reflection principle is also valid for spheres of finite radius. As an application of this result we shall study the problem of the analytic continuation of solutions to the Helmholtz equation defined in the exterior of a bounded domain in three-dimensional Euclidean space ℝ3 We shall show that through the use of the reflection principle derived in this paper, this problem can be reduced to the problem of the analytic continuation of an analytic function of two complex variables, which in turn can be performed through a variety of known methods (cf. [7]).
Let R be a regular semigroup and denote by (R) its congruence lattice. For , the kernel of pis the set ker . The relation K on (R) defined by λKp if ker λ = ker p is the kernel relation on (R). In general, K is a complete ∩-congruence but it is not a v-congruence. In view of the importance of the kernel-trace approach to the study of congruences on a regular semigroup (the trace of p is its restriction to idempotents of R), it is of considerable interest to determine necessary and sufficient conditions on R in order for K to be a congruence. This being in general a difficult task, one restricts attention to special classes of regular semigroups. For a background on this subject, consult [1].
If X is a Klein surface (KS) with boundary, of algebraic genus p, and Φ is an automorphism of order N, May [8] proved that N ≤ 2p + 2 when X is orientable and p is even, and N ≤ 2p otherwise.
He proved also that the unique topological type of an orientable KS having an orientation-preserving automorphism of maximum order is a surface with one boundary component when p is even, with two boundary components when p is odd.
Unit-regular rings were introduced by Ehrlich [4]. They arose in the search for conditions on a regular ring that are weaker than the ACC, DCC, or finite Goldie dimension, which with von Neumann regularity imply semisimplicity. An account of unit-regular rings, together with a good bibliography, is given by Goodearl [5].
It is known that every complete Boolean algebra of projections on a Banach space X is strongly closed and bounded and that, although the converse of this result fails in general, it is valid if X is weakly sequentially complete [1, XVII. 3, pp. 2194–2201]. In the present note it is shown that this converse is in fact valid precisely when X contains no subspace isomorphics to the sequence space c0. More explicitly, the following two results are proved. In both, X may be a real or complex space, but c0 will consist of the null sequences in the underlying scalar field.
In the earlier article [7], I began the study of rational period functions for the modular group Γ(l) = SL(2, Z) (regarded as a group of linear fractional transformations) acting on the Riemann sphere. These are rational functions q(z) which occur in functional equations of the form
where k∈Z and F is a function meromorphic in the upper half-plane ℋ, restricted in growth at the parabolic cusp ∞. The growth restriction may be phrased in terms of the Fourier expansion of F(z) at ∞:
with some μ∈Z. If (1.1) and (1.2) hold, then we call F a modular integral of weight 2k and q(z) the period of F.
1. In this note we consider the formal solution of the dual integral equations
where f(x) and g(x) are given and χ(x) is to be found. The direct solution of these equations has been given by Noble [1] but we shall show that they may be solved more easily if they are first reduced to a form in which g(x) ≡ 0.
Let Ω: be a compact Hausdorff space, let E be a Banach space, and let C(Ω, E) stand for the Banach space of continuous E-valued functions on Ω under supnorm. It is well known [3, p. 182] that if F is a Banach space then any bounded linear operator T:C(Ω, E)→ F has a finitely additive vector measure G defined on the σ-field of Borel subsets of Ω with values in the space ℒ(E, F**) of bounded linear operators from E to the second dual F** of F. The measure G is said to represent T. The purpose of this note is to study the interplay between certain properties of the operator T and properties of the representing measure G. Precisely, one of our goals is to study when one can characterize nuclear operators in terms of their representing measures. This is of course motivated by a well-known theorem of L. Schwartz [5] (see also [3, p. 173]) concerning nuclear operators on spaces C(Ω) of continuous scalar-valued functions. The study of nuclear operators on spaces C(Ω, E) of continuous vector-valued functions was initiated in [1], where the author extended Schwartz's result in case E* has the Radon-Nikodym property. In this paper, we will show that the condition on E* to have the Radon-Nikodym property is necessary to have a Schwartz's type theorem. This leads to a new characterization of dual spaces E* with the Radon-Nikodym property. In [2], it was shown that if T:C(Ω, E)→ F is nuclear than its representing measure G takes its values in the space (E, F) of nuclear operators from E to F. One of the results of this paper is that if T:C(Ω, E)→ F is nuclear then its representing measure G is countably additive and of bounded variation as a vector measure taking its values in (E, F) equipped with the nuclear norm. Finally, we show by easy examples that the above mentioned conditions on the representing measure G do not characterize nuclear operators on C(Ω, E) spaces, and we also look at cases where nuclear operators are indeed characterized by the above two conditions. For all undefined notions and terminologies, we refer the reader to [3].
Let ℝn → ℝ be a weighted homogeneous polynomial such that df(0) = 0, L = {x ∈ Sn−1|f(x) = 0}, and let χ(L) be the Euler characteristic of L. The problem is how to calculate χ(L) in terms of f.
Let A be an n × n complex normal matrix and let (A) = {diag UAU*: U is unitary) where U* is the conjugate transpose of U. It is known that (A) may not be convex [1, 3] and it is convex when A is Hermitian [1, 2]. In this note we show that (A) is convex if and only if the eigenvalues of A are collinear (i.e. there exist complex numbers α ( ≠ 0) and β such that αA + βi is Hermitian).
Throughout the paper, rings are associative rings with identity. A ring is called right duo if every right ideal is two-sided, and it is called right p.p. if every principal right ideal is projective. A left duo (p.p.) ring is denned similarly, and a duo (p.p.) ring will mean a ring which is both right and left duo (p.p.). There is a right p.p. ring that is not left p.p. (see Chase [2[). Small [9] proved that right p.p. implies left p.p. if there are no infinite sets of orthogonal idempotents, and Endo [5, Proposition 2] has shown the same implication in the case where each idempotent in the ring is central. Since Courter [3, Theorem 1.3] noted that every idempotent in a right duo ring is central, we can simply speak of right duo p.p. rings. A typical example of a right duo ring which is not left duo is the following. Let F be a field and F(x) the field of rational functions over F. Let R = F(x)× F(x) as an additive group and define the multiplication as follows:
Then R is a local artinian ring with c(RR) = 2 and c(RR)= 3. Thus R is right duo but not left due.
In this paper we generalise results of Craveiro de Carvalho ([3]) in two ways. First we prove the following fact.
PROPOSITION 1. Given any smooth submanifold M of real projective space ℙn, for L in an open dense subset of the space of codimension 2 subspaces of ℙnwe have
(a) L meets M transversally and
(b) the pencil of hyperplanes through L have at worst Morse (A1) contact with M.
A kernel functor (equivalently, a left exact torsion preradical) is a left exact subfunctor of the identity on the category R-mod of left R-modules over a ring R with identity. A kernel functor is said to be idempotent if, in addition, σ satisfies σ(M / σ(M)) = 0 for every M ∊ R-mod. To every kernel functor / there corresponds a unique topologizing filter ℒσ = {I Ⅰ σ (R/I) = R/I} of left ideals and a unique class ℱσ = {M ∊ R-mod Ⅰ σ(M) = M} that is closed under homomorphic images, submodules, and direct sums. The idempotence of σ is characterized by either of the following additional conditions:
(1) if I ∊ ℒσ, K ⊆ I, and (K:x) = {r ∊ R ∣ rx ∊ K} ∊ ℒσ for each x ∊ I, then K ∊ ℒ or
(2) ℱσ is closed under extensions of one member of ℱσ by another member of ℱσ Idempotent kernel functors are important since they are the tool used to construct localization functors. For M∊ R-mod, let E(M) denote the injective hull of M. A kernel functor σ is called stable if Mℱ implies that E(M) ∊ ℱσ For more information about kernel functors, see [6], [7], [14], and [15].