Search

I regret to announce that there is a serious error in my paper in these Transactions, volume 84, pp. 430-443. The error was discovered by Louis Kokoris who found that on line 8 of page 434 the expression given as 4[g(bz)](az) should have been 4[g(az)](bz). As a consequence the computation of P(z, g, az, b) yields nothing, the proof of formula (30) is not valid, and the important Lemma 9 is not proved. Thus the paper does not give a proof of its major result stated as Theorem 1. Nevertheless, the theorems of the paper are all correct and we shall provide a revision of the proof here. This revised proof has been checked by Louis Kokoris to whom the author wishes to express his great thanks. We observe first that the equation

Introduction. In a recent paper [2] R. H. Bruck has introduced the concept of right neoring and discussed some properties of these systems. In particular, he has considered analogues of certain properties of the ring of integers. This paper is essentially a commentary on Bruck's paper and we generalize some of his results as follows. The construction of the universal right neoring in [2] is applied to the free monogenic $3-loop in any subvariety $3 of the variety of loops and a complete analogue of Theorem 4.1 of [2] is obtained for any one of these subvarieties. Then, using a result similar to those obtained in [5], it is shown that this construction yields uncountably many right neorings with an identity which generates the additive loop of the right neoring. Conversely, every right neoring with an identity which generates its additive loop can be obtained from a free monogenic $3-loop by the above construction. Each of these right neorings has some properties resembling those of the ring of integers. One possible answer is given to the question raised by Bruck concerning the existence of universal right neorings with free additive loop of arbitrary rank. A brief proof is given, using the results of [4; 5], of the cancellation properties of the monogenic universal right neoring. Finally, we discuss briefly the relationship between right neorings and the logarithmetics of Etherington.

It is shown that the rings under the title admit an order-theoretical characterization as in the commutative case studied by Abian. Introduction. Let R be an associative ring equipped with the binary relation (^) defined by xay if and only if xy = x2 in R. In this paper, it is shown that ( ^ ) is an order relation on R if and only if, R has no nilpotent elements i9*0). Conditions on the binary relation (g) in order that R split into a direct product of division rings are then studied in the light of Abian's result (l, Theorem l). Using similar argumentation and using certain subdirect representation of rings with no nilpotent elements, one obtains a complete similarity with the commutative case (yet, no extra complication in the computa- tions). Conventions. R is an associative ring which is, unless otherwise stated, with no nilpotent elements (other than 0). As a result of (2), R can be embedded into a direct product of skewdomains, R—* YLiei £i (that is to say, rings R, having no one-sided divisors of zero). The former embedding is fixed throughout the paper. It is therefore legiti- mate to identify any element x in R with the family consisting of all its projections (xj.e/. Finally, all definitions in (l) are extended (verbatim) to the present case (of a noncommutative ring R) and are freely used throughout.

The reading of Ayres' interesting paper suggested to me the following remarks: 1. The order of a subset of a set S in a point p4 cannot surpass the order of S in p. Hence if S2 denotes the set of all points of S of order 2, then S2 has in each point of S the order 2, the order 1, or the order 0, where the terms "order 0" and "0-dimensional" are used synonymously. SI(M), S2(1), S" may denote the set of all points of S in which S2 has the order 0, 1, 2, respectively. The points of order 2 of S are also called the ordinary points of S, and the set S2 of all ordinarv points of S may be called the ordinary part of S. The set S" of all ordinary points of the ordinary part of S may be designated the ordinary kernel of S. WVe have

Recently Cameron and Storvick introduced and studied an operator valued function space integral related to the Feynman integral. The main theorems of their study establish the existence of the function space integral as a weak operator limit of operators defined at the first stage by finite-dimensional integrals. This paper provides a substantial strengthening of their existence theorem giving the function space integrals as strong operator limits rather than as weak operator limits.

The purpose of this note is to present a new proof of a generalized form of Day's fixed point theorem. The proof we give is suggested by the work of T. Mitchell in his paper, Function algebras, means, and fixed points, [2]. The version of Day's theorem which we present here has not appeared explicitly in the literature before, and seems especially well suited for application to questions concerning fixed point properties of topological semigroups. 1. Preliminaries. We adopt the terminology and notation of [2] except where otherwise specified. New terminology will be introduced as needed. Let y be a convex compactum (compact convex set in a real locally convex linear topological space E), and let A( Y) denote the Banach space of all (real) continuous affine functions on Y under the supremum norm. Observe that A(Y) contains every function of the form h=f\Y + r where fe E* and r is real; thus A(Y) separates points of Y.

