Let f(x) and g(x) be real functions defined on the interval [a, b], with f(x) at least twice continuously differentiable, f′(x) monotone increasing, and f(x) of bounded variation. We consider the exponential integral

where e(t) denotes exp 2πit. The purpose of this note is to prove sharp forms of the well-known estimates:

A: If f′(x) is nonzero on [a, b], then I has order of magnitude

The constant of proportionality depends on the function g(x).

B: If f′(x) changes sign at x = c with a < c < b, then

Let G be a group and H a subgroup of finite index in G. Then of course H contains a G-invariant subgroup C such that G/C is finite. In attempting to establish results of a similar nature, where “finite” is replaced by, for example, “finitely generated”, one notices immediately that a quite differently stated hypothesis is required. One reasonable approach would be to consider subgroups H which are “f.g. embedded” in G—indeed, the notion of a polycyclic embedding was utilised by P. Hall in [1].

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.

With much sadness we note the death of John Leech, on 28 September 1992. Perhaps best known for his discovery of the “Leech Lattice” (which provides the best known sphere-packing in 24 dimensions), John will also be remembered for his contributions to the use of computers in mathematics, and to computational algebra in particular.

We shall show that there exists a chain, order isomorphic to the chain of real numbers, of semigroup varieties closed for the Bruck extension. The least semigroup variety closed for the Bruck extension will be obtained as the union of varieties in an infinite chain of semigroup varieties.

Let us consider the Cauchy problem

in QT= ℝ3 × [0, T], where f(x, t), ρ0(x) and v0(x) are given, while the density ρ(x, t), the velocity vector v(x, t)= (υ1(x, t), υ2(x, t), υ3(x, t)) and the pressure p(x, t) are unknowns. The viscosity coefficient μ is assumed to be nonnegative. In these equations, the pressure p is automatically determined (up to a function of t) by ρ and v, namely, by solving the equation

Thus we mention (ρ, v) when we talk about the solution of (1.1:μ).

Recently several authors have studied dualizing Goldie dimension of a module: spanning dimension in [2], codimension in [13], corank in [16] and also [9,17,12, 5,11, 6, 4, 7] ([13] may be read in comparison with the others). In the present note we prove the equality corank RP = corank SS, where P is a quasi-projective left R-module and S is its endomorphism ring. This result is an answer to the question [12, p. 1898] and an extension of [3, Corollary 4.3] which shows the above equality for a Σ-quasi-projective left R-module P.

Throughout we assume all rings are commutative with identity. We denote the lattice of ideals of a ring R by L(R), and we denote by L(R)* the subposet L(R) − R.

A classical result of commutative ring theory is the characterization of a Dedekind domain as an integral domain R in which every element of L(R)* is a product of prime ideals (see Mori [5] for a history). This result has been generalized in a number of ways. In particular, rings which are not necessarily domains but which otherwise satisfy the hypotheses (i.e. general ZPI-rings) have been widely studied (see, for example, Gilmer [3]), as have rings in which only the principal ideals are assumed to satisfy the hypothesis (i.e. π-rings).

Let k be an algebraic number field and Ck its ideal class group (in the wider sense). Suppose K is a finite extension of k. Then we say that an ideal class of k capitulates in K if this class is in the kernel of the homomorphism

induced by extension of ideals from k to K (See Section 2 below). In [4], Iwasawa gives examples of real quadratic number fields, with distinct primes Pi ≡ 1 (mod 4), for which all the ideal classes of the 2-class group, Ck,2 (the 2-Sylow subgroup of Ck), capitulate in an unramified quadratic extension of k. In these examples, Ck,2 is abelian of type (2,2), i.e. isomorphic to ℤ/2ℤ×ℤ/2ℤ and so all four ideal classes capitulate.