Let G be a locally compact topological group, let H be a closed subgroup and let G/H be the space of left cosets = xH with the natural topology. We denote by μ a non-negative measure in G/Hdefined on the ring of Baire sets. G acts by left multiplication as a transitive group of homeomorphisms on G/H: Every t ∈ G defines the homeomorphism We write, for E ⊂ G/H, tE = . The measure μ is called stable (cf. [3], [4]) if from t ∈ G, E ⊂ G/H and μ(E) = 0 follows μ(tE) = 0. We say that μ is locally finite [3], [5] if every set of positive measure contains a subset of positive finite measure.

Applying Hopkins's Theorem asserting that each unitary right Artinian ring is right Noetherian, G. Köthe and K. Shoda proved the following theorem (cf. Köthe [7], p. 360, Theorem 1 and p. 363, Theorem 5): If R is a unitary right Artinian ring, then the following statements hold:

(i) Each nilpotent subring of R is contained in a maximal nilpotent subring of R.

(ii) The intersection of all maximal nilpotent subrings of R is the maximal nilpotent twosided ideal of R.

(iii) All maximal nilpotent subrings of R are conjugate.

The main object of study in this paper is the quantized Weyl algebra which arises from the work of Maltsiniotis [10] on noncommutative differential calculus. This algebra has been studied from the point of view of noncommutative ring theory by various authors including Alev and Dumas [1], the second author [9], Cauchon [3], and Goodearl and Lenagan [5]. In [9], it is shown that has n normal elements zi and, subject to a condition on the parameters, the localization obtained on inverting these elements is simple of Krull and global dimension n. It is easy to show that each of these normal elements generates a height one prime ideal and that these are all the height one prime ideals of . The purpose of this paper is to determine, under a stronger condition on the parameters, all the prime ideals of and to compare the prime spectrum with that of a related algebra . This algebra has more symmetric defining relations than those of but it shares the same simple localization which again is obtained by inverting n normal elements zi. Like the alternative algebra can be regarded as an algebra of skew differential (or difference) operators on the coordinate ring of quantum n-space.

In his unpublished manuscripts (referred to by Birch [1] as Fragment V, pp. 247–249), Ramanujan [3] gave a whole list of assertions about various (transforms of) modular forms possessing naturally associated Euler products, in more or less the spirit of his extremely beautiful paper entitled “On certain arithmetical functions” (in Trans. Camb. Phil. Soc. 22 (1916)). It is simply amazing how Ramanujan could write down (with an ostensibly profound insight) a basis of eigenfunctions (of Hecke operators) whose associated Dirichlet series have Euler products, anticipating by two decades the famous work of Hecke and Petersson. That he had further realized, in the event of a modular form f not corresponding to an Euler product, the possibility of restoring the Euler product property to a suitable linear combination of modular forms of the same type as f, is evidently fantastic.

Given the series ,the n-th Casáro sum of order k is defined by the relation

where is the binomial coefficient . Let Then Σan is said to be summable (C; K) to the sum s if, as n → ∞, The series is said to be absolutely summable (C; k), or summable | is convergent. The series is said to be strongly summable (C; k) with index p, or summable [Ck, p], to the sum s if

It is assumed that k and p are positive.

The aim of this paper is to explore some facets of the geometry of generic isotopies of plane curves. Our major tool will be the paper of Arnol'd [1] on the evolution of wavefronts. The sort of questions one can ask are: in a generic isotopy of a plane curve how are vertices created and destroyed? How does the dual evolve? How can the Gauss map change? In attempting to answer these questions we are taking advantage of the fact that these phenomena are all naturally associated with singularities of type Ak. Now the bifurcation set of an Ak+1 singularity and the discriminant set of an Ak singularity coincide. So we can apply Arnol'd's results on one parameter families of Legendre (discriminant) singularities (e.g. the duals) to get information on one parameter families of Lagrange (bifurcation) singularities (e.g. the evolutes). For bifurcation sets of functions with singularities other than those of type Ak one runs up against problems with smooth moduli—see [4].

A well-known fact concerning a prime right Goldie ring R, proved in [4, Section 5], is that an essential right ideal is generated by the regular elements which it contains. There is a modification of that proof which shows that each element of R is the sum of at most two regular elements. This suggested that the recent results of Chatters and Ginn [1] concerning rings generated by their regular elements might possibly be refined a little, since their arguments actually show that elements of R are sums of at most three regular elements.

