Search

In a recent paper Robinson has obtained an explicit formula for the expression of an invariant matrix of an invariant matrix as a direct sum of invariant matrices. The object of the present note is to show that this formula may be deduced from known properties of Schur functions, with the aid of a result which the author has proved elsewhere.

Erdös [1] has shown that, if the square-free numbers in ascending order be denoted by s1, s2, … , sn, … , then for 0 ≦ γ ≦ 2as x → ∞. In this paper we shall extend this result by proving that the asymptotic formula in fact holds for the wider range 0 ≦ γ ≦ 3.Similar results have been obtained previously by the author in respect of both the sequence of numbers expressible as the sum of two squares and also sequences of numbers relatively prime to given large integers, although the method used here differs from that of the earlier papers [2; 3].

A dissectible polyhedron is a natural extension of a concept whose history dates back to at least 1758 and Euler [7]—the concept of a dissection of a polygon. An interesting historical survey of dissections of a polygon is given by Brown [4]. Some approaches to the classical problem have been given by Moon and Moser [9] and by Guy [8] ; the latter provides an approach which is the basis of the work in this paper. A summary of enumeration results on dissections of polygons and polyhedra by automorphism groups has been given by the authors [2].Recent extensions of the problem have been investigated in a series of papers by Brown and Tutte [3; 5; 14; 15] and b y Takeo [10; 11; 12; 13].

In this paper R is a commutative noetherian local ring with unit element 1 and M is its maximal ideal. Let K be the residue field R/M and let {t1,t2,…, tn) be a minimal system of generators for M. By a complex R1. . ., Tp> we mean an R-algebra* obtained by the adjunction of the variables T1. . ., Tp of degree 1 which kill t1,…, tp. The main purpose of this paper is, among other things, to construct an R-algebra resolution of the field K, so that we can investigate the relationship between the homology algebra H (R < T1,…, Tn>) and the homological invariants of R such as the algebra TorR(K, K) and the Betti numbers Bp = dimk TorR(K, K) of the local ring R. The relationship was initially studied by Serre [5].

In recent years there has been some interest in trying to improve the behaviour of maps by extending their domains. For example, in 1953 Whyburn showed that every map is the restriction of a compact map [17]. Similarly, Krolevec proved in 1967 that each locally perfect map can be extended to a perfect map [12] and in an as yet unpublished paper, Dickman obtained the same result for arbitrary maps [4]. In this paper we show that every map can be extended to an open map so that certain properties of the domain and range are preserved in the new domain. These results are then used to obtain analogues and improvements of recent theorems of Arhangel'skiï, Ĉoban, Hodel, and Proizvolov.

Introduction. Until recently none of the numerous papers on the distribution of quadratic and higher power residues was concerned with questions of the following sort: Let k and m be positive integers. According to a theorem of Brauer (1), for every sufficiently large prime p there exist m consecutive positive integers r, r + l , . . . , r + m — 1, each of which is a &th power residue of p. Let r(k, m, p) denote the least such r. What can be said about the behaviour of r(k, m, p) as p varies? In particular, for what values of k and m is r(k, m, p) bounded, and for these values what is its maximum? For a fixed k and m we call a prime exceptional and denote it by p* if there do not exist m consecutive integers each of which is a &th power residue of p*. Set A(k,m) = Max r (k, m, p), where the maximum is taken over all nonexceptional primes p. In a previous paper (4) Lehmer and Lehmer showed that

In a recent paper [12] Muckenhoupt and Wheeden have established necessary and sufficient conditions for the validity of norm inequalities of the form ‖ |x|αTƒ ‖q ≦ C‖ |x|αƒ ‖p, where Tƒ denotes a Calderón and Zygmund singular integral of ƒ or a fractional integral with variable kernel. The purpose of the present paper is to prove, by somewhat different methods, similar inequalities for more general weight functions.In what follows, for p ≧ 1, p′ is the exponent conjugate to p, given by l/p + l/p′ = 1. Ω will always denote a locally integrable function on Rn which is homogeneous of degree 0, Ω∼ will denote a measurable function on Rn × Rn such that for each x ∈ Rn, Ω∼(x, .) is locally integrable and homogeneous of degree 0.

