Search

Let G = GL(n, F) where F is a p-adic field, and let 𝓗(G) denote the Hecke algebra of spherical functions on G. Let u1,..., up denote a complete set of representatives for the unipotent conjugacy classes in G. For each 1 ≤ i ≤ p, let μi be the linear functional on such that μi(f) is the orbital integral of f over the orbit of ui. Waldspurger proved that the μi, 1 ≤ i ≤ p, are linearly independent. In this paper we give an elementary proof of Waldspurger's theorem which provides concrete information about the Hecke functions needed to separate orbits. We also prove a twisted version of Waldspurger's theorem and discuss the consequences for SL(n, F).

This paper uses the notion of the quantum dimension to obtain new results on the cohomology and representation theory of quantum groups at a root of unity. In particular, we consider the elementary theory of support varieties for quantum groups.

The purpose of this paper is to discuss the existence, structure, and properties of certain projective and injective Hopf algebras in the category of Hopf algebras that support the structure one expects on the homology of an infinite loop space. As an auxiliary project, we show that these projective and injective Hopf algebras can be realized as the homology of infinite loop spaces associated to spectra obtained from Brown-Gitler spectra by Spanier-Whitehead duality and Brown-Comenetz duality, respectively. We concentrate mainly on indecomposable projectives and injectives, and we work only at the prime 2.

The following paper defines a new type of ordering of higher level on a commutative ring. This definition allows the set of all orderings of levelnto be given a topology which we show is consistent with the topology of the real spectrum.

1. Introduction. The problem of convergence in distribution of a large class of generalized semimartingales to a continuous process is considerably simplified by a re­ cent theorem of Aldous [1], in conjunction with a result of Cremers and Kadelka [3] on convergence of integral functional, and the results of Mitoma [15] and Fouque [8] for generalized processes. We will give a convenient convergence criterion in this set­ ting. The proof amounts to a direct combination of the results of the abovementioned authors, requiring only a minor extension (of a special case) of the theorem of Cremers and Kadelka. The processes we will consider are O'-valued, where O' is the strong dual of 4>, a Frechet nuclear space or a strict inductive limit of a sequence of Frechet nuclear spaces. The duality between O' and O will be denoted by ( -, •). In the application $' will be 5'(/^), the Schwartz space of tempered distributions, i.e., the dual of the space 5(/^) of rapidly decreasing infinitely differentiate real functions on Rd. We will apply the criterion to prove convergence of the fluctuation process of a su­ percritical branching particle system with immigration. In order to appreciate the power of the new convergence criterion, which is essentially the idea of Aldous [1], we will show briefly the difficulties that arise in trying to prove convergence of this process by the usual approach involving the increasing process of the associated martingale. Ob­ taining the increasing process requires major computations, and we had not succeeded in establishing tightness by this approach. The new criterion does not use the increasing process. The type of process we will consider was introduced in [10] in connection with a system of supercritical branching Brownian motions with immigration in R*. The objec­ tive of [10] (and the previous papers [9,4]) was to define and study a process containing some useful genealogical information about the system, which cannot be detected if one looks only at the spatial distribution of particles at each time. The idea is to count the number of particles at a final time T (the present) whose ancestors at time t G [0, T) had positions in given Borel subsets of/^. Equivalently, a counting measure is defined

Let be a compact Riemann surface, be the complement of a nonvoid finite subset of and A() be the ring of finite sums of meromorphic functions in with finite divisor. In this paper it is proved that every nonzero f ∈ A() can be decomposed as a product αβ, where α is either a unit or a product of powers of irreducible elements of A(), uniquely determined by f up to multiplication by units, and β is a product of functions of the type eφ – 1, with φ holomorphic and nonconstant in . Furthermore, a similar result is obtained for a certain class of subrings of A().

The two Virasoro superalgebras, known as the Neveu- Schwarz algebra and the Ramond algebra, each have two unitary irreducible lowest weight modules with central charge . In this paper, I show how tensor products of these modules decompose into finite direct sums of irreducible modules with central charge .

