In [9] L. Moser classified all manifolds obtained by Dehn surgery on torus knots. In particular she proved the following (see also [8, Chapter IV]).

Theorem 1 [9]. Nontrivial surgery with slope m/n on a nontrivial torus knot T(p, q) gives a manifold with cyclic fundamental group iff m = npq ± 1 and the manifold obtained is the lens space L(m, nq2).

If f is a real function, periodic with period 1, we define

In the whole paper we write ∫ for , mE for the Lebesgue measure of E ∩ [0,1], where E ⊂ ℝ is any measurable set of period 1, and we also use XE for the characteristic function of the set E. Consistent with this, the meaning of ℒp is ℒp [0, 1]. For all real xwe have

if f is Riemann-integrable on [0, 1]. However,∫ f exists for all f ∈ ℒ1 and one would wish to extend the validity of (2). As easy examples show, (cf. [3], [7]), (2) does not hold for f ∈ ℒp in general if p < 2. Moreover, Rudin [4] showed that (2) may fail for all x even for the characteristic function of an open set, and so, to get a reasonable extension, it is natural to weaken (2) to

where S ⊂ ℕ is some “good” increasing subsequence of ℕ. Naturally, for different function classes ℱ ⊂ ℒ1 we get different meanings of being good. That is, we introduce the class of ℱ-good sequences as

The relation ℒ* is defined on a semigroup S by the rule that a ℒ*b if and only if the elements a, b of S are related by Green's relation ℒ in some oversemigroup of S. A semigroup S is an E-semigroup if its set E(S) of idempotents is a subsemilattice of S. A right adequate semigroup is an E-semigroup in which every ℒ*-class contains an idempotent. It is easy to see that, in fact, each ℒ*-class of a right adequate semigroup contains a unique idempotent [8]. We denote the idempotent in the ℒ*-class of a by a*. Then we may regard a right adequate semigroup as an algebra with a binary operation of multiplication and a unary operation *. We will refer to such algebras as *-semigroups. In [10], it is observed that viewed in this way the class of right adequate semigroups is a quasi-variety.

Let K be an algebraically closed field complete with respect to an ultrametric absolute value |.| and let k be its residue class field. We assume k to have characteristic zero (hence K has characteristic zero too).

Let D be a clopen bounded infraconnected set [3] in K, let R(D) be the algebra of the rational functions with no pole in D, let ‖.‖D be the norm of uniform convergence on D defined on R(D), and let H(D) be the algebra of the analytic elements on D i.e. the completion of R(D) for the norm ‖.‖D.

In [6] McTaggart presented a nonlinear energy stability analysis of the problem of convection in the presence of a surface film overlying a non-shallow layer of fluid heated from below. In her work the film is regarded as a two-dimensional continuum and surface tension is then introduced naturally as a combination of a surface density and the derivative of a surface free energy. In fact, the model originated with work of Landau and Lifschitz [4] on the effect of adsorbed films on the motion of a liquid. The precise model she uses was developed from a continuum thermodynamic viewpoint by Lindsay and Straughan [5].

Let us recall the notions of full embedding and universality of categories we will be using throughout.

A full embedding is a functor F taking the objects of a source category A injectively to objects of a target category B and the hom-sets HomA(a, b) bijectively to the hom-sets HomR(F(a), F(b)). If A is a subcategory of B and the corresponding inclusion functor is a full embedding then A is said to be a full subcategory of B. In this case we have HomA(a, b) = HomB(a, b) for any a, b in A; that is to say, a full subcategory is completely determined, within a given category, by specifying the class of its objects. A category U is termed universal if an arbitrary category of algebras can be fully embedded in U.

This paper treats factorization and congruence in the arithmetics of Cayley's algebra C. Results, proved by Rankin [10], on the number of factorizations of a given element in the nonmaximal arithmetics Ho and Jo are reviewed. Further, new results on congruence are established and are used to find the number of factorizations of a prescribed element in the remaining arithmetics, including the maximal arithmetics Jw When computer factorizing a given element, the congruence results can be used as a heuristic device to prune the search tree.

