Let Ω be the set of the analytic functions F(z), regular in some neighbourhood of the origin with the expansion There may exist a function F(s, z) arndytic in s and satisfying the following conditions (s and s′ are any complex numbers): and the ƒ k(s) are polynomials in s.

A method is developed for obtaining compact, easily computed and statistically interpretable expressions for the generalized k-statistics associated with multiply-indexed arrays of random variables such as those which arise in variance component analysis. These expressions will be used in the next paper in this series to give formulae for variances and covariances of estimates of components of variance.

The aim of this article is to review the progress made in the last few years in the representation theory of solutions of parabolic systems in the sense of Petrowskii.

In [5] James defined an nth order Perron integral, the Pn- ntegral, and developed its properties. His proofs are often indirect, using properties of the CkP-integrals of Burkill, [3]. In this paper a simpler definition of the Pn-integral is given — the original and not completely equivalent definition, was probably chosen as James considered this integral as a special case of one defined in terms of certain symmetric derivatives, [5], when end points of the interval of definition had naturally to be avoided. We then give direct proofs of the basic results, give a characterization of Pn-primitives, and connect the integral with certain work of Denjoy, [4].

We extend the normal surface Q-theory to non-compact 3-manifolds with respect to ideal triangulations. An ideal triangulation of a 3-manifold often has a small number of tetrahedra resulting in a system of Q-matching equations with a small number of variables. A unique feature of our approach is that a compact surface F with boundary properly embedded in a non-compact 3-manifold M with an ideal triangulation with torus cusps can be represented by a normal surface in M as follows. A half-open annulus made up of an infinite number of triangular disks is attached to each boundary component of F. The resulting surface , when normalized, will contain only a finite number of Q-disks and thus correspond to an admissible solution to the system of Q-matching equations. The correspondence is bijective.

In this paper we give a sufficient condition of quasi-pseudometrization for bitopological spaces. From this condition we obtain, as immediate corollaries, some known results.

The theory of groups acting on trees due to Bass and Serre (1969) is applied to simplify some results of Burns (1972, 1973) giving conditions under which an amalgamated free product or HNN extension has the properties that any finitely generated subgroup containing an infinite subnormal subgroup must have finite index and that the intersection of two finitely generated subgroups is finitely generated.

The theme of the paper is a Möbius inversion principle for infinite sums. We deal with the origins and unprincipled use of this idea in the nineteenth century, its rigorous justification under minimal hypotheses and some applications to a problem in numerical integration.

A class of totally disconnected groups consisting of partial direct products on an index set is examined. For such a group, the scale function is found, and for automorphisms arising from permutations of the index set, the tidy subgroups are characterised. When applied to the case where the index set is a finitely-generated free group and the permutation is translation by an element x of the group, the scale depends on the cyclically reduced form of x and the tidy subgroup on the element which conjugates x to its cyclically reduced form.

In 1964 Frink [8] generalized Wallman's method [17] of compactification and asked the question: “Is every Hausdorff compactification of a Tychonoff space a Wallman compactification?”. This problem, which is as yet unsolved, has led to the discovery of a number of necessary and/or sufficient conditions for a Hausdorff compactification to be Wallman; (see Alò and Shapiro [2], [3], Banasĉhewski [6], Njåstad [13] and Steiner [15]). Recently Alò and Shapiro [4], [5] have generalized the Wallman procedure to discuss what they call Z*-realcompact spaces and Z*-realcompactification n(Z) corresponding to a countably productive (c.p.) normal base Z on X. Some further work has been done by Steiner and Steiner [14].

The object of this note is to study two properties of groups, which we will denote by (*) and (**). The property (*) is possessed by solvable groups (and in fact, by groups which have a solvable invariant system) and the property (**) is possessed by nilpotent groups (and in fact, by groups which have a central system).

An early extension of Lindeberg's central limit theorem was Bernstein's (1939) discovery of necessary and sufficient conditions for the convergence of moments in the central limit theorem. Von Bahr (1965) made a study of some asymptotic expansions in the central limit theorem, and obtained rates of convergence for moments. However, his results do not in general imply that the moments converge. Some better rates have been obtained by Bhattacharya and Rao for moments between the second and third. In this paper we give improved rates of convergence for absolute moments between the third and fourth.

