Search

In a previous paper (3) generalizations of M. Riesz's theorem by the method of asymptotic approximation have been given. The present paper is concerned with further generalizations for even and odd functions. In Section 3, we consider a generalization of a theorem due to Zygmund: If (10, p. 254). The results in this paper include generalizations of results by K. K. Chen (2) and T. M. Flett (4, Theorems 1, 2) as important special cases.

In a previous paper (2), one of us has derived a formula for the counting series for bicoloured graphs.2 These are graphs each of whose points has been coloured with exactly one of two colours in such a way that every two adjacent points have different colours.In this paper we first enumerate bicoloured graphs without isolated points and connected bicoloured graphs. This leads us to corresponding problems for bicolourable graphs. Such a graph has the property that its points can be coloured with two colours so as to obtain a bicoloured graph.

In this paper, we consider linear spaces and algebras with real scalars. It is well known that if X is a Banach space and is the set of all bounded linear operators which map X into itself, then is a Banach algebra. In this paper we shall show that can be partially ordered so that it becomes a partially ordered algebra in which norm convergence is equivalent to order convergence. This motivates a study of Banach algebras of operators in which one uses the order structure to obtain various results. In addition, it encourages a study of partially ordered algebras in general, since our result shows that among such algebras one finds all real Banach algebras of operators. Of course, there are many other real algebras which are naturally partially ordered and which have been studied from that point of view.

1. Introduction. In one of his papers on limits for the characteristic roots of a Matrix, Brauer (1) has stated a theorem, which connects the roots of a given square matrix A, with those of a matrix A* derived from A by a certain process. The proof of this theorem involves a continuity argument and in a recent paper on the construction of stochastic matrices Hazel Perfect (5) has given a proof which avoids considerations of continuity.

Throughout this paper R denotes the set of all real numbers, m(K) the Lebesgue measure of K ⊆ R, H a Hilbert space, L(H) the set of all linear continuous mappings of H into H, endowed with the usual structure of a Banach space.We consider the mapping F of the set R into L(H) such thatholds for all x, y ∈ R. In (2) we have solved this equation under the assumption that H is of finite dimension. In this paper we prove that a weak measurability of F implies its weak continuity in the case of separable Hilbert space. In Theorem 2 we prove that every weakly continuous solution of (1) in the set of normal transformations has the form F(x) = cos (xN), where the normal transformation N does not depend on x.

The theorem that every properly primitive binary quadratic form is capable of representing infinitely many prime numbers was first proved completely by H. Weber (5). The purpose of this paper is to give an elementary proof of the case where the form is ax2 + 2bxy + cy2, with a > 0, (a, 2b, c) = 1, and D = b2 — ac not a square. The cases where the form is ax2 + bxy + cy2 with b odd, and the case where the form is ax2+ 2bxy + cy2 with D a square, can be settled very simply once the first case is taken care of, and this is done in a page and a half in the Weber paper.

In their paper (1), Beurling and Livingston established a generalization of the Riesz-Fischer theorem for Fourier series in Lp using a theorem on duality mappings of a Banach space B into its conjugate space B*. It is our purpose in the present paper to give another proof of this theorem by deriving it from a more general result concerning monotone mappings related to recent results on non-linear functional equations in Banach spaces obtained by the writer (2, 3, 4, 5) and G. J. Minty (6).

The purpose of this paper is to record some progress on the problem of determining which (bounded, linear) operators A on a separable Hilbert space H are commutators, in the sense that there exist bounded operators B and C on H satisfying A = BC — CB. It is thus natural to consider this paper as a continuation of the sequence (2; 3; 5). In §2 we show that many infinite diagonal matrices (with scalar entries) are commutators and that every weighted unilateral and bilateral shift is a commutator.

In this paper we establish a connection between rectangular integer matrices and incidence matrices of resolvable balanced incomplete block designs. The definition of these terms has been given in paper I of this series.Our theorem can be stated as follows:THEOREM 2. Let A be a v X b matrix with integer elements such that2.1

