In this paper we show that the Weyl spectrum of an operator of class W satisfies the spectral mapping theorem for analytic functions and give the equivalent conditions for an operator of the form normal + compact to be polynomially compact.

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.

Several people, including Wallace [4] and Passman [3], have studied the Jacobson radical of the group algebra F[G] where F is a field and G is a multiplicative group. In [4], for instance, Wallace proves that if G is an abelian group with Sylow p-subgroup P and if F is a field of characteristic p, then the Jacobson radical of F[G] equals the right ideal generated by the radical of F[P]. In this paper we shall study group algebras over arbitrary commutative rings. By a reduction to the case of a semi-simple commutative ring, we obtain Theorem 1 whose corollary contains a generalization of Wallace's theorem. Theorem 2, on the other hand, uses the first theorem to obtain results related to the main theorem of [3].

An n-tournament is a set of n labelled points, each pair A, B of which is joined either by the oriented line AB or by the oriented line BA. There are N = n(n –1)/2 such pairs and so Fn different n-tournaments, where Fn = 2N. A tournament is reducible if the points can be separated into two non-empty subsets and ℬ, such that every line joining a point in to a point in ℬ is directed towards the point in ℬ. Rado [3] showed that an irreducible tournamentis strongly connected; i.e. for every ordered pair of points A, B, there is a sequence of correctly oriented lines AC1, C1C2, …, ChB in the tournament, and conversely that a strongly connected tournament is irreducible.

Let V be a regular semigroup and an ideal extension of a semigroup S by a semigroup Q Congruences on V can be represented by triples of the form (σ, P, τ), here called admissible, where a is a congruence on S, P is an ideal of Q and τ is a O-restricted congruence on Q/P satisfying certain conditions. We characterize the trace relation T on V in terms of admissible triples. When the extension V of S is strict, for a congruence v on V given in terms of an admissible triple, we characterize vK, vK, vT and vT again in terms of admissible triples.

This paper treats factorization and congruence in the arithmetics of Cayley's algebra C. Results, proved by Rankin [10], on the number of factorizations of a given element in the nonmaximal arithmetics Ho and Jo are reviewed. Further, new results on congruence are established and are used to find the number of factorizations of a prescribed element in the remaining arithmetics, including the maximal arithmetics Jw When computer factorizing a given element, the congruence results can be used as a heuristic device to prune the search tree.

If R is a ring and S is a semigroup, the corresponding semigroup ring is denoted by R[S]. A ring is semiprime if it has no nonzero nilpotent ideals. A semigroup S is a semilattice P of semigroups Sα if there exists a homomorphism φ of S onto the semilattice P such that Sα = αφ−1 for each α ∈ P.

Over the last few years, various extensions of the topological degree of a mapping have been made so as to include non-compact perturbations of the identity. One such extension, which employs compactness conditions, has been to the class of limit compact maps which were extensively studied by Sadovsky [7]. The class is a large one as it contains all compact mappings, contraction mappings and, more generally, condensing mappings. Sadovsky [7] gives a theory of degree for maps of the form I-f, where f is limit compact, and this was extended independently and with different methods by Petryshyn and Fitzpatrick [4] and the author [9] to allow f to be a multi-valued mapping. A refinement of the methods of [9] was given by Vanderbauwhede [8].

In his paper [1], M. Brodmann showed that if M is a1 finitely generated module over the commutative Noetherian ring R (with identity) and a is an ideal of R then the sequence of sets {Ass(M/anM)}n∈ℕ and {Ass(an−1M/anM)}n∈ℕ (where ℕ denotes the set of positive integers) are eventually constant. Since then, the theory of asymptotic prime divisors has been studied extensively: in [5], Chapters 1 and 2], for example, various results concerning the eventual stable values of Ass(R/an;) and Ass(an−1/an), denoted by A*(a) and B*(a) respectively, are discussed. It is worth mentioning that the above mentioned results of Brodmann still hold if one assumes only that A is a commutative ring (with identity) and M is a Noetherian A-module, and AssA(M), in this situation, is regarded as the set of prime ideals belonging to the zero submodule of M for primary decomposition.

It is known [1] that for a partial endomorphism μ of a group G that maps the subgroup A ⊆ G onto B ⊆ G. G to be extendable to a total endomorphism μ* of a supergroup G* ⊆ G such that μ an isomorphism on G*(μ*)m for some positive integer m, it is necessary and sufficient that there exist in G a sequence of normal subgroups

such that L1 ƞA is the kernel of μ and

for ι = 1, 2,…, m–1.

The question then arises whether these conditions could be simplified when the group G is abelian. In this paper it is shown not only that the conditions are simplified when Gis abelian but also that the extension group G*⊇G can be chosen as an abelian group.

