By a composition of a positive integer n is meant a representation of n as a sum of one or more positive integers where the order of the summands is taken into account. Thus for example 4 has the eight compositions 4 = 3 + 1 = 1 +3 = 2 + 2 = 2 + 1 + 1 = 1 + 2 + 1 = 1 + 1 + 2 = 1 + 1 + 1 + 1. Now n can be written in the form 1 + 1 + … + 1 with n - 1 plus signs. Deletion of any subset of these plus signs breaks n into parts which form a composition of n. Conversely, any composition of n corresponds to a subset of plus signs, so that the number of compositions of n is the number of subsets of a set with n - 1 elements, namely 2n - 1. In this note we obtain a number of generalizations of this rather obvious remark by making use of the notion of a weighted composition and the method of generating series.

Two important mathematical constructions are: the construction of the rational s from the integers and the construction of the reals from the rationals. The first process can be carried out for any ring, producing its maximal ring of quotients [4, 5]. The second process can be carried out for any partially ordered set producing its Dedekind-MacNeille completion [2, p. 58]. We will show that for Boolean rings, which are both rings and partially ordered sets, the two constructions coincide.

I show that if X is the hyperstonian space of Lebesgue measure on [0,1], then there are open sets in X×X which are not measurable for the simple product outer measure. This answers a question of M. C. Godfrey and M. Sion.

This expository note was prompted by some questions asked by Professor P. Hilton during his lectures "Catégories non-abétiennes" at the University of Montréal, July 1964.

The descriptions of set functions as one to one and as onto can be characterized in terms of set function composition. A set function is one to one iff it has the left cancellation property, that is, f · g = f · h implies g = h.

This paper characterizes when a Delone set $X$ in ${{\mathbb{R}}^{n}}$ is an ideal crystal in terms of restrictions on the number of its local patches of a given size or on the heterogeneity of their distribution. For a Delone set $X$, let ${{N}_{X}}\left( T \right)$ count the number of translation-inequivalent patches of radius $T$ in $X$ and let ${{M}_{X}}\left( T \right)$ be the minimum radius such that every closed ball of radius ${{M}_{X}}\left( T \right)$ contains the center of a patch of every one of these kinds. We show that for each of these functions there is a “gap in the spectrum” of possible growth rates between being bounded and having linear growth, and that having sufficiently slow linear growth is equivalent to $X$ being an ideal crystal.

Explicitly, for ${{N}_{X}}\left( T \right)$, if $R$ is the covering radius of $X$ then either ${{N}_{X}}\left( T \right)$ is bounded or ${{N}_{X}}\left( T \right)\,\ge \,T/2R$ for all $T\,>\,0$. The constant $1/2R$ in this bound is best possible in all dimensions.

For ${{M}_{X}}\left( T \right)$, either ${{M}_{X}}\left( T \right)$ is bounded or ${{M}_{X}}\left( T \right)\ge T/3$ for all $T\,>\,0$. Examples show that the constant 1/3 in this bound cannot be replaced by any number exceeding 1/2. We also show that every aperiodic Delone set $X$ has ${{M}_{X}}\left( T \right)\,\ge \,c\left( n \right)T$ for all $T\,>\,0$, for a certain constant $c\left( n \right)$ which depends on the dimension $n$ of $X$ and is $>\,1/3$ when $n\,>\,1$.

In [2], A. Sade gives a construction for quasigroups which he calls the singular direct product. In this paper we generalize Sades' construction. As an application we obtain a recursive construction for quasigroups orthogonal to their transposes. All quasigroups considered in this paper will be finite.

We prove that a finitely generated group contains a sequence of non-trivial elements that converge to the identity in every compact homomorphic image if and only if the group is not virtually abelian. As a consequence of the methods used, we show that a finitely generated group satisfies Chu duality if and only if it is virtually abelian.

We obtain mainly by using Jensen's inequality for convex functions an integral inequality, which contains as a special case Shun's generalization of Hardy's inequality.

In this paper we study left invariant Einstein–Randers metrics on compact Lie groups. First, we give a method to construct left invariant non-Riemannian Einstein–Randers metrics on a compact Lie group, using the Zermelo navigation data. Then we prove that this gives a complete classification of left invariant Einstein–Randers metrics on compact simple Lie groups with the underlying Riemannian metric naturally reductive. Further, we completely determine the identity component of the group of isometries for this type of metrics on simple groups. Finally, we study some geometric properties of such metrics. In particular, we give the formulae of geodesics and flag curvature of such metrics.

We provide vector analogues of the classical interpolation theorems for lower semicontinuous functions due to Dowker and to Hahn and Katetov-Tong.

Let Mn be the algebra of n × n matrices over an algebraically closed field of characteristic zero. For A ∊ Mn, denote by the collection of all matrices in Mn that are similar to A. In this paper we characterize those invertible linear operators ϕ on Mn that satisfy , where for some given A1,..., Ak ∊ Mn and denotes the (Zariski) closure of S. Our theorem covers a result of Howard on linear operators mapping the set of matrices annihilated by a given polynomial into itself, and extends a result of Chan and Lim on linear operators commuting with the function f(x) = xk for a given positive integer k ≥ 2. The possibility of weakening the invertibility assumption in our theorem is considered, a partial answer to a conjecture of Howard is given, and some extensions of our result to arbitrary fields are discussed.