1. In a recent paper [2] Reich has made the observation that an example of Koebe given in 1918 [1] does not fulfill its asserted purpose. This example was to show that vanishing measure of the complement did not assure that a slit domain was minimal. Reich proceeded to fill the gap by carrying out the following somewhat more general construction. Let A be a compact perfect nowhere dense set on the x-axis in the z-plane (z=x+iy). Then there exists a compact set S in the z-plane with the properties: (i) A is the projection of S on the x-axis, (ii) S is composed of segments symmetric with respect to the x-axis and points on the x-axis, at least one segment being present, (iii) any point in S, not on the x-axis and not at the end of a segment in S, is the limit, both from the left and right, of points of S. Once this construction is performed the desired examples are easily given [2, ?4]. The object of the present paper is to give an alternative construction which is very explicit and direct.

In [4], Phelps showed that in certain function algebras the unit ball is the closed convex hull of its extreme points. The algebra, C(X), of complex valued continuous functions on a compact Hausdorff space, will always have this property. The class of logmodular algebras which have a Gleason part which is total also was shown to have the property. In this paper we give an elementary proof of the first result (a proof which is, in theory at least, constructive). The simplest nontrivial example of a logmodular algebra with a total part is the disk algebra (i.e. the functions continuous on the closed disk and analytic in the interior). For this algebra we show that the extreme points (in fact the exposed points) of the unit ball form a dense subset of the boundary of the unit ball. Let U be the unit ball of C(X). It is well known that q in U is an extreme point of U if I q(x) I = 1 for all x in X. Now if f in U never vanishes, then f is in the closed convex hull of the extreme points; in factf is between two uniquely determined extreme points. We need only observe that for each x in X,f(x) is halfway between two uniquely determined extreme points of the disk and that these points vary continuously with x. Now it is not necessarily the case that each function in U can be approximated by a nonvanishing function. For a counterexample we need only look at h(z) = z in the algebra of continuous functions on the disk. (If If(z)-zj 1/e. Letfi, i = 1, *, N be the retract maps obtained from these rotations. Then I 1/N Efi(z)-z

where the oi are the usual generators of Bn. (See [1; 4].) A textile manufacturer asked the following question: Can one decide whether or not a braid in An is also in Qn? (It is possible to "weave" a braid in Qn while keeping its ends "tied together.") Shepperd [6] solved the above decision problem using the generators and relations of the braid group and subgroups. In this paper we give another distinct solution working in terms of automorphisms of free groups. In particular, we use formulas developed in [3; 4]. The author wishes to thank his teacher, and friend, Professor Wilhelm Magnus who has contributed more than anyone else towards the author's knowledge of mathematics.

This note deals with the correction of a small flaw in the proof of a theorem (and a lemma) in [2]. Also a simpler proof of the theorem in question is given. In the proof of Theorem 2.3 in [2], the statement "that distinct L's cannot belong to a common pure subgroup HL follows immediately from the fact that no two L's generate with G [p] the same subgroup of G" is false as it stands. One has to exercise a little more care in the selection of HL. For example, since the union [xa, Xa]aEA of all the L's (in Lemma 2.1 in [2]) is still linearly independent, there exists according to [1] a pure subgroup H of G supported by S such that HDL for each L. Hence one could choose HL=H for each L. However, all goes well if HL is chosen such that HLn [Xa, XTg aEA =L, as can easily be done. Similar remarks hold for Lemma 3.8 in [2]. A short alternate proof of Theorem 2.3 in [2] is given. In what follows let c be the cardinality of the continuum and Q be the first ordinal whose cardinality is c. The notation and terminology will be the same as that in [2].

M. Rosenblum in [2] presented a most ingenious proof of the Fuglede and Putnam Theorems by means of entire vector valued functions [1, p. 59]. We will demonstrate that some curious properties of bounded Hilbert space operators can be derived from Rosenblum's argument and similar arguments. Throughout this text we mean by an "operator" a bounded linear transformation of a Hilbert space into itself. Given an operator A we mean by "exp A " the uniform limit of the series I+A +A 2/2 1 +A3/3! +A4/4! + * * * . We let A * denote the adjoint of the operator A, and let z* denote the complex conjugate of the complex number z. A "normal" operator is an operator which commutes with its adjoint. A critical fact in the Rosenblum proof is that given a normal operator A and any complex number z, exp (izA) exp (iz*A *) exp (izA +iz*A *) = exp (iz*A *) exp (izA), and this operator is unitary because i(zA +z*A *) is skew hermitian. Our first result states, among other things, that the converse is true; if the above equations hold for a fixed operator A and all complex numbers z, then A is normal.

F(k) ={xkj x F}; F,=F; Fk= (Fk_l,F). Let (u, v, 0)=u, (u, v, 1)=(u, v), (u, v, n)=((u, v, n-1), v). Then Sanov [3] proved that (1. 1) (u, v, apa _1) p-a E F(p#)Fapa+?, /3 a = 1, 2, where p is a prime. In this paper, (1.1) is proved for the cases a= 1, 2; 3 arbitrary. A slight generalization of these results is also proved. Sanov's proof involved an investigation of ideals in a Lie Ring. In this paper, Hall's Collection Process will be used. The method also yields other formulas, e.g. (1.2) (u, v, p2 1)P' (E F2p2_pF(p) (1.3) (u, v, pa+l 1)p~l C F2pa+l paF(pl), a = 1 2, and can be used to produce numerous formulas of a similar nature. The author hopes that some of these formulas and/or the method may be of use in solving other group-theoretic problems. The author was unable to use the method to prove (1.1) for a =3. Note that for a=f = 1, (1. 1) becomes (1.4) (U, v, p 1) E F(p)Fv+1. (1.4) plays an important role in the theory of the Restricted Burnside Problem.

If BP denotes the space of smooth alternating p-forms on the C' manifold M, we are interested in finding the spaces of R-linear maps from iPP to be that commute with the diffeomorphisms of M. For a compact manifold M these spaces were found by R. S. Palais. In this note we find them for noncompact M. Let V, W be the spaces of sections of two tensor bundles over a connected Coo manifold M of dimension n. In a paper [3] appearing in Trans. Amer. Math. Soc. 92 (1959), R. S. Palais studied a number of the spaces 4 (V, W) of the R-linear maps V->W natural with respect to the action on V and W of the group G of diffeomorphisms on M. We sketch the definition of this action: If g-G we define R,:F(TM) -4F(TM) to be the differential of g, and Rg:r(T*M)-->F(T*M) to be the dual of the differential of g-1. For the other spaces of tensor fields Rg is defined as the obvious tensor product of these two R-linear isomorphisms. A map c: V->W is then called natural if cRg =R,c for all g G. Palais was particularly interested in the case when V and W are the space IP of p-forms and the space bq of q-forms respectively, 0 < p, q

There is a mistake in each of [3] and [4]. The purpose of this note is to correct the error in [3] and to salvage what can be saved in [4]. In each case the notation will be that of the paper under discussion. Professor Homer Bechtell has kindly informed me of an error in the proof of the Theorem of [3] which occurs in the case MG1c G. The theorem is true however by altering the proof at this point. Assume that Mc: MG1=M1lc:G. M1 is an invariant subgroup of G, and since G1c: Soc(G), G1 is a direct sum of minimal invariant subgroups of G. By Clifford's theorem (p. 70 of [1]), each minimal invariant subgroup of G is either M1-central or M1-hypereccentric, and hence

The first part of the theorem of the above paper states that if ois a closed convex set in real X1 ... Xn-space which is invariant under permutations of coordinates, and if C(o-) denotes the set of real symmetric nXn matrices whose eigenvalues X1, X. form the coordinates of points in a, then C(o) is convex. I am obliged to Professor R. T. Rockafellar for pointing out that this statement is essentially contained in a theorem of Chandler Davis.2 The statement also follows from an earlier result of V. B. Lidskii,3 which was not known to me at the time of publication.

C. Hobby and C. R. B. Wright [2] have just published the following Theorem A. However, their proof seems to contain an error.2 The notation of [2] is used except that G. is not reserved for the nth term of the lower central series of G: +/(G) denotes the Frattini subgroup of G; (G, H) means the group generated by the commutators g-lh-1gh where gEG, hEH; (A1, A2, * * *, A.+,) is defined inductively as ((A1, A2, . , A.), A.+,); HCG means that H is properly included in G.

Let A8 be the domain in the s-plane (s =o+it) defined by -gl(a) -Ah. The proofs of Theorems 1, I1, and III are the same, with the new function S(oI5.

PROOF. By a theorem of Rudin a function gEH' in U whose boundary values are real a.e. on I can be analytically continued to D [3, p. 59]. The lemma follows on applying Rudin's result to gi= (1/2) (fl+f2) and g2=(i/2) (fi-f2). PROOF OF THEOREM 1. By a well-known decomposition theorem [2, p. 87], f(z)=B(z)F2(Z), where B(z) is a Blaschke product and F(z) EH1. Since the boundary values of B (z) have absolute value one a.e. on K, we have a.e. on I, f(ei0)= |f(eio)I, or B(ei0)F2(ei0) = F2(ei0) |, and hence

The purpose of this paper is to prove a taming theorem for a codimension one manifold that is locally flat at some point and has 1-ULC complement. We also prove that any two sufficiently close locally flat embeddings of a codimension one manifold are ambient isotopic. Since this paper was first submitted, R. Daverman has shown that, given any point on a codimension one manifold with 1-ULC complement, some neighborhood of that point lies on a codimension one sphere that is locally flat at some points and has 1-ULC complement. Hence the two papers combined prove that a codimension one manifold is locally flat if and only if its complement is 1-ULC.

Let F be either a field of char 0 with all roots of unity or a field of char p > 0. Let G be a countable group. Then all simple NIG]-modules are injective if and only if G is locally finite with no elements of order char F and G has an abelian subgroup of finite index. The condition that all simple modules over a ring be injective first appeared in a theorem due to Kaplansky: a commutative ring satisfies the condition if and only if it is von Neumann regular. Several people have studied the property for noncommutative rings, a recent example being [3]. The authors of that paper suggest the problem of characterizing group algebras with this condition. In this paper we make substantial progress by offering Theorem 3. Let F be either a field of char 0 with all roots of unity or a field of char p > 0. Let G be a countable group. Then all simple FtG]-modules are injective if and only if G is locally finite with no elements of order char F and G has an abelian subgroup of finite index. The proof is divided into three parts. In ? 1, we show that F is injective as an 14G]-module if and only if G is locally finite with no elements of order char F. In the second and crucial section, we show that for a certain class of rings ("locally Wedderburn algebras") the condition that all simple modules are injective is equivalent to the property that all simple modules are finite dimensional over their commuting rings. In -?3, we prove the main theorem by showing that if all simple modules are finite dimensional over their commuting rings then G is abelianby-finite. We would like to thank D.S. Passman for suggestions that shortened and improved our work. 1. Results of Villamayor. Most of this section can be gleaned from several of Villamayor's papers. However, the statements and proofs that appear here are new. The field F is a right 14G]-module under the trivial action (i.e. if k E F, then k * a = k(a)e where E is the augmentation map). We characterize those G with F being 14G]-injective. By considering maps from ideals of FtH] to F, the reader can casily prove Received by the editors February 5, 1973. AMS (MOS) subject classifications (1970). Primary 16A26, 20C05; Secondary 16A52, 16A64.

