Introduction. In 1858 Chebyshev showed that xn+l can be approximated uniformly on [–1, 1] by polynomials of degree at most n with an error 2–n. Let 0 ≦ σ ≦ (n + l)tan2(π/2n + 2). In 1868 Zolotarev established that x n + 1σxn can be approximated uniformly on [ –1, 1] by polynomials of degree at most (n – 1) with an error 2–n(l + σ/n + l)n+1. It is interesting to note that for the case σ = 0, Zolotarev's result includes Chebyshev's result. Achieser ([1], p. 279) proved the following analogue for rational approximation. Let a0 ≠ 0, a1, a2, a3, …, an be any given real numbers. Then for every N > n,

where λ is numerically the smallest root of the polynomial

with

A space is H(i) [R(i)] if every open [regular] filter base has a cluster point and H(ii) [R(ii)] if every open [regular] filter base with a unique cluster point converges. This terminology is due to C. T. Scarborough and A. H. Stone [11]; H(i) spaces have been studied as quasi-H-closed spaces in [10] and as generalized absolutely closed spaces in [6]. Hausdorff H(i) [H(ii)] spaces are called H-closed [minimal Hausdorff] and regular T1 R(i) [R(ii)] spaces are called R-closed [minimal regular]. For a space X, 2X is the set of all non-empty closed subsets of X with the finite topology [8]. The present study was motivated by the longstanding problem of whether or not a T3 space with every closed subset R-closed is compact, and also by the well-known result ([8] and [14]) that X is compact if and only if 2X is compact.

A graph G is an ordered pair G = (V, E) where E is a set of 2-element subsets of V. The set V is the set of vertices, and E is the set of edges. The vertices x and y are joined by an edge if {x, y} is an edge. If X is a set (of colors) and χ : V →X, then we say that χ is an X-coloring of G if whenever two vertices x and y are joined by an edge, then χ(x) ≠ x(y). A graph is X-colorable if there is an χ-coloring of it. We will identify the natural number n with the set {0, 1, …, n – 1}, and often refer to n-colorings and to graphs being n-colorable.

Throughout let be faithful.