In 1961, S. T. Hu published a paper (1) in which he discussed the desirability of discovering those topological properties which are preserved under homotopy and isotopy equivalences. In that paper he gave general tests in terms of weakly hereditary and hereditary topological properties for homotopy and isotopy properties.In this paper, general tests for homotopy and isotopy properties in terms of weakly hereditary properties and of a class of properties which the author calls open properties are given. In the last sections, we shall show the strong role played by the notions of dimension and separating subsets in forming isotopy properties.

The main results in this paper relate the concepts of flatness and projectiveness for finitely generated ideals in a commutative ring with unity. In this discussion the idea of a multiplicative ideal is used.Definition.An ideal Jis multiplicative if and only if whenever I is an ideal with I ⊂ J there exists an ideal Csuch that I = JC.Throughout this paper Rwill denote a commutative ring with unity. If I and Jare ideals of R,then I: J = {x| xJ ⊂ I}. By “prime ideal” we will mean “proper prime ideal” and Specie will denote this set of ideals. Ris called a local ring if it has a unique maximal ideal (the ring need not be Noetherian). If P is in Spec R then RPis the quotient ring formed using the complement of P.

This paper is primarily a brief elaboration on the axioms for a bicategory introduced in (3). From this point of view, the main aim is the development of the structure of certain systems of topological and uniform spaces, and the present paper merely points out some very general properties which follow from axioms so weak that they are satisfied by any system likely to be considered.

The object of this paper is the extension to linear partial differential equations of order m in N independent variables, of the existence theorems for mixed initial and boundary value problems which have been established for systems of first order equations in (3). In such mixed problems an initial surface S and a boundary surface T are the carriers of the two types of data, and the number of datum functions to be assigned on T depends on the configuration of the characteristic surfaces relative to S and T.For the first part of the paper (§§ 1-5) the coefficients in the differential equation, the initial and boundary surfaces, and the data prescribed are all taken to be real analytic in the variables x1 … xN. In this “analytic” case an existence theorem is established for boundary conditions of considerable generality. We assume that the differential equation is regularly hyperbolic with respect to 5 and T, a notion which is stated precisely in § 1, and is weaker than the usual regular hyperbolic condition.

The relation between the notions of measurability and continuity of a function has received a great deal of attention. The best-known result in this connection is the Vitali-Lusin theorem. Various versions of it can be found in (2; 3; 5; 8; 9). We prove one in this paper (Theorem 3.5) under very weak assumptions and state the classical one in Corollary 3.6. Functions satisfying the property stated in the theorem are frequently called quasicontinuous.Here we are interested in the notion of approximate continuity, which we call μ-continuity for short and which is closely connected to differentiation. It was first introduced by Lebesgue (4) and it has so far required knowledge of density theorems in order to prove its relation to measurability. In this paper, making use of a certain type of Vitali property, we prove first the relation between μ-measurable functions and those μ-continuous almost everywhere (Theorems 3.8 and 3.9). Then, in §4, with Theorem 3.8 as the main tool, we derive several theorems about density and differentiation which extend results found in (1; 3; 7; 8).

Our aim in this paper is to generalize certain ideas and results of Bary (1) on biorthogonal systems in separable Hilbert spaces to their counterparts in separable lp-spaces, 1 < p.The main result of Bary is to characterize a natural generalization of the concept of orthonormal basis for a Hilbert space. That of this paper is to characterize the concept of a Bary basis which is a generalization of the idea of standard basis of an lp-space. The result is interesting for lp-spaces because of the paucity of standard bases in these spaces.Before summarizing our results, we shall introduce some notation and recall a few pertinent definitions and facts. The symbols and denote mutually conjugate lp-spaces, where is the space lt and the space lswith 1 < r <2 and 2 < s = r/(r – 1).

If a quasigroup (L, .) has finite order n, then there are n2 principal loop-isotopes. Some of these n2 loops may be isomorphic, and the main purpose of this paper is to obtain theorems that describe the isomorphism classes. Using these results and a computer, we have determined all the loops of order 6. These are listed (using the Fisher and Yates (2) designations) at the end of the paper.