The exact form for the gamma factor for the L-function corresponding to the m-th symmetric power of a cuspidal automorphic representation of PGL(2) is given. This information is used to obtain, via a theorem of Landau, bounds for the eigenvalues of Hecke operators.

Let R denote an associative ring with 1, let n be a positive integer, and let k = 1, 2, or 3. The ring R will be called an (n, k)-ring if it satisfies the identities

for all integers m with n ≤ m ≤ n + k - 1. It was shown years ago by Herstein (See [2], [9], and [10]) that for n >1, any (n, l)-ring must have nil commutator ideal C(R). Later Luh [12] proved that primary (rc, 3)-rings must in fact be commutative, and Ligh and Richoux [11] recently showed that all (n, 3)-rings are commutative.

We consider the self-adjoint second-order scalar difference equation (1) Δ(rnΔxn) +pnXn+1 = 0 and the matrix system (2) Δ(RnΔXn) + PnXn+1 = 0, where are seQuences of real numbers (d x d Hermitian matrices) with rn > 0(Rn > 0). The oscillation and nonoscillation criteria for solutions of (1) and (2), obtained in [3, 4, 10], are extended to a much wider class of equations by Riccati and averaging techniques.

We show that under reasonable restrictions on the metric spaces X and Y, every surjective isometric isomorphism between Lip(X) and Lip(Y) arises in a simple manner from an isometry between X and Y. Our result differs from several previous results along these lines in that we do not require X and Y to be compact.

Let α be a positive irrational real number, and let fα (n) = [(n + l)α] — [nα] — [α],n > 1, where [x] denotes the greatest integer not exceeding x. It is shown that the sequence fα has a certain 'substitution property' if and only if α is the root of a quadratic equation over the rationals.

We consider two dynamical systems associated with a substitution of Pisot type: the usual $\mathbb{Z}$-action on a sequence space, and the $\mathbb{R}$-action, which can be defined as a tiling dynamical system or as a suspension flow. We describe procedures for checking when these systems have pure discrete spectrum (the “balanced pairs algorithm” and the “overlap algorithm”) and study the relation between them. In particular, we show that pure discrete spectrum for the $\mathbb{R}$-action implies pure discrete spectrum for the $\mathbb{Z}$-action, and obtain a partial result in the other direction. As a corollary, we prove pure discrete spectrum for every $\mathbb{R}$-action associated with a two-symbol substitution of Pisot type (this is conjectured for an arbitrary number of symbols).

In this paper we prove that there is no nontrivial ${{L}^{q}}$-integrably $p$-harmonic 1-form on a complete manifold with nonnegatively Ricci curvature $\left( 0\,<\,q\,<\,\infty \right)$.

Let $H$ be a complex Hilbert space, and $\mathcal{H}\left( H \right)$ be the real linear space of bounded selfadjoint operators on $H$. We study linear maps $\phi :\,\mathcal{H}(H)\,\to \,\mathcal{H}(H)$ leaving invariant various properties such as invertibility, positive definiteness, numerical range, etc. The maps $\phi$ are not assumed a priori continuous. It is shown that under an appropriate surjective or injective assumption $\phi$ has the form $X\mapsto \xi TX{{T}^{*}}orX\mapsto \xi T{{X}^{t}}{{T}^{*}}$, for a suitable invertible or unitary $T$ and $\xi \,\in \,\{1,\,-1\}$, where ${{X}^{t}}$ stands for the transpose of $X$ relative to some orthonormal basis. Examples are given to show that the surjective or injective assumption cannot be relaxed. The results are extended to complex linear maps on the algebra of bounded linear operators on $H$. Similar results are proved for the (real) linear space of (selfadjoint) operators of the form $\alpha I\,+\,K$, where $\alpha$ is a scalar and $K$ is compact.

Let $(X,\,d)$ be a metric space, and let $\text{Lip(}X\text{)}$ denote the Banach space of all scalar-valued bounded Lipschitz functions $f$ on $X$ endowed with one of the natural norms

$$\left\| f \right\|\,=\,\max \{{{\left\| f \right\|}_{\infty }},\,L(f)\}\,\,\text{or}\,\,\left\| f \right\|\,=\,{{\left\| f \right\|}_{\infty }}\,+\,L(f),$$

where $L(f)$ is the Lipschitz constant of $f$. It is said that the isometry group of $\text{Lip(}X\text{)}$ is canonical if every surjective linear isometry of $\text{Lip(}X\text{)}$ is induced by a surjective isometry of $X$. In this paper we prove that if $X$ is bounded separable and the isometry group of $\text{Lip(}X\text{)}$ is canonical, then every 2-local isometry of $\text{Lip(}X\text{)}$ is a surjective linear isometry. Furthermore, we give a complete description of all 2-local isometries of $\text{Lip(}X\text{)}$ when $X$ is bounded.