For an element a of a unital Banach algebra A with dual space A′, we define the numerical range V(a) = {f(a):f ∊ A′, ∥f∥ = f(1) = 1}, and the numerical radius v(a) = sup{⃒z⃒:z ∊ V(a)}. An element a is said to be Hermitian if V(a) ⊆ ℝ ,equivalently ∥exp (ita)∥ = 1(t ∊ ℝ). Under the condition V(h) ⊆ [-1, 1], any polynomial in h attains its greatest norm in the algebra Ea[-1,1], generated by an element h with V(h) = [-1, 1].

This note extends the concept of the inner automorphism, but here applies only to those finite groups G for which some member of the lower central series is Abelian. In general (e.g. when G is metabelian) the construction yields an endomorphism semigroup, but in the special case where Gis nilpotent (and may therefore, for our present purposes, be considered as a p-group) a group of automorphisms results.

The integral

arises in problems of scalar wave propagation in welded elastic wedges. In (1.1), Kim(β1r) is the modified Bessel function of the second kind and m, τ are real. It is shown that Q(τ, m) is a generalized function that includes a complex shift operator. We shall investigate the properties of this operator and establish a new integral transform based on the kernel Q(τ, m).

G. B. Preston [10] proved that any semigroup can be embedded in a bisimple monoid. If S is a countable semigroup, his constructive proof yields a bisimple monoid which is also countable, but not necessarily finitely generated. The main result of this paper is that any countable semigroup can be embedded in a 2-generated bisimple monoid.

J. M. Howie [6] proved that any semigroup can be embedded in an idempotentgenerated semigroup. F. Pastijn [9] showed that any semigroup can be embedded in a bisimple idempotent-generated semigroup, and that any countable semigroup can be embedded in a semigroup which is generated by 3 idempotents. Easy proofs of these results using Rees matrix semigroups over a semigroup were given by the author [3]. In this paper, as a corollary to our main result, we deduce that any countable semigroup can be embedded in a bisimple semigroup which is generated by 3 idempotents.

The first formula to be proved is

where R(z)>0.

The theory of quadratic congruences modulo an integer is dominated by the Quadratic Law of Reciprocity (see § 1), which makes it possible to decide in a very short time whether a quadratic congruence

is solvable or not. The law was first proved by Gauss.* It took him over a year to obtain his first proof, which depends on a tedious lemma in elementary number theory. He subsequently obtained seven further proofs, and today more than fifty proofs are known, most of them based on the ideas of Gauss. The object of the present paper is to present a proof which is a modernised version of Gauss's seventh proof, applying the ideas of that proof to a finite set of objects, the elements of a finite or Galois field.

In the usual definition of an inductive limit of locally convex spaces, one is given a linear space E, a family (Eα) of locally convex spaces and a set (iα) of linear maps from Eα into E. Garling in [2] studies an extension of this, looking at absolutely convex subsets Sα of Eα and restrictions jα of iα to such sets. If, in the definition of Garling [2, p. 3], each Sα is instead a balanced semiconvex set, then the finest linear (not necessarily locally convex) topology on E for which the maps ja are continuous, will be referred to as the generalized *-inductive limit topology of the semiconvex sets. This topology is our object of study in the present paper; we find applications in the closed graph theorem.

In part I of this paper P. Hall's formula for finite stem groups was derived. Using results of C. R. Leedham-Green and S. McKay, a similar formula for isoclinic groups with arbitrary branch factor group is shown.

In deriving the approximate functional equation for certain Dirichlet series, one first establishes an identity for the function in terms of a partial sum of the series (e.g. see [1] and [2]). It is the purpose of this note to give a short proof of this identity for Hecke's Dirichlet series [1]. The proof is valid with only a few minor changes for the identity given by Chandrasekharan and Narasimhan [2, Lemma 2] for a much larger class of Dirichlet series. However, the brevity of the paper would be lost if we introduced the necessary terminology and notation.

Let A be a unital normed algebra over the complex field ℂ, A' the dual space of A, i.e., the Banach space of all continuous linear functionals on A, and let S be the set of all states on A, i.e.,

We prove that a Banach lattice X is reflexive if and only if X+ does not contain a closed normal cone with an unbounded closed dentable base.