In this paper, we continue the study of integral extensions begun in [7]. Whereas in the previous paper, we dealt exclusively with the extension A[x]/(α(x)), α(x) a monic polynomial over A, we now deal with arbitrary integral extensions. Applications of the results presented herein will be made in subsequent papers.To simplify our presentation, we make the following conventions. By an algebra, we will always mean a commutative complex algebra with an identity element, usually denoted by e

This paper is concerned with some of the properties of arcs in the real affine plane which are met by every parabola at not more than four points. Many of the properties of arcs of parabolic order four which we consider here are analogous to the corresponding properties of arcs of cyclic order three in the conformai plane which are described in (1). The paper (2), on parabolic differentiation, provides the background for the present discussion.In Section 2, general tangent, osculating, and superosculating parabolas are introduced. The concept of strong differentiability is introduced in Section 3; cf. Theorem 1. Section 4 deals with arcs of finite parabolic order, and it is proved (Theorem 2) that an end point p of an arc A of finite parabolic order is twice parabolically differentiable.

Indices of normal spaces with countable basis for equivariant mappings have been investigated by Bourgin [4; 6] and by Wu [11; 12] in the case where the transformation groups are of prime order p. One of us has extended the concept to the case where the transformation group is a cyclic group of order pt and discussed its applications to the Kakutani Theorem (see [10]). In this paper we will define the Jp-index of a normal space with countable basis in the case where the transformation group is a cyclic group of order n, where n is divisible by p. We will decide, by means of the spectral sequence technique of Borel [1; 2], the Jp-index of SO(n) where n is an odd integer divisible by p. The method used in this paper can be applied to find the Jp-index of a classical group G whose cohomology ring over Jp has a system of universally transgressive generators of odd degrees.

A topological space is called “rigid” if its autohomeomorphism group is trivial. In (1), de Groot and McDowell showed that there are rigid, 0- dimensional spaces of arbitrarily high cardinality but left open the question of whether or not there are compact,rigid, 0-dimensional spaces of arbitrarily high cardinality, pointing out that an affirmative answer implies the existence of arbitrarily large Boolean rings with trivial automorphism groups. In this paper we construct a class of rigid, 0-dimensional spaces X αof arbitrary infinite cardinality and show that their Stone-Cech compactifications βX αare also rigid, thus answering the above question affirmatively.I would like to thank S. W. Willard, J. R. Isbell, and the referee for their careful readings of preliminary versions of this paper.

Properties and characterizations for prime and semiprime rings have been provided by A. W. Goldie (2, 3). In a previous paper (1), the authors used the results of (2) to characterize prime and uniform prime modules. It is the aim of the present paper to generalize Goldie's work on semi-prime rings (3) to modules. In this setting certain new properties will appear.Notationally, in the work to follow, the symbol R always denotes a ring and all R-modules will be right R-modules.In the theory of rings an ideal C is said to be prime if and only if whenever AB ⊆ C for ideals A and B, then either A ⊆ C or B ⊆ C. A ring is prime if the zero ideal is prime.

Throughout this paper R and Rn will denote v-rings, that is, complete discrete rank-one valuation rings of characteristic zero, having a common residue field k of characteristic p. R is assumed unramified and Rn has ramification index n. Let π be a prime element in Rn. Then Rn = R[π], where π is a root of an Eisenstein polynomial ƒ = xn + pƒn-1 xn-1 + … + pƒ0 with coefficients in R and ƒ0 a unit. Thus Rn is inertially isomorphic to R[[x]]/ƒR[(x)], that is, the rings are isomorphic by a mapping which induces the identity mapping on the common residue field. R[[x]] represents the power series ring in the indeterminate x over R. In this paper we identify Rn with R[[x]]/ƒR[[x]], R with its natural embedding in Rn and π with x + ƒR[[x]].

