The main theorem of this paper shows that the lattice of congruences contained is some equivalence π on a semigroup S can be decomposed into a subdirect product of sublattices of the congruence lattices on the ‘prinipal π-facotrsρ of S—the semigroups formed by adjoining zeroes to the π-classes—whenever these are well-defined. The theorem is then applied to various equavalences and classes of semigroups to give some new results and alternative proofs of known ones.

By blending techniques from set theory and algebraic topology we investigate the order of any homeomorphism of the nth power of the long ray or long line L having finite order, finding all possible orders when n = 1, 2, 3 or 4 in the first case and when n = 1 or 2 in the second. We also show that all finite powers of L are acyclic with respect to Alexander-Spanier cohomology.

We establish a measure of algebraic independence for values of E-functions which is more nearly effectively computable than the previous one. When the system of equations meets either of two criteria, then the measure becomes entirely effectively computable.

Let n be a natural with largest component sd. We prove that if xσ(n) = yn + z (x, y, z given positive integers), n is not primitive (y/x)-abundant and n/s is not (y/x)-perfect, then n < 4(z + ½)3/27y (if z ≥ 175). All solutions are tabled for the equation xσ(n) - yn when x = 1, y ≥ 2, 1 ≤ z ≤ 210, and n is not primitive y-abundant. We also prove that if n is primitive (y/x)-abundant, then s3d < (yn/2)2. A number of results are proved concerning the range of σ(n)/n when n is primitive αabundant, for any real number α > 1. For example, then α(n/n < α + min {½ 3 α e-5a/9 /2) and σ(n)/n < α /1.6α/log n. All primitive abundant numbers n with α(n)/ ≥ 2.05 are listed.

We discuss n4 configurations of n points and n planes in three-dimensional projective space. These have four points on each plane, and four planes through each point. When the last of the 4n incidences between points and planes happens as a consequence of the preceding 4n−1 the configuration is called a ‘theorem’. Using a graph-theoretic search algorithm we find that there are two 84 and one 94 ‘theorems’. One of these 84 ‘theorems’ was already found by Möbius in 1828, while the 94 ‘theorem’ is related to Desargues’ ten-point configuration. We prove these ‘theorems’ by various methods, and connect them with other questions, such as forbidden minors in graph theory, and sets of electrons that are energy minimal.

We develop the transversal harmonic theory for a transversally symplectic flow on a manifold and establish the transversal hard Lefschetz theorem. Our main results extend the cases for a contact manifold (H. Kitahara and H. K. Pak, ‘A note on harmonic forms on a compact manifold’, Kyungpook Math. J.43 (2003), 1–10) and for an almost cosymplectic manifold (R. Ibanez, ‘Harmonic cohomology classes of almost cosymplectic manifolds’, Michigan Math. J.44 (1997), 183–199). For the point foliation these are the results obtained by Brylinski (‘A differential complex for Poisson manifold’, J. Differential Geom.28 (1988), 93–114), Haller (‘Harmonic cohomology of symplectic manifolds’, Adv. Math.180 (2003), 87–103), Mathieu (‘Harmonic cohomology classes of symplectic manifolds’, Comment. Math. Helv.70 (1995), 1–9) and Yan (‘Hodge structure on symplectic manifolds’, Adv. Math.120 (1996), 143–154).

Contrary to the general impression that variation principles are of purely theoretical interest, we show by means of examples that they can lead to considerable practical advantages in the solution of non-linear vibration problems. In this paper, we develop a variation principle for the period of a free oscillation, as a function of the average value of the Lagrangian over one period. Even extremely simple-minded approximations to the true motion lead to excellent values for the period. The stability of such free oscillations against small disturbances of the initial conditions is treated in a previous paper.

Work of Isaacs and Passman shows that for some sets X of integers, p-groups whose set of irreducible character degrees is precisely X have bounded nilpotence class, while for other choices of X, the nilpotence class is unbounded. This paper presents a theoren which shows some additional sets of character degrees which bound nilpotence class within the family of metabelian p-groups. In particular, it is shown that is the non-linear irreducible character degrees of G lie between pa and pb, where a ≤ b ≤ 2a − 2, then the nilpotence class of G is bounded by a function of p and b − a.

Riesz products are employed to give a construction of quasi-invariant ergodic measures under the irrational rotation of T. By suitable choice of the parameters such measures may be required to have Fourier-Stieltjes coefficients vanishing at infinity. We show further that these are the unique quasi-invariant measures on T with their associated Radon-Nikodym derivative.

Let ${\mathcal{A}}$ be a unital ring with involution. Assume that ${\mathcal{A}}$ contains a nontrivial symmetric idempotent and ${\it\phi}:{\mathcal{A}}\rightarrow {\mathcal{A}}$ is a nonlinear surjective map. We prove that if ${\it\phi}$ preserves strong skew commutativity, then ${\it\phi}(A)=ZA+f(A)$ for all $A\in {\mathcal{A}}$, where $Z\in {\mathcal{Z}}_{s}({\mathcal{A}})$ satisfies $Z^{2}=I$ and $f$ is a map from ${\mathcal{A}}$ into ${\mathcal{Z}}_{s}({\mathcal{A}})$. Related results concerning nonlinear strong skew commutativity preserving maps on von Neumann algebras are given.

The asymptotic behaviour, for large real positive values of the independent variable t, of solutions of the ordinary differential equation is considered. (The dots denote differentiation with respect to t.) It is shown that this asymptotic behaviour can be obtained by comparison with the differential equation For both equations when a2 < 2 the solutions are unbounded oscillatory functions but when a2 > 2 the solutions are essentially monotone. The critical case a2 = 2 has not been investigated here although the present results suggest that the solutions are probably monotone. The asymptotic estimates of the solutions of equation (1) are first obtained by heuristic means commonly used by Applied Mathematicians working on singular perturbation problems. A basis for a formal expansion is obtained in terms of a recurrence relation and the first few terms are displayed explicitly. These formal expansion estimates are used to guide a rigorous analysis which is essentially an extension of the techniques used in validating solutions obtained by the Langer related equation technique. For the oscillatory case, a pair of Volterra integral equations is used to justify the asymptotic representations for an arbitrary large interval for t but not including the point at infinity.

Let G be a finite group and let δ(G) be the number of prime order subgroups of G. We determine the groups G with the property δ(G)≥∣G∣/2−1, extending earlier work of C. T. C. Wall, and we use our classification to obtain new results on the generation of near-rings by units of prime order.

This is a sequel to the author's (Phatarfod [9]) paper in which an analogue of Wald's Fundamental Identity (F.I.) for random variables defined on a Markov chain with a finite number of states was derived. From it the sampling properties of sequential tests of simple hypotheses about the parameters occurring in the transition probabilities were obtained. In this paper we consider the case of continuous Markovian variables. We restrict our attention to the practically important case of a Normal Markov sequence X0,X1,X2,… such that the Yr being independent normal variables with mean zero and variance σ2.

The authors describe the structure of the normal closure of a cyclic permutable subgroup of odd order in a finite group.

This work is concerned with the problem posed in the domain which is not necessary rectangular, and with Our goal is to find some conditions on the coefficient c and the functions ( φi) i=1,2 such that the solution of this problem belongs to the Sobolev space

The functions f defined by or by for c rational and less than + 1 map the set of rational numbers between 0 and 1 one-to-one onto itself; and they are the only fractional linear functions with this property. Miss Tekla Taylor recently raised the question * whether these are the only differentiable functions with the stated property. In the present note we show, by two different constructions, that the answer is negative; in each case much freedom remains, which could be used to make the functions in question have various additional properties.

Recently, attention has been drawn to the problem of estimation of a k-variate probability density and its partial derivatives of various orders. Specifically, let X1, …, Xn be i.i.d. k-variate random variables with common density f wrt Lebesgue measure μ on the k-dimensional σ-field Bk. Parzen (1962) in the k = 1 case and Cacoullos (1966) in the k ≧ 1 case gave the asymptotic properties of a class of kernel estimates fn(x), x ∈ Rk, of f(x) based on X1, …, Xn. The asymptotic properties given in the above two papers concern consistency, asymp-totic unbiasedness, bounds for the mean squared error and asymptotic normality of fn. Also in the context of an empirical Bayes two-action problem, Johns and Van Ryzin (1972) introduced kernel estimates for f(x) and the derivative f'(x)for x∈R1 when f is a mixture of univariate exponential densities wrt Lebesgue measure on B1. They also investigated the asymptotic unbiasedness and themean squared error convergence properties of these estimates. Lin (1968) statedsome generalizations of the results of Johns and Van Ryzin, with applicationsto empirical Bayes decision problems.

In this paper we compute and continue meromorphically to the whole complex plane the zeta function for twisted modular curves. The twist of the modular curve is done by a mod p representation of the absolute Galois group.

We study some challenging presentations which arise as groups of deficiency zero. In four cases we settle finiteness: we show that two presentations are for finite groups while two are for infinite groups. Thus we answer three explicit questions in the literature and we provide the first published deficiency zero presentation for a group with derived length seven. The tools we use are coset enumeration and Knuth-Bebdix rewriting, which are well-established as methods for proving finiteness or otherwise of a finitely presented group. We briefly comment on their capabilities and compare their performance.

Let r be a positive integer, F a field of odd prime characteristic p, and L the free Lie algebra of rank r over F. Consider L a module for the symmetric group , of all permutations of a free generating set of L. The homogeneous components Ln of L are finite dimensional submodules, and L is their direct sum. For p ≤ r ≤ 2p, the main results of this paper identify the non-porojective indecomposable direct summands of the Ln as Specht modules or dual Specht modules corresponding to certain partitions. For the case r = p, the multiplicities of these indecomposables in the direct decompositions of the Ln are also determined, as are the multiplicities of the projective indecomposables. (Corresponding results for p = 2 have been obtained elsewhere.)