A Banach space (X, ∥.∥) is said to have the Banach-Saks property (B.S.P.) if, for every bounded sequence (xn) in X, we can choose a subsequence () of (xn) such that the sequence

converges in the X-norm. This property, that a Banach space may enjoy or not, has been extensively studied.

A ring R is called left QF-3 if it has a minimal faithful left R-module. The endomorphism ring of such a module has been recently studied in [7], where conditions are given for it to be a left PF ring or a QF ring. The object of the present paper is to study, more generally, when the endomorphism ring of a Σ-quasi-projective module over any ring R is left QF-3. Necessary and sufficient conditions for this to happen are given in Theorem 2. An useful concept in this investigation is that of a QF-3 module which has been introduced in [11]. If M is a finitely generated quasi-projective module and σ[M] denotes the category of all modules isomorphic to submodules of modules generated by M, then we show that End(RM) is a left QF-3 ring if and only if the quotient module of M modulo its torsion submodule (in the torsion theory of σ[M] canonically defined by M) is a QF-3 module (Corollary 4). Finally, we apply these results to the study of the endomorphism ring of a minimal faithful R-module over a left QF-3 ring, extending some of the results of [7].

A path (cycle) in a graph G is called a hamiltonian path (cycle) of G if it contains every vertex of G. A graph is hamiltonian if it contains a hamiltonian cycle. A graph G is hamiltonian-connectedif it contains a u-vhamiltonian path for each pair u, v of distinct vertices of G. A graph G is hamiltonian-connected from a vertex v of G if G contains a v-whamiltonian path for each vertex w≠v. Considering only graphs of order at least 3, the class of graphs hamiltonian-connected from a vertex properly contains the class of hamiltonian-connected graphs and is properly contained in the class of hamiltonian graphs.

We call two measures equivalent if each is absolutely continuous with respect to the other (cf. [1]). Let G be a locally compact topological group and let μ be a non-negative Baire measure on G (i.e. μ is denned on all Baire sets, finite on compact sets and positive on open sets). We say that μ is stable if μ (E)=0 implies μ(tE)=0 for each t ∈ G. A. M. Macbeath made the conjecture that every stable non-trivial Baire measure is equivalent to the Haar measure. In this paper we prove the following slightly stronger result:

Theorem. Every stable non-trivial measure defined on Baire sets and finite on some open set is equivalent to the Haar measure.

Let (X, Σμ) denote a complete a-finite measure space and T: X → X a measurable (T-1A ε Σ each A ε Σ) point transformation from X into itself with the property that the measure μ°T-1 is absolutely continuous with respect to μ. Given any measurable, complex-valued function w(x) on X, and a function f in L2(μ), define WTf(x) via the equation

A Baer semigroup is a semigroup 5 with 0 and 1 in which, for each x∈S, the left annihilator L(x) = {y∈S: yx = 0} of x is a principal left ideal generated by an idempotent and the right annihilator R(x) = {y∈S: xy = 0} of x is a principal right ideal generated by an idempotent. Baer semigroups are of interest because (see [5]) the left annihilators of the elements of a Baer semigroup S, ℒ(S) = {L(x): x∈S}, form a bounded lattice and (see [4]) every bounded lattice arises in this manner. In this note we look at a type of map φ on a Baer semigroup S which has the property that Sφ is a Baer semigroup. (The homomorphic image of a Baer semigroup need not be a Baer semigroup. For a case where it is, see [7].) When the Baer semigroup is specialized to a Boolean algebra, this type of map generalizes Halmos's notion of a quantifier.

In this paper, we investigate various “arithmetical” functions associated with the factorisation of polynomials in GF[q, X1, …, Xk], where k ≥ 1 and GF[q]is the finite field of order q. We shall assume throughout that all polynomials discussed are non-zero and have been normalised by selecting one polynomial from each equivalence class with respect to multiplication by non-zero elements of GF[q]. The constant polynomial will be denoted by 1. With this normalisation, GF[q, X1, …, Xk] becomes a unique factorisation domain. When k = 1, normalisation is achieved by considering only monic polynomials. By the degree of a polynomial A(X1, …, Xk) will be understood the ordered set (m1, …, mk), where m1 is the degree of A(X1, …, Xk) in X1,(i = 1, …, k).

Let B(H) be the algebra of all bounded linear operators on a separable, infinite dimensional complex Hilbert space H. Let C2 and C1 denote respectively, the Hilbert–Schmidt class and the trace class operators in B(H). It is known that C2 and C1 are two-sided*-ideals in B(H) and C2 is a Hilbert space with respect to the inner product

(where tr denotes the trace). For any Hilbert–Schmidt operator X let ∥X∥2=(X, X)½ be the Hilbert-Schmidt norm of X.

For fixed A ∈ B(H) let δA be the operator on B(H) defined by

