If R is a local (Noetherian) ring, it is well known that R is regular if and only if its completion is regular. It is the purpose of this note to show that a similar result is true for Noether lattices.

In this note we formally solve the following dual integral equations:

where h is a constant and the Fourier cosine transform of u–1 φ(u) is assumed to exist. These dual equations arise in a crack problem in elasticity theory.

It is sometimes possible to reconstruct semigroups from some of their homomorphic images. Some recent examples have been the construction of bisimple inverse semigroups from fundamental bisimple inverse semigroups [9], and the construction of generalized inverse semigroups from inverse semigroups [12].

One of the fundamental results of representation theory is the identification of the irreducible representations of a semisimple group by their dominant weights [3]. The purpose of this paper is to establish similar results for a class of reductive algebraic monoids.

Let k be an algebraically closed field. An algebraic monoid is an affine algebraic variety M defined over k, together with an associative morphism m:M × M → M and a two-sided unit 1 ∈ M for m.

Linear spaces on which both an order and a topology are defined and related in various ways have been studied for some time now. Given an order on a linear space it is sometimes possible to define a useful topology using the order and linear structure. In this note we focus on a special type of space called a linear lattice and determine those lattice properties which are both necessary and sufficient for the existence of a classical norm, called an M-norm, for the lattice. This result is a small step in a program to determine which intrinsic order properties of an ordered linear space are necessary and sufficient for the existence of various given types of topologies for the space. This study parallels, in a certain sense, the study of purely topological spaces to determine intrinsic properties of a topology which make it metrizable and the study of the relation between order and topology on spaces which have no algebraic structure, or. algebraic structures other than a linear one.

In the study of certain prime Noetherian rings it is natural to consider the set C of elements which are regular modulo all height-1 prime ideals of R. For R commutative, this set C is simply the set of units. In general this is not the case, though with certain additional conditions we can state non-commutative versions of the Principal Ideal Theorem.

