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.

An N-tuple ℐ= (T1…, TN) of commuting contractions on a Hilbert space H is said to be a joint isometry if for all x in H, or, equivalently, if Athavale in [1] characterized the joint isometries as subnormal N-tuples whose minimal normal extensions have joint spectra in the unit sphere S2N−X a geometric perspective of this is given in [4]. Subsequently, V. Müller and F.-H. Vasilescu proved that commuting N-tuples which are joint contractions, i.e. , can be represented as restrictions of certain weighted shifts direct sum a joint isometry. In this paper we adapt the canonical models of [3], and also construct a new canonical model, which completes the previous descriptions by showing joint isometries are indeed restrictions of specific multivariable weighted shifts [2].

Let Q(S) denote the maximal right quotient semigroup of the semigroup S as defined in [4]. In this paper, we initiate a study of Q(S) when S is a semilattice of groups. A structure theorem for such semigroups is given by Theorem 4.11 of [2].

In his fundamental paper, “On the structure of semigroups” [6], J. A. Green has examined certain important minimal conditions which may be satisfied bya semigroup S.We say that S satisfies the minimal condition on principal left ideals if every set of principal left ideals of S contains a minimal member with respect to inclusion:this condition is denoted by ℳ1. The corresponding conditions on principal rightideals and principal two-sided ideals are denoted by ℳr and ℳ1 respectively. The purpose of the present paper is to give some further results concerning these three conditions.Extensive use is made of the work of A. H. Clifford ([3] and [4]) onminimal ideals.