In this note we consider a finite graph without loops and multiple edges. The colouring of a graph G in λ colours is the colouring of its vertices in such a way that no two of adjacent vertices have the same colours and the number of used colours does not exceed λ [1, 4]. Two colourings of graph G are called different if there exists at least one vertex which changes colour when passing from one colouring to another.

In this paper we prove that the weighted group algebra L1 (G, w) is semi-regular if and only if G is either abelian or discrete.

The purpose of this paper is to point out a flaw in H. B. Griffiths' covering space approach to residual properties of groups [3]. One is led to this paper from Lyndon and Schupp's book [4, pp. 114, 141] where it is cited for covering space methods and a proof that F-groups are residually finite. However the main result of [3] is false.

The equation of the title in positive integers x, y, z where D is a given integer has been considered for some 300 years [4, pp 634–639]. As observed by V. A. Lebesgue, and probably known to Euler, if x, y, z is one non-trivial solution i.e., one with xy(x2 – y2) ≠0, another is given by . It then follows that there are infinitely many such with (x, y) = 1. The question that remains is to determine for which values of D such solutions exist.

Let Q(X) denote and let BTr denote the classifying space of the r-torus. In [8], Segal showed that Q(BT1) is homotopy equivalent to a product BU × F where BU denotes the classifying space for stable complex vector bundles and F a space with finite homotopy groups. This result has been a very useful one. For example, in [5] it was used to show that up to a stable homotopy equivalence there is only one loop structure on the 3-sphere at each odd prime p. (The subsequent work of Dwyer, Miller, and Wilkerson shows this result is even true unstably, at every prime p.) In [6] it was used to classify, up to homology, the stable self maps of the projective spaces ℂPn and ℍPn. In [5] I asked if a splitting similar to Segal's might exist for Q(BTr) when r≥2. In particular, since the homotopy and homology groups of BU are torsion free it seemed natural to ask if Q(BTr), when r>, could likewise contain a retract with torsion free homology and homotopy groups and whose complement is rationally trivial. The purpose of this note is to show that the answer is no.

The nonabelian tensor square G⊗G of a group G is generated by the symbols g⊗h, g, h ∈ G, subject to the relations

,

for all g, g′, h, h′ ∈ G, where The tensor square is a special case of the nonabelian tensor product which has its origins in homotopy theory. It was introduced by R. Brown and J. L. Loday in [4] and [5], extending ideas of Whitehead in [6].

In his fundamental papers [7,8], Pelczynski introduced properties (u), (V), and (V*) as tools as study the structure of Banach spaces. Let X be a Banach space. It is said that X has property (u) if, for every weak Cauchy sequence (xn) in X, there exists a weakly unconditionally Cauchy (wuC) series in X such that the sequence is weakly null. It is said that X has property (V) if, for every Banach space Z, every unconditionally converging operator from X into Z is weakly compact; equivalently, whenever K is a bounded subset of X* such that for every wuC series in X, then K is relatively weakly compact. A Banach space X is said to have property (V*) if whenever K is a bounded subset of X such that 0 for every wuC series in X*, then K is relatively weakly compact. Some well-known results which shall be needed later are contained in the following.

In [6], Wong defined a quasi-permutation group of degree n to be a finite group G of automorphisms of an n-dimensional complex vector space such that every element of G has non-negative integral trace. The terminology derives from the fact that if G is a finite group of permutations of a set ω of size n, and we think of G as acting on the complex vector space with basis ω, then the trace of an element g ∈ G is equal to the number of points of ω fixed by g. In [6] and [7], Wong studied the extent to which some facts about permutation groups generalize to the quasi-permutation group situation. Here we investigate further the analogy between permutation groups and quasipermutation groups by studying the relation between the minimal degree of a faithful permutation representation of a given finite group G and the minimal degree of a faithful quasi-permutation representation. We shall often prefer to work over the rational field rather than the complex field.

We use a simple approximation method to prove the Holder continuity of the generalized de Rham functions.

1. Consider the following dilatation equation

where |α|<l/2. Suppose that f is an integrable solution of (1); then f must satisfy

where is the Fourier transform of f, and

which immediately leads to

In this paper we consider complex doubles of compact Klein surfaces that have large automorphism groups. It is known that a bordered Klein surface of algebraic genus g > 2 has at most 12(g − 1) automorphisms. Surfaces for which this bound is sharp are said to have maximal symmetry. The complex double of such a surface X is a compact Riemann surface X+ of genus g and it is easy to see that if G is the group of automorphisms of X then C2 × G is a group of automorphisms of X+. A natural question is whether X+ can have a group that strictly contains C2 × G. In [8] C. L. May claimed the following interesting result: there is a unique Klein surface X with maximal symmetry for which Aut X+ properly contains C2 × Aut X (where Aut X+ denotes the group of conformal and anticonformal automorphisms of X+).