The purpose of this paper is to list all of the characters of An, the alternating group, mentioned in the title. The same problem for the symmetric group, Sn, was dealt with by the authors in [1]. We showr here that, apart from a few exceptions, the imprimitive, irreducible complex characters of An fall naturally into two infinite families. (Throughout this paper characters are taken over the complex numbers.)

In two previous papers [1, 2] we investigated the zeros of certain arithmetic functions. Using units of cubic fields, we also succeeded to construct, almost by accident, and as a by-product so to speak, entirely new and comparatively complicated combinatorial identities. In an interesting paper combinatorialist L. Carlitz [10] proved those identities in an elementary way. In a/m, we had to prove that the units used were fundamental ones.Encouraged by these results, we took a closer look at this method that had led to the construction of combinatorial identities. Since the latter are such an important tool in mathematics, we thought it would be “einer Messe wert“ to generalize these results and lay the theoretical foundations of a new method for the construction of highly sophisticated combinatorial identities.

The transformations we will discuss in this paper are the Hankel transformation Hυ defined for f ∊ C 0, the collection of continuous functions compactly supported in (0, ∞), by (1.1) and the and transformations defined for such f by (1.2) and (1.3) where Jv >and Yv are the Bessel functions of the first and second kinds respectively, and H v is the Struve function; for the theory of these functions see [1, Chapter VII]. These transformations were studied extensively by one of us in [5] and [6] on the spaces defined in [7; Sections 1 & 5]. In those papers the boundedness of the three transformations was fully given on the spaces for 1 < p < ∞, but not for p = 1. Also inversion formulae were given for the transformations only for portions of their respective ranges of boundedness.

One of the original applications of catastrophe theory envisaged by Thom was that of discussing the local structure of the focal set for a (generic) smooth submanifold M ⊆ Rn + 1. Thom conjectured that for a generic M there would be only finitely many local topological models, a result proved by Looijenga in [4]. The objective of this paper is to extend Looijenga's result from the smooth category to the algebraic category (in a sense explained below), at least in the case when M has codimension 1.Looijenga worked with the compactified family of distance-squared functions on M (defined below), thus including the family of height functions on M whose corresponding catastrophe theory yields the local structure of the focal set at infinity. For the family of height functions the appropriate genericity theorem in the smooth category was extended to the algebraic case in [1], so that the present paper can be viewed as a natural continuation of the first author's work in this direction.

A commutative Banach algebra is called symmetric if, regarded as a function algebra on its maximal ideal space, it is closed under complex conjugation. Varopoulos, [5], proved the asymmetry of the tensor algebra , where T is the unit circle. It is the object of this paper to prove the asymmetry of the Schur multipliers of the space , where m is the Lebesgue measure. In the second part of the paper we study the Hankel multipliers of the space and give an application to it.1. The asymmetry of. Let C(T) denote the space of continuous functions on T and A(T) be the space of those functions in C(T) that have absolutely convergent Fourier series. Consider the mapping F: C(T) → C(T × T) defined by F(f)(x, y) = f (x + y).

Throughout this paper, S will denote a finite semigroup and Z+ the set of positive integers. E = E(S) denotes the set of idempotents of S. Let . If , then let AB = {ab| a ∈ A, b ∈ B}. has been studied by many authors, including [2, 3, 5, 6, 7]. If X is a set, then |X| denotes the cardinality of X. For undefined terms in this paper, see [1,4].THEOREM 1. Let I be an ideal of S, a subgroup of . Then has a normal subgroups such that is isomorphic to a subgroup of and is isomorphic to a subgroup of .

