Let $G(o)$ and $G(*)$ be two groups of finite order $n$, and suppose that each of the sets $\{u\in G;\ uo v=u*v$ for all $v\in G\}$ and $\{v\in G;\ uo v=u*v$ for all $u\in G\}$ has $n/2$ elements. Then $G(*)$ can be obtained from $G(o)$ by one of the two general constructions that are discussed in the paper.

The nth order polylogarithm Lin(z) is defined for |z| ≦ 1 by

([4, p. 169], cf. [2, §1. 11 (14) and § 1. 11. 1]). The definition can be extended to all values of zin the z-plane cut along the real axis from 1 to ∝ by the formula

[2, §1. 11(3)]. Then Lin(z) is regular in the cut plane, and there is a differential recurrence relation [4, p. 169]

It is convenient to extend the sequence Lin(z) backwards in the manner suggested by (2) and define

Then Li1(z)= – log(l–z), and Lin(z) is a rational function of z for n= 0, – 1, – 2,…. Formula (2) now holds for all integers n.

We present an elementary proof of the theorem, usually attributed to Noether, that if L/K is a tame finite Galois extension of local fields, then is a free -module where Γ=Gal(L/K. The attribution to Noether is slightly misleading as she only states and proves the result in the case where the residual characteristic of K does not divide the order of Γ [4]. In this case is a maximal order in KΓ which is not true for general groups Γ. There is an elegant proof in the standard reference [2], but this relies on a difficult result in representation theory due to Swan. Our proof depends on a close examination of the structure of tame local extensions, and uses only elementary facts about local fields. It also gives an explicit construction of a generator element, and the same proof works both for localizations of number fields and of global function fields.

A Banach space E is said to have Property (w) if every operator from E into E' is weakly compact. This property was introduced by E. and P. Saab in [9]. They observe that for Banach lattices, Property (w) is equivalent to Property (V*), which in turn is equivalent to the Banach lattice having a weakly sequentially complete dual. Thus the following question was raised in [9].

Does every Banach space with Property (w) have a weakly sequentially complete dual, or even Property (V*)?

In this paper, we give two examples, both of which answer the question in the negative. Both examples are James type spaces considered in [1]. They both possess properties stronger than Property (w). The first example has the property that every operator from the space into the dual is compact. In the second example, both the space and its dual have Property (w). In the last section we establish some partial results concerning the problem (also raised in [9]) of whether (w) passes from a Banach space E to C(K, E).

As in [4], a specification is a list (r, s, t1 h0, hmc (l), …, c(ho)) such that

(i) each of r, s, t1 h0, h∞ is a non-negative integer,

(ii) for each i, c(i) is a positive integer,

(iii) if h∞ = 0 then ho = ∞,

(iv) if h∞ = 1 and t1 + h0 is finite then t1 is even,

(v) r + s + t1 + h0 + h∞ = ∞.

Several papers have appeared in the past few years which have explored the topic of the Riesz decomposition for amarts. Such a decomposition for amarts enjoys several special properties. See [5, p. 208–209]. While it has been proved in [6] that not every martingale in the limit has a Riesz decomposition “in the weakest form assuring uniqueness” it is the major objective of this paper to characterize a class of martingales in the limit which is strictly larger than the class of amarts but enjoys all the properties of the decomposition for amarts.

In § 2 a number of infinite series of E-functions are summed by expressing the E-functions as Barnes integrals and interchanging the order of summation and integration.

The Barnes integral employed is

where | amp z | < π and the integral is taken up the η;-axis, with loops, if necessary, to ensure that the origin lies to the left of the contour and the points α1, α2,… αp to the right of the contour. Zero and negative integral values of the α's and p's are excluded, and the α's must not differ by integral values. When p < q + 1 the contour is bent to the left at each end.

1. The properties of the circulant determinant or the circulant matrix are familiar. The circulant matrix C of order 4 x 4, with elements in the complex field, will serve for illustration.

The four matrix coefficients of c0, c1 c2, c3 form a reducible matrix representation of the cyclic group ℐ4, so that C is a group matrix for this. Let ω be a primitive 4th root of 1. Then Ω as below, its columns being normalized latent vectors of C,

is unitary and symmetric, and reduces Cto diagonal form thus,

where the μr, the latent roots of C, are given by

All of the above extends naturally to the n x n case.

The paper presents the existence result for positive solutions of the differential equation $(g(x))''=f(t,x,(g(x))')$ satisfying the nonlocal boundary conditions $x(0)=x(T)$, $\min\{ x(t): t \in J\}=0$. Here the positive function $f$ satisfies local Carathéodory conditions on $[0,T] \times (0,\infty) \times (\R {\setminus} \{0\})$ and $f$ may be singular at the value 0 of both its phase variables. Existence results are proved by Leray-Schauder degree theory and Vitali's convergence theorem.

In this paper we study prime and maximal ideals in a polynomial ring R[X], where R is a ring with identity element. It is well-known that to study many questions we may assume Ris prime and consider just R-disjoint ideals. We give a characterizaton for an R-disjoint ideal to be prime. We study conditions under which there exists an R-disjoint ideal which is a maximal ideal and when this is the case how to determine all such maximal ideals. Finally, we prove a theorem giving several equivalent conditions for a maximal ideal to be generated by polynomials of minimal degree.

We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite-dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the action of the diffeomorphism group of the circle. It is not a useful action on the manifold that we define. We consider how one might fix this problem and conclude that it can only be done by completing to the space of loops of bounded variation.

We determine the rings of invariants $S^G$ where $S$ is the symmetric algebra on the dual of a vector space $V$ over ${\mathbb F}_2$ and $G$ is the orthogonal group preserving a non-singular quadratic form on $V$. The invariant ring is shown to have a presentation in which the difference between the number of generators and the number of relations is equal to the minimum possibility, namely $\dim V$, and it is shown to be a complete intersection. In particular, the rings of invariants computed here are all Gorenstein and hence Cohen-Macaulay.

In this paper we give conditions under which a positive order continuous operator T defined on a Banach function space can be extended, preserving the order continuity in a certain optimal way. The optimal domain for T turns out to be a space of weakly integrable functions with respect to a vector measure (defined on a δ-ring) canonically associated to T. A similar result is obtained when T is σ-order continuous and we want to preserve the σ-order continuity. We apply these results to kernel operators.

Number fields such as described in the title play a rôle in the study of Artin L-functions and automorphic forms for the groups SL2 over rings of integers in quadratic extensions of ℚ. They are also of some interest on their own. We have not found many examples in the literature. Lang [4] mentions an unramified A5-extension of a real quadratic number field which is due to E. Artin.

Let Δ denote the Laplace operator acting on the space L2(Г/H) of automorphic functions with respect to a congruence group Г, square integrable over the fundamental domain F=Г/H. It is known that Δ has a point spectrum

with (Weyl's law)

and it has a purely continuous spectrum on [¼,∞) of finite multiplicity equal to the number of inequivalent cusps. The eigenpacket of the continuous spectrum is formed by the Eisenstein series Ea(z, s) on s = ½+it where a ranges over inequivalent cusps. The eigenfunctions ui(z) with positive eigenvalues are Maass cusp forms.

In this paper, using a recent critical point theorem of Ricceri, we establish two multiplicity results for the Schrödinger equation of the form where are Carathéodory functions, λ and μ two positive parameters.

In a recent paper Cooke [1] obtained a solution of the integral equation

by using the identity

and the technique, first used by Copson, of interchanging the orders of integration and hence reducing the problem to that of the successive solution of two Abel integral equations. It is also shown in [1] that the above identity can also be used to solve the dual series equations

The kernel in equation (1) is a particular member of a general class of kernels which the author [6] has shown to be such that the resulting integral equation is directly soluble by using Copson's technique. The particular example of equation (1) is given in [6] and the identity of equation (2) was used by the author [7] to obtain the solution of equation (3).

1. Introduction: Suppose the group G is generated by subnormal subgroups H and K, and that A, B are normal subgroups of finite index in H, Krespectively. The following question has been asked by J. C. Lennox: Under what circumstances is the subgroupJ = (A, B) subnormal in G? In particular, it is of interest to know when J has finite index in G, for, if this is the case, we may factor out by the normal core of J in G and apply Wielandt's theorem on joins of subnormal subgroups of finite groups [11] to deduce that J is subnormal in G. Here we prove the following result.

A finite group G can be represented as a group of automorphisms of a compact Riemann surface, that is, G acts on a Riemann surface. The symmetric genus σ(G) is the minimum genus of any Riemann surface on which G acts (possibly reversing orientation).

In this paper, we study geometric structures on 2-dimensional simplicial complexes. In particular, we consider hyperbolic structures and measured foliations on these simplicial complexes. We describe the spaces of such structures and we relate the two resulting spaces in a manner which is analogous to Thurston's compactification of the Teichmüller space of a surface.