We show that the complete symmetric digraph DKn, n≧5, can be decomposed into each of the four oriented pentagons if and only if n ≡ 0 or 1 (mod 5).

Starters with adders, in abelian groups of odd order, have been used widely in recent combinatorial constructions, most notably in the study of Room squares. In this paper, constructions of adders for the so-called “patterned starter” are described, for a large class of nonabelian groups of odd order.

Complemented congruences in the classes of pseudocomplemented semilattices, p-algebras and double p-algebras are described. The descriptions are applied to give intrinsic characterizations of those algebras in the aforementioned classes whose congruence lattice is a Boolean algebra.

Consider the classical Hardy spaces Hp(T) (1 ≦ p ≦ ∞) on the unit circle T. We shall ignore completely the fact that the elements of Hp(T) can be extended via the Poisson formula to certain types of functions analytic inside the unit disc. For our purposes, Hp(T) is the closed ideal in Lp(T) consisting of those functions f ∈ Lp(T) for which (n) = 0 (n= –1, –2,…).

Let M be an invariant subspace of L2 (T2) on the bidisc. V1 and V2 denote the multiplication operators on M by coordinate functions z and ω, respectively. In this paper we study the relation between M and the commutator of V1 and , For example, M is studied when the commutator is self-adjoint or of finite rank.

Congruences on regular semigroups have been characterized in terms of normal equivalences on sets of idempotents and kernels of congruences. A revised characterization is presented here with considerably simplified expressions for the least and greatest congruences associated with normal equivalences and with a new description of kernels. The results are then applied to characterize congruences on completely regular semigroups.

Reflective Subcategories, Localizations and Factorization Systems: Corrigenda C. Cassidy, M. Hébert and G. M. Kelly, 1980 Mathematics subject classification (Amer. Math. Soc.): 18 A 20.

We study the coefficients An in the expansion of the infinite product We first derive a recurrence relation for An and from it we obtain an explicit expression of An. We then prove a convolution identity involving An.

We discuss properties of arithmetic functions of higher order defined through the introduction of a new concept of divisor of higher order. We shall construct an infinite sequence of Euler-like functions and the well known Euler function will be the first member of this sequence. Asymptotic estimates of such functions are given and a study of error functions associated with the Euler-like sequence is made. We would like to mention that the familiar number theoretic functions become only the first members of an infinite sequence of functions of similar behaviour.

This paper introduces the concept of an almost locally connected space. Every locally connected space is almost locally connected, and the concepts are equivalent in the class of semi-regular spaces. Almost local connectedness is hereditary for regular open subspaces, is preserved by continuous open maps, but not generally by quotient maps. It is productive in the presence of almost-regularity.

Let = {A1, …, An} be a union-closed set. This note establishes a property which must be possessed by any smallest counterexample to the Union-Closed Sets Conjecture. Specifically, a counterexample to the conjecture with minimal n has at least three distinct elements, each of which appears in exactly (n − 1)/2 of the .

We show that if G is a finitely generated profinite group such that [x1, x2, …, xk] is Engel for any x1, x2, …, xk ∈ G, then γ(G) is locally nilpotent, and if [x1, x2, …, xk] has finite order for any x1, x2, …, xk ∈ G then, under some additional assumptions, γk(G) is locally finite.

Using the comparsion results for positive compact operators by Aliprantis and Burkinshow, Mokhtar Kharroubi investigated cimpactness properties of positive semigroups on Banach latttices. The aim of this paper is to study these properties in general Banach spaces (without positivity). Our results generalize a part fo those obtained by Mokhtar-Kharroubi to general Banach spaces context. More specifically, we derive conditions which ensure the compactness of the remainder term Rn(t) for some inteter n. The improvement here is that it can applied directly to the neutron transport equation for a wide class of collision operators.

A natural equivalence θ on the lattice of congruences λ(S) of a semigroup S is studied. For any eventually regular semigroup S, it is shown that θ is a congruence, each θ-class is a complete sublattice of λ(S) and the maximum element in each θ-class is determined. 1980 Mathematics subject classification (Amer. Math. Soc.): 20 M 10.

Let L be a Lie algebra over the field F. A lattice automorphism of ℒ is an automorphism φ: ℒ(L) → ℒ(L) of the lattice ℒ(L) of all subalgebras of L. We seek to describe the lattice automorphisms in terms of maps σ: L→L of the underlying algebra. A semi-automorphism σ of L is an automorphism of the algebraic system consisting of the pair (F, L), that is, a pair of maps σ: F→ F, σ: L→ L preserving the operations. Thus σ: F → F is an automorphism of F and (x + y)σ = xσ + yσ, (xy)σ = xσyσ (λx)σ = λσxσ for all x, y ε L and λ ε F. Clearly, any semi-automorphism of L induces a lattice automorphism. To study a given lattice automorphism φ, we select a semi-automorphism a such that φσ-1 fixes certain subalgebras, and so we reduce the problem to the investigation of lattice automorphisms leaving these subalgebras fixed.

Suppose the sequence of Taylor coefficients of a rational function f consists of kth powers of elements all belonging to some finitely generated extension field F of Q. Then it is a generalisation of a conjecture of Pisot that there is a rational function with Taylor coefficients term-by-term kth roots of those of f. The authors show that it suffices to prove the conjecture in the case that the field of definition is a number field and prove the conjecture in that case subject to the constraint that f has a dominant pole, that is, that there is a valuation with respect to which f has a unique pole either of maximal or of minimal absolute value.

A classical theorem states that any open set on the real line is a countable union of disjoint open invervals. Here the numerical content of this theorem is investigated with the methods of constructive topology.

The associative and the commutative laws are characterized by preservation under the construction of powers and addition of a (new) unit element. This is used to generate the varieties defined by the two laws from two element groupoids.

The main goal of this paper is to describe radical classes closed under essential extensions. It turns out that such classes are precisely the homomorphically closed semisimple classes, and hence a radical class is essentially closed if and only if it is subdirectly closed. Moreover, a class is closed under homomorphic images, direct sums and essential extensions if and only if it is an essentially closed radical class. Also radical classes are investigated which are closed under Dorroh essentially extensions only, such a radical class R consists of idempotent rings provided that R does not contain the ring of integers, meanwhile all the other radicals satisfy this requirement. A description of (hereditary and) Dorroh essentially closed radicals is given in Theorem 4.

The theory of isogeny estimates for Abelian varieties provides ‘additive bounds’ of the form ‘d is at most B’ for the degrees d of certain isogenies. We investigate whether these can be improved to ‘multiplicative bounds’ of the form ‘d divides B’. We find that in general the answer is no (Theorem 1), but that sometimes the answer is yes (Theorem 2). Further we apply the affirmative result to the study of exceptional primes ℒ in connexion with modular Galois representations coming from elliptic curves: we prove that the additive bounds for ℒ of Masser and Wüstholz (1993) can be improved to multiplicative bounds (Theorem 3).