In order to extend Nevanlinna’s first and second fundamental theorems to arbitrary analytic mappings between Riemann surfaces, Sario [8, 9] introduced a kernel function on an arbitrary Riemann surface generalizing the elliptic kernel on the Riemann sphere. Because of the importance of the potential theoretic method in the value distribution theory, we discussed potentials of Sario’s kernel in [4]. In that paper the validty of Frostman’s maximum principle for Sario’s potentials was left unsettled. The main object of this paper is to resolve this question (Theorem 1). As a consequence the fundamental theorem of the potential theory is obtained in its complete form for Sario’s potentials (Theorem 2).

In this paper we give some results on the extensions of Lie algebras, with emphasis on the case of prime characteristic, although part of the paper is also of interest at characteristic 0. An extension of a Lie algebra L is a pair (E, π), where £ is a Lie algebra and π is a homomorphism of E onto L. The kernel K of the extension is ker π.

By an Euler polyhedron of valence three or a trivalent convex polyhedron in Euclidean 3-space (4) we mean in the present paper an Euler polyhedron in the sense of Steinitz (8, p. 113), such that each vertex is incident with exactly three edges.In the present paper we establish a theorem concerning the colouring of trivalent polyhedra. A specialization of this theorem solves the following problem implicit in Eberhard (1, p. 84): Does there exist a trivalent Euler polyhedron with an odd number of faces such that the number of edges incident with any face is divisible by three?

Let R be a field and S a separable algebraic closure of R with galois group R. In [8] Harrison succeeded in describing R/′R in terms of R only. More precisely, he constructed a certain complex (R, Q/Z) and proved Homc, where Homc denotes continuous homomorphisms and H2 stands for the second cohomology group of the complex . In this paper, which is mainly expository in nature, we reexamine Harrison’s proof and show how [8] connects with Kummer theory and the theory of galois algebras [16]. We emphasize that most of the ideas on which this paper is based originate in [8].

If G is a finite group which has a faithful complex representation of degree nit is said to be a linear group of degree n. It is convenient to consider only unimodular irreducible representations. For n ≦ 4 these groups have been known for a long time. An account may be found in Blichfeldt's book (1). For n= 5 they were determined by Brauer in (4). In (4), many properties of linear groups of prime degree pwere determined for pa prime greater than or equal to 5.In a forthcoming series of papers these results will be extended and the linear groups of degree 7 determined. In the first paper, some general results on linear groups of degree p, p≧ 7, will be given. These results will later be applied to the prime p = 7.

We say a (plane) set A contains all sets of some type if, for each B of type , there is a subset of A that is congruent to B. Recently, Besicovitch and Rado [3] and independently, Kinney [5] have constructed sets of plane measure zero containing all circles. In these papers it is pointed out that the set of all similar rectangles, some sets of confocal conies and other such classes of sets can be contained in sets of plane measure zero, but all these generalizations rely in some way on the symmetry, or similarity of the sets within the given type.In this paper we construct a set of plane measure zero containing all finite polygonal arcs (i.e., the one-dimensional boundaries of all polygons with a finite number of sides) with slightly stronger results if we restrict our attention to k-gons for some fixed k.

In this paper we deal with the number of zeros of a solution of the nth order linear differential equation1.1where the functions pj(z) (j = 0, 1, …, n – 2) are assumed to be regular in a given domain D of the complex plane. The differential equation (1.1) is called disconjugate in D, if no (non-trivial) solution of (1.1) has more than (n – 1) zeros in D. (The zeros are counted by their multiplicity.)The ideas of this paper are related to those of Nehari (7; 9) on second order differential equations. In (7), he pointed out the following basic relationship. The function1.2where y1(z) and y2(z) are two linearly independent solutions of1.3is univalent in D, if and only if no solution of equation(1.3) has more than one zero in D, i.e., if and only if(1.3) is disconjugate in D.

