The aim of the paper is to prove an elliptic analogue of a deep theorem of Iwasawa on cyclotomic fields.

Subject classification(Amer. Math. Soc. (MOS) 1970): primary 12 A 35, 12 A 65.

Let F(z) be a polynomial with coefficients in a perfect field k and let K be the normal closure of k(z) over k(F). All polynomials for which the genus of K over k is one are determined; they depend in part on the characteristic of k. Some results for higher genus are given.

Subject classification (Amer. Math. Soc. (MOS) 1970): 12 F 10.

The object is to unify and complement some recent theorems of Hewitt and Ritter on the integrability of Fourier transforms, but the underlying theme is the ancient one that Plancherel's theorem is the “only” integrability constraint on Fourier transforms. The distinguishing feature of the results is that we restrict attention to positive measures (or functions) which satisfy an ergodic condition and whose transforms are positive. (In fact we employ sums of discrete random variables, a technique which seems to have been largely ignored in context.) The general setting is that of locally compact abelian groups but we are chiefly interested in the line or the circle, and it appears that the theorems are new for these classical groups.

For positive integers n and k, with n≥2k, let , where each prime factor of u is less than k, and each prime factor of v is at least equal to k. It is shown that u<v holds with just 12 exceptions, which are determined. If , where each prime factor of U is at most equal to k, and each prime factor of V is greater than k, then U<V holds with at most finitely many exceptions, 19 of which are determined. It is conjectured that there are no others.

This note deals with some properties of algebraic number fields generated by numbers having all their conjugates on a circle. In particular, it is shown that an algebraic number field is a CM-field if and only if it is generated over the rationals by an element (not equal to ±1) whose conjugate all lie on the unit circle.

Subject classification (Amer. Math. Soc. (MOS) 1970): 12 A 15, 12 A 40, 14 K 22.

Totally umbilical submanifolds of dimension greater than four in quaternion-space-forms are completely classified.

We discuss generalizations of the Lie-Kolchin-Mal'cev theorem. For example we show that if G is a soluble linear group of degree n, then G contains a triangularizable subgroup T whose index in G is bounded by function of n only and such that T is normalized by every automorphism of G normalizing G0, the Zariski connected component of G containing the identity. We also prove that in certain situations at least the index of G0 in G can be bounded in terms of the degree and the ground field.

Let p,m be the modular representation algebra of the cyclic group of order pm over the prime field Zp. The characters of p, m are derived. For p = 2, this provides an alternative proof of a result due to Carlson (1975), tha 2,m is a local ring. It is shown that for p>2, p, m is a direct sum of 2m local rings. Their dimensions and primitive idempotents are derived.

Subject classification (Amer. Math. Soc. (MOS) 1970): 20 C 20, 12 C 05, 12 C 30, 33 A 65.

Complemented congruences in the classes of pseudocomplemented semilattices, p-algebras and double p-algebras are described. The descriptions are applied to give intrinsic characterizations of those algebras in the aforementioned classes whose congruence lattice is a Boolean algebra.

A cohomology theory for locally trivial, locally compact topological groupoids with coefficients in vector bundles is constructed, generalizing constructions of Hochschild and Mostow (1962) for topological groups and Higgins (1971) for discrete groupoids. It is calculated to be naturally isomorphic to the cohomology of the vertex groups, and is thus independent of the twistedness of the groupoid. The second cohomology space is accordingly realized as those “rigid” extensions which essentially arise from extensions of the vertex group; the cohomological machinery now yields the unexpected result that in fact all extensions, satisfying some natural weak conditions, are rigid.

We consider algebraic independence properties of series such as We show that the functions fr(z) are algebraically independent over the rational functions Further, if αrs (r = 2, 3, 4, hellip; s = 1, 2, 3, hellip) are algebraic numbers with 0 < |αrs|, we obtain an explicit necessary and sufficient condition for the algebraic independence of the numbers fr(αrs) over the rationals.

Let Bp be the bicyclic semigroup over P=G⋒[1,∞ where G is a subgroup of the multiplicative group of positive real numbers. If + is an addition which makes Bp, with its usual multiplication, into a semiring, then + is idempotent, and P is embedded as a sub-semiring in Bp and for each x in p, 1≦x+1≦x and 1≦1+x≦x. We show that any idempotent addition on P with these inequalities holding is max, min or trivial. The trivial addition on P extends trivially. If addition on P is min, then let , and . We charactertize all additions on Bp in terms of U and U′; and, in particular If U=U′ is a proper subset of R1 we demonstrate a correspondence between all such additions and certain homomorphisms of G to (0,∞)

Subject classification (Amer. math. Soc. (MOS) 1970): primary 16 A 80; secondary 22 A 15.

In this paper, the author generalizes the concept of thinness introduced by Kingman and Robertson (1968) to study the convexity of the range of a multimeasure. It is proved that every thin multimeasure taking values in a Fréchet space has convex range, and that, for a suitable measureable space, if a multimeasure is non-atomic, then the weak closure of its range is convex.

For normed linear spaces two similar characterizations of strong differentiability of the norm and rotundity of the dual space are established, but it is shown that in general there is no causal relation between these two concepts.

Forms which are reduced in the sense of Minkowski satisfy the “fundamental inequality” a11a22 hellipann≤λnD; the best possible value of λn is known for n≤5. A more precise result for the minimum value of D in terms of the diagonal coefficients has been stated by Oppenheim for ternary forms. The corresponding precise result for quaternary forms is established here by considering a convex polytope D(α), defined as the intersection of the cone of reduced forms with the hyperplanes aii = αi (i = 1, hellip n).

Some fixed point theorems are obtained for weekly inward mappings which extend or generalize those results by K. Fan, B. Halpern or S. Reich. Various formulations of inward and outward concepts are also briefly discussed.

Let Un be the unit polydisc in Cn and let Tn be its distinguished boundary. It is shown that a function f ∈ H∞(Un) is inner if and only if ∣f(Φ)∣ = 1 for all Φ in the maximal ideal space of L∞(Tn). This generalizes a result of Csordas.

It is shown that for every irrational α the set of α′ for which α and α′ have infinitely many convergents with the same denomintor, has the cardinality of the continuum.

Subject classification (Amer. Math. Soc. (MOS), 1970): 10 A 30.

If a weighted Euler transformation is applied to the asymptotic series for ezE1(z) the remainder can be expressed as an integral. Examination of this integral shows that for a transformation of given order the smallest term of the resulting series remains at approximately a constant distance from the start of the series. If, however, there is no restriction on the order of transformation the remainder may be decreased to zero by increasing the number of terms used, but if z is close to the negative real axis the rate of decrease is small. A more general theorem for alternating real series and Taylor's series is also given.

If U and V are toplogies on an abstract set x, then the triple (X, U, V) is a bitopologica space. Using the theorem of Priestley on the representation of distributive lattices, results of Dilworth concerning the normal completion of the lattice of bounded, continuous, realvalued functions on a topological space are extended to include the lattice of bounded, semi-continuous, real-valued functions on certain bitopological spaces. The distributivity of certain lattices is investigated, and the theorem of Funayama on distributive normal completions is generalized.