The powerful starter-adder theorems for constructing Howell Designs are improved and consequently many types of Howell Designs that previously could only be constructed by multiplicative techniques are shown amenable to a modified starter-adder method. The existence question for Howell Designs of many new types H(s, 2n) is settled affirmatively. For prime powers pn, p ≧ 7, we reduce the entire existence question for designs of type H*(pn, 2r), pn + 1 ≦ 2r ≦ 2pn to the corresponding question for designs of type H*(p, 2m), p + 1 ≦ 2m≦2p. If these designs exist, s has no prime divisors ≤ 7 and t odd is “close” to 1, a design H * (s, s + t) is shown to exist.

Let Q(x, y, z, t, u) be a real indefinite 5-ary quadratic form of type (3,2) and determinant D(> 0). Then given any real numbers x0, y0, z0, t0, u0 there exist integers x, y, z, t, u such that 0 < Q(x+x0,y+y0,z+z0,t+t0,u+u0)≦(16D)1/5. All the critical forms are also determined.

A semigroup is said to be congruence-free if it has only two congruences, the identity congruence and the universal congruence. It is almost immediate that a congruence-free semigroup of order greater than two must either be simple or 0-simple. In this paper we describe the semilattices of congruence-free inverse semi-groups with zero. Further, congruence-free inverse semigroups with zero are characterized in terms of partial isomorphisms of their semilattices. A general discussion of congruence-free inverse semigroups, with and without zero, is given by Munn (to appear).

For Γ a revursively enumerable set of formulae, a structure U on a recursive universe is said to be “Γ-recursively enumerable” if the satisfaction predicate restricted to Γ is recursively enumerable (equivalently, if the formulae of Γ uniformulae of Γ uniformly denote recursively enumerable relations on U).

For recursively enumerable sets Γ1 ⊆ Γ2 of formulae we shall, under certain conditions, characterize structures U with the following properties.

1) Every isomorphism form U to a Γ1-recursively enumerable structure is a recursive isomorphism.

2) Every Γ1-recursively enumerable structure isomorphic to U is recursively isomorphic to U.

3) Every Γ1-recursively enumerable structure isomorphic to U is Γ2-recursively enumerable.

This paper is a continuation of [2] and will use the terminology and notation introduced therein. Basically, we seek to investigate the structure of indexed lattices in which the set of lengths of the minimal indexing chains is bounded.

Kublanovsky has shown that if a subvariety V of the variety RSn generated by completely 0-simple semigroups over groups of exponent n is itself generated by completely 0-simple semigroups, then it must satisfy one of three conditions: (i) A2 ∈ V; (ii) (iii) B2∈V but The conditions (i) and (ii) are also sufficient conditions. In this note, we complete Kublanovsky’s programme by refining condition (iii) to obtain a complete set of conditions that are both necessary and sufficient.

The Hopf bifurcation and homoclinic bifurcation of the quintic Hamiltonian system is analyzed under quintic perturbations by using unfolding theory in this paper. We show that a quintic system can have at least 29 limit cycles.

The most elementary problem of the calculus of variations consists in finding a single-valued function y(x), defined over an interval [a, b] and taking given values at the end points, such that the integral is stationary relative to all small weak variations of the function y(x) consistent with the boundary conditions. Since y′ occurs in the integrand, it is clear that I is only defined when y(x) is differentiable and accordingly when y(x) is continuous. Usually y′(x) is also continuous. Occasionally, however, the boundary conditions can only be satisfied and a stationary value of I found, by permitting y′ (x) to be discontinuous at a finite number of points. The arc y = y(x) will then possess ‘corners’ and the well-known Weierstrass-Erdmann corner conditions [1]must be satisfied at all such points by any function y (x) for which I is stationary. Arcs y = y (x) for which y′(x) is continuous except at a finite number of points, are referred to as admissible arcs. In this paper, we shall extend the range of admissible arcs to include those for which y(x) is discontinuous at a finite number of points.