Our aim in this paper is to describe a new class of convex polytopes, which will be called linearly stable. These have properties analogous to those of projectively stable polytopes (called projectively unique by Grunbaum (1, exercise 4.8.30)), which were first investigated early in 1966 by Grunbaum and Pedes. Although many particular examples of projectively stable polytopes have been found, at present no general criteria for projective stability are known.The main result of this paper is a theorem which enables us to classify linearly stable polytopes completely.I wish to thank Professor G. C. Shephard for his many helpful suggestions for improvements to this paper. During the period of this research I held a research studentship, for which I would like to thank the Science Research Council.

In this paper, we are concerned with proving a formula for the computation of what is variously called the pattern inventory (e.g., see De Bruijn [2]) or the configuration counting series (e.g., see Harary [3]). Rather than redeveloping a large number of definitions, we shall assume the reader is already familiar with the terminology used by De Bruijn [2].Polya, in a celebrated paper [4], proved a formula for computing the pattern inventory for all functions f defined on a set D (where D is acted on by a permutation group G), and mapping into a set R (which is called the store) for which the “store enumerator” in known.

The spaced of this paper is a metrization, with a not necessarily symmetric distance xy, of an open convex set D in the n-dimensional affine space An such that xy + yz = xz if and only if x, y, z lie on an affine line with y between x and z and such that all the balls px ≦ p are compact. These spaces are called straight desarguesian G-spaces or sometimes open projective metric spaces. The hyperbolic geometry is an example; a large variety of other examples is studied by contributors to Hilbert's problem IV. When D = An and all the affine translations are isometries for the metric xy, the space is called a Minkowskian space or sometimes a finite dimensional Banach space, the (not necessarily symmetric) distance of a Minkowskian space being a (positive homogeneous) norm. In this paper geometric conditions in terms of equidistant loci are given for the space R to be a Minkowskian space.

The treatment of semigroups given in a previous paper (3) is based upon representations of a semigroup by means of transformations of a set (cf. also 12). In this paper we try to remove the assumption of the existence of a zero element proposed in (3). In accordance with our general programme explained at the beginning of (3) we utilize certain minimum conditions in order to gain more information on the structure of semigroups.Our main results are structure theorems on primitive semigroups which have irreducible right ideals generated by idempotents (§§15-17). As we have shown in (5), these theorems permit the explicit construction of primitive semigroups.

In a recent interesting paper (3) H. Schwerdtfeger answered a question of W. R. Utz (4) on the structure of the real solutions A of A* = B, where A is skew-symmetric. (Utz and Schwerdtfeger call A* the "adjugate" of A ; A* is the n-square matrix whose (i, j) entry is (—1)i+j times the determinant of the (n — 1)-square matrix obtained by deleting row i and column j of A. The word "adjugate," however, is more usually applied to the matrix (AT)*, where AT denotes the transposed matrix of A ; cf. (1, 2).)The object of the present paper is to find all real n-square skew-symmetric solutions A to the equation

Our aim is to present some global results about the set of maximal abelian subgroups of the symmetric group Sn. We shall show that certain properties are true for “almost all” subgroups of this set in the sense that the proportion of subgroups which have these properties tends to 1 as n → ∞. In this context we consider the order and the number of orbits of a maximal abelian subgroup and the number of generators which the group requires.Earlier results of this kind may be found in the papers [1; 2; 3; 4; 5]; the papers of Erdös and Turán deal with properties of the set of elements of Sn. The present work arose out of a conversation with Professor Turán who posed the general problem: given a specific class of subgroups (e.g., the abelian subgroups or the solvable subgroups) of Sn, what kind of properties hold for almost all subgroups of the class?

Our aim in this paper is to fill one gap left in (1) and to prove that if H is a finite collineation group of F5, the free plane generated by a finite open configuration of rank 9, then |H | ≦ 12. Alltop has shown that |H | ≦ 24 and that there exist finite collineation groups of F5 which have order 12, so that the argument in this paper shows that |H| ≦ 12 is the best estimate which can be given. In (1), Alltop has completely settled the question for Fn, n ≠ 5. The notation of this paper will generally be that of (1).Most of the arguments used here will consist of case analyses of degenerate planes of ranks 7 and 8 and will be sketched rather than given in detail. The one theorem of some interest in this paper, other than the main result, is the following theorem which yields some information about the collineation group of F4 (π2 in the notation of (4)).

