It is proved that there exists a universal good inner function in the open unit polydisc Un, that is its non Euclidean translates are dense in the closed unit ball of H∞ (Un) and that there exists a universal function in the open unit ball Bn of Cn. These generalize Heins' result on universal Blaschke products.

1980 Mathematics subject classification (Amer. Math. Soc.): primary 32 A 10.

Xiong proved that if f: I → I is any map of the unit interval I, then the depth of the centre of f is at most 2, and Ye proved that for any map f: T → T of a finite tree T, the depth of the centre of f is at most 3. It is natural to ask whether the result can be dendrites. In this note, we show that there is dendrite D such that for any countable ordinal number λ there is a map f: D →D such that the depth of centre of f is λ. As a corollary, we show that for any countable ordinal number λ there is a map (respectively a homeomorphism) f of a 2-dimensional ball B2 (respectively a 3-dimensional ball B3) such that the depth of centre of f is λ.

Let ℜc denote the variety of all nilpotent groups of class ≦ c, that is, ℜc is the class of all groups satisfying the law, where we define, as usual, and, inductively, . Further, let Fk(ℜc) denote a free group of ℜe of rank k. In her book Hanna Neumann ([4], Problem 14) poses the following problem: Determine d(c), the least k such that Fk(ℜc) generates ℜc. Further, she suggests, incorrectly, that d(c) = [c/2] + l. However, as we shall prove here, the correct answer is d(c) = c—1, for c ≦ 3. 2 More generally, we shall prove the following result.

An asymptotic estimate is obtained for the number of partitions of the positive integer n into distinct parts, each of which is at least m. The estimate holds uniformly with respect to positive m such that m = o(n(log n)−9), as n → ∞.

Let $V$ be a hypersurface with an isolated singularity at the origin defined by the holomorphic function $f:(\mathbb{C}^{n},0)\rightarrow (\mathbb{C},0)$. The Yau algebra $L(V)$ is defined to be the Lie algebra of derivations of the moduli algebra $A(V):={\mathcal{O}}_{n}/(f,\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}x_{1},\ldots ,\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}x_{n})$, that is, $L(V)=\text{Der}(A(V),A(V))$. It is known that $L(V)$ is finite dimensional and its dimension $\unicode[STIX]{x1D706}(V)$ is called the Yau number. We introduce a new series of Lie algebras, that is, $k$th Yau algebras $L^{k}(V)$, $k\geq 0$, which are a generalization of the Yau algebra. The algebra $L^{k}(V)$ is defined to be the Lie algebra of derivations of the $k$th moduli algebra $A^{k}(V):={\mathcal{O}}_{n}/(f,m^{k}J(f)),k\geq 0$, that is, $L^{k}(V)=\text{Der}(A^{k}(V),A^{k}(V))$, where $m$ is the maximal ideal of ${\mathcal{O}}_{n}$. The $k$th Yau number is the dimension of $L^{k}(V)$, which we denote by $\unicode[STIX]{x1D706}^{k}(V)$. In particular, $L^{0}(V)$ is exactly the Yau algebra, that is, $L^{0}(V)=L(V),\unicode[STIX]{x1D706}^{0}(V)=\unicode[STIX]{x1D706}(V)$. These numbers $\unicode[STIX]{x1D706}^{k}(V)$ are new numerical analytic invariants of singularities. In this paper we formulate a conjecture that $\unicode[STIX]{x1D706}^{(k+1)}(V)>\unicode[STIX]{x1D706}^{k}(V),k\geq 0.$ We prove this conjecture for a large class of singularities.

A complete classification is given of harmonic morphisms to a surface and conformal foliations by geodesics, with or without isolated singularities, of a simply-connected space form. The method is to associate to any such a holomorphic map from a Riemann surface into the space of geodesics of the space form. Properties such as nonintersecting fibres (or leaves) are translated into conditions on the holomorphic mapping which show it must have a simple form corresponding to a standard example.

We consider, on an Archimedean Riesz space, the spaces of all linear operators lying between two multiples of the identity (for the order), those leaving all ideals invariant and the order bounded orthomorphisms. We find, if E is uniformly complete, necessary and sufficient conditions for all such operators defined on sublattices of E to extend to the whole of E. Examples are given to show the role of uniform completeness. For the space of all orthomorphisms we give a sufficient condition on E for such an extension to exist.

The aim of this paper is, briefly, an axiomatization of relativistic kinematics. Before stating the aims in more precise terms, a few words about the origins of the paper will be necessary. The idea of a revision of the axiomatic foundations of relativistic kinematics came up in discussions with the late M. L. Urquhart at the 1963 (3rd) Summer Research Institute of the Australian Mathematical Society, and it was a suggestion by Urquhart which started off the present investigation. Following his suggestion I prepared a preliminary draft containing the outlines of an axiomatic system for Minkowski space-time and passed it on to him. Shortly before his death Urquhart asked Professor D. Elliott to send the manuscript back to me and it was this manuscript which formed the nucleus of the present paper.

First consider some familiar results, the inequality of the arithmetic and geometric mean is: Kantorovich's inequality (reference [1]) asserts that if 0 < A ≦f(x) ≦ B then: The Cauchy-Schwarz inequality is: This paper discusses a certain class of inequalities which includes the three above. Three theorems are proved which apply to any inequality of this class; then follow some examples. They are mainly to show how the general theory helps in the finding of inequalities, but the result of Example 1 seems worth reporting for its own sake.