A p-ring (or generalized Boolean ring) P is a ring of fixed prime characteristic p in which ax=a for all a in P. In this paper P is partially ordered by a relation which is a generalization of the usual Boolean order. A subset S of P is then called quasiorthogonal if ab(a-b)=O for all a, b in S. It is shown that P is injective in the category of p-rings if and only if every quasiorthogonal subset has a supremum under this partial order. Sikorski [4] has shown that in the category 9 of Boolean rings the injective objects are the complete Boolean rings. The purpose of this paper is to present a generalization of this result to the category 9 of p-rings, where 9 is understood to be the category with objects rings P of fixed prime characteristic p in which aP=a for all a e P and with morphisms the usual ring homomorphisms. If P is a p-ring, then the set B(P) of idempotents of P is a Boolean ring under the multiplication of P and the new addition defined by aE3b=a+ b-2ab. Batbedat [2] has used B to establish an isomorphism between b? and R. (See also Stringall [6].) Hence, the injective objects in 9 are simply those P for which B(P) is a complete Boolean ring. In this paper the irnjective objects in b? will be characterized by a kind of completeness of a particular partial order that is an extension of the usual partial order on the Boolean ring of idempotents. DEFINITION ]. For a, b E P, a_b if and only if aP-1b=a. It is easily shown that _ is a partial order on P (see, e.g., Abian [1]), but in general (P, _) is not a lattice. It is, however, a lower semilattice with meet defined by aAb=a-a(a-b)P-1. A simple calculation shows that a(bAc)=abAac and aAO=O for a, b, c e P. Foster [3] has shown that every element a of P is uniquely expressible as a sum of elements {ej(a): jE Z.} of B(P). In particular, v-1 (1) a = Zjej(a) i=l Presented to the Society, January 26, 1973 under the title Injectivity in the category of p-rings; received by the editors February 27, 1973. AMS (MOS) subject classifications (1970). Primary 06A70; Secondary 06A40, 06A23.