Synopsis. This is the first of two papers dealing with the projective theory of spinors. It contains the algebraic introduction to the projective spinor analysis which will be dealt with in the second paper.

A considerable volume of research on the theory of regular maps is now in existence. Systematic enumerations of regular maps on the surfaces of genus 1 and 2 were begun by Brahana (1; 2) and completed by Coxeter (6; 7, p. 141). In addition Coxeter enumerated the regular maps on the simplest non-orientable surfaces (7, pp. 116, 139), and constructed tables of some interesting families of regular maps (3; 7, p. 140).Most of the regular maps on a surface of genus 3 have appeared in these papers, but no systematic enumeration of them seems to have been attempted. The ultimate goal of this paper is a complete list of these regular maps. However, the families of maps {j.p,q}and {j.p,j.q} which are defined in § 4 and listed in Tables I and II are of considerable interest in themselves. Also of some importance is the complete list of regular maps of type {p,3} with six or fewer faces (§ 5 and Table III).

This paper deals with the discrete groups of rigid motions of the hyperbolic plane. It is known (12) that the finitely generated, orientation-preserving groups have the following presentations:Generators: .Defining relations: where km = ambmam-1bm-1. We shall denote this group by F(p; n1, … , nd; r).In particular, the finitely generated free groups are contained among these. Indeed, one purpose of this paper is to indicate some geometrical methods for investigating free groups.

Letbe an ordinary differential operator of order h whose coefficients are (η, η) matrices defined on the interval 0 ≤ x < ∞, hη = n = 2v. Let the operator L0 be formally self adjoint and let v boundary conditions be given at x = 0 such that the eigenvalue problem(1.1)has no non-trivial square integrable solution. This paper deals with the perturbed operator L∈ = L0 + ∈q where ∈ is a real parameter and q(x) is a bounded positive (η, η) matrix operator with piecewise continuous elements 0 ≤ x < ∞. Sufficient conditions involving L0, q are given such that L∈ determines a selfadjoint operator H∈ and such that the spectral measure E∈(Δ′) corresponding to H∈ is an analytic function of ∈, where Δ′ is a subset of a fixed bounded interval Δ = [α, β]. The results include and improve results obtained for scalar differential operators in an earlier paper (3).

In [2] Sandler studied generalizations of projective planes called pseudo planes. These structures gave rise to ternary operations for which addition and multiplication are loop operations. Our aim in this paper is to investigate the pseudo planes for which the operations of addition and multiplication give rise to nearfields. The pseudo planes for which this is true will be called π-systems in this paper, and a list of postulates for such systems is given in § 2. In that section some results on collineations of π-systems are given which are stronger than analogous results for general pseudo planes.

The principal theorem of this paper, a generalization of a theorem given by R. H. Cameron (2), provides a means of approximating certain Wiener integrals to any desired degree of accuracy by an (n + 1)-fold Riemann integral with sufficiently large n. The generalization is in the use of a general complete orthonormal set of functions, whereas Cameron's paper used only the odd harmonic set.Let C′ be the class of real-valued functions x(t) defined on [0, 1] and such that x(0) = 0 and which are continuous except perhaps for one left continuous jump. Let C be the class of continuous members of C′.

The main theorem of this paper names seven ring classifications which coincide with the class of rings named in the title. Three of them are (1) rings over which every module is rationally complete, (2) left and right perfect rings over which every module is corationally complete, and (3) right perfect rings over which every right module is rationally complete. Corational completeness (introduced in this paper) and rational completeness are generalizations of projectivity and injectivity, respectively. One recalls that a proper subclass of the rings investigated in this paper, the artinian rings with zero radical, is known to have one-sided characterizations in terms of the injectivity (projectivity) of modules. An example proves, however, that the class of rings over which every right module is rationally complete properly contains the rings of the title.

