In an earlier paper [5] of the author bisimple weakly inverse semigroups with partial identities were studied. The aim of this paper is to extend the results to a wider class of semigroups, viz: bisimple weakly inverse semigroups with partial right unitoids. It is found that an ℛ-class of weakly inverse semigroup is a right skew groupoid R = (R, P), where P is a right skew semigroup [5], P⊆R, and R is a partial semigroup satisfying certain conditions. When S is a bisimple weakly inverse semigroup with E the set of partial right unitoids, it can be shown that the ℛ-class R = (R, P) containing E, which is a right skew groupoid, satisfies the following:

(i) for any a, b ∈ R, there exists c ∈ R such that Pa ∩ Pb = Pc;

(ii) for any a ∈ R, there exists a left identity e of R such that (Pa ∩ P)e = Pa ∩ P.

It is now well-known that decomposable operators have a rich structure theory; in particular, an operator is decomposable iff its adjoint is [3]. There are many other criteria for decomposability [8], [9]. In Theorem 2.2 of this paper (see below) we give several new ones. Some of these (e.g. (ii), (iii)) are “relaxations” of conditions given in [7] and [8]. Assertion (vi) is a version of a result in [10]. Characterizations (iv)and (v) are novel in two respects. For instance, (v) states that an operator Tcan be “patched” together into a decomposable operator if it has an invariant subspace Y such that T | Y and the coinduced operator T | Y are both decomposable. Secondly, in this way the strongly analytic subspace appears in the theory of spectral decomposition.

Although the classes of regular simple semigroups and simple semigroups without idempotents are evidently at opposite ends of the spectrum of simple semigroups, their theories involve some interesting connections. Jones [5] has obtained analogues of the bicyclic semigroup for simple semigroups without idempotents. Megyesi and Pollák [7] have classified all combinatorial simple principal ideal semigroups on two generators, showing that all are homomorphic images of one such semigroup Po which has no idempotents.

This note provides yet another example of the difficulties that arise when one wants to extend the spectral theory of subnormal operators to subnormal tuples. Several basic properties of a subnormal operator Y remain true for tuples; e.g. the existence and uniqueness of its minimal normal extension N, the spectral inclusion σ(N)⊂ σ(Y)-proved for n-tuples in [4] and generalized to infinite tuples in [5]. However, neither the invariant subspace theorem nor the spectral mapping theorem in the “strong form” as in [3] is known so far for subnormal tuples.

In [10], C. Sundberg uses a clever argument involving an idea of Davie and Jewell [13] to prove an isomorphism theorem for a very general class of operators. A related spectral inclusion theorem is an immediate consequence of the proof of this result, as Sundberg points out. He goes on to list several well known examples that are applications of his main result and remarks that the proof of the McDonald–Sundberg theorem (c.f. [9]) can now be considerably simplified. The purpose of this note is to give further evidence of the utility of the criterion established in [10]. Here and throughout X denotes a compact Hausdorff space and A is a function algebra on X. The Shilovboundary of A is the minimal closed subset ∂(A) of X with the property that

.

In the theory of Hilbert space operators an important question is whether an operator is subnormal [3], [4], [7], [8]. A densely defined linear operator S in a complex Hilbert space H is subnormal if there exists a normal operator N in a complex Hilbert space K ⊃ H such that S ⊂ N.

The space S of spinors associated to a 2m-dimensional real inner product space (V, B) carries a canonical Hermitian form 〈 〉 determined uniquely up to real multiples. This form arises as follows: the complex Clifford algebra C(V) of (V, B) is naturally provided with an antilinear involution; this induces an involution on End S via the spin representation; this is the adjoint operation corresponding to 〈 〉.

All representations and characters studied in this paper are taken over the complex numbers, and all groups considered are finite. For basic definitions concerning projective representations see [1].

If G is a group and or is a cocycle of G we denote by Proj(G, α) = {ξ1, …, ξt} the set of irreducible projective characters of G with cocycle α, where of course t is the number of α-regular conjugacy classes of G; ξ1, (1) is called the degree of ξ1. Also as normal, M(G) will denote the Schur multiplier of G, [α] the cohomology classof α, and [1] the cohomology class of the trivial cocycle of G.

The combinatorial investigation of graphs embedded on surfaces leads one to consider a pair of permutations (σ, α) that generate a transitive group [7]. The permutation α is a fixed-point-free involution and the pair is called a map. When this condition on α is dropped the combinatorial object that arises is called a hypermap. Both maps and hypermaps have a topological description: for maps a classical reference is [13] and for hypermaps such a description can be found in [4] and [6]; a brief account of it will be given below. However, the relationship between maps and hypermaps is not simply that the latter generalize the former. Actually, with every hypermap there is associated a map, its bipartite map, and conversely every bipartite map arises in this way. We do not enter into the details of this question; we refer the reader to the work of Walsh [16]. In this sense hypermaps are, at the same time, a generalization and a special case of maps.

A compact bordered Klein surface of genus g ≥ 2 has maximal symmetry [4] if its automorphism group is of order 12(g − 1), the largest possible. An M*-group [8] acts on a bordered surface with maximal symmetry. The first important result about these groups was that they must have a certain partial presentation [8, p. 5]. However, research has tended to focus more on the surfaces with maximal symmetry than on the M*-groups, and results about these groups typically deal with existence.