In previous papers (7; 8), we have investigated certain properties of general function algebras which may be regarded as generalizations or analogues of familiar results in the theory of analytic functions of several complex variables. This investigation is continued and expanded in the present paper. The main results concern a notion of holomorphic convexity for the general situation. We also extend somewhat several of the results obtained in the earlier papers.

In a recent paper by Douglas Underwood [8] several definitions of “associated prime divisors” were discussed and shown to be unique. In this note we produce a fifth type, which is due to W. Krull, and is found in his classical paper [2] and further discussed by B. Banaschewski in[1].Historically this characterization considerably predates the other four definitions.Throughout this note,Rdenotes a commutative ring with unity, and all ideals and elements are assumed to be in such a ring. We shall let upper case letters, most frequently the beginning of the alphabet, denote ideals and lower case letters, elements ofR.On the whole, our terminology will be that of [9]. We do, however, take exception with [9] in two instances, viz.

The classification of Riemann surfaces has largely reached its completion. The purpose of the present paper is to lay the foundation for a new intriguing field in the classification theory: Riemannian spaces with Euclidean metrics. The paper is self-contained, both for the Riemann surface expert and the reader whose main interest is with higher dimensions. The significance of locally Euclidean spaces lies, first of all, in that their function-theoretic nature differs for dimensions n>2 and n=2. The existence or nonexistence of Green's functions and positive or bounded harmonic functions in Rn, punctured Rn, and in the punctured flat torus offer simple examples. A striking phenomenon is that, despite such differences, the basic inclusion relations remain valid. Moreover, capacities and null-classes can be defined for components of point sets in Rn.

In this paper we consider the value distribution of a meromorphic function whose behaviour is prescribed along a spiral. The existence of extremely wild holomorphic functions is established. Indeed a very weak form of one of our results would be that there are holomorphic functions (in the unit disc or the plane) for which every curve “tending to the boundary” is a Julia curve.The theorems in this paper generalize results of Gavrilov [7], Lange [9], and Seidel [11].I wish to express my thanks to Professor W. Seidel for his guidance and encouragement.2. Preliminaries. For the most part we will be dealing with the metric space (D, ρ) where D is the unit disc, |z| < 1, and ρ is the non-Euclidean hyperbolic metric on D. The chordal metric on the Riemann sphere will be denoted by x.

The theorems of the present paper deal with conditions which are necessary and sufficient in order that a solvable or nilpotent infinite group should have a completely reducible matrix representation over a given algebraically closed field.It is known (17) that a locally nilpotent group of matrices is always solvable. Thus the first theorem of the present paper is a partial generalization of Theorem 1 of (16), which states:If G is a locally nilpotent subgroup of the full linear group GL(n, P) over a perfect field P, then G is completely reducible if and only if each matrix of G is diagonizable (by a similarity transformation over some extension field of P).

The topology of abstract 2-metric (area-metric) spaces has been the object of study in recent papers of Gähler (1) and Froda (2). The geometric properties of such spaces, however, have remained largely untouched since the initial work of Menger (3). As in ordinary metric spaces, a notion of 2-betweenness, or interiorness, can be easily defined in 2-metric spaces. In abstract metric spaces the betweenness relation is characterized among all relations defined on each triple of points of every metric space by six natural properties (4, pp. 33-40; 5). The purpose of this paper is to prove a similar theorem characterizing the relation of 2-betweenness in 2-metric spaces.