The representations of V4 (= C2 × C2) over characteristic 2 are put down in matrix form in sect. 2 of [1]. As such representations are of particular interest to finite group theorists, we present the following “geometric” descriptions of them which give immediate insight into their structure. Indeed, without such pictures it is difficult to see how they can be handled. Finally the relative Grothendieck algebra (relative to a copy of C2 in V4) falls out immediately from these diagrams. These diagrams have already helped towards the more general calculation of such algebras [2].

Defining a function on the set of all Riemannian metrics associated to a contact form on a compact manifold by taking the integral of the Ricci curvature in the direction of the characteristic vector field, it is shown that on a compact regular contact manifold the only critical points of this function are the metrics for which the characteristic vector field generates a group of isometrics.

We show that in a regular ring (R, +, ·), with idempotent set E, the following conditions are equivalent: (i) (ii) (R, ·) is orthodox. (iii) (R, ·) is a semilattice of groups. These and other conditions are also considered for regular semigroups, and for semirings (S, +, · ), in which (S, +) is an inverse semigroup. Examples are given to show that they are not equivalent in these cases.

Starting with a class ℳ of Ω-groups, necessary and sufficient conditions on ℳ are given to ensure that the corresponding Hoehnke radical ρ (determined by the subdirect closure of ℳ as semisimple class) is a radical in the sense of Kurosh and Amitsur; has a hereditary semisimple class; satisfies the ADS-property; has a hereditary radical class or satisfies ρN ∩ I ⊆ ρI and lastly, have both a hereditary radical and semisimple class or satisfies ρN ∩ I = ρI.

We consider the genetic model introduced by Moran [3] of a haploid population of fixed size M with two genotypes A and a for which the possibility of selection is allowed. In this model an individual is randomly chosen to die and is replaced by a new individual whose probability of being a depends on the selective advantages of the two genotypes and on the number of a individuals before the birth-death event. The probability of eventual elimination of the genotype a, both with and without selection, has been found by Moran [3], while Watterson [4] has found the mean time for absorption and the variance in the case where no selection is allowed. We derive here the mean time and the variance in the case where selection is allowed, thus extending Watterson's result. A diffusion approximation is available for the mean time; it is shown that this gives a very close approximation to the exact value. Comparison is made with the non-overlapping generation model due to Wright [5], and finally some numerical results are exhibited.

Let $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}w$ be a multilinear commutator word, that is, a commutator of weight $n$ in $n$ different group variables. It is proved that if $G$ is a profinite group in which all pronilpotent subgroups generated by $w$-values are periodic, then the verbal subgroup $w(G)$ is locally finite.

The theory of partially ordered topological groups has received little attention in the literature, despite the accessibility and importance in analysis of the group Rm. One obstacle in the way of a general theory seems to be, that a convenient association between the ordering and the topology suggests that the cone of all strictly positive elements be open, i.e. that the topology be at least as strong as the open-interval topology U; but if the ordering is a lattice ordering and not a full ordering then U itself is already discrete. So to obtain in this context something more interesting topologically than the discrete topology and orderwise than the full order, one must forego orderings which make lattice-ordered groups: in fact, the partially ordered group must be an antilattice, that is, must admit no nontrivial meets or joins (see § 2, 10°).

A category V is called universal (or binding) if every category of algebras is isomorphic to a full subcategory of V. The main result states that a semigroup variety V is universal if and only if it contains all commutative semigroups and fails the identity xnyn = (xy)n for every n ≥ 1. Further-more, the universality of a semigroup variety V is equivalent to the existence in V of a nontrivial semigroup whose endomorphism monoid is trivial, and also to the representability of every monoid as the monoid of all endomorphisms of some semigroup in V. Every universal semigroup variety contains a minimal one with this property while there is no smallest universal semigroup variety.

Let G be a finite 2-group having a minimal generating set {x1, …, xr} so that r = d (G) is an invariant of G. Suppose further that G has a presentation then.

As a continuation of previous work of the first author with Ranjbar [‘A variational inequality in complete CAT(0) spaces’, J. Fixed Point Theory Appl. 17 (2015), 557–574] on a special form of variational inequalities in Hadamard spaces, in this paper we study equilibrium problems in Hadamard spaces, which extend variational inequalities and many other problems in nonlinear analysis. In this paper, first we study the existence of solutions of equilibrium problems associated with pseudo-monotone bifunctions with suitable conditions on the bifunctions in Hadamard spaces. Then, to approximate an equilibrium point, we consider the proximal point algorithm for pseudo-monotone bifunctions. We prove existence of the sequence generated by the algorithm in several cases in Hadamard spaces. Next, we introduce the resolvent of a bifunction in Hadamard spaces. We prove convergence of the resolvent to an equilibrium point. We also prove $\triangle$-convergence of the sequence generated by the proximal point algorithm to an equilibrium point of the pseudo-monotone bifunction and also the strong convergence under additional assumptions on the bifunction. Finally, we study a regularization of Halpern type and prove the strong convergence of the generated sequence to an equilibrium point without any additional assumption on the pseudo-monotone bifunction. Some examples in fixed point theory and convex minimization are also presented.

Let be a class and p a property of groups. We say that p is a bigenetic property of p-groups (or more simply, p is bigenetic in p-groups) if an p-group G has the property p whenever all two-generator subgroups of G have p.