This paper is a continuation of [3] in which some inequalities for the Schatten p-norm were considered. The purpose of the present paper is to improve some inequalities in [3] as well as to give more inequalities in the same spirit.

Let H be a separable, infinite dimensional complex Hilbert space, and let B(H) denote the algebra of all bounded linear operators acting on H. Let K(H) denote the closed two-sided ideal of compact operators on H. For any compact operator A, let |A| = (A*A)½ and s1(A), s2(A),… be the eigenvalues of |A| in decreasing order and repeated according to multiplicity. A compact operator A is said to be in the Schatten p-class Cp(1 ≤ p < ∞), if Σ s1(A)p < ∞. The Schatten p-norm of A is defined by ∥A∥p = (Σ si(A)p)1/p. This norm makes Cp into a Banach space. Hence C1 is the trace class and C2 is the Hilbert-Schmidt class. It is reasonable to let C∞ denote the ideal of compact operators K(H), and ∥.∥∞ stand for the usual operator norm.

In a previous paper [7], I have made a study of the ”nilpotent” analogue of Hurwitz theorem [4] by considering a particular family of signatures called ”nilpotent admissible” [5]. We saw however, that if μN(g) represents the order of the largest nilpotent group of automorphisms of a surface of genus g < 2, then μN(g) < 16(g − 1) and this upper bound occurs when the covering group is a triangle group having the signature (0; 2,4,8) which is in its own 2-local form

The restriction to the nilpotent groups enabled me to obtain much more precise information than was available in the general case. Moreover, all nilpotent groups attaining this maximum order turned out to be ”2-groups”. Since every finite nilpotent group is the direct product of its Sylow subgroups and the groups of automorphisms are factor groups of the Fuchsian groups, it is natural for us to study the Fuchsian groups havin p-local signatures to obtain more precise information about the finite p-groups, and hence about the finite nilpotent groups.

This suggests a new problem of determining for each prime p, the “p-group” analogue of Hurwitz theorem. It turns out, as often happens in questions of this nature, that p = 2 and p = 3 are indeed quite exceptional and harder to deal with while computing their lower central series than other primes. Actually, p = 3 is the most difficult, but all the other primes p ≥ 5 can be dealt with at once.

Let H denote a separable, infinite dimensional Hilbert space. Let B(H), C2 and C1 denote the algebra of all bounded linear operators acting on H, the Hilbert–Schmidt class and the trace class in B(H) respectively. It is well known that C2 and C1 each form a two-sided-ideal in B(H) and C2 is itself a Hilbert space with the inner product

where {ei} is any orthonormal basis of H and tr(.) is the natural trace on C1. The Hilbert–Schmidt norm of X ∈ C2 is given by ⅡXⅡ2=(X, X)½.

Let n = be the factorization of an integer n(>1) into prime powers, and set Φ(n):= . In particular, for squarefree n, Φ(n) = phi;(n). Consider the set

.

It is known (from [5]) that A consists precisely of those integers n for which there is no non-abelian group of order n. It is also known (from [7]) that the set

consists solely of integers n with the property that every group of order n is cyclic. We set C′ = A – C.

If q(≥2) is a fixed integer it is well known that every positive integer k may be expressed uniquely in the form

We introduce the ‘sum of digits’ function

Both the above sums are of course finite. Although the behaviour of α(q, k) is somewhat erratic, its average behaviour is more regular and has been widely studied.

Isotropes play a distinguished rôle in the algebra of spinors. Let V be an even-dimensional real vector space equipped with an inner product Bof arbitrary signature. An isotrope of (V, B) is a subspace of the complexification Vc on which Bc is identically zero. Denote by ρ the spin representation of the complex Clifford algebra C(Vc, Bc) on a space S of spinors.

C. Widland [14] has defined Weierstrass points on integral, projective Gorenstein curves. We show here that the Weierstrass points on a generic integral rational nodal curve have the minimal possible weights or, equivalently, that such a curve has the maximum possible number of distinct nonsingular Weierstrass points. Rational curves with g nodes arise in degeneration arguments involving smooth curves of genus g and they have also recently arisen in connection with g-soliton solutions to certain nonlinear partial differential equations [11], [13].

Many authors have investigated the behaviour of the elements of finite order of a group G when finiteness conditions are imposed on the automorphism group Aut G of G. The first result was obtained in 1955 by Baer [1], who proved thata torsion group with finitely many automorphisms is finite. This theorem was generalized by Nagrebeckii in [6], where he proved that if the automorphism group Aut G is finite then the set of elements of finite order of G is a finite subgroup.

Let {ak} be a sequence of non-negative real numbers satisfying a1 = l and

(1)

Brannan [1] proved that the function

(2)

is close-to-convex univalent in the unit disc D. The example

shows that the conclusion in Brannan's theorem is sharp in that sense that “close-to-convex” cannot be replaced by the stronger one: “starlike”. It is therefore of interest to see which additional condition can guarantee this stronger conclusion.

In [3] Gilbert Baumslag asserted that, for non-zero integers α, β, γ, δ such that α + γ ≠ 0 ≠ β + δ, the group G = <a, b:aα, bβaγbδ> is residually finite (RF). This result has been quoted in the literature: for example, in [2]. At the “Groups '85” meeting at St. Andrews, the second author learned, indirectly, that Professor Baumslag could not recall all the details of the rather complicated (unpublished) proof he had constructed and that he referred those asking for a proof to the present authors. It thus seems worthwhile formally to record the following fairly short proof of the above claim.

Talagrand has shown [4, p. 76] that there exists a continuous linear operator from L1[0, 1] to c0 which is not a Dunford-Pettis operator. In contrast to this result, Gretsky and Ostroy [2] have recently proved that every positive operator from L[0, 1] to c0 is a Dunford-Pettis operator, hence that every regular operator between these spaces (i.e. a difference of positive operators) is Dunford-Pettis.