Here and throughout, A is a closed subalgebra of H∞ that contains the disk algebra and M(A) denotes the maximal ideal space of A. Because A contains the function fo(z) = z, we can define the fiber Mλ(A) of M(A) for λ ε ∂D (the unit circle) in the usual way; i.e., Mλ(A) = {φ ∈ M(A): fo(φ) = λ}. The Bergman space of the unit disk D is the L2(D, dx dy)-closure of A. Let be the orthogonal projection. For f ∈ L∞(D, dx dy), define the multiplication operator Mf: L2(D, dx dy)→ L2, (D, dx dy) by

and define the Toeplitz operator by

The methods of Lie theory have found widespread application in the study of the Lie algebras of vector fields on manifolds that arise naturally in geometric control theory (for some such applications, see [1]). Control systems on Lie groups themselves also have received considerable attention (see, for example, [9]). After reviewing basic facts about control systems on Lie groups, we derive the close relationship between attainable sets and Rådström's theory [12] of one-parameter semigroups of sets (Section 2). These ideas are then linked to the recently emerging Lie theory of semigroups [5]. The authors are indebted to the referee for pointing out some of the pertinent literature and analogous results from the area of geometric control.

We will denote the dimension of a subspace M of X by dim M and the codimension of M with respect to X by codxM or simply cod M if there is no danger of confusion. The classes of infinite dimensional and closed infinite codimensional subspaces of X will be denoted by and respectively with ℱ(X) and ℱ(X) denoting the classes of finite dimensional and of finite codimensional subspaces of X respectively. For a subspace M of X we denote the injection of M into X by and the quotient map from X onto the quotient space X/M by . Where there is no danger of confusion we will write JM and QM. The injection of X into its completion will be denoted by Jx. Letting X′ denote the continuous dual of X we remark that since X′ is isometric to ()′, these two spaces will be considered identical where convenient. The orthogonal complements of subsets M ⊂ X in X′ and K ⊂ X′ in X will be denoted by M⊥ and ⊥K respectively; M⊥X and X⊥K will be used if there is danger of confusion.

Let Σg denote a compact orientable surface of genus g ≥ 2. We consider finite groups G acting effectively on Σg and preserving the orientation—for short, G acts on Σg or Gis a symmetry group of Σg. Each surface Σg admits only finitely many symmetry groups G and the orders of these groups are bounded by Wiman's bound of 84(g – 1). This bound is attained for infinitely many values of g [12], see also [9], and all values of g ≤ 104 for which it is attained are known [4].

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].

The purpose of this paper is to establish some basic properties of the Wielandt subgroup of a polycyclic group. The Wielandt subgroup of a group G is defined to be the intersection of the normalisers of all the subnormal subgroups of G and is denoted by ω(G). In 1958 Wielandt [9] showed that any minimal normal subgroup with the minimum condition on subnormal subgroups is contained in the Wielandt subgroup: it follows that the Wielandt subgroup of an artinian group is nontrivial. In contrast, the Wielandt subgroup of a polycyclic group can be trivial; an easy example is given by the infinite dihedral group. We will show that the Wielandt subgroup of a polycyclic group is close to being central.

The problem of Josephus is the following. We are given two positive integers n, q. There are n places arranged around a circle, and numbered clockwise 1, 2, …, n. Each of n people takes one of the places, then (please excuse this, but we didn't invent the problem!) every qth one is executed, until just one remains. More precisely, the occupant of place q is ‘removed’ first, and in general, if some place j has just been vacated, then the qth one of the places clockwise around from j that are still occupied will be vacated next. One question is this: if you would like to be the last survivor, then into what place should you go initially? We denote the answer to this question by Jq(n). For example, if n = 5 and q = 2, the order of execution is 2, 4, 1, 5, 3, and J2(5) = 3. Other questions have been raised about the problem, and it has an extensive literature (see [1]–[10]). In this paper we deal with the Jq(n)'s.