Using an elementary counting procedure on biquadratic polynomials over Zp it is shown that the probability distribution of odd, unramified rational primes according to decomposition type in a fixed dihedral numberfield is identical to the probility of separable quartic polynomials (mod p) whose roots generate numberfields with normal closure having Galois group isomorphic to D4, as p → ∞. This verifies a conjecture about a converse to the Tschebotarev density theorem. Further evidence in support of this conjecture is provided in quadratic and coubic numberfields.

We determine all conjugacy classes of maximal p-local subgroups of the Monster for p ≠ 2.

In this note it is proved that a (real or complex) semiprime Banach algebra A satisfying xAx = x2Ax2 for every x ∈ A is a direct sum of a finite number of division Banach algebras.

We determine all conjugacy classes of maximal local subgroups of Thompson's sporadic simple group, and all maximal non-local subgroups except those with socle isomorphic to one of five particular small simple groups.

Let f be a continuous function, and u a continuous linear function, from a Banach space into an ordered Banach space, such that f − u satisfies a Lipschitz condition and u satisfies an inequality implicit-function condition. Then f also satisfles an inequality implicit-function condition. This extends some results of Flett, Craven and S. M. Robinson.

We develop the idea of a θ-ordering (where θ is an infinite cardinal) for a family of infinite sets. A θ-ordering of the family A is a well ordering of A which decomposes A into a union of pairwise disjoint intervals in a special way, which facilitates certain transfinite constructions. We show that several standard combinatorial properties, for instance that of the family A having a θ-transversal, are simple consequences of A possessing a θ-ordering. Most of the paper is devoted to showing that under suitable restrictions, an almost disjoint family will have a θ-ordering. The restrictions involve either intersection conditions on A (the intersection of every λ-size subfamily of A has size at most κ) or a chain condition on A.

A Kirkman square with index λ, latinicity μ, block size k and ν points, KSk(v; μ, λ), is a t × t array (t = λ(ν−1)/μ(k − 1)) defined on a ν-set V such that (1) each point of V is contained in precisely μ cells of each row and column, (2) each cell of the array is either empty or contains a k-subset of V, and (3) the collection of blocks obtained from the nonempty cells of the array is a (ν, k, λ)-BIBD. For μ = 1, the existence of a KSk(ν; μ, λ) is equivalent to the existence of a doubly resolvable (ν, k, λ)-BIBD. In this case the only complete results are for k = 2. The case k = 3, λ = 1 appears to be quite difficult although some existence results are available. For k = 3, λ = 2 the problem seems to be more tractable. In this paper we prove the existence of a KS3(ν; 1, 2) for all ν ≡ 3 (mod 12).

Let M be a full Z-module in F a real number field of degree at least 3 with N(α) denoting the norm of α ∈ F. Given any nonzero number φ in M we make the plausible conjecture that one can find a number ß in M such that N(ß) = N(φ) and the algebraic conjugates of ß (not including ß) have ratios arbitraily near any given numbers consistent with the complex algebraic conjugates of elements of F. We use the conjecture to give explicit formulas for some diophantine approximation constants. Without the conjecture our methods lead to corresponding lower bounds for these constants.

For a wide class of sine trigonometric series we obtain an estimate for the integral modulus of continuity.

The quintuple product identity has appeared many times in the literature. Indeed, no fewer than 12 proofs have been given. We establish a more general identity from which the quintuple product identity follows in two ways.

For a class of formally hypoelliptic differential operators in divergence form we prove a generalized Gårding inequality. Using this inequality and further properties of the sesquilinear form generated by the differential operator a generalized homogeneous Dirichlet problem is treated in a suitable Hilbert space. In particular Fredholm's alternative theorem is proved to be valid.

We present two more characterizations of maps which preserve orthogonal decompositions defined on Hilbert spaces ordered by natural cones.

If a property P of ring elements satisfies conditions (a)-(d), then the largest homomorphically closed class having no non-zero P-element is a dual radical in the sense of Andrunakievič, and every dual radical can be obtained in this way. Also properties defined by polynomials are considered and as an application we get various characterizations of the Behrens radical.

We address the problem of describing all graphs Γ such that Aut Γ is a symmetric group, subject to certain restrictions on the sizes of the orbits of Aut Γ on vertices. As a corollary of our general results, we obtain a classification of all graphs Γ on v vertices with Aut Γ ≅ Sn, where ν < min{5n, ½n(n – 1)}.

We study the endomorphism ring of a quasi-injective right R-module Q such that R satisfies certain finiteness conditions relative to Q. And we are concerned with a module sHomR(M, Q), where S is the endomorphism ring of QR.

A direct construction for partially resolvable t-partitions is presented and then used to give a recursive construction for BIBDs (ν, 4, 2). In particular, we construct BIBD(ν, 4, 2) with BIBD(ν, 4, 2) embedded in it whenever ν = 3u + a, a ∈ {1, 4, 7}. This result allows us to give simple proofs for the existence of BIBD(ν, 4, 2) with various additioinal properties.

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.

Formulae are given for the variances and covariances for mean squares in anova under the broadest possible assumptions. The results of ther authors are obtained by specializing appropriately: these include ones concerning randomization and/or random sampling models, as well as additive (linear) models consisting of mutually independent sets of exchangeable effects. Although the illustrations given refer only to doubly and triply-indexed arrays, the approach is quite general. Particular attention is drawn to the generalized cumulants (and their natural unbiased estimators) which vanish when additive models are assumed.

We give a self-contained proof of the O'Nan-Scott Theorem for finite primitive permutation groups.

The most general continuous time and state branching (C.B.) process (Xt) can be constructed as a certain random time transformation of a spectrally positive Levy process. When the generating process is compound Poisson with a superimposed negative linear drift and the C.B. process is not supercritical, then there is a random time T such that Xt+T = e-ctXT where c > 0 is the drift parameter. Thus T is the last epoch of random variation.