This paper is a direct continuation of the article “Proximal analysis and boundaries of closed sets in Banach space, Part I: Theory”, by the same authors. It is devoted to a detailed analysis of applications of the theory presented in the first part and of its limitations.Theorem 2.1 has important consequences for geometry of Banach spaces. We start the presentation with a discussion of density and existence of R-proper points (Definition 1.3) for closed sets in Banach spaces. Our considerations will be based on the “lim inf” inclusions proven in the first part of our paper.

In this paper we continue our effort [11], [12], [13], [14] to interpret geometrically the harmonic forms on certain locally symmetric spaces constructed by using the theta correspondence. The point of this paper is to prove an integral formula, Theorem 2.1, which will allow us to generalize the results obtained in the above papers to the finite volume case (the previous papers treated only the compact case). We then apply our integral formula to certain finite volume quotients of symmetric spaces of orthogonal groups. The main result obtained is Theorem 4.2 which is described below. We let (,) denote the bilinear form associated to a quadratic form with integer coefficients of signature (p, q). We assume that the fundamental group Γ ⊂ SO(p, q) of our locally symmetric space is the subgroup of the integral isometries of (,) congruent to the identity matrix modulo some integer N. We assume that N is chosen large enough so that Γ is neat (the multiplicative subgroup of C* generated by the eigenvalues of the elements of Γ has no torsion), Borel [2], 17.1 and that every element in Γ has spinor norm 1, Millson-Raghunathan [15], Proposition 4.1. These conditions are needed to ensure that our cycles Cx (see below) are orientable. The methods we will use apply also to unitary and quaternion unitary locally symmetric spaces, see [13].

In [16] Freese showed that the word problem for the free modular lattice on 5 generators is unsolvable. His proof makes essential use of Mclntyre's construction of a finitely presented field with unsolvable word problem [30]. (We follow Cohn [7] in calling what is commonly called a division ring a field, and what is commonly called a field a commutative field.) In this paper we will use similar ideas to obtain unsolvability results for varieties of modular ortholattices. The material in this paper is fairly wide ranging, the following are recommended as reference texts.

The problem which motivated the writing of this paper is that of finding structure behind the decomposition of the sl3 representation spaces V* ⊗ W = Hom(V, W) for finite dimensional irreducible sl3-modules V and W. For sl2 this extends the classical Clebsch-Gordon problem. The question has been considered for sl3 in a computational way in [5]. In this paper we build a conceptual algebraic framework going beyond the enveloping algebra of sl3.For each dominant integral weight α let Vα be an irreducible representation of sl3 of highest weight α. It is well known that, for weights α, μ, λ, the multiplicity of Vλ in Hom(Vα, Vα+μ) is bounded by the multiplicity of μ in Vλ, with equality for generic α. This suggests the possibility of a single construction of highest weight vectors of weight X in Hom(Vα, Vα+μ) which is valid for all a.

The aim of this paper is to extend to a suitable class of topological semigroups parts of well-defined theory of representations of topological groups. In attempting to obtain these results it was soon realized that no general theory was likely to be obtainable for all locally compact semigroups. The reason for this is the absence of any analogue of the group algebra Ll(G). So the theory in this paper is restricted to a certain family of topological semigroups. In this account we shall only give the details of those parts of proofs which depart from the standard proofs of analogous theorems for groups.On a locally compact semigroup S the algebra of all μ ∊ M(S) for which the mapping and of S to M(S) (where denotes the point mass at x) are continuous when M(S) has the weak topology was first studied in the sequence of papers [1, 2, 3] by A. C. and J. W. Baker.

This paper is concerned with the description of principal congruence relations. Given elements a and b of a universal algebra , let θ(a, b) denote the smallest congruence relation on containing the pair 〈a, b〉. One of the earliest characterizations of θ(a, b) is Mal'cev's well-known result [5, Theorem 1.10.3], which says that c ≡ d(θ(a, b)) if and only if there exists a sequence z0, z1, …, zn of elements of and a sequence f1, f2, …, fn of unary algebraic functions such that c = z0, d = zn, and for each i = 1, …, n,Although this describes θ(a, b) in terms of a set of unary algebraic functions, it is not possible to predict the number or complexity of the unary functions used independently of the choice of a, b, c and d. Several recent papers ([1], [2], [3], [4], [6]) investigate classes of algebras in which principal congruences are simpler.