Let N be a finite set of n elements. A collection ﹛S1, S2, … , Sm﹜ of subsets of N is called a determining collection if an arbitrary subset T of N is uniquely determined by the cardinalities of the intersections Si ⋂ T, 1 ≤ i ≤ m. The purpose of this paper is to study the minimum value D(n) of m for which a determining collection of m subsets exists.This problem can be expressed as a coin-weighing problem (1; 7).In a recent paper Cantor (1) showed that D(n) = O(n/log log n), thus proving a conjecture of N. J. Fine (3) that D(n) = o(n). More recently Erdös and Rényi (2), Söderberg and Shapiro (7), Berlekamp, Mills, and Leo Moser have independently found proofs that D(n) = O(n/log n).

The existence of certain formulae analogous to Poisson's summation formula (9, pp. 60-64),where αβ = 2π, α > 0, and Fc(x) is the Fourier cosine transform of f(x), but involving number-theoretic functions as coefficients, was first demonstrated by Voronoï (10) in 1904. He proved thatwhere r(n) is an arithmetic function,/(x) is continuous in (a, b) and a(x) and i?(x) are analytic functions dependent on τ(n). Later, numerous papers were published by various authors giving formulae of this type involving d(n), the number of divisors of n (3), and rp(n), the number of ways of expressing n as the sum of p squares of integers (8).In 1937, Ferrar (4) developed a general theory of summation formulae, using complex analysis. Around that time, Guinand (5) also published papers where he developed the general theory from a different point of view. He applied the theory of mean convergence for the transforms of class L2(0, ∞ ). Later in 1950, Bochner (1) gave a general summation formula.

In two previous papers (see4;5) O. T. O'Meara and I investigated the problem of generating the integral orthogonal group of a quadratic form by symmetries in the case where the underlying ring of integers was the integers of a dyadic local field of characteristic not 2. In this paper, the investigation is concerned with a local field of characteristic 2. As in (5), only the unimodular case is treated. As in (4) and (5), groupsS(L), Xh(L), andO(L) are introduced for a unimodular latticeLand the relationship betweenS(L) andO(L) studied. As in the previously cited papers, generation by symmetries means thatS(L) =O(L). The following result is obtained.

In an earlier paper [5], the author defined a zeta function on the real sphere , whereas in the present paper it is proposed to define one on the unitary sphere where xi's are complex numbers and their complex conjugates. Following E. Cartan, harmonics on the unitary sphere are defined and then a zeta function formed just as in the case of a real sphere. The unitary sphere is seen to behave like an even-dimensional closed manifold, since results similar to the ones proved by the author and A. Pleijel [6] for closed manifolds (of even dimensions) are observed here also.

In a recent paper (3), Grünbaum has found a general and unifying setting for a number of properties of some special lines associated with a planar convex body. Besides various interesting results, two conjectures are stated and two kinds of convexity and polygonal connectedness are introduced.In the present paper, we shall prove one of Grünbaum's conjectures (§ 3, Theorem 1); we consider the other in § 4 and establish some related results in §§ 5 and 6. Six-partite problems are studied in this general setting (§ 7) and a question raised by Ceder (2) is answered. We give a generalization of the notion of a continuous family of curves in § 8, and discuss some new kinds of connectedness in § 9.

All groups considered in this paper are abelian. A subgroup N of a group G is said to be a quasi-essential subgroup of G if G = 〈H, K〉 whenever H is an N-high subgroup of G and K is a pure subgroup of G containing N. We started the study of such subgroups in [5]; in particular, we characterized subsocles of a primary group which were both quasi-essential and centres of purity. In this paper we show that quasi-essential subsocles of a primary group are necessarily centres of purity answering thus in the affirmative a question raised in [5].We obtain the following theorem: A subsocle S of a p-group G is quasi-essential if and only if either S ⊂ G1or (pnG)[p] ⊃ S ⊃ (pn+1G)[p] for some non-negative integer n. The notation is that of [1]. If G is a group, thenwhere p is a prime integer.

Main purpose of the present paper is to study formal deductions described along the line of my former work [1]. In the present paper, I restrict myself to the primitive logic. To extend this method to other logics such as the lower classical predicate logic or the intuitionistic predicaste logic, my way of practical discription has to undergo a certain extent of modification.