Let S be a cancellative semigroup. This paper is motivated by the problem of finding a description of semigroup rings K[S] over a field K that are semiprime or prime. Results of this type are well-known in the case of a group ring K[G], cf. [8]. The description, as well as the proofs, involve the FC-centre of G defined as the subset of all elements with finitely many conjugates in G. In [4], [5] Krempa extended the FC-centre techniques to the case of an arbitrary cancellative semigroup S. He defined a subsemigroup Δ(S) of S which coincides with the FC-centre in the case of groups, and can be used to describe the centre and to study special elements of K[S]. His results were strengthened by the author in [7], where Δ(S) was also applied in the context of prime and semiprime algebras K[S]. However, Δ(S) itself is not sufficient to characterize semigroup rings of this type. We note that in [2], [3] Dauns developed a similar idea for a study of the centre of semigroup rings and certain of their generalizations.

The axiom of comonotonic independence for a preference ordering was introduced by Schmeidler [9]. It leads to the comonotonic additivity for the functional representing the preference ordering, which is necessarily a Choquet integral.

The aim of this paper is to illuminate the concepts of comonotonicity, comonotonic independence and comonotonic additivity. For example the seemingly weaker condition of weak comonotonic independence used by Chateauneuf in [2] is seen to be equivalent to comonotonic independence. Comonotonic additivity is characterized as additivity on chains of sets. From this the characterization of Choquet integrals in [4], [1], [8] follows easily.

In the following let Ω be the set of irrational numbers in the interval [0,1] and let λ be Lebesgue measure restricted to Ω. For any real number x, let {x} = x - [x] be the fractional part of x. Let N be anatural number and let α e Ω. Then

is known as the discrepancy of the sequence (nα)n>1 modulo 1; here c[x, y) denotes the characteristic function of the interval [x, y).

In his paper [3], Ky Fan asked whether if f is a convex univalent function in the unit disk, with f(0) = 0 and f'(0) = 1, then is it true that the set of f(A) is a convex set of operators, when A runs through all proper contractions on a Hilbert space? We answer this question in the negative.

We have studied relationships between almost relative projectivity and Nakayamaings [8]. In this paper we shall further investigate certain characterizations of right Nakayama rings in terms of almost relative projectives (or injectives). We shall consider three conditions (A), (B) and (C) (see Section 1), which are always satisfied for the relative projective modules, but not for almost relative projectives in general. As an application of [9, Theorem] and [10, Theorem 2], we shall show that a right artinian ring is right Nakayama if and only if one of the above three conditions holds true for almost relative projectives (Corollary to Theorem 1). Moreover we shall give a characterization of two-sided Nakayama rings related to (C) and the dual (C#) (Theorem 2). Finally we shall investigate the transitivity of almost relative projectives, which is the converse of (B), and give some characterizations of right Nakayama rings related to the transitivity.

Let C be the complex plane, and U the disc |Z| < 1 in C. Cn denotes complex n-dimensional Euclidean space, <, > the inner product, and | · | the Euclidean norm in Cn;. Bn will be the open unit ball {z ∈ Cn:|z| < 1}, and Un will be the unit polydisc in Cn. For l ≤ p < ∞, p ≠ 2, Gp(Bn) (resp., Gp(Un)) will denote the group of all isometries of Hp(Bn) (resp., Hp(Un)) onto itself, where Hp(Bn) and HP(Un) are the usual Hardy spaces.

In [1, Theorem 3.3], E. Bishop proved that an operator S on a Hilbert space ℋ is subnormal if and only if there is a net of normal operators {Nα} that converges to S strongly (that is, ‖(Nα–S) f‖→ 0 for every f in ℋ). The proof that such a net exists if S is subnormal is not so difficult; in fact, a sequence of normal operators converging strongly to S can be found. Bishop's proof of the converse, however, is rather complicated and involves, among other things, some complicated arguments using operator-valued measures. The purpose of this note is to provide an easier proof of this part of the theorem. Our interest in finding such a proof was aroused by Paul Halmos.

Let K be a compact Hausdorff space, and let C(K) be the corresponding Banach space of continuous functions on K. It is well-known that every 1-summing operator S:C(K)→l2 is also nuclear, and therefore factors S = S1S2, with S1:l2→l2 a Hilbert–Schmidt operator and S1:C(K)→l2 a bounded operator. It is easily seen that this latter property is preserved when C(K) is replaced by any quotient, and that a Banach space X enjoys this property if and only if its second dual, X**, does. This led A. Pełczyński [15] to ask if the second dual of a Banach space X must be isomorphic to a quotient of a C(K)-space if X has the property that every 1-summing operator X-→l2 factors through a Hilbert-Schmidt operator. In this paper, we shall first of all reformulate the question in an appropriate manner and then show that counter-examples are available among super-reflexive Tsirelson-like spaces as well as among quasi-reflexive Banach spaces.

Suppose H is a Hilbert space and write ℒ(H) for the set of all bounded linear operators on H. If T ∈ ℒ(H) we write σ(T) for the spectrum of T; π0(T) for the set of eigenvalues of T; and π00(T) for the isolated points of σ(T) that are eigenvalues of finite multiplicity. If K is a subset of C, we write iso K for the set of isolated points of K. An operator T ∈ ℒ(H) is said to be Fredholm if both T−1(0) and T(H)⊥ are finite dimensional. The index of a Fredholm operator T, denoted by index(T), is defined by