Our title has become something of a misnomer, however we retain it since drafts of this note have been quoted with it.

Let K be an algebraically closed field of characteristic ρ >0. If G is a connected, simple connected, semisimple linear algebraic group defined over K and σ an endomorphism of G onto G such that the subgroup Gσ of fixed points of σ is finite, Steinberg ([6] [7]) has shown that there is a complex irreducible character χ of Gσ with the following properties. χ vanishes at all elements of Gσ which are not semi- simple, and, if x ∈ G is semisimple, χ(x) = ±n(x) where n(x)is the order of a Sylow p-subgroup of (ZG(x))σ (ZG(x) is the centraliser of x in G). If G is simple he has, in [6], identified the possible groups Gσ they are the Chevalley groups and their twisted analogues over finite fields, that is, the ‘simply connected’ versions of finite simple groups of Lie type. In this paper we show, under certain restrictions on the type of the simple algebraic group G an on the characteristic of K, that χ can be expressed as a linear combination with integral coefficients of characters induced from linear characters of certain naturally defined subgroups of Gσ. This expression for χ gives an explanation for the occurence of n(x) in the formula for χ (x), and also gives an interpretation for the ± 1 occuring in the formula in terms of invariants of the reductive algebraic group ZG(x).

Until 1965, when Janko [7] established the existence of his finite simple group J1, the five Mathieu groups were the only known examples of isolated finite simple groups. In 1951, R. G. Stanton [10] showed that M12 and M24 were determined uniquely by their order. Recent characterizations of M22 and M23 by Janko [8], M22 by D. Held [6], and M11 by W. J. Wong [12], have facilitated the unique determination of the three remaining Mathieu groups by their orders. D. Parrott [9] has so characterized M22 and M11, while this paper is an outline of the characterization of M23 in terms of its order.

A.H. Clifford ([2], [3]) has shown that all finite dimensional irreducible representations of a completely 0-simple semigroup can be obtained as extensions of those of its maximal subgroups. Lallement and Petrich, [7], have given an alternative method for constructing the irreducible representations of a finite 0-simple semigroup from its Schutzenberger representation ([13]). Using the form which they obtain for the irreducible representations of a finite 0-simple semigroup S = M0(G; m, n; P), Lallement and Petrich show that where M is the Munn algebra isomorphic to the (contracted) algebra Φ(S) of S over Φ.

For all positive integers m, n, m ≤ n, let m,n denote the variety of algebras with m n-ary operations ω1, …, ωm and n m-ary operations φ1, …, φn satisfying the system of identities The varieties m,n are considered by Swierczkowski [1] and by Akataeb and Smirnov [2]. Jonsson and Tarski [3] consider m,n in the case m = 1, n = 2. In [2] it is shown that the lattice Lm,n of subvarieties of m,n, is uncountable except when m = 1 in which case Lm,n has a very simple description. In particular, for n > 1 the lattice L1,n is the two element chain which means that 1,n has no proper subvarieties.

In studying the geometry of normed linear space it is useful to draw attention to the following mapping.

The systematic study of identities in groups was begun by B. H. Neumann in 1937, [7]. Although many special loop identities have been extensively investigated, there is not, as yet, a general theory of identical relations in loops. We cannot hope that such a theory will be as rich in results as in the group case (except in the sense that loop theory includes group theory) but there are many interesting problems, including some which have no analogue in the associative case.

A consequence of Schreier's formula is that if G is a subgroup of the free group F of rank n < 1 and rank G ≦ n, then G = F or G is of infinite index in F. However, if S is a free sovlvable group of derived length I < 1 and H is a subgroup of S which is free solvable of the same length, then the rank of H does not exceed the rank of S. These observations led G. Baumslag to conjecture that if H is of finite index in S then H = S. In fact, we have sharper results in two directions. If H and S are free solvable of the same length, not only is H of infinite index in S, but δ1−1(S)/δ1−1(H) is torsion-free. In another direction we need not assume that S is free solvable, only that s is torsion-free and of derived length l (l > 1) and that H is not cyclic. Thus Stallings' theorem [11] that a finitely generated torsionfree group with a free subgroup of finite index is itself free has an even stronger counterpart in the variety of groups solvable of length at most l (l > 1): a torsionfree group in that variety with a non-cyclic free subgroup of finite index coincides with this subgroup. The proof relies on the following theorem: If S is a free solvable group, J is the group of automorphisms of S which induce the identity on S/S', and I is the group of inner automorphisms of S, then J/I is torsion-free. The proofs of these theorems form the bulk of the first four sections.