Suppose that T and S are continuous linear operators on complex Banach spaces X and Y, respectively, and that A is a non-zero continuous linear mapping from X to Y. If A intertwines T and S in the sense that SA = AT, then a classical result due to Rosenblum implies that the spectra σ(T) and σ(S) must overlap, see [12]. Actually, Davis and Rosenthal [5]have shown that the surjectivity spectrum σsu(T) will meet the approximate point spectrum σap(S) in this case (terms to be denned below). Further information about the relations between the two spectra and their finer structure becomes available when the intertwiner A is injective or has dense range, see [9], [12], [13].

In the present note, Σr denotes the class of all right pure semisimple rings (= right pure global dimension zero). It is known that if R ∈ Σr, then R is right artinian and every indecomposable right R-module is finitely generated. The class Σr is not closed under ultraproducts [4]. While Σr is closed under elementary descent (i.e. if S ∈ Σr and R is an elementary subring of S then R ∈ σr) [4], it is an open question whether right pure-semisimplicity is preserved under the passage to ultrapowers [4, Prob. 11.16]. In this note, this question is answered in the affirmative.

It is reasonable to expect that the representation theory of an algebra (finite dimensional over a field, basic and connected) can be used to study its homological properties. In particular, much is known about the structure of the Auslander-Reiten quiver of an algebra, which records most of the information we have on its module category. We ask whether one can predict the homological dimensions of a module from its position in the Auslander-Reiten quiver. We are particularly interested in the case where the algebra is a tilted algebra. This class of algebras of global dimension two, introduced by Happel and Ringel in [7], has since then been the subject of many investigations, and its representation theory is well understood by now (see, for instance, [1], [7], [8], [9], [11], [13]).In this case, the most striking feature of the Auslander-Reiten quiver is the existence of complete slices, which reproduce the quiver of the hereditary algebra from which the tilted algebra arises. It follows from well-known results that any indecomposable successor (or predecessor) of a complete slice has injective (or projective, respectively) dimension at most one, from which one deduces that a tilted algebra is representation-finite if and only if both the projective and the injective dimensions of almost all (that is, all but at most finitely many non-isomorphic) indecomposable modules equal two (see (3.1) and (3.2)). On the other hand, the authors have shown in [2, (3.4)] that a representation-infinite algebra is concealed if and only if both the projective and the injective dimensions of almost all indecomposable modules equal one (see also [14]). This leads us to consider, for tilted algebras which are not concealed, the case when the projective (or injective) dimension of almost all indecomposable successors (or predecessors, respectively) of a complete slice equal two. In order to answer this question, we define the notions of left and right type of a tilted algebra, then those of reduced left and right types (see (2.2) and (3.4) for the definitions).

Let f(x) and g(x) be real functions defined on the interval [a, b], with f(x) at least twice continuously differentiable, f′(x) monotone increasing, and f(x) of bounded variation. We consider the exponential integral

where e(t) denotes exp 2πit. The purpose of this note is to prove sharp forms of the well-known estimates:

A: If f′(x) is nonzero on [a, b], then I has order of magnitude

The constant of proportionality depends on the function g(x).

B: If f′(x) changes sign at x = c with a < c < b, then

With much sadness we note the death of John Leech, on 28 September 1992. Perhaps best known for his discovery of the “Leech Lattice” (which provides the best known sphere-packing in 24 dimensions), John will also be remembered for his contributions to the use of computers in mathematics, and to computational algebra in particular.

We shall show that there exists a chain, order isomorphic to the chain of real numbers, of semigroup varieties closed for the Bruck extension. The least semigroup variety closed for the Bruck extension will be obtained as the union of varieties in an infinite chain of semigroup varieties.

Recently several authors have studied dualizing Goldie dimension of a module: spanning dimension in [2], codimension in [13], corank in [16] and also [9,17,12, 5,11, 6, 4, 7] ([13] may be read in comparison with the others). In the present note we prove the equality corank RP = corank SS, where P is a quasi-projective left R-module and S is its endomorphism ring. This result is an answer to the question [12, p. 1898] and an extension of [3, Corollary 4.3] which shows the above equality for a Σ-quasi-projective left R-module P.

Let k be an algebraic number field and Ck its ideal class group (in the wider sense). Suppose K is a finite extension of k. Then we say that an ideal class of k capitulates in K if this class is in the kernel of the homomorphism

induced by extension of ideals from k to K (See Section 2 below). In [4], Iwasawa gives examples of real quadratic number fields, with distinct primes Pi ≡ 1 (mod 4), for which all the ideal classes of the 2-class group, Ck,2 (the 2-Sylow subgroup of Ck), capitulate in an unramified quadratic extension of k. In these examples, Ck,2 is abelian of type (2,2), i.e. isomorphic to ℤ/2ℤ×ℤ/2ℤ and so all four ideal classes capitulate.