The present paper is devoted to the study of differential geometry of Kaehlerian homogeneous spaces. In section 1 we deal with the canonical decomposition of a simply connected complete Kaehlerian space and that of its largest connected group of automorphisms. We know that a simply connected complete Riemannian space V is the product of Riemannian spaces V0, V1, …, Vn, where V0 is a Euclidean space and V1, …,Vn are not locally flat and their homogeneous holonomy groups are irreducible [2]. Moreover, if V is homogeneous, so are all Vk [10]. We shall show that if V is Kaehlerian space with real analytic metric (resp. Kaehlerian homogeneous space), each factor Vk is also Kaehlerian (resp. Kaehlerian homogeneous) and that V is the product of V0, V1, …, Vn as Kaehlerian space. We call this decomposition the de Rham decomposition of the Kaehlerian space V. Although this result is supposedly known, there is no published proof as yet. Using this decomposition theorem we shall show that the largest connected group of automorphisms of a simply connected complete Kaehlerian space with real analytic metric is the direct product of those of the factors of the de Rham decomposition. In the Riemannian case this result has be been established in [3] by one of the authors of the present paper.

Error-correcting codes are used in several constructions for packings of equal spheres in ^-dimensional Euclidean spaces En. These include a systematic derivation of many of the best sphere packings known, and construction of new packings in dimensions 9-15, 36, 40, 48, 60, and 2m for m g 6. Most of the new packings are nonlattice packings. These new packings increase the previously greatest known numbers of spheres which one sphere may touch, and, except in dimensions 9, 12, 14, 15, they include denser packings than any previously known. The density A of the packings in En for n = 2m satisfies log A ~ — \n log log n as n —* oo. 1.1. Introduction. In this paper we make systematic use of error-correct ing codes to obtain sphere packings in En, including several of the densest packings known and several new packings. By use of cross-section s we then obtain packings in spaces of lower dimension, and by building up packings by layers we obtain packings in spaces of higher dimension. Collectively, these include all of the densest packings known, and further new packings are also con­ structed. Part 1 of the paper is devoted to groundwork for the constructions. § 1.2 introduces sphere packings, and §§ 1.3-1.8 survey the error-correcting code theory used in the later Parts. Part 2 describes and exploits Construction A, which is of main value in up to 15 dimensions. Part 3 describes Construction B% of main value in 16-24 dimensions. Part 4 digresses to deal with packings built up from layers, while Part 5 gives some special constructions for dimen­ sions 36, 40, 48 and 60. Part 6 deals with Construction C, applicable to dimensions n = 2m and giving new denser packings for m ^ 6. We conclude with tables summarizing the results. Table I, for all n S 24, supersedes the tables of [18; 19], and Table II gives results for selected n > 24. The tables may be used as an index giving references to the sections of the paper in which the packings are discussed. Partial summaries of this work have appeared in [22; 23]. General references for sphere packing are [18; 19; 31] and for coding theory [4; 25].

In the previous papers [1], [2] we have studied the prolongations of G-structures to tangent bundles of arbitrary order, and in [3] we have considered the prolongations of connections to the tangential fibre bundles of higher order. The purpose of the present paper is to study the liftings of tensor fields and affine connections to tangent bundles of higher order. In fact, most of results in [4], [5] will be generalized in a natural fashion and some of the formulas concerning vertical and complete lifts in [5] will be unified and generalized in our formulas concerning ‹Λ›-lifts (cf. §3).

It is the purpose of the present paper to give a natural method of realizing bounded symmetric domains as matrix-spaces. Our method yields, as special cases, the well-known bounded models of irreducible bounded symmetric domains of classical type (I)-(IV), as were already described in the original paper of E. Cartan [1] (see §3; we follow in this paper the classification table in [14], not in [1]). A direct application of this method will be to determine the canonical bounded models of the irreducible bounded symmetric domains of exceptional type; it will be published in another paper (see [6], [7] for the summary of the results).