Results connecting binary quadratic forms and their associated quadratic fields are extended to irreducible decomposable forms and their associated fields. A rational linear substitution that carries such a form into a nonzero rational multiple of itself is shown to correspond with a linear map which admits a unique decomposition as multiplication by a nonzero element of the field followed by an automorphism of the field. This correspondence is one-to-one whenever the form is nondegenerate. 1. Introduction. In recent papers by Butts and Pall (3), Butts and Estes (2), and Taussky (4), the representations of a rational multiple cip of binary quadratic form y by another binary quadratic form are studied. In this paper we generalize these results to rational representations of powers of irreducible decomposable forms. We show (Corollary 3.1) that any irreducible decomposable form which does not properly represent zero (for decomposable forms this is equivalent to being nondegenerate) and whose degree is relatively prime to the number of its variables has only a finite number of rational automorphs. Another interesting result (Corollary 1.3) is that a norm preserving linear endomorphism of an alge- braic number field (considered as a linear space over the rationals) which leaves the identity fixed is an automorphism of the field. This result is well known for quadratic fields and (in modified form) quaternion algebras, and provides one of the cornerstones for the theory of compo- sition of binary and quaternary quadratic forms.

Let C denote the category of compact Hausdorff spaces and H : C → H C H:C \to HC be the homotopy functor. Let S : C → S C S:C \to SC be the functor of shape in the sense of Holsztyński for the projection functor H. Let X be a continuum and H n ( X ) {H^n}(X) denote n-dimensional Čech cohomology with integer coefficients. Let A x = char H 1 ( X ) {A_x} = {\text {char}}\;{H^1}(X) be the character group of H 1 ( X ) {H^1}(X) considering H 1 ( X ) {H^1}(X) as a discrete group. In this paper it is shown that there is a shape morphism F ∈ Mor S C ( X , A X ) F \in {\text {Mor}_{SC}}(X,{A_X}) such that F ∗ : H 1 ( A X ) → H 1 ( X ) {F^\ast }:{H^1}({A_X}) \to {H^1}(X) is an isomorphism. It follows from the results of a previous paper by the author that there is a continuous mapping f : X → A X f:X \to {A_X} such that S ( f ) = F S(f) = F and thus that f ∗ : H 1 ( A X ) → H 1 ( X ) {f^\ast }:{H^1}({A_X}) \to {H^1}(X) is an isomorphism. This result is applied to show that if X is locally connected, then H 1 ( X ) {H^1}(X) has property L. Examples are given to show that X may be locally connected and H n ( X ) {H^n}(X) not have property L for n > 1 n > 1 . The result is also applied to compact connected topological groups. In the last section of the paper it is shown that if X is compact and movable, then for every integer n, H n ( X ) / Tor H n ( X ) {H^n}(X)/{\operatorname {Tor}}\;{H^n}(X) has property L. This result allows us to construct peano continua which are nonmovable. An example is given to show that H n ( X ) {H^n}(X) itself may not have property L even if X is a finite-dimensional movable continuum.