Operators of the form (1) are called inner derivations and they (as well as their restrictions have been extensively studied (for example [1–3]). In [1], Fuad Kittaneh proved the following result.

An inverse semigroup R is said to be reduced (or proper) if ℛ∩σ= i (where σ is the minimum group congruence on R). McAlister has shown ([3], [4]) that every reduced inverse semigroup is isomorphic with a “P-semigroup” P(G, , ), for some semilattice , poset containing as an ideal, and group G acting on by order-automorphisms; (and, conversely, every P-semigroup is reduced). In [4], he also found the morphisms between P-semigroups, in terms of morphisms between the respective groups, and between the respective posets.

The following two results in the theory of division algebras are well known and easily proved, for an arbitrary commutative field k (cf. for example [3, Chapter 10]).

(i) The tensor product of two central division algebras over k of coprime degrees is again a division algebra.

(ii) Every central division algebra over k is a tensor product of division algebras of prime power degrees.

It is natural to ask whether corresponding results hold for commutative fields. The answers are not hard to find but (as far as I am aware) have not appeared in print before; since they throw some light on the nature of tensor products they seemed worth recording.

Following Masser and Shiu [6] we say that a positive integer n is sparsely totient if

Here φ is the familiar Euler totient function. We write ℱ for the set of sparsely totient numbers. In [6] several results are proved about the multiplicative structure of ℱ. If we write P(n) for the largest prime factor of n then it was shown (Theorem 2 of [6]) that

and infinitely often

This paper is devoted to the determining of the irreducible linear representations of the generalized symmetric group (elsewhere written as , Cm ≀ Sn or G(m, 1, n)) by considering the conjugacy classes of and then constructing the same number of inequivalent irreducible linear representations of . These have previously been determined by Kerber [2, Section 5] using Clifford's theory applied to wreath products.

Let G be a group. The norm, or Kern of G is the subgroup of elements of G which normalize every subgroup of the group. This idea was introduced in 1935 by Baer [1, 2], who delineated the basic properties of the norm. A related concept is the subgroup introduced by Wielandt [10] in 1958, and now named for him. The Wielandt subgroup of a group G is the subgroup of elements normalizing every subnormal subgroup of G. In the case of finite nilpotent groups these two concepts coincide, of course, since all subgroups of a finite nilpotent group are subnormal. Of late the Wielandt subgroup has been widely studied, and the name tends to be the more used, even in the finite nilpotent context when, perhaps, norm would be more natural. We denote the Wielandt subgroup of a group G by ω(G). The Wielandt series of subgroups ω1(G) is defined by: ω1(G) = ω(G) and for i ≥ 1, ωi+1(G)/ ω(G) = ω(G/ωi, (G)). The subgroups of the upper central series we denote by ζi(G).

In this paper we shall indicate how to generalise the concept of a cofinite group (see [7]). We recall that any residually finite group can be made into a topological group by taking as a basis of neighbourhoods of the identity precisely the normal subgroups of finite index. The class of compact cofinite groups is then easily seen to be the class of profinite groups, where a group is profinite if and only if it is an inverse limit of finite groups. It turns out that every cofinite group can be embedded as a dense subgroup of a profinite group. This has important consequences for the class of countable locally finite-soluble groups with finite Sylow p-subgroups for all primes p, as shown in [7] and [14].

The aim of this note is to examine the basic ideas underlying Minkowski's theorem on lattice points in a symmetrical convex body and related results of Blichfeldt, and to indicate how these can be generalized. Theorems analogous to Minkowski's, on the automorphisms of quadratic forms and other linear groups and on Fuchsian groups of transformations in the complex plane, have been obtained by Siegel [6] and Tsuji [7], Generalizations which include these are due to Chabauty [2] and Santalo [5].

Following, for example, Kurošs [8], we define the (transfinite) upper central series of a group G to be the series

such that Zα + 1/Za is the centre of G/Zα, and if β is a limit ordinal, then If α is the least ordinal for which Zα =Zα+1=…, then we say that the upper central series has length α, and that Zα= His the hypercentre of G. As usual, we call G nilpotent if Zn= Gfor some finite n.

Let K be a totally real algebraic number field of degree n > 1, and let OK be the maximal order. We denote by гk, the Hilbert modular group SL2(OK) associated with K. On the extent of the weight of an automorphy factor for гK, some restrictions are imposed, not as in the elliptic modular case. Maass [5] showed that the weight is integral for K = ℚ(√5). It was shown by Christian [1] that for any Hilbert modular group it is a rational number with the bounded denominator depending on the group.

A group G is called Dedekindian if every subgroup ofG is normal in G.

The structure of the finite Dedekindian groups is well-known [3, Satz 7.12]. They are either abelian or direct products of the form Q × A × B, where Q is the quaternion group of order 8, Ais abelian of odd order and exp(B) ≤ 2.

In his thesis [1], Hussein considered regular permutations of order 2 and 3 in Sn whose product is an n-cycle. For such a pair, we must have

for some g ≥ 1. Such a permutation pair corresponds to a free cycloidal subgroup of the classical modular group (see, e.g., [3]). Previously the free subgroups and the cycloidal subgroups of fixed genus had been enumerated ([4], [5]).

Much interest has been shown in determining the range of values of c for which the sequence [n]c contains infinitely many primes. The result is an elementary deduction from the prime number theorem, of course, of 0<c≤l. In 1953, Piatetski–Shapiro [9] showed that

for 1<c<12/11, where xc(X) stands for the number of primes in the set {[nc]n≤x}.