In this paper various concepts intrinsically defined by the differential equation1.1are interpreted geometrically by concepts analogous to those in the Minkowski plane. This is carried out in § 2. The point of such a development is that one may apply the techniques or transfer known results in the theory of curves (in particular, convex curves) to (1.1), thereby gaining an additional tool in the investigation of this equation. For an application of a result obtained in this way, namely (3.12), see (4).Throughout this paper,R(t)is a real-valued, continuous function ofton the real line (— ∞ < t < + ∞) and only the real solutions of (1.1) are considered.

The projective planes discovered in 1957 by Hughes [3] were originally described by means of a nearfield F satisfying the following conditions:(a) F is finite,(b) the centre and kernel of F coincide,(c) F is of rank 2 over its kernel.(The definitions of these terms will be given in § 2; the terminology used throughout the paper is that of [1].)Rosati [5] showed in 1960 that condition (a) is not necessary, thus constructing the first “infinite Hughes planes”. Condition (b), however, plays an essential part also in Rosati's work.The aim in this paper is to show that condition (b) is superfluous as well. For the finite case, this has been remarked by Ostrom [4] without proof; here we shall show that a “generalized Hughes plane” can be constructed over any nearfield satisfying condition (c) only.

I t is straightforward, but tedious, to write down the integers whose representations in a given base do not have particular digits in certain positions. In the first section of this paper we give a computational scheme that enables us to carry out such operations in a rapid and simple fashion.In the second section of the paper we derive a general identity involving the digits of integers in arbitrary Cantor systems of notation.In the third section we apply this identity and deduce a number of results concerned with the splitting of integers into classes with equal power sums. The computational scheme of the first section leads us to an algorithm for the determination of such splittings.

A ring A has finite norm properly, abbreviated FNP, if each proper homomorphic image of A is finite. In [3], Chew and Lawn described some of the structural properties of FNP rings with identity, which they called residually finite rings. The twofold aim of this paper is to extend the results of [3] to arbitrary rings with FNP and to give characterizations of FNP rings independent of the results of [3].If A is a ring, let A+ denote A regarded as an abelian group. In the first section of this paper, we explore the effects of FNP upon the structure of A+. The following theorem is typical of the results in this section.

LetRbe the discrete group ring of the groupGover the ringA. In this paper we attempt to find necessary and sufficient conditions onGandAso thatRwill have some standard ring-theoretic property ; among the properties considered are those of being artinian, regular, self-injective, and semi-prime.The contents of this paper form essentially the author's doctoral thesis. The author would like to thank his supervisor Dr. J. Lambek for his generous encouragement and continued interest.

This paper considers the properties of the representation of a Lie algebra when restricted to an ideal, the subduced* representation of the ideal. This point of view leads to new forms for irreducible representations of Lie algebras, once the concept of matrices of invariance is developed. This concept permits us to show that irreducible representations of a Lie algebra, over an algebraically closed field, can be expressed as a Lie-Kronecker product whose factors are associated with the representation subduced on an ideal. Conversely, if one has such factors, it is shown that they can be put together to give an irreducible representation of the Lie algebra. A valuable guide to this work was supplied by a paper of Clifford (1).

In a recent paper (7) Yood developed the beginnings of a theory of modular annihilator algebras. In this paper we extend his work on these algebras.The definition of modular annihilator algebra is algebraic in nature (see §4) ; in fact the algebra need not be assumed even topological. However, a significant number of important normed algebras are modular annihilator algebras. A list of examples is given in §8.The theory of modular annihilator algebras is related to the theory of certain important topological algebras. In §5 we consider the relationships between dual and annihilator algebras and modular annihilator algebras, and in §7, the relationship between completely continuous normed algebras and modular annihilator algebras.