Let G, H and K be finite groups such that K acts on both G and H. The action of K on G and H induces an action of K on their tensor product G ⊗ H, and we shall denote the K-stable subgroup of G ⊗ H by (G ⊗ H)K. In section 1 of this note we shall obtain necessary and sufficient conditions for (G ⊗ H)K = G ⊗ H. The importance of this result is that the direct product of G and H has Schur multiplier M(G × H) isomorphic to M(G) × M(H) × (G ⊗ H); moreover K: acts on M(G × H), and M(G × H)K is one of the terms contained in a fundamental exact sequence concerning the Schur multiplier of the semidirect product of K and G × H (see [3, (2.2.10) and (2.2.5)] for details). Indeed in section 2 we shall assume that G is abelian and use the fact that M(G) ≅ G ∧ G to find necessary and sufficient conditions for M(G)K = M(G).

Recently we introduced the notion of an MS-algebra as a common abstraction of a de Morgan algebra and a Stone algebra [2]. Precisely, an MS-algebra is an algebra 〈L; ∧, ∨ ∘, 0, 1〉 of type 〈2, 2, 1, 0, 0〉 such that 〈L; ∧, ∨, 0, 1〉 is a distributive lattice with least element 0 and greatest element 1, and x → x∘ is a unary operation such that x ≤ x∘∘, (x ∧ y)∘ = x∘ ∨ y∘ and 1∘ = 0. It follows that ∘ is a dual endomorphism of L and that L∘∘ = {x∘∘ x ∊ L} is a subalgebra of L that is called the skeleton of L and that belongs to M, the class of de Morgan algebras. Clearly, theclass MS of MS-algebras is equational. All the subvarieties of MS were described in [3]. The lattice Λ (MS) of subvarieties of MS has 20 elements (see Fig. 1) and its non-trivial part (we exclude T, the class of one-element algebras) splits into the prime filter generated by M, that is [M, M1], the prime ideal generated by S, that is [B, S], and the interval [K, K2 ∨ K3].

Let Tn denote the full transformation semigroup on the finite set = {1, 2, … n}, that is the set of all mappings from to , with function composition as the semigroup operation. In this paper algorithms are introduced to solve equations such as axmb = c and ax = xb (a, b, c ∊ Tn), which employ a representation of members of Tn as special directed graphs.

In a recent paper M. Cho [5] asked whether Taylor's joint spectrum σ(a1, …, an; X) of a commuting n-tuple (a1,…, an) of continuous linear operators in a Banach space X is contained in the closure V(a1, …, an; X)- of the joint spatial numerical range of (a1, …, an). Among other things we prove that even the convex hull of the classical joint spectrum Sp(a1, …, an; 〈a1, …, an〉), considered in the Banach algebra 〈a1, …, an〉, generated by a1, …, an, is contained in V(a1, …, an; X)-.

Compact elementary operators acting on the algebra ℒ(H) of all bounded operators on some Hilbert space H were characterised by Fong and Sourour in [9]. Akemann and Wright investigated compact and weakly compact derivations on C*-algebras [1], and also studied compactness properties of the sum and the product of the right and the left regular representation of an element in a C*-algebra [2]. They used the concept of a compact Banach algebra element due to Vala [17]: an element a in a Banach algebra A is called compact if the mapping x → axa is compact on A. This notion has been further investigated by Ylinen [18, 19, 20], who showed in particular that a is a compact element of the C*-algebra A if x ↦ axa is weakly compact on A [19].

Let ℝn be the n-dimensional Euclidean space with the usual norm denoted by |·| In what follows 蒆 will denote an open bounded subset of ℝn, and its closure.

For α ∊(0,1], is the space of all functions such that:

is called the Holder space with exponent a and is a Banach space when endowed with the norm:

where ‖u‖∞ is, as usual, defined by:

Given a group presentation (or more generally† a 2-complex) one can associate with it an object which has variously been called the co-initial graph, star-graph, star-complex, and which has proved useful in several contexts [2], [6], [7], [8], [9], [10], [12]. For certain mappings of 2-complexes φ: ⃗ℒ (”strong mappings”) one gets an induced mapping φst: st⃗ℒst of the associated star-complexes. Then st is a covariant functor from the category of 2-complexes (where the morphisms are strong mappings) to the category of 1-complexes, and this functor behaves very nicely with respect to coverings (Theorem 1).

In [4] an identity is given which relates the product of two Fourier coefficients of a Hecke eigenform g of half-integral weight and level 4N with N odd and squarefree to the integral of a Hecke eigenform f of even integral weight associated to g under the Shimura correspondence along a geodesic period on the modular curve X0(N) This formula contains as a special case a refinement of a result of Waldspurger [6] about special values of L-series attached to f at the central point.

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.

Throughout this paper we consider associative rings with identity and assume that all modules are unitary. As is well known, cyclic modules play an important role in ring theory. Many nice properties of rings can be characterized by their cyclic modules, even by their simple modules. See, for example, [2], [3], [6], [7], [13], [14], [15], [16], [18], [21]. One of the most important results in this direction is the result of Osofsky [14, Theorem] which says: a ring R is semisimple (i.e. right artinian with zero Jacobson radical) if and only if every cyclic right R-module is injective. The other one is due to Vamos [18]: a ring R is right artinian if and only if every cyclic right R-module is finitely embedded.