Search

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.

It has recently been found that my previous paper “On generalized semi-primary rings and Krull-Remak-Schmidt’s theorem” Jap. Journ. Math. 19 (1949) — referred to as S. K. — contained in its Theorems 19 and 20 some errors. Nevertheless the writer has been able to correct them in suitable forms so that most parts of both theorems hold, even under a weaker assumption, and also subsequent theorems remain valid. These will be, together with some supplementary remarks, shown in the present note.

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 circumstances explained in the footnote on p. 61 of the former paper with this title might well have necessitated a re-writing of the whole. Fortunately it appears that only a few short comments are required. For example it may be noted that the first question in §4 can be answered by counting the degrees of freedom in the two configurations. Eight points of a twisted cubic have freedom 20; four pairs of planes drawn at random through four lines of a regulus have freedom 21; therefore the eight planes of the second paragraph of §4 cannot always lead back to the eight points of §2. This is corroborated by the corresponding numbers in [4], which are 31 and 34.

n/a

n/a

A ring R is called, according to [2], a left p.p. ring if any principal left ideal of R is projective. A ring which is left and right p.p. is called a p.p. ring.In this short note we shall give some additional remarks to A. Hattori [2]. In Proposition 1 we shall give a characterization of commutative p.p. rings, and in Proposition 3 we shall give a generalization of Proposition 17 and 18 in [2], which shows also that the modified torsion theory over commutative p.p. rings coincides with the usual torsion theory.

(1973). An Addendum to the Paper “A Characterization of the n × n Matrices Over a Finite Field”. The American Mathematical Monthly: Vol. 80, No. 9, pp. 1041-1043.

n/a

near a point solution xi ai (i 1, 1 *, n) when certain conditions are satisfied. In the present paper these conditions are replaced by less stringent ones; the methods of proof of certain existence theorems are very similar to those employed in the first paper, and these proofs are given here in an abbreviated forin. In addition, the asymptotic properties of certain trajectories are discussed by an extension of the methods of Bohl. On account of the more complicated form of certain quadratic forms which occur here, it has been convenient to leave undetermined certain constants which are determined explicitly in the first paper; this procedure, together with the algebraic method of transforming the canonical equations, reduces to a small amount the results common to both papers.

The analogies that exist between infinite series and infinite integrals are well known and have frequently served to indicate the extension of a theorem or a method from one of these domains of investigation to the other. According to a principle of generalization that has been formulated by E. H. Moore, the presence of such analogies implies the existence of a general theory which incltudes the central features of both the special theories.t It is the purpose of the present paper to develop the fundamental principles of that sectioll of this general theorv which contains as particular instances the theories of Cesaro and H6lder summability of divergent series and divergent integrals. Furthermore, the usefulness of the theory will be illustrated by proving a general theorem in it which includes as special cases the Knopp-Schnee-Ford theoremt with regard to the equivalence of the Cesaro and Holder means for summing divergent series, an analogous theorem due to Landau ? concerning divergent integrals, and a further new theorem with regard to the equivalence of certain generalized derivatives. The general theorem just mentioned can be extended to the case of multiple limits so as to include other new theorems, analogous to those referred to above, with regard to multiple series, multiple integrals, and partial derivatives. This extension, however, involves formulas that are considerably more complicated than in the case of simple limits. I shall therefore reserve it for a second paper, as I wish to avoid algebraic complexity in this first presentation of the general theory. Following the terminology introduced by E. H. Moore, we indicate the basis of our general theory as follows

In an earlier paper t with the same title, we have defined and studied the properties of certain subsets of a continuous curve? which we call the arc-curves of the continuous curve. In a recent paper, G. T. Whyburnil has defined the cyclic elements of a continuous curve, and he has considered a continuous curve as composed of its cyclic elements and has given a large number of the properties of connected collections of cyclic elements. On examining the two papers it is found that arc-curves and connected collections of cyclic elements have many properties in common; and, in fact, in part II of the present paper we shall show that, although these two sets were defined very differently, every connected collection of cyclic elements of a continuous curve is an arc-curve of the continuous curve, and conversely, every arc-curve that contains more than one point is a collection of cyclic elements of the continuous curve. In part III we will develop some new theory concerning the basic sets of a continuous curve, which were defined in Arc-curves, first paper, and shall show the relation between the basic sets and the nodes of a continuous curve. In part IV we shall show that an irreducible basic set of a continuous curve resembles 'in its properties the set of all end points of the continuous curve. All point sets considered in this paper are assumed to lie in a metric, separable, locally compact space. Notation. We shall use the common notation of the theory of sets, such as A +B, A-B, A B, etc., in its usual meaning. If H is a point set, the symbol H denotes the point set consisting of the points of H together

In the above-named paper (this JOURNAL, vol. 77 (1955), pp. 895-913), Theorem 6. 4 should have been stated only for rings of zero characteristic: the argument for the case of prime characteristic breaks down in the last formula line on p. 911. This involves jettisoning Theorem 6. 5 (the implied "proof " of which depended on applying Theorem 6. 4 to homomorphs which cannot be guaranteed to have zero characteristic, even when the given ring has). However, the writer has no evidence that Theorem 6. 4 as stated or Theorem 6. 5 is actually false. And in any case, since the valid part of the proof of Theorem 6. 4 establishes the weaker conclusion [Xm, ynp?] = 0 without characteristic hypothesis, the remarks following Theorem 6. 4 still hold good, provided that we modify the final parenthetical clause so as to read "which would at any rate imply that every weak K-ring R with kc, m, n satisfying (a) or (b) has R/J commutative."

My proof of Kellogg's theorem for solutions of Plateau's problem (these Inventiones math. 8, 3 1 3 333 (1969)) can still be shortened: The relation ~p(e ia) ~'(x(eia))= 0 from p. 328 is available in almost all boundary points as soon as it is known that the functions fj(w) belong to class C o, l(p). The proof of this fact is accomplished on the bottom of p. 324. Let now w = 1 be the point described in the middle ofp. 325. From

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.