In [2], J. Gross provides an infinite collection of topologically distinct irreducible homology 3-spheres. In this paper, we construct for any finitely generated abelian group A, an infinite collection {Mi} of topologically distinct irreducible closed 3-manifolds such that H1(Mi) = A for each i.The proof consists of first constructing a closed irreducible 3-manifold MA with H(MA) = A, and then providing a method for producing more such manifolds with the same first homology group.All maps and spaces in this paper are assumed to be in the piecewise linear category, and all subspaces are assumed to be piecewise linear subspaces.A 3-manifold M is irreducible if each 2-sphere in M bounds a 3-cell in M. A compact 2-manifold (or surface) F in a compact 3-manifold M is properly embedded in M if F ∩ bdM = bdF.

A topological group G is called monothetic if it contains a dense cyclic subgroup. An element x of G is called a generator of G if x generates a dense cyclic subgroup of G. We denote by E(G) the set of generators of G; the complement of E(G) in G, consisting of the “non-generators” of G, we write as N(G) Throughout this paper we consider only locally compact abelian (LCA) groups satisfying the T2 separation axiom (note that a monothetic group is automatically abelian). In [1] certain problems of measurability concerning the set E(G) are discussed. In this paper we shall consider some algebraic and topological properties of the sets E(G) and N(G)

This paper is a continuation of the earlier papers (1, 5) in which the author studied matrices with entries from the algebra C() of all continuous, complex-valued functions on an extremely disconnected, compact Hausdorff space . (Such spaces are sometimes called Stonian, after M. H. Stone, who first considered them in (8). They arise naturally as maximal ideal spaces of abelian W*-algebras.) In this note, three theorems are proved.

Throughout this paper E denotes a compact Hausdorff space, which, to avoid trivial complications, is assumed to contain at least two points. C(E), with the uniform norm, is the Banach algebra of all continuous real-valued functions defined on E; C+(E) is the set of those functions in C(E) which take only non-negative values. A subset of C(E) is a wedge if and only if it is closed under addition and multiplication by nonnegative scalars; a semi-algebra is a wedge closed under (pointwise) multiplication. The set C+(E) is a semi-algebra, and all semi-algebras considered in this paper are contained in C+(E). For a subset K of C+(E), the closed wedge (semi-algebra) generated by K is the least closed wedge (semi-algebra) containing K.

This paper continues the study of continuous selections begun in (13; 14; 15) and the expository paper (12). The purpose of these papers, which is described in detail in the introduction to (13), can be summarized here as follows. If X and Y are topological spaces, and ϕ a function (called a carrier) from X to the space 2Y of non-empty subsets of F, then a selection for ϕ is a continuous f: X → Y such that f(x) ∈ ϕ(x) for every x ∈ X. For reasons which are explained in (13), we restrict our attention to carriers which are lower semi-continuous (l.s.c), in the sense that, whenever U is open in Y, then is open in X. Our purpose in these papers is to find conditions for the existence and extendability of selections.The principal purpose of this paper is to generalize the following result, which is half of the principal theorem (Theorem 3.2˝) of (13) (and is repeated as Theorem I of (12)).

