The fractional part of the sequence {αnk}, where α is an irrational real number and k is an integer, was first studied early this century, initiated by the work of Hardy, Littlewood and Weyl. It seems very natural to consider the subsequence {αpk}, where p denotes a prime variable. The pioneering work in this direction was conducted by Vinogradov [13,14]. Improvements have since been made by Vaughan [12], Ghosh [4], Harman [6,7,8] and Jia [11]. The best results to date have been obtained by Harman for k = 1 [9], by Baker and Harman for 2 ≤ k ≤ 12 [1], and by Harman for larger k [8]. In the following work, we shall adopt a sieve technique developed by Harman in [6] to show the following.

In [18] Shioda proved that the space of holomorphic 2-forms on a certain type of elliptic surface is canonically isomorphic to the space of modular forms of weight three for the associated Fuchsian group. Later, Hunt and Meyer [6] made an observation that the holomorphic 2-forms on a more general elliptic surface should in fact be identified with mixed automorphic forms associated to an automorphy factor of the form

for z in the Poincaré upper half plane ℋ, g = and χ(g) = , where g is an element of the fundamental group Γ⊂PSL(2, R) of the base space of the elliptic fibration, χ-Γ→SL(2, R) the monodromy representation, and w: ℋ→ℋ the lifting of the period map of the elliptic surface.

Let G be a non-nilpotent group in which all proper subgroups are nilpotent. If G is finite then G is soluble [18], and a classification of such groups is given in [14]. The paper [12]. of Newman and Wiegold discusses infinite groups with this property. Clearly such a group is either finitely generated or locally nilpotent. Many interesting results concerning the finitely generated case are established in [12]. Since the publication of that paper there have appeared the examples due to Ol'shanskii and Rips (see [13]) of finitely generated infinite simple p-groups all of whose proper nontrivial subgroups have order p, a prime. Following [12], let us say that a group G is an AN-group if it is locally nilpotent and non-nilpotent with all proper subgroups nilpotent. A complete description is given in Section 4 of [12] of AN-groups having maximal subgroups. Every soluble AN-gvoup has locally cyclic derived factor group and is a p-group for some prime p ([12; Lemma 4.2]). The only further information provided in [12] on AN-groups without maximal subgroups is that they are countable. Four years or so after the publication of [12], there appeared the examples of Heineken and Mohamed [5]: for every prime p there exists a metabelian, non-nilpotent p-group G having all proper subgroups nilpotent and subnormal; further, G has no maximal subgroups and so G/G' is a Prüfer p-group in each case.

In the classical geometry of Banach spaces the notions of smoothness, uniform smoothness, strict and uniform convexity introduced by Day [1] and Clarkson [2] play a very important role and are used in many branches of functional analysis ([3,4,5], for example). In recent years a lot of papers have appeared containing interesting generalizations of these notions in terms of a measure of noncompactness. These new concepts investigated in this paper as near uniform smoothness, local near uniform smoothness and modulus of near smoothness have been introduced by Stachura and Sekowski [6] and Banaś [7] (see also [8,9]).

We extend to Lie algebroids the notion variously known as a double Lie algebra (Lu and Weinstein), matched pair of Lie algebras (Majid), or twilled extension of Lie algebras (Kosmann-Schwarzbach and Magri). It is proved that a matched pair of Lie groupoids induces a matched pair of Lie algebroids. Conversely, we show that under certain conditions a matched pair of Lie algebroids integrates to a matched pair of Lie groupoids. The importance of matched pairs of Lie algebroids has been recently demonstrated by Lu.

Given a probability space (X, ℱ, μ) and a σ-algebra A ⊂ ℱ, arguably the most powerful tool in gaining information about an ℱ-measurable function f from restricted knowledge of -measurability is that of the conditional expectation E(f | ); written throughout the remainder of this note. Two properties of conditional expectation that may be exploited to gain information, but which also limit conditional expectation's use are the following.

The uniformization theorem says that any compact Riemann surface S of genus g≥2 can be represented as the quotient of the upper half plane by the action of a Fuchsian group A with a compact fundamental region Δ.

Let H be a real Hilbert space and let A: H→H be a nonlinear operator such that A(0) = 0. We consider the eigenvalue problem

Recall that λ0 ε ℝ is said to be a bifurcation point for (1.1) if every neighbourhood of (λ0, 0) in ℝ × H contains solutions of (1.1).

Let ℋ be a complex Hilbert space and B(ℋ) the algebra of all bounded linear operators on ℋ. Let ℋ(ℋ) be the algebra of all compact operators of B(ℋ). For an operator T ε B(ℋ), let σ(T), σp(T), σπ(T) and πoo(T) denote the spectrum, the point spectrum, the approximate point spectrum and the set of all isolated eigenvalues of finite multiplicity of T, respectively. We denote the kernel and the range of an operator T by ker(T) and R(T), respectively. For a subset of ℋ, the norm closure of is denoted by . The Weyl spectrum ω(T) of T ε B(ℋ) is defined as the set

We give explicit examples of asymmetric Riemann surfaces (that is, Riemann surfaces with trivial conformal automorphism group) for all genera g ≥ 3. The technique uses Schreier coset diagrams to construct torsion-free subgroups in groups of signature (0; 2,3,r) for certain values of r.

For X and Y Banach spaces, let X⊗εY, be the injective tensor product. If Z is also a Banach space and U ∊ L(X⊗εY,Z) we consider the operator

We prove that if U ∊ PI(X⊗εY, Z), then U# ∊ I(X, PI(Y,Z)). This result is then applied in the case of operators defined on the space of all X-valued continuous functions on the compact Hausdorff space T. We obtain also an affirmative answer to a problem of J. Diestel and J. J. Uhl about the RNP property for the space of all nuclear operators; namely if X* and Y have the RNP and Y can be complemented in its bidual, then N(X, Y) has the RNP.

In [3], two open problems were whether either of the diophantine equations

with n ∈ Z and f a prime number, is solvable if ω > 3 and 3 √ ω, but in this paper we allow f to be any (rational) integer and also 3 | ω. Equations of this form and more general ones can effectively be solved [5] with an advanced method based on analytical results, but the search limits are usually of enormous size. Here both equations (1) are norm equations in K (√–3): N(a + bp) = fw with p = (√–1 + –3)/2 which makes it possible to treat them arithmetically.

This note draws together and extends two recent results on Diophantine approximation and Hausdorff dimension. The first, by Hinokuma and Shiga [12], considers the oscillating error function | sinq|/qτ rather than the strictly decreasing function qτ of Jarnik's theorem. The second is Rynne's extension [17] to systems of linear forms of Borosh and Fraenkel's paper [3] on restricted Diophantine approximation with real numbers. Rynne's result will be extended to a class of general error functions and applied to obtain a more general form of [12] in which the error function is any positive function.