1.1. A U-morphism with domain X is a pair (e, A), where e ∈ Hom (X, UA). A [U-morphism (e, A) is called U-epi ( = generating) provided that r, s ∈ Hom (A, A’) and (Ur)e = (Us)e imply that r = s.

1.2. A U-source is a pair (X, (fi,Ai)I), (written more simply (X, (fi,Ai)I),, where (fi,Ai)I 7 is a family of U-morphisms each with domain X.

1.3. A factorization of a U-source (X,fi,Ai)I is a triple (e,A,gi)I such that (e, A) is a U-morphisms with domain X and for each i ∈ I gi ∈ Hom (A,Ai) and (Ugi)e = fi.

In this paper we construct modular forms from combinatorial designs, and codes over finite fields. We construct codes from designs, and lattices from codes. Then we use the combinatorial properties of the designs and the weight (or shape) structures of the codes to study the theta functions of the associated lattices. These theta functions are shown to be modular forms for the modular group or for various congruence subgroups. The levels of the forms we examine are determined by the dimensions of the codes and the characteristics of the fields. Using the Lee polynomial of the codes we can write the theta functions as homogeneous polynomials in modified Jacobi theta functions. By extending the underlying combinatorial structure, a modular form of half-integral weight is associated with a modular form of integral weight.

A box in Euclidean 𝓀-dimensional space Rk is a set of the type

A family of boxes, unless stated otherwise, is finite.

In [4] and [5], R. C. James introduced a non-reflexive Banach space J which is isometric to its second dual. Developing new techniques in the theory of Schauder bases, James identified J**, showed that the canonical image of J in J** is of codimension one, and proved that J** is isometric to J.

In Section 2 of this paper we show that J, equipped with an equivalent norm, is a semi-simple (commutative) Banach algebra under point wise multiplication, and we determine its closed ideals. We use the Arens multiplication and the Gelfand transform to identify J**, which is in fact just the algebra obtained from J by adjoining an identity.

The product on the stable homotopy ring of spheres π*scan be defined by composing, smashing or joining maps. Each of these three points of view is used in Section 2 to define Massey products on π*s. In fact we define composition and smash Massey products (x1, … , xt)where X1, … ,xt-1∈ π*s, xt∈ π*(E) and E is a spectrum. In Theorem 3.2, we prove that these three types of Massey products are equal. Consequently, a theorem which is easy to prove for one of these Massey products is also valid for the other two. For example, [3, Theorem 8.1] which relates algebraic Massey products in the Adams spectral sequence to Massey smash products in π*s is now also valid for Massey composition products in π*s

Recently invariant theory of linear groups has been used to determine the structure of several weight enumerators of codes. Under certain conditions on the code, the weight enumerator is invariant under a finite group of matrices. Once all the polynomial invariants of this group are known, the form of the weight enumerator is restricted and often useful results about the existence and structure of codes can be found. (See [5], [8], [14], and [15].) Many of the groups in these applications are of degree 2; in this paper all the invariants of finite 2 X 2 matrix groups over C are determined.

Let S be the set of all normalized univalent analytic functions ƒ(z) = z + a2z2 + … in the open unit disk U. Then ƒ(U) contains the disk . Here is the best possible constant and is referred to as the Koebe constant for S. On the other extreme, ƒ(U) cannot contain the disk {|w| < 1}; unless ƒ is the identity mapping.

In order to interpolate between the class S and the identity mapping, one may introduce the families , of functions ƒ ∈ S such that ƒ(U) contains the disk {|w| < d};. Then S(d1) ⊃ S(d2) for d1 < d2, and S(1) contains only the identity mapping. It is obvious that d is the “Koebe constant” for S(d). The relation between d and the second coefficient a2 has been studied by E. Netanyahu [5, 6].

How many of the continuous maps of a simple closed curve to itself are slope-preserving? For the unit circle S1 with centre (0, 0), a continuous map σ of S1 to S1 is slope-preserving if and only if σ is the identity map [σ(x, y) = (x, y)] or σ is the antipodal map [σ(x, y) = (–x, –y)]. Besides the identity map, more general simple closed curves can also possess an “antipodal” map (cf. Figure 1).

All spaces considered here are metrizable. k will always denote an infinite cardinal. The successor of k will be denoted by k+.

Of particular interest will be the Baire spaces where each Tn is a discrete space of cardinal k. The product topology on B(k) is the same as the topology given by the (complete) “first-difference” metric, p : p(s, t) = 1/n if Si = ti for 1 ≦ i ≦ n —1 and sn = tn. A great deal of information about these spaces can be found in [4].

A subset A of X is called k-analytic (in X) if there exist, for each t ∈ B(k), closed subsets F(t1), …, F(t1, …, tn), … of X such that

Our first result is a decomposition theorem for free groups relative to a set of elements. This enables us to formulate several algebraic conditions, some necessary and some sufficient, for various surfaces in the boundary of a 3-dimensional handlebody to be incompressible. Moreover, we show that there exists an algorithm to determine whether or not these algebraic conditions are met.

Many of our algebraic ideas are similar to those of Shenitzer [3]. Conversations with Professor Roger Lyndon were helpful in the initial development of these results, and he reviewed an earlier version of this paper, suggesting Theorem 1 (iii) and its proof. Our notation and techniques are standard (cf. [1], [2]). A set X of elements in a finitely generated free group F is a basis if it is a minimal generating set, and X±l denotes the set of all elements in X, together wTith their inverses.

A surface of order three F in the real projective three-space P3 is met by every line, not in F, in at most three points. F is biplanar if it contains exactly one non-differentiable point v and the set of tangents of F at v is the union of two distinct planes, say τ1 and τ2.

In [2], we examined the biplanar surfaces containing the line τ1 ⌒ τ2. In the present paper, we classify and describe the biplanar F with the property that τ1 ⌒ τ2⌒ F = {v}.

We denote the planes, lines and points of P3 by the letters α, β, …, L, M, … and p, q, … respectively. For a collection of flats α, L, p, …, 〈α, L, p, …〉 denotes the flat of P3 spanned by them. For a set M in P3, denotes the flat of P3 spanned by the points of .

The relationship between the lengths of cycles in a graph and the degrees of its vertices was first studied in a general context by G. A. Dirac. In [5], he proved that every 2-connected simple graph on n vertices with minimum degree d contains a cycle of length at least min{2d, n};. Dirac's theorem was subsequently strengthened in various directions in [7], [6], [13], [12], [2], [1], [11], [8], [14], [15] and [16].

Our aim here is to investigate another aspect of this relationship, namely how the lengths of the cycles in a 2-connected graph depend on the maximum degree. Let us denote by ƒ(n, d) the largest integer k such that every 2-connected simple graph on n vertices with maximum degree d contains a cycle of length at least k. We prove in Section 2 that, for d ≧ 3 and n ≧ d + 2,

A Banach space B is called an isometric predual, or simply a predual, of a Banach space X if the dual B* of B is isometrically isomorphic to X. A Banach space X is said to have a unique (isometric) predual if X has a predual and all preduals are mutually isometrically isomorphic. In general a Banach space does not have a unique predual even if it has a predual. A simple example of this is the space l1, because c0 and c are isometric preduals of l1 but not isometrically isomorphic. A. Grothendieck [3] first noticed that L∞-spaces have unique preduals, and then S. Sakai generalized this to von Neumann algebras (see p. 30 of [9]).

We consider the following problem: If KG is the group ring of a torsion free group over a field K,show that KG has no divisors of zero. At characteristic zero, major progress was made by Brown [2], who solved the problem for G abelian-by-finite, and then by Farkas and Snider [4], who considered Gpolycyclic-by-finite. Here we present a solution at nonzero characteristic for polycyclic-by-finite groups. We also show that if Khas characteristic p > 0 and G is polycyclic-by-finite with only p-torsion, then KG has no idempotents other than 0 or 1. Finally we show that if R is a commutative ring of nonzero characteristic without nontrivial idempotents and G is polycyclic-by-finite such that no element different from 1 in G has order invertible in R, then RG has no nontrivial idempotents. This is proved at characteristic zero in [3].

In this note we discuss how the saturation I X J, where I, J are k-complete ideals on a regular uncountable cardinal K, depends on the saturation of I and J. We show that if 2k = k+ then the saturation of I X J is completely determined by the saturation of I and J . A consequence of a negative saturation result is that NSk X NSk is not k+-saturated, where NSk is the nonstationary ideal on k (even though it is still open whether NSk can be K+- saturated). We also discuss the preservation of precipitousness under certain products, obtaining a simple example of an ideal on k that is precipitous but not k+-saturated.

In this paper we are going to use a result of H. Harada and Y. Sai concerning composition of nonisomorphisms between indecomposable modules and the theory of almost split sequences introduced in the representation theory of Artin algebras by M. Auslander and I. Reiten to obtain the inductive step in the second Brauer-Thrall conjecture.

Section 1 is devoted to giving the necessary background in the theory of almost split sequences.

As an application we get the first Brauer-Thrall conjecture for Artin algebras. This conjecture says that there is no bound on the length of the finitely generated indecomposable modules over an Artin algebra of infinite type, i.e., an Artin algebra such that there are infinitely many nonisomorphic indecomposable finitely generated modules. This result was first proved by A. V. Roiter [8] and later in general for Artin rings by M. Auslander [2] using categorical methods.

The following results of Whitehead and Wall are well-known applications of the algebraic K-theoretic functors K0 and K1 to basic homotopy questions in topology.

THEOREM 1 [20]. If f : X → Y is a homotopy equivalence between compact CW complexes, then there is a torsion τ(ƒ) in the algebraically-defined Whitehead group Wh π1(Y) which vanishes if and only if f is a simple homotopy equivalence.

THEOREM 2 [18]. If X is an arbitrary space which is finitely dominated (i.e., homotopically dominated by a compact polyhedron), then there is an obstruction σ(X) in the algebraically-defined reduced projective class group which vanishes if and only if X is homotopy equivalent to some compact polyhedron.

If we direct sum over components, then the above statements make good sense even if the spaces involved are not connected.