Throughout this paper, S will be a ring (not necessarily commutative) with an identity element ls ≠ 0s. We shall use R to denote a second ring, and ϕ: S→ R will be a fixed ring homomorphism for which ϕ1S = 1R.In (7), Higman generalized the Casimir operator of classical theory and used his generalization to characterize relatively projective and injective modules. As a special case, he obtained a theorem which contains results of Eckmann (3) and of Higman himself (5), and which also includes Gaschütz's generalization (4) of Maschke's theorem. (For a discussion of some of the developments of Maschke's idea of averaging over a finite group, we refer the reader to (2, Chapter IX).) In the present paper, we define the Casimir operator of a family of S-homomorphisms of one R-module into another, and we again use this operator to characterize relatively projective and injective modules.

It is well known that an idealAin a. Dedekind domain has a prime radical if and only ifAis a power of a prime ideal. The purpose of this paper is to determine necessary and sufficient conditions in order that a commutative ring with unit element have this property and to study the ideal theory in such rings. Domains with unit element having the above property possess many of the characteristics of Dedekind domains (however, they need not be Noetherian) and will be referred to in this paper as "almost Dedekind domains"—these domains are considered in Section 1.

Anosov flows are a generalization of geodesic flows on the unit tangent bundles of compact manifolds of negative sectional curvature. They were introduced and are dealt with at length by Anosov in [2]. Moreover they form an important class of examples of flows satisfying Smale's axioms A and B (see [15]). In that paper Smale poses the problem of determining which manifolds admit Anosov flows. In this paper we obtain information about the fundamental groups of such manifolds. These generalize results which have been obtained for the fundamental groups of manifolds of negative curvature (see Preissmann [13], Byers [6]).

The well-known results of Krull concerning the minimal prime divisors and the radical of an ideal in a commutative ring have been extended to the noncommutative case in a recent paper [5] by N. H. McCoy. In that paper systematic use was made of the concept of an m-system, a set M of elements of the ring such that if a ∈ M and b ∈ M then axb ∈ M for some element x of the ring.

This paper originated mainly from results presented in a paper by J. Ohm (13), and, to a lesser degree, from results of Gilmer in (3). Ohm's paper is concerned with the validity of the equation (x, y)n = (xn, yn) for each pair of elements x, y of an integral domain D with identity. If D is a Prüfer domain, the above equation is valid for all x, y ϵ D (7, p. 244). Butts and Smith have shown (2) that if (x, y)2 = (x2, y2) for all x, y of the integrally closed domain D, then D is a Prüfer domain.

Let F be the free group on n generators x1, …, Xn and let G be an arbitrary group. An element ω ∈ F determines a function x → ω(x) from n-tuples x = (x1, x2, …, xn) ∈ Gn into G. In a recent paper [5] Solomon showed that if ω1, ω2, …, ωm ∈ F with m < n, and K1, …, Km are conjugacy classes of a finite group G, then the number of x ∈ Gn with ωi(x) ∈ Ki for each i, is divisible by |G|. Solomon proved this by constructing a suitable equivalence relation on Gn.Another recent application of an unusual equivalence relation in group theory is in Brauer's paper [1], where he gives an elementary proof of the Frobenius theorem on solutions of xk = 1 in a group.

In a recent paper (6), S. T. Hu investigated the initial projection from the mth enveloping space of a topological space X into X and proved that, under some local conditions on X, the initial projection is a fibering. In a subsequent paper (7), Hu showed that the terminal projection from the mth enveloping space is a fibering without assuming the local conditions on X and in (8) he used the terminal projection from the second enveloping space in his topological immersion theorem.

This paper developed from, and complements, the paper by F. R. DeMeyer (see 6).In the first section of this paper we note a correspondence between projective modules of a central separable R-algebra A and the two-sided ideals of central separable algebras in the same class as A in the Brauer group of R. When R has the property that rank one projective A-modules are free, this correspondence yields a bijection between isomorphism types of indecomposable projective A-modules and the isomorphism types of algebras in the Brauer class of A which are the analogue of division algebra components in the field case. This bijection was remarked on without proof by DeMeyer in (6).Pursuing the ideas behind this correspondence, we consider the situation for a separable order A in a central simple algebra A over an algebraic number field, and obtain, by means of results involving the reduced norm, a generalization of DeMeyer's remark except when the division algebra component of A is a totally definite quaternion algebra (Theorem 3.3).

In 1927, J. H. Redfield (12), discussed some of the links between combinatorial analysis and permutation groups, including such topics as group transitivity, the enumeration of certain geometrical configurations, and the construction of various permutation isomorphs of a given group. Except for a revision of Redfield's treatment of transitivity by D. E. Littlewood (6), this 1927 paper appears to have been overlooked. However, it has recently been described (5) as a remarkable pioneering paper which appears to contain or anticipate virtually all of the enumeration results for graphs which have been discovered and developed during the last thirty years.