For a sufficiently general immersion of a smooth or polyhedral closed 2-dimensional surface into Euclidean 3-space, the number of triple points is congruent modulo 2 to the Euler characteristic. The approach of this paper involves elementary notions of modification of surfaces by surgery. Let f: M2 2E3 be an immersion in general position of a closed surface M2 into Euclidean 3-space so that there are finitely many N(f) triple points of /. The purpose of this note is to give a direct and elementary proof of the fact that N(f) x(M) (mod 2). The techniques used in this paper are related to the notion of surgery for surfaces, by which a pair of discs is replaced by a cylinder having the same boundary. The approach used in this paper was reported on at the American Mathematical Society Annual Meeting in Las Vegas, January 1972. With the added assumption of differentiability, it is possible to give a new proof of this same result using normal characteristic classes and singularities of projections, as in [l]. For an immersion /: M2 -. E3, set Gr(f) = lx in E3 f| -1(x) consists of precisely r points of M2}. The condition that f is in general position implies that if x e Gr(f) and f1(x) = tp1, P2,..., P,i then there are disjoint disc neighborhoods D(p1), D(p2),.9., D(pr) of these points in M and a homeomorphism w: B D3 of a ball neighborhood B of x to the unit ball in E3 so that (w of) (D(pi)) is the intersection of D3 with the plane orthogonal to the ith coordinate vector. If the immersion f is from a particular category, for example, differentiable or piecewise-linear, then we may assume that the homeomorphism w is in the same category, and in fact all the constructions which will be described can be altered in fairly standard ways so Presented to the Society January 18, 1972; received by the editors September 10, 1973. AMS(MOS) subject classfications(1970). Primary 57C35, 57D40, 57D65; Secondary 55A20.