This note points out a new aspect of the well-known relationship between the subjects mentioned in the title. The following result and its generalization in totally real algebraic number fields is central to the discussion. Let denote the Legendre symbol for relatively prime numbers a and b ℇ ℤ and a substitution of the modular subgroup Γ0(4). Then, if γ>0 and b≡1 mod 2,

with

and

According to (1), the Legendre symbol behaves somewhat like a modular function ﹙apart from the known behaviour under and ﹚. (1) follows (see below) from the functional equation

with

provided that

Here we used and always will use the abbreviation

and ℇδ means the absolutely least residue of δ mod 4. In the proof, Hecke [4] assumed γ>0 (see also Shimura [5]).

Let d(n) denote the number of positive divisors of. A long time ago, Erdös and Mirsky [1] raised the question whether the equation d(n) = d(n+l) holds for infinitely many n. It does not seem easy to settle this problem, and in the present note we give a partial result.

In [6] Kulkarni considered the set of values of g for which a given finite group G acts faithfully as a group of orientation-preserving self-homeomorphisms of a compact, connected, orientable surface σg of genus g. Let us denote this set by (G). Then Kulkarni showed that there exists a positive integer Kdepending only on the order d = |G| of G, the exponent e= exp G of G and the structure of a Sylow 2-subgroup G2 of G, satisfying:

Theorem 1. (Kulkarni [6]) (G) consists of all but finitely many non-negative integers g ≡ 1 mod K.

Let k be any algebraically closed field, and denote by k((t)) the field of formal power series in one indeterminate t over k. Let

so that K is the field of Puiseux expansions with coefficients in k (each element of K is a formal power series in tl/r for some positive integer r). It is well-known that K is algebraically closed if and only if k is of characteristic zero [1, p. 61]. For examples relating to ramified extensions of fields with valuation [9, §6] it is useful to have a field analogous to K which is algebraically closed when k has non-zero characteristic p. In this paper, I prove that the set L of all formal power series of the form Σaitei (where (ei) is well-ordered, ei = mi|nprt, n ∈ Ζ, mi ∈ Ζ, ai ∈ k, ri ∈ Ν) forms an algebraically closed field.

Following the notation in Faudree and Schelp [3], we write G → (F, H) to mean that every 2-coloring of E(G), the edge set of G, contains a green (the first color) F or a red (the second color) H. Then the Ramsey number r(F, H) of two graphs F and H with no isolated vertices has been defined as the minimum p such that Kp → (F, H).

In 1954 N. Kimura proved that each idempotent in a semigroup is contained in a unique maximal subgroup of the semigroup and that distinct maximal subgroups are disjoint [13] (or see [6, pp. 21–23]). This generalized earlier results of Schwarz [14] and Wallace [15]. These maximal subgroups are important in the study of semigroups. If G is a group, then the collection S(G) of nonempty complexes of G is a semigroup and it is natural to inquire what properties of G are inherited by the maximal subgroups of S(G). There seems to be very little literature devoted to this subject. In [5, Theorem 2], with certain hypotheses placed on an idempotent, it was shown that if G is a lattice-ordered group (“1-group”) then a maximal subgroup of S(G) containing an idempotent satisfying these conditions admits a natural lattice-order. The main result of this note (Theorem 1) is that if Gis a representable 1-group and E is a normal idempotent of S(G) and a dual ideal of the lattice G, then the maximal subgroup of S(G) containing E admits a representable lattice-order.

We write

and

so that p(n) is the number of unrestricted partitions of n. Ramanujan [1] conjectured in 1919 that if q = 5, 7, or 11, and 24m ≡ 1 (mod qn), then p(m) ≡ 0 (mod qn). He proved his conecture for n = 1 and 2†, but it was not until 1938 that Watson [4] proved the conjecture for q = 5 and all n, and a suitably modified form for q = 7 and all n. (Chowla [5] had previously observed that the conjecture failed for q = 7 and n = 3.) Watson's method of modular equations, while theoretically available for the case q = 11, does not seem to be so in practice even with the help of present-day computers. Lehner [6, 7] has developed an essentially different method, which, while not as powerful as Watson's in the cases where Γ0(q) has genus zero, is applicable in principle to all primes q without prohibitive calculation. In particular he proved the conjecture for q = 11 and n = 3 in [7]. Here I shall prove the conjecture for q = 11 and all n, following Lehner's approach rather than Watson's. I also prove the analogous and essentially simpler result for c(m), the Fourier coefficient‡ of Klein's modular invariant j (τ) as

For any nilpotent group B of class c and any given element h of B generating the subgroup H, Wiegold [1] has shown that if, in addition, [B, H] has exponent pr for some prime p and integer r, then B can be embedded in a nilpotent group G such that G also contains psth root for h(s ≧ 1). In fact, Wiegold has gone further and calculated an upper bound for the class of G in terms of the variables c, p, r, s.

In this paper we give necessary and sufficient conditions on a commutative semigroup in order that it should have a maximal homomorphic image of one of the following types: (1) groups, (2) semigroups which are unions of groups and (3) pseudoinvertible semigroups, i. e. semigroups having the property that some power of each element lies in a subgroup of the semigroup.

Let f denote a function, meromorphic in C. The question of when a deficient value of f, in the sense of Nevanlinna, is an asymptotic value has recently received some attention (see e.g. Hayman [6]). We assume acquaintance with the standard notation of the Nevanlinna theory ([[5] Chapter I) which we use without further mention. The following two theorems are known ([1] Theorem 4, and [6] Corollary 2).

Since Helmer's 1940 paper [9] laid the foundations for the study of the ideal theory of the ring A(ℂ) of entire functions, many interesting results have been obtained for the rings A(X) of analytic functions on non-compact connected Riemann surfaces. For example, the partially ordered set Spec (A(ℂ) of prime ideals of A(ℂ) has been described by Henrikson and others [2], [10], [11]. Also, it has been shown by Ailing [4] that Spec(A(ℂ))sSpec(A(X)) as topological spaces for any non-compact connected Riemann surface X. Many results on the valuation theory of A(X) have also been obtained [1], [2]. In this note we show that a large portion of the results on the rings A(X) extend to the W-rings with complete principal divisor space which were defined by J. Klingen in [15], [16]. Therefore, many properties of A(ℂ) are shared by its non-archimedian counterparts studied by M. Lazard, M. Krasner, and others [8], [17], [18].

In [8] the author studied the question of the primitivity of an Ore extension R[x, δ], where δ is a derivation of the ring R. If a is an automorphism of R then it can be shown that R[x, α] is primitive if the following conditions are satisfied: (i) no power αsS ≥ 1, of α is inner; (ii) the only ideals of R invariant under α are 0 and R. These conditions are also known to be necessary and sufficient for the skew Laurent polynomial ring R[x, x−1, α] to be simple [9]. The object of this paper is to find conditions which are sufficient for R[x, x−1, α] to be primitive. The results obtained are remarkably similar to those of [8]. Two logically independent conditions are each found to be sufficient for the primitivity of R[x, x−1, α]. Of these, one is also shown to be sufficient for R[x, α] to be primitive. Included in the examples illustrating these results are some applications to the theory of primitive group rings. The basic techniques involved are also applied to produce a counterexample to the converse of a theorem of Goldie and Michler [3] on when R[x, x−1, α] is a Jacobson ring.

In a recent paper [5] Tits proves that a linear group over a field of characteristic zero is either solvable-by-finite or else contains a non-cyclic free subgroup. In this note we determine all the infinite irreducible solvable-by-finite subgroups of GL(2, F), where F is an algebraically closed field of characteristic zero. (Every reducible subgroup of GL(2, F) is metabelian.) In addition, we prove that an irreducible subgroup of GL(2, F) has an irreducible solvable-by-finite subgroup if and only if it contains an element of zero trace.

In two recent papers [1, 2] the Barnes integral for the E-functions was employed to sum a number of infinite series of E-functions. In §2 of this paper, by making use of the multiplication formula for the gamma function, the method is extended to series of E-functions of a different type.

In a recent paper [7], Rooney used a technique involving the Mellin transform to obtain solutions in certain spaces ℒμ, ρ of an integral equation which had been studied previously by Šub-Sizonenko [9]. The integral equation in question can be written as

where I denotes the identity operator and G0.1/2 is given by

with the inversion formula obtained by Rooney taking the form

Rooney verified that (1.1) and (1.2) formed an inversion pair in ℒμ, ρ for 1 ≤ p < ∞ and μ > 0.

Given a ring R and an injective ring endomorphism α: R → R, not necessarily surjective, it is possible to define a minimal overring A(R, α) of R to which extends as an automorphism. The ring A(R, α) was first studied by D. A. Jordan in his paper [5], where he also introduces the central objects of this paper—the closed left ideals of R. As can be seen from Theorem 4.7 of [5], the left ideal structure of A(R, α) depends very strongly on the closed left ideals of R, and our aim here is to show that each maximal left ideal of a left Artinian ring is closed.

Let k be an algebraically closed field, and A a finite dimensional k-algebra, which we shall assume, without loss of generality, to be basic and connected. By module is meant throughout a finitely generated right A-module. Following Happel and Ringel [10], we shall say that a module Tλ is a tilting (respectively, cotilting) module if it satisfies the following three conditions:

(1)

(2)

(3) the number of non-isomorphic indecomposable summands of T equals the rank of the Grothendieck group K0(A) of A.

All sets considered will be finite, and |x| will denote the cardinal number of the set X.

Let = (Ai:i∈I) be a family of subsets of a set E. A subset E′ ⊆ E is called a transversal of if there exists a bijection σ:E′→ I such that e ∈ Aσ(e) (e ∈ E′). According to a well-known theorem of P. Hall [2], the familyhas a transversal if and only iffor every subset I′ of I. Ford and Fulkerson [1] obtained (as a special case of a more general theorem) an analogous criterion for the existence of a common transversal (CT) of two families. We may state their result in the following terms.