Let Mm be a closed PL manifold of dimension m. Then a concordance between two PL-homeomorphisms h0, h1:M → M is a PL-homeomorphismH: M × I → M × I such that H|M × 0 = h0 and H|M × 1 = h. Concordance is an equivalence relation and in his paper [2], M. Kato classifies PL-homeomorphisms of Sp × Sq up to concordance. To do this he treats first the problem of classifying those homeomorphisms that induce the identity in homology, and then describes the automorphisms of the cohomology ring that can arise from homeomorphisms of Sp × Sq. In this paper we show that for sufficiently connected PL-manifolds that embed in codimension 1, one can extend Kato's classification of the homeomorphisms that induce the identity in homology.

For a formal definition of “map” the reader is referred to (7, §2). The maps in this paper are rooted by specifying an orientation for one of the edges. This also specifies a root vertex, the negative end of the root, and a root face, the face on the left of the root edge. Counting is, as usual, defined on isomorphism classes.Regular maps of even valence have been enumerated in a recent paper by Tutte. In this paper we determine the average number of trees in such maps, and include similar results for regular tri valent maps, that is, maps with three edges incident on every vertex. In the development for the latter, a formula for the number of trivalent maps with 2t vertices is produced.

In a paper published in 1956, Rund (4) developed the differential geometry of a hypersurface of n— 1 dimensions imbedded in a Finsler space of n dimensions, considered as locally Minkowskian.The purpose of the present paper is to provide an extension of the results of (4) and thus develop a theory for the case of m-dimensional subspaces imbedded in a generalized (Finsler) metric space.We consider an n-dimensional differentiable manifold Xn and we restrict our attention to a suitably chosen co-ordinate neighbourhood of Xn in which a co-ordinate system xi (i= 1, 2, … , n), is defined. A system of equations of the type xi = xi(t) defines a curve C of Xn the tangent vector dxi/dt of which is denoted by xi.

In an important paper (7), long overlooked, J. H. Redfield dealt with several aspects of enumerative combinatorial analysis. In a previous paper (1) I showed the relation between a certain repeated scalar product of a set of permutation characters of a symmetric group and Redfield's composition of his group reduction functions. Here I consider, from a group representational point of view, Redfield's idea of a range-correspondence and its application to enumeration of linear graphs. The details of the application of these ideas to more general enumerations are also given.

The theory of stochastic differential equations in a differentiate manifold has been established by many authors from different view-points, especially by R Lévy [2], F. Perrin [1], A. Kolmogoroff [1] [2] and K. Yosida [1] [2]. It is the purpose of the present paper to discuss it by making use of stochastic integrals.

In [5], Ikeda-Nagao-Nakayama gave a characterization of algebras of cohomological dimension ≦n In a subsequent paper [4] Eilenberg gave an alternative treatment of the same question. The present paper is devoted to the discussion of a number of questions suggested by the results of [4] and [5]. Among others it is shown that the conditions employed in stating the main results in [4] and [5] are equivalent, so that the main results of these two papers are in accord. Further, the cohomological dimension of a residue-algebra is studied in terms of that of the original algebra and the (module-) dimension of the associated ideal. The terminology and notation employed here are that of [3].

Let S denote the integral closure of a complete discrete rank one valuation ring R in a finite Galois extension of the quotient field of R, G the Galois group of the quotient field extension, and f an element of Z2(G,U(S)) where U(S) denotes the multiplicative group of units of S. A crossed product Δ(f, S, G) whose radical is generated as a left ideal by the prime element II of S is an hereditary order according to the Corollary to Thm. 2. 2 of [2], and we call such a crossed product a II-principal hereditary order. In previous papers the author has studied II-principal hereditary orders Δ(f, S, G) for tamely and wildly ramified extensions S of R (see [10] and [11]). The purpose of this paper is to study II-principal hereditary orders Δ(f, S, G) with no restriction on the extension S of R.

The definition and some of the properties of what may be called a Perron second integral (P2-integral) were given in a previous paper [4]. This integral starts with a function f(x) defined in an interval (a, c) and goes directly to a second primitive F(x) with the property that the generalized second derivative D2F is equal to f(x) for almost all x in (a, c). In the present paper the definition is changed slightly and further properties are deduced.