An interesting concept of semigroups (and also rings) of (left) quotients, based on the notion of group inverse in a semigroup, was developed by J. B. Fountain, V. Gould and M. Petrich, in a series of papers (see [5]-[12]). Among the most interesting are semigroups having a semigroup of (left) quotients that is a union of groups. Such semigroups have been widely studied. Recall from [3] that a semigroup has a group of left quotients if and only if it is right reversible and cancellative. A more general result was obtained by V. Gould [10]. She proved that a semigroup has a semilattice of groups as its semigroup of left quotients if and only if it is a semilattice of right reversible, cancellative semigroups. This result has been since generalized by A. El-Qallali [4]. He proved that a semigroup has a left regular band of groups as its semigroup of left quotients if and only if it is a left regular band of right reversible, cancellative semigroups. Moreover, he proved that such semigroups can be also characterised as punched spined products of a left regular band and a semilattice of right reversible, cancellative semigroups. If we consider the proofs of their theorems, we will observe that the principal problem treated there can be formulated in the following way: Given a semigroup S that is a band B of right reversible, cancellative semigroups Si, i ε B, to each Si, we can associate its group of left quotients Gi. When is it possible to define a multiplication of such that Q becomes a semigroup having S as its left order, and especially, that Q becomes a band B of groups Gi, i E B?Applying the methods developed in [1] (see also [2]), in the present paper we show how this problem can be solved for Qto become a strong band of groups (that is in fact a band of groups whose idempotents form a subsemigroup, by [16, Theorem 2]. Moreover, we show how Gould's and El-Quallali's constructions of semigroups of left quotients of a semilattice and a left regular band of right reversible, cancellative semigroups, can be simplified.

Recently, P. Kaplan and K. S. Williams [10] considered (as an example) the representation of primes by binary quadratic forms of discriminant –768. These forms fall into 4 genera, each consisting of two classes. In particular, they considered the forms

F=3X2+642 and G = 12X2+12XY+19Y2.

It follows from genus theory (as explained in [10]) that every prime p ≡ 19 mod 24 is represented by exactly one of the forms F and G. Based on numerical data, they conjectured that a prime p ≡ 19 mod 24 is represented by

where

Vo = 2, V1 = -4, Vn+2=-4Vn+1 -Vn (n∨0).

Isotropes play a distinguished rôle in the algebra of spinors. Let V be an even-dimensional real vector space equipped with an inner product Bof arbitrary signature. An isotrope of (V, B) is a subspace of the complexification Vc on which Bc is identically zero. Denote by ρ the spin representation of the complex Clifford algebra C(Vc, Bc) on a space S of spinors.

The asymptotic behavior of the solutions of ordinary nonlinear differential equations will be considered here. The growth of the solutions of a differential equation will be discussed by establishing criteria to determine when the differential equation does not possess a solution that is an element of the space Lp(0, ∞)(p ≧ 1).

Let(V, ≧, ‖ · ‖) be a Banach lattice, and denote V\{0} by V'. For the definition of a Banach lattice and other undefined terms used below, see Vulikh [4]. Leader [3] shows that, if norm convergence is equivalent to order convergence for sequences in V, then the norm is equivalent to an M-norm. By assuming the equivalence for nets in V we can strengthen this result.

In the course of some recent work on Fourier series [5, 6] I had occasion to use a number of integral inequalities which were generalizations or limiting cases of known results. These inequalities may perhaps have other applications, and it seems worth while to collect them together in a separate note with one or two further results of a similar nature.

For any number k, used as an index (exponent), and such that K > 1, we write k' = k′(k–1), so that k and k′ are conjugate indices in the sense of Hölder's inequality.

The concept of a hermitian element of a Banach algebra was first introduced by Vidav [21] who proved that, if a Banach algebra 𝒜 has “enough” hermitian elements, then 𝒜 can be renormed and given an involution to make it a stellar algebra. (Following Bourbaki [5] we shall use the expression “stellar algebra” in place of the term “C*-algebra”.) This theorem was improved by Berkson [2], Glickfeld [10] and Palmer [17]. The improvements consist of removing hypotheses from Vidav's original theorem and in showing that Vidav's new norm is in fact the original norm of the algebra. Lumer [13] gave a spatial definition of a hermitian operator on a Banach space E and proved it to be equivalent to Vidav's definition when one considers the Banach algebra 𝓛(E) of continuous linear mappings of E into E.

The aim of this paper is to give certain conditions characterizing ruled affine surfaces in terms of the Blaschke structure (∇, h, S) induced on a surface (M, f) in ℝ3. The investigation of affine ruled surfaces was started by W. Blaschke in the beginning of our century (see [1]). The description of affine ruled surfaces can be also found in the book [11], [3] and [7]. Ruled extremal surfaces are described in [9]. We show in the present paper that a shape operator S is a Codazzi tensor with respect to the Levi-Civita connection ∇ of affine metric h if and only if (M, f) is an affine sphere or a ruled surface. Affine surfaces with ∇S = 0 are described in [2] (see also [4]). We also show that a surface which is not an affine sphere is ruled iff im(S - HI) =ker(S - HI) and ket(S - HI) ⊂ ker dH. Finally we prove that an affine surface with indefinite affine metric is a ruled affine sphere if and only if the difference tensor K is a Codazzi tensor with respect to ∇.

The purpose of the present note is to give some interesting and simple identities connected with basic hypergeometric series of the types 2Φ1 and 3Φ2.

Let X be an F-space (complete metric linear space) and suppose g:[0, 1] → X is a continuous map. Suppose that g has zero derivative on [0, 1], i.e.

for 0≤t≤1 (we take the left and right derivatives at the end points). Then, if X is locally convex or even if it merely possesses a separating family of continuous linear functionals, we can conclude that g is constant by using the Mean Value Theorem. If however X* = {0} then it may happen that g is not constant; for example, let X = Lp(0, 1) (0≤p≤1) and g(t) = l[0,t] (0≤t≤1) (the characteristic function of [0, t]). This example is due to Rolewicz [6], [7; p. 116].

The development of the theory of absolute integrals derives from certain key facts. Among them are:

(I) An integral is a positive linear functional on a vector lattice, which is continuous in a certain sense.

(II) A function equal almost everywhere to a summable function is itself summable.

(III) Every measurable function is the pointwise limit of a sequence of elementary step functions.

A device that often plays an important role in measure theory, but which has not beenfully exploited in the theory of abstract integrals is that of

(IV) the smallest class containing a given class and having a certain property

(such as being a σ-ring of sets). It is our purpose in this paper to examine the theory of abstract real-valued absolute integrals axiomatically, in such a way as to isolate and clarify the roles of (I) through (IV).

The integral function

is known as Airy's Integral since, when z is real, it is equal to the integral

which first arose in Airy's researches on optics. It is readily seen that w= Ai(z) satisfies the differential equation d2w/dz2 = zw, an equation which also has solutions Ai(ωz), Ai(ω2z), where ω is the complex cube root of unity, exp 2/3πi. The three solutions are connected by the relation.