Let K be a totally real number field of degree nover ℚ and let c be an integral ideal of a maximal order of K. Given a nonnegative integer j and a Hecke character on the group of ideles of K, let denote the space of Hilbert cusp forms of holomorphic type on ℋn of weight j, level c and character ψ where ℋn is the n-th power of the Poincaré upper half plane ℋ.Let g be an element of , where 1 is the trivial character. If u ∈ Sk(c, ψ), then the product gu is an element of Sk+l (c, ψ), and therefore we can consider the linear map sending u to gu. Let be the adjoint of the linear map Φg with respect to the Petersson inner product.

Let G be a finite group, H an arbitrary subgroup (i.e., not necessarily normal); we decompose G as a union of left cosets modulo H:

choosing fixed coset representatives v. In this paper we construct a “coset space complex” and assign cohomology groups; Hr([G: H], A), to it for all coefficient modules A and all dimensions, -∞<r<∞. We show that if

is an exact sequence of coefficient modules such that H1U, A')= 0 for all subgroups U of H, then a cohomology group sequence

may be defined and is exact for -∞<r<∞. We also provide a link between the cohomology groups Hr([G: H], A) and the cohomology groups of G and H; namely, we prove that if Hv(U, A)= 0 for all subgroups U of H and for v = 1, 2, …, n–1, then the sequence

is exact, where the homomorphisms of the sequence are those induced by injection, inflation and restriction respectively.

The two following formulae are to be established.

If R (m ± n) > 0, | amp z | < π,

If p ≧ q + 1, R(k ± n + 2αr) > 0, r = 1, 2, …, p, | amp z | < π,

For other values of p and q the formula holds if the integral is convergent.

The numerical range of a bounded linear operator A on a complex Hilbertspace H is the set W(A) = {(Af, f): ║f║ = 1}. Because it is convex andits closure contains the spectrum of A, the numerical range is often a useful toolin operator theory. However, even when H is two-dimensional, the numerical range of an operator can be large relative to its spectrum, so that knowledge of W(A) generally permits only crude information about A. P. R. Halmos [2] has suggested a refinement of the notion of numerical range by introducing the k-numerical ranges

for k = 1, 2, 3, …. It is clear that W1(A) = W(A). C. A. Berger [2] has shown that Wk(A) is convex.

Let Hbe a complex Hilbert space and let B(H) be the algebra of (bounded) operators on H. Let A =(A,…,An) be an n-tuple of operators on H. The joint numerical range of A is the subset W(A) of ℂn such that

In a previous paper [3] we gave two methods for constructing subgroups which in certain senses may be considered to be dual to a verbal subgroup Vf(G) of an arbitrary group G. Associated with a word h (u, v) in the two symbols u and v, we have (i) the first dual subgroup which is defined as the minimal subgroup of G containing all elements ξ of G for which

for all values of x1, x2, …, in xn in G, and (ii), the second dual subgroup which is defined as the minimal subgroup of G containing all elements z of G for which

for all values of x1, x2, …, xn in G. Below we introduce slight variations to these definitions, which give rise to the concepts of the third and the fourth dual subgroups respectively. For certain values of h(u, v) we obtain concepts which also arise from and , namely, the marginal subgroup, the invariable subgroup and the centralizer of a verbal subgroup. We also obtain the new concepts of elemental subgroups and commutal subgroups and briefly sketch some of their properties. Finally we conclude by showing that MacLane's dual for the centralizer of a verbal subgroup is a closely related verbal subgroup.

The Mountain-Pass Theorem of Ambrosetti and Rabinowitz (see [1]) and the Saddle Point Theorem of Rabinowitz (see [21]) are very important tools in the critical point theory of C1-functional. That is why it is natural to ask us what happens if the functional fails to be differentiable. The first who considered such a case were Aubin and Clarke (see [6]) and Chang (see [12]),who gave suitable variants of the Mountain-Pass Theorem for locally Lipschitz functionals which are denned on reflexive Banach spaces. For this aim they replaced the usual gradient with a generalized one, which was firstly defined by Clarke (see [13], [14]).As observed by Brezis (see [12, p. 114]), these abstract critical point theorems remain valid in non-reflexive Banach spaces.

Let G be a group and H a subgroup of finite index in G. Then of course H contains a G-invariant subgroup C such that G/C is finite. In attempting to establish results of a similar nature, where “finite” is replaced by, for example, “finitely generated”, one notices immediately that a quite differently stated hypothesis is required. One reasonable approach would be to consider subgroups H which are “f.g. embedded” in G—indeed, the notion of a polycyclic embedding was utilised by P. Hall in [1].

In their paper “ The enumeration of tree-like polyhexes”, Harary and Read [6] consider structures obtained by assembling hexagons subject to certain restrictions. Their problem is introduced as a simplified hexagonal cell-growth problem.

In 1958 Ragab [3] deduced the sums of certain infinite series involving a product of two E-functions in terms of E-functions. MacRobert [2] gave a very simple alternative method for proving the results of Ragab. Later, Ragab [4, 5] in 1962 used a method similar to the one given by MacRobert to deduce a number of summations involving products of E-functions. In this paper, some more general summations of E-functions, which contain Ragab's results as special cases, are given. It may be mentioned that all the series summed run from n = – ∞ to + ∞co instead of n = 0 to + ∞.