1. Introduction. The remarkable 1927 paper by J. H. Redfield [13] which anticipated many recent combinatorial results in Polya counting theory and, in fact, predated Polya's theorem by ten years has been discussed at length by Harary and Palmer [8], Foulkes [5; 6], Sheehan [15; 16] and Read [12], not to mention de Bruijn [3] and others. We shall, in this paper, demonstrate how multilinear techniques may be used in this context. The Redfield superposition theorem and decomposition theorem turn out to be statements about a group acting on finite function spaces, and may thus be dealt with in multilinear terms. We shall prove Redfield's results and an extension due to Foulkes [5].

This paper is motivated by work in two fields, the theory of strict topologies and topological measure theory. In [1], R. C. Buck began the study of the strict topology for the algebra C*(S) of continuous, bounded real-valued functions on a locally compact Hausdorff space S and showed that the topological vector space C*(S) with the strict topology has many of the same topological vector space properties as C0(S), the sup norm algebra of continuous realvalued functions vanishing at infinity. Buck showed that as a class, the algebras C*(S) for S locally compact and C*(X), for X compact, were very much alike. Many papers on the strict topology for C*(S), where S is locally compact, followed Buck's; e.g., see [2; 3].

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.

In (1) Baer studied the following problem: If a torsion-free abelian group G is a direct sum of groups of rank one, is every direct summand of G also a direct sum of groups of rank one? For groups satisfying a certain chain condition, Baer gave a solution. Kulikov, in (3), supplied an affirmative answer, assuming only that G is countable. In a recent paper (2), Kaplansky settles the issue by reducing the general case to the countable case where Kulikov's solution is applicable. As usual, the result extends to modules over a principal ideal ring R (commutative with unit, no divisors of zero, every ideal principal).The object of this paper is to carry out a similar investigation for pure submodules, a somewhat larger class of submodules than the class of direct summands. We ask: if the torsion-free i?-module M is a direct sum of modules of rank one, is every pure submodule N of M also a direct sum of modules of rank one? Unlike the situation for direct summands, here the answer depends heavily on the ring R.

In the first part of this paper we define a partial ordering on the set of all homogeneous identities and find necessary and sufficient conditions that an identity does not imply any identity lower than it in the partial ordering (we call such an identity irreducible). Perhaps the most interesting property established for irreducible identities is that they are skew-symmetric in any two variables of the same odd degree and symmetric in any two variables of the same even degree. The results of the first section are applied to commutative algebras in the remainder of the paper.

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.

1. In this paper, X will always denote a locally compact Hausdorff space, C0(X) the algebra of all complex-valued continuous functions vanishing at infinity on X and B(X) the algebra of all bounded continuous complex-valued functions defined on X. If X is compact, C0(X) is identical to B (X) and all the results of this paper are obvious. Therefore, we will assume at the outset that X is not compact. If A represents an algebra of functions, AR will denote the algebra of all real-valued functions in A.

In this paper we apply various results and methods of previous papers on the kernel to four-person games.Section 2 contains the basic definitions needed. In §3 we prove that the kernel of the general-sum four-person game consists of a line segment (which may shrink to a point). A method for classifying games according to their kernels is suggested in §4 and is used there to characterize all four-person games whose kernel consists of a non-degenerate interval. In the last section, §5, we offer a bargaining procedure, based on principles established in (1), which leads to the kernel in the case of a non-degenerate interval.

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.

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).

