For sequences of independent and identically distributed random variables it is well known that the existence of the second moment implies the law of the iterated logarithm. We show that the law of the iterated logarithm does not extend to arrays of independent and identically distributed random variables and we develop an analogous rate result for such arrays under finite fourth moments.

A subgroup A of a group G has the strong cover-avoidance property in G, or A is a strong CAP-subgroup of G, if A either covers or avoids every chief factor of every subgroup of G containing A. The main aim of the present paper is to analyse the impact of the strong cover and avoidance property of the members of some relevant families of subgroups on the structure of a group.

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, I a nonzero right ideal of R. Let f(x1,…,xn) be a noncentral multilinear polynomial over C, m≥1 a fixed integer, a a fixed element of R, g a generalized derivation of R. If ag(f(r1,…,rn))m=0 for all r1,…,rn∈I, then one of the following holds:

1. (1) aI=ag(I)=(0);

2. (2) g(x)=qx, for some q∈U and aqI=0;

3. (3) [f(x1,…,xn),xn+1]xn+2 is an identity for I;

4. (4) g(x)=cx+[q,x] for all x∈R, where c,q∈U such that cI=0 and [q,I]I=0.

Let 𝒯X be the full transformation semigroup on a set X and E be a nontrivial equivalence on X. Write then TE(X) is a subsemigroup of 𝒯X. In this paper, we endow TE(X) with the so-called natural order and determine when two elements of TE(X) are related under this order, then find out elements of TE(X) which are compatible with ≤ on TE(X). Also, the maximal and minimal elements and the covering elements are described.

Let n∈ℕ and let A and B be rings. An additive map h:A→B is called an n-Jordan homomorphism if h(an)=(h(a))n for all a∈A. Every Jordan homomorphism is an n-Jordan homomorphism, for all n≥2, but the converse is false in general. In this paper we investigate the n-Jordan homomorphisms on Banach algebras. Some results related to continuity are given as well.

A well-known inequality relating the areas and squares of the sides of two triangles is generalised to higher-dimensional euclidean spaces. Extension of the results to non-euclidean spaces is also considered.

A result of Howson is that two finitely generated subgroups U and V of a free group have finitely generated intersection. Hanna Neumann showed further that, if m, n and N are the ranks of U, V and U ∩ V respectively, then N ≤ 2(m−1)(n−1) + 1, and Burns strengthened this, showing that N ≤ 2(m−1)(n−1) − m + 2 (if m ≤ n). This paper presents a new and simple proof of Burns' result. Further, the graph-theoretical ideas used provide still stronger bounds in certain special cases.

We establish the result that a finitely generated cyclic extension of a free group is residually finite. This is done, in part, by making use of the fact that a finitely generated module over a principal ideal domain is a direct sum of cyclic modules.

We present a duality theorem. We give a necessary and sufficient condition for any set of algebraic relations to entail the set of all algebraic relations in Davey and Werner's sense. The main result of the paper states that for a finite algebra a finite set of algebraic relations yields a duality if and only if the set of all algebraic relations can be obtained from it by using four types of relational constructs. Finally, we prove that a finite algebra admits a natural duality if and only if the algebra has a near unanimity term operation, provided that the algebra possesses certain 2k-ary term operations for some k. This is a generalisation of a theorem of Davey, Heindorf and McKenzie.

In this note the matrix equation A + WB + BTW + WCW = 0 is considered. A monotoneity result and an inertia theorem on the location of the eigenvalues of W and B + CW are proved.

An integral manifold for a system of differential equations is a manifold such that any solution of the equations which has a point on it is entirely contained on it. The method of averaging establishes the existence of such a manifold for a system which is a perturbation of an autonomous system with a periodic orbit. The existence of the manifold is established here under more general hypotheses, namely for perturbations which are ‘integrally small’. The method differs from the original method of Bogolyubov and Mitropolskii and operates directly with the individual solutions. This is made possibly by the use of an appropriate norm, and is equivalent to solving the partial differential equation which occurs in work by Moser and Sacker by the method of characteristics rather than by the introduction of an artificial viscosity term. Moreover, detailed smoothness properties of the manifold are obtained. For periodic perturbations the integral manifold is a torus and these smoothness properties are just sufficient to permit the application of Denjoy's theorem.

Some elementary inequalities providing upper bounds for the difference of the norm and the numerical radius of a bounded linear operator on Hilbert spaces under appropriate conditions are given.

The uniqueness of limit cycles is proved for quadratic systems with an invariant parabola and for cubic systems with four real line invariants. Also a new, simple proof is given of the uniqueness of limit cycles occurring in unfoldings of certain vector fields with codimension two singularities.

Only three of the 15 973 distinct six-element semigroups are presently known to be nonfinitely based. This paper introduces a fourth example.

In this note the notion of a free topological product Gα of a set {Gα} of topological groups is introduced. It is shown that it always exists, is unique and is algebraically isomorphic to the usual free product of the underlying groups. Further if each Gα is Hausdorff, then Gα is Hausdorff and each Gα is a closed subgroup. Also Gα is a free topological group (respectively, maximally almost periodic) if each Gα is. This notion is then combined with the theory of varieties of topological groups developed by the author. For a variety of topological groups, the -product of groups in is defined. It is shown that the -product, Gα of any set {Gα} of groups in exists, is unique and is algebraically isomorphic to the usual varietal product. It is noted that the -product of Hausdorff groups is not necessarily Hausdorff, but is if is abelian. Each Gα is a quotient group of Gα. It is proved that the -product of free topological groups of and projective topological groups of are of the same type. Finally it is shown that Gα is connected if and only if each Gα is connected.

In this paper, we shall introduce a system of generalised set-valued quasi-variational-like inequalities, which generalises and unifies systems of generalised vector variational inequalities, systems of variational inequalities, generalised vector quasi-variational-like inequalities as well as various extensions of the classic variational inequalities in the literature. Some existence results for a solution of a system of generalized set-valued quasi-variational-like inequalities without any monotonity are obtained.

For a character $\chi $ of a finite group G, the number $\chi ^c(1)={[G:{\textrm {ker}}\chi ]}/{\chi (1)}$ is called the co-degree of $\chi $ . A finite group G is an ${\textrm {NDAC}} $ -group (no divisibility among co-degrees) when $\chi ^c(1) \nmid \phi ^c(1)$ for all irreducible characters $\chi $ and $\phi $ of G with $1< \chi ^c(1) < \phi ^c(1)$ . We study finite groups admitting an irreducible character whose co-degree is a given prime p and finite nonsolvable ${\textrm {NDAC}} $ -groups. Then we show that the finite simple groups $^2B_2(2^{2f+1})$ , where $f\geq 1$ , $\mbox {PSL}_3(4)$ , ${\textrm {Alt}}_7$ and $J_1$ are determined uniquely by the set of their irreducible character co-degrees.

Several new methods of approximation which assume arbitrary values on the boundary of a triangular domain are presented. All of the methods are affine invariant and have optimal algebraic precision. Nine parameter discrete interpolants which result from these methods are also given.

The purpose of this note is to describe some of the standard data types of computer science in the language of distributive categories. We believe that in this way we have achieved a simplification and a formal clarification of the specification of these data types.

A variety of groups is just non-finitely-based if it does not have a finite basis for its laws while all its proper subvarieties do have a finite basis. Recent work of Ol'šanskiiˇ, Vaughan-Lee and Adjan guarantees the existence of at least one just non-finitely-based variety. In this note an infinite number of just non-finitely-based varieties are shown to exist by proving that for every prime p there is a non-finitely based variety of p–groups.