This paper arose out of an effort to present a result which simplifies the application of the theory of blocks to what is often called the theory of exceptional characters. In order to obtain the most effective use of this result, it is necessary to reformulate part of this theory. Thus we present a development which explains an application of R. Brauer’s main theorem on generalized decomposition numbers. In particular, we improve a result of D. Gorenstein and the author [8; Proposition 25]. These results are needed in a forthcoming paper and will simplify somewhat the use of this theory in existing papers. We are interested principally in determining the values of certain irreducible characters on trivial intersection subsets. The organization of the theory presented here is influenced by an exposition of M. Suzuki [13] and uses concepts introduced by W. Feit and J. G. Thompson [7]. Also it is hoped that this exposition will serve as an introduction to the theory.

HNN groups have appeared in several papers, e.g., [3; 4; 5; 6; 8]. In this paper we use the results in [6] to obtain a structure theorem for the subgroups of an HNN group and give several applications.We shall use the terminology and notation of [6]. In particular, if K is a group and {φi} is a collection of isomorphisms of subgroups {Li} into K, then we call the group1the HNN group with base K, associated subgroups { Li,φi(Li)} and free part the group generated by t1, t2, …. (We usually denote φi(Li) by Mi or L–i.) The notion of a tree product as defined in [6] will also be needed.

Throughout this paper, Z is the ring of integers, ƒ*(t) (ƒ(t)) is an integer monic (co-monic) polynomial in the indeterminate t (i.e., each coefficient of ƒ* (ƒ) is in Z and its highest (lowest) coefficient is 1 (5, p. 121, Definition) and M* (M) is the multiplicative semigroup of all integer monic (co-monic) polynomials ƒ* (ƒ) having no constant term. In (3, Theorem 2), Herstein proved that if R is a division ring with centre C such that1then R = C. In this paper we seek a generalization of Herstein's result to semi-simple rings. We also study the following condition:(1)*Our results are quite complete for a semi-simple ring R in which there exists a bound for the codegree ofƒ (ƒ*) (i.e., the degree of the lowest monomial of ƒ(ƒ*)) appearing in the left-hand side of (1) ((1)*).

Sanderson (Canad. Math. Bull., 8 (1965), 505–513), considering a nonempty collection Σ of left ideals of a ring R, with unity, defined the concepts of “Σ-injective module” and “Σ-essential extension” for unital left modules. Letting Σ be an idempotent topologizing set (called a σ-set below) Σanderson proved the existence of a “Σ-injective hull” for any unital left module and constructed an Utumi Σ-quotient ring of R as the bicommutant of the Σ-injective hull of RR. In this paper, we extend the concepts of “Σinjective module”, “Σ-essentialextension”, and “Σ-injective hull” to modules over arbitrary rings. An overring Σ of a ring R is a Johnson (Utumi) left Σ-quotient ring of R if RR is Σ-essential (Σ-dense) in RS. The maximal Johnson and Utumi Σ-quotient rings of R are constructed similar to the original method of Johnson, and conditions are given to insure their equality. The maximal Utumi Σquotient ring U of R is shown to be the bicommutant of the Σ-injective hull of RR when R has unity. We also obtain a σ-set UΣ of left ideals of U, generated by Σ, and prove that Uis its own maximal Utumi UΣ-quotient ring. A Σ-singular left ideal ZΣ(R) of R is defined and U is shown to be UΣ-injective when Z Σ(R) = 0. The maximal Utumi Σ-quotient rings of matrix rings and direct products of rings are discussed, and the quotient rings of this paper are compared with these of Gabriel (Bull. Soc. Math. France, 90 (1962), 323–448) and Mewborn (Duke Math. J. 35 (1968), 575–580). Our results reduce to those of Johnson and Utumi when 1 ∊ R and Σ is taken to be the set of all left ideals of R.