The Szegö polynomials are defined on T, the real numbers modulo 1. In this paper and in its sequel we give a generalization of Szegö polynomials in which T is replaced by an arbitrary locally compact abelian group θ on whose dual there has been distinguished a measurable order relation compatible with the group structure. The present paper is devoted to the case where θ is compact and therefore discrete. The general case will be taken up in the sequel mentioned above. It is desirable to proceed in this way because the case θ compact is much simpler and much more like the classical situation than is the general case, in which various measure-theoretic difficulties obtrude. Moreover, as it happens, it is possible to develop the theory in this way with relatively little repetition.

In 1955 Taylor [6] constructed an AP-integral sufficiently strong to integrate Abel summable series with coefficients o(n). He showed that the AP-integral includes the special Denjoy integral and further that, when applied to trigonometric series, the AP-integral is more powerful than the SCP-integral of Burkill [1] and the P2-integral of James [3]. The present paper shows that the AP-integral includes the SCP-integral, and, under natural assumptions, the P2-integral.After completing this manuscript I was advised by Skvorcov that he had shown [5] under more general conditions that the P2-integral is included in the AP-integral. The proof in the present paper seems to have some value in its own right and is considerably shorter.Since the definition of the AP-integral is essentially for a function defined in (0, 2π] and elsewhere by 2π-periodicity, we shall consider SCP-integrable and P2-integrable functions defined similarly.

This paper is a partial solution of problem 24 in (2) which suggests that the finiteness of the partially ordered semigroups generated by various combinations of operators on classes of universal algebras be investigated. The main result is that the semigroups generated by the following sets of operators (for definitions see §2) are finite: {H, S, P, Ps}, {C, H, S, P, PF} {C, H, S, PU, PF}.This paper is part of the author's Master's thesis written in the Department of Mathematics at McMaster University. The author is indebted to the referee for his helpful suggestions.

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).

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.

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

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.

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)

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 paper (5) published in the Proceedings of the Cambridge Philosophical Society, Primrose obtained the formulae for the number of points contained in a non-degenerate quadric in PG(n, s), the finite projective geometry of n dimensions based on a Galois field GF(s). In § 3 of the present paper the formulae for the number of p-flats contained in a non-degenerate quadric in PG(n, s) are obtained. In § 4 an interesting property of a non-degenerate quadric in PG(2k, 2m) is proved. These properties of a quadric will be used in solving some combinatorial problems of statistical interest in a later paper.

It is the purpose of this paper to establish a closer connection between the logarithmic capacity of sets and double trigonometric series. In (9), closed sets of logarithmic capacity zero were established as sets of uniqueness for a particular class of double trigonometric series under circular (C, 1) summability. By slightly changing this class of series but still maintaining closed sets of logarithmic capacity zero as sets of uniqueness, it is shown in this paper that closed sets of positive logarithmic capacity form sets of multiplicity.

This paper continues work begun in a previous paper of the same title (7), which will be called I; results from I will be referred to as Theorem 1.4, Axiom 1.1 etc. The notation used in the present paper will, except where noted, be that of I, to which reference should be made for further details.In § 2, certain ideas presented in I are modified to give a neater and more general theory and then some new results of this theory are added. The remaining two sections develop some of the examples mentioned in I, § 5.

The class S of functions under study in this paper was introduced by V. I. Smirnov in 1932. This class was subsequently investigated by various authors, a pertinent paper to the present wrork being that of Tumarkin and Havinson [2], who showed that a plane compact set of logarithmic capacity zero is 5-removable. Another important development, due to Yamashita [3], wras that the class 5 could be characterized as those analytic functions ƒ for which log+ |ƒ| has a quasi-bounded harmonic majorant.In what follows, we discuss the Smirnov class in the context of planar surfaces, exploiting some ideas in the work of Hejhal [1] to establish that a closed, bounded, totally disconnected set is S-removable if and only if its complement belongs to the null class Os.

The S-function , where is the ‘new multiplication' or plethysm of D. E. Littlewood [1], corresponds, in the sense defined below in (1), to the character afforded by a representation of the symmetric group Slm induced from a representation of the subgroup . The aim of this paper is to define the latter representation and deduce its character using a somewhat different approach from that in [3].

Stationary logic L(aa) is obtained for Lωω by adding a quantifier aa which ranges over countable sets and is interpreted to mean “for a closed unbounded set of countable subsets”. The dual quantifier for aa is stat, i.e., stat sφ(s) is equivalent to ¬aa s ¬φ(s). In the study of the L(aa)-model theory of structures a particular well behaved class was isolated, the finitely determinate structures. These are structures in which the quantifier “stat” can be replaced by the quantifier “aa” without changing the validity of sentences. Many structures such as R and all ordinals are finitely determinate. In this paper we will be concerned with finitely determinate first order theories, i.e., those theories all of whose models are finitely determinate.Example 0.1. [5] The theory of dense linear orderings is not finitely determinate. Let S be a stationary costationary subset of ω1 andwhere

The object of this paper is to study some structural aspects of finite T0 + T4 and T0 + T5 spaces in order to establish certain recursion relations that can be used to obtain the number of (labelled as well as unlabelled) T0 + T5 topologies on a finite set.Here, as in [2], a topology 𝒥 is a T4(T5) space provided for any pair of disjoint closed sets A and B (separated sets A and B = A ∩ closure B = B ∩ closure A = 0) there exist disjoint open sets 0A and 0B 𝒥 such that A ⊆ 0A and B ⊆ 0B. An almost immediate consequence of these investigations is that the inherent simplicity of the connected T0 + T5 topologies ensures that they are reconstructable.

In this paper we consider the problem of determining when an algebra of formal power series over a commutative ring R is the homomorphic image of a reduced incidence algebra P(R, ∽). The question of when two such algebras are isomorphic is answered in Section 8 of [1]. A slight generalization of their notion of full binomial type is introduced here.Section 1 contains background material together writh a summary of the results of [1]. In Section 2 we present the desired characterization, and to conclude an application appears in Section 3. In Section 3 the tools of Section 2 are used to derive an equation of R. W. Robinson and R. P. Stanley which counts labelled, acyclic digraphs.

In this paper, we analyze what happens with respect to quadratic forms when a square root is adjoined to a field F which has exactly two quaternion algebras. There are many such fields—the real numbers and finite extensions of the p-adic numbers being two familiar examples. For general quadratic extensions, there are many unanswered questions concerning the quadratic form structure, but for these special fields we can clear up most of them.It is assumed char F ≠ 2 and K = F (√a) where a ∊ Ḟ – Ḟ2. Ḟ denotes the non-zero elements of F. Generally the letters a, b, c, … and α, β, … refer to elements from Ḟ and x, y, z, … come from .

It is well known that the complete quotient ring of a Noetherian ring coincides with its classical quotient ring, as shown in Akiba [1]. But in general, the structure of the complete quotient ring of a given ring is largely unknown. This paper investigates the structure of the complete quotient ring of certain Prüfer rings. Boisen and Larsen [2] considered conditions under which a Prüfer ring is a homomorphic image of a Prüfer domain and the properties inherited from the domain. We restrict our investigation primarily to homomorphic images of semilocal Prüfer domains. We characterize the complete quotient ring of a semilocal Prüfer domain in terms of complete quotient rings of local rings and a completion of a topological ring.

In recent papers Horst Herrlich [4; 5] has demonstrated the usefulness of topological categories for applications to a large variety of special structures. A particularly striking result is his characterization of cartesian closedness for topological categories (see [5]). Spaces satisfying a separation axiom usually cannot form a topological category in Herrlich's sense however and some interesting special cases, e.g. Hausdorff C-spaces, remain excluded from his theory despite having many analogous properties. It therefore seems worthwhile to undertake a similar study in a wider setting. To this end we relax one of the axioms for a topological category and show that in the resulting initially structured categories a significant selection of results can still be proved, including the characterization of cartesian closedness.