The standard methods of constructing generalized free products of groups (with a single amalgamated subgroup) and permutational products of groups are to consider groups of permutations on sets. Although there is an apparent similarity between these two constructions, the exact nature of the relationship is not clear. The following addendum to [4] grew out of an attempt to determine this relationship. By noting that the original construction of permutational products (B. H. Neumann [7]) deals with a group of permutations on a group (although the group structure has been previously ignored; see [7], [8]) we here give an extension of the original permutational product-construction which yields both the generalized free product and the permutational products as groups of permutations on groups. A generalized free product is represented as a group of permutations on the ordinary free product of the constituents of the underlying group amalgam and a permutational product is a group of permutations on the direct product of the constituents of the amalgam.

In the theory of multivalent functions there are several different levels of postulates for p-valency. Perhaps the most well-known is the class of mean p-valent functions in the sense of Spencer [8] (we shall refer to them as areally mean p-valent functions), whose basic properties are found, e.g., in Hayman [4]. Recently Eke [1, 2] extended to these functions a number of results which had been known for circumferentially mean p-valent functions.

The starting point of this investigation was a question put to us by Martin B. Powell: If the prime number p divides the order of the finite group G, must there be a minimal set of generators of G that contains an element whose order is divisible by p? A set of generators of G is minimal if no set with fewer elements generates G. A minimal set of generators is clearly irredundant, in the sense that no proper subset of it generates G; an irredundant set of generators, however, need not be minimal, as is easily seen from the example of a cyclic group of composite (or infinite) order. Powell's question can be asked for irredundant instead of minimal sets of generators; it turns out that the answer is not the same in these two cases. A different formulation, together with some notation, may make the situation clearer.

This paper presents an example to show that the lattice of subvarieties of 3, 9 Λ11 is non-distributive. The example is used further to show that a certain ‘canonic” description for non-nilpotent subvarieties of pp2, p prime, is generally not unique.

Let S be a nonempty subset of a normed linear space E. A point s0 of S is called a farthest point if for some x ∈ E, . The set of all farthest points of S will be denoted far (S). If S is compact, the continuity of distance from a point x of E implies that far (S) is nonempty.

Let T denote the circle group, C the set of continuous complex-valued functions on T, and A the set of f ∈ C having absolutely convergent Fourier series:

I standing for the set of integers.

Until recently there has been little systematic work on the second-order properties of queueing processes. The aim of this paper is to study systematically the second-order properties of the queue length processes embedded at departure epochs in the M/G/1 and bulk service M/G/1 queues, and at arrival epochs in the GI/M/1 queue. In the latter case our results extend those of Daley [7], while in the ordinary M/G/1 queue our work parallels Daley's [6] discussion of waiting times in the same system. In the final section we briefly discuss two discrete time queueing systems.

The notion of commutative monad was defined by the author in [4]. The content of the present paper may briefly be stated: The category of algebras for a commutative monad can in a canonical way be made into a closed category, the two adjoint functors connecting the category of algebras with the base category are in a canonical way closed functors, and the front- and end-adjunctions are closed transformations. (The terms ‘Closed Category’ etc. are from the paper [2] by Eilenberg and Kelly). In particular, the monad itself is a ‘closed monad’; this fact was also proved in [4].

In this paper we suppose that the function s(x) is integrable in the Lebesgue sense for every finite interval of x ≥ 0. If exists, we say that the integral exists.

In [1] D. W. Miller and the author established necessary and sufficient conditions for the existence of a cancellative (ideal) extension of a commutative cancellative semigroup by a cyclic group with zero. The purpose of this paper is to extend these results to cancellative extensions by any finitely generated Abelian group with zero and to establish in this general case conditions under which two such extensions are equivalent.

It is well known that Wald's Fundamental Identity (F.I.) in sequential analysis can be used to derive approximate (and, sometimes exact) results in most situations wherein we have essentially a random walk phenomenon. Bartlett [2] used it for the gambler's ruin problem and also for a simple renewal problem. Phatarfod [18] used it for a problem in dam theory. It is the purpose of this paper to show how a generalization of the Fundamental Identity to Markovian variables, (Phatarfod [19]) can be used to derive approximate results in some problems in dam and renewal theories where the random variables involved have Markovian dependence. The reason for considering both the theories together is that the models usually proposed for both the theories — input distribution for dam theory, and lifedistribution for renewal theory — are similar, and only a slight modification (to account for the ‘release rules’ in dam theory, plus the fact that we have two barriers) is necessary to derive results in dam theory from those of renewal theory.

In this paper we prove the existence of simplexes self-polar for a given simplex in projective space of dimensions higher than two. And noting the reciprocity of the relationship between a simplex and any simplex self-polar for it, further, we consider a configuration in projective space associated with a pair of mutually self-polar simplexes. Finally the results obtained are related to the simplexes determined by Hadamard matrices in space of special dimensions.