Let K = K0(x, y) be a function field of transcendence degree one over a field K0 with x, y satisfying y2 = F(x), F(x) being any polynomial over K0. Let υ0 be a valuation of K0 having a residue field k0 and υ be a prolongation of υ to K with residue field k. In the present paper, it is proved that if G0⊆G are the value groups of υ0 and υ, then either G/G0 is a torsion group or there exists an (explicitly constructible) subgroup G1 of G containing G0 with [G1:G0]<∞ together with an element γ of G such that G is the direct sum of G1 and the cyclic group ℤγ. As regards the residue fields, a method of explicitly determining k has been described in case k/k0 is a non-algebraic extension and char k0≠2. The description leads to an inequality relating the genus of K/K0 with that of k/k0: this inequality is slightly stronger than the one implied by the well-known genus inequality (cf. [Manuscripta Math.65 (1989), 357–376’, [Manuscripta Math.58 (1987), 179–214]).

In [4], Maxson studied the properties of a ring R whose only ring endomorphisms φ: R → R are the trivial ones, namely the identity map, idR, and the map 0R given by φ(R) = 0. We shall say that any such ring is rigid, slightly extending the definition used in [4] by dropping the restriction that R2 ≠ 0. Maxson's most detailed results concerned the structure of rigid artinian rings, and our main aim is to complete this part of his investigation by establishing the following

Theorem. Let R(≠0) be a left-artinian ring. Then R is rigid if and only if

(i) , the ring of integers modulo a prime power pk,

(ii) R ≅ N2, the null ring on a cyclic group of order 2, or

(iii) R is a rigid field of characteristic zero.

In this paper we study the algebraic structure of the hyperelliptic mapping class group of Klein surfaces, which is closely related to the mapping class group of punctured discs. This group plays an important role in the study of the moduli space of hyperelliptic real algebraic curves. Our main result provides a presentation by generators and relations for the hyperelliptic mapping class group of surfaces of prescribed topological type.

AMS 2000 Mathematics subject classification: Primary 14H10; 20H10; 30F50

The necessary and sufficient conditions that guarantee the boundedness and compactness of integral operators with positive kernels from $L^p(a,b)$ to $L^q_{\nu}(a,b)$, where $p,q\in(1,\infty)$ or $0lt q\leq1lt plt\infty$, for a non-negative Borel measure $\nu$ on $(a,b)$ are found.

AMS 2000 Mathematics subject classification: Primary 46B50; 47B34; 47B38

We follow the notations and basic equations of Chen (2). Let M be a surface immersed in an m-dimensional space form Rm(c) of curvature c = 1, 0 or −1. We choose a local field of orthonormal frames e1, …, em in Rm(c) such that, restricted to M, the vectors e1, e2 are tangent to M. Let ω1, …, ωm be the field of dual frames. Then the structure equations of Rm(c) are given by

The following notes are intended to introduce a simple method of treating elementary geometrical conics, and at the same time to supply a missing link in the chain of continuity between Euclidean geometry and the modern methods of treating the conics, which at present are treated more as different subjects than as a continuous whole.

We recall the following definition (see [1]):

A finite group G is said to be a Frobenius–Wielandt group provided that there exists a proper subgroup H of G and a proper normal subgroup N of H such that H∩Hg≦N if g∈G–H. Then H/N is said to be the complement of (G, H, N) (see [1] for more details and notation).

It is well known that the elliptic integral of the second kind may be represented by the arc of an ellipse, and mathematicians have sought with various success to represent similarly by the arc of an algebraic curve the elliptic integral of the first kind. The general solution of the problem has not been obtained, but Serret and Cayley have given solutions of a very general character.

The substance of this paper is contained in Chrystal, chap, xxv., §§13, and 15 to 20, with some applications thereof occurring in chap. xxvi. But it is treated here in a fresh manner which would seem simpler on several points. This mode of presentation was, in the start, suggested by Peano's method given by Prof. Gibson in his “Note on the Fundamental Inequality Theorems Connected with ex and xm,” in Vol. XVIII. of the Proceedings.

A real matrix is called non-negative (positive) if all its entries are non-negative (positive). Two matrices A and B are said to be cogredient if there exists a permutation matrix Q such that QAQT = B. A square non-negative matrix is called reducible if it is cogredient to a matrix of the form

where the blocks X and Y are square. Otherwise it is called irreducible.

Let v = (a1 …, an) be a real n-tuple and be the numbers a1 …, an arranged in decreasing order. Let denote the sum of m greatest components of v and the sum of m smallest components of v, i.e.,

We prove that, for every extension of Banach algebras 0 → B →A → D → 0 such that B has a left or right bounded approximate identity, the existence of an associated long exact sequence of Banach simplicial or cyclic cohomology groups is equivalent to the existence of one for homology groups. It follows from the continuous version of a result of Wodzicki that associated long exact sequences exist. In particular, they exist for every extension of C*-algebras.