1. Point (3) of the main theorem of our paper [3, Theorem 1.1] is incorrect: this note corrects the main and consequential errors, and shows that (after minor adjustments) almost all the other results of [3], including the remaining seven points of Theorem 1.1, remain correct.

2. The theme of [3] was a family of functors G,(–), defined on the category of ringswith unity for each cardinal t. For t = 0, 1, the results of [3] are unchanged, but, for 2≤t<∞, major, and, for t infinite, less major, corrections are necessary; we therefore assume 2≤t. Terminology and notation are standard or as in [3], and I would like to thank A. W. Chatters and an anonymous referee for comments which prompted this correction.

The purpose of this paper is to show the equivalence of convergence, an associated projective system of measures and a martingale decomposition for a uniformly integrable stochastic process. Emphasis is placed on a direct juxtaposition of these concepts and on displaying underlying mechanisms.

The impact of the martingale convergence theorem on contemporary probability theory has been immense. Therein lies the reason for numerous generalizations of both the basic martingale convergence theorem and the martingale concept itself.

Let M2 be a (connected) surface in Euclidean 3-space E3, and let G:M2→S2(1) ⊂ E3 be its Gauss map. Then, according to a theorem of E. A. Ruh and J. Vilms [3], M2 is a surface of constant mean curvature if and only if, as a map from M2 to S2(1), G is harmonic, or equivalently, if and only if

where δ is the Laplace operator on M2 corresponding to the induced metric on M2 from E3 and where G is seen as a map from M2to E3. A special case of (1.1) is given by

i.e., the case where the Gauss map G:M2→E3 is an eigenfunction of the Laplacian δ on M2.

Let k be a field, let R be a noetherian k-algebra of finite Gelfand-Kirillov dimension GK(R), and let M be a finitely generated right R-module. A standard prime factor series for M is a finite sequence of submodules 0 = N0 ⊂ N1 ⊂…⊂ Ni−1 ⊂ Ni ⊂.… ⊂ Nn = M, such that for each i the annihilator Pi = rR (Ni/Ni−1) is the unique associated prime of Ni/Ni−1 and GK(R/Pi)≤ GK(R/Pj) whenever i≤ j. The set of prime ideals arising from such a series is an invariant of M, called the set of standard primes St(M) of M. The concept, inspired by the notion of a standard affiliated series introduced by Lenagan and Warfield in [7], has been developed in [5], where it was shown that St(M) coincides with the set of all those prime ideals that are minimal over the annihilator of a nonzero submodule of M.

In this note we show that every complemented Montel subspace F of a Fréchet space E of Moscatelli type is isomorphic to ω or is finite–dimensional; the last case always occurs when E has a continuous norm. To do this, we first study the topology induced by E on its Montel subspaces, extending a result on Fr6chet-Montel spaces of Moscatelli type in [4].

We recall that the Fréchet spaces of Moscatelli type were introduced and studied by J. Bonet and S. Dierolf in [4]; the general idea behind the construction of such spaces was due to V. B. Moscatelli [7].

We provide corrected versions of Theorems 1 and 2 and Corollaries 3(a) and 4 of the paper mentioned in the title.

It is proved that if every cyclic right R-module is torsionless and R is a left CS-ring then R is semiperfect left continuous with soc(RR)essential in RR. As a consequence every right cogenerator, left CS-ring R is shown to be right pseudo-Frobenius and left continuous, and an example is given to show that R need not be left selfinjective. It is also proved that if R is a left CS-ring and every cyclic right R-module embeds in a free module, then R is quasi-Frobenius if and only if J(R) ⊆ Z(RR).

Let R be an integral domain with quotient field K. A fractional ideal I of R is a ∨-ideal if I is the intersection of all the principal fractional ideals of R which contain I. If I is an integral ∨-ideal, at first one is tempted to think that I is actually just the intersection of the principal integral ideals which contain I.However, this is not true. For example, if R is a Dedekind domain, then all integral ideals are ∨-ideals. Thus a maximal ideal of R is an intersection of principal integral ideals if and only if it is actually principal. Hence, if R is a Dedekind domain, each integral ∨-ideal is an intersection of principal integral ideals precisely when R is a PID.

The torsion of beams of L-cross-section was studied for the first time, from a mathematical standpoint, by Kotter [1]. He solved the problem in the case of an L-section both arms of which are infinite. Some time later, Trefftz [2], in his work on the torsion of beams of polygonal cross-section, applied his method also to an infinite L-section. In 1934, Seth [3] solved the case of a beam of an L-section with only one infinite arm. In 1949, Arutyanyan [4] solved the torsion problem of an L-section that has both arms finite, but of equal length, reducing the problem to that of solving an infinite system of equations.

A vector lattice W is boundedly complete when each subset {aj:j ∊ J} of W which is bounded above by an element of W has a least upper bound in W. The least upper bound of {aj:j ∊ J} is denoted by and the greatest lower bound by whenever these exist.