Let Pn be the semigroup of all partial transformations on the set Xn = {1,…, n}. As usual, we shall say that an element α in Pn is of type (k, r) or belongs to the set [k, r] if |dom α|=k and |lim α|. The completion α* of an element α ∈ [n − 1, n − 1] is an element in [n, n] defined by

where {i} = Xn∖dom α and {j} = Xn∖im α.

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.

The theory of unique factorisation in commutative rings has recently been extended to noncommutative Noetherian rings in several ways. Recall that an element x of a ring R is said to be normalif xR = Rx. We will say that an element p of a ring R is (completely) prime if p is a nonzero normal element of R and pR is a (completely) prime ideal. In [2], a Noetherian unique factorisation domain (or Noetherian UFD) is defined to be a Noetherian domain in which every nonzero prime ideal contains a completely prime element: this concept is generalised in [4], where a Noetherian unique factorisation ring(or Noetherian UFR) is defined as a prime Noetherian ring in which every nonzero prime ideal contains a nonzero prime element; note that it follows from the noncommutative version of the Principal Ideal Theorem that in a Noetherian UFR, if pis a prime element then the height of the prime ideal pR must be equal to 1. Surprisingly many classes of noncommutative Noetherian rings are known to be UFDs or UFRs: see [2] and [4] for details. This theory has recently been extended still further, to cover certain classes of non-Noetherian rings: see [3].

In an earlier paper [5] we introduced the idea of an immersion f: Mm-ℝn with totally reducible focal set. Such an immersion has the property that, for all p ∈ M, the focal set with base p is a union of hyperplanes in the normal plane to f(M) at f(p). Trivially, this always holds if n = m + 1 so we only consider n > m + 1.

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.

In this paper, we present an “order” characterization of completely bounded bimodule maps for bimodules over unital operator algebras. We use this result to prove a bimodule generalization of Wittstock's generalized Hahn-Banach theorem. Our proofs simplify and unify some of Wittstock's arguments.

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.

Let us consider a pair (S, H) consisting of a closed Riemann surface S and an Abelian group H of conformal automorphisms of S. We are interested in finding uniformizations of S, via Schottky groups, which reflect the action of the group H. A Schottky uniformization of a closed Riemann surface S is a triple (Ώ, G, π:Ώ→S) where G is a Schottky group with Ώ as its region ofdiscontinuity and π:Ώ→S is a holomorphic covering with G ascovering group. We look for a Schottky uniformization (Ώ, G, π:Ώ→S) of S such that for each transformation h in H there exists an automorphisms t of Ώ satisfying h ∘ π = π ∘ t.

A long-standing problem is the characterization of subsets of the range of a vector measure. It is known that the range of a countably additive vector measure is relatively weakly compact and, in addition, possesses several interesting properties (see [2]). In [6] it is proved that if m: Σ → Χ is a countably additive vector measure, then the range of m has not only the Banach–Saks property, but even the alternate Banach-Saks property. A tantalizing conjecture, which we shall disprove in this article, is that the range of m has to have, for some p > 1, the p-Banach–Saks property. Another conjecture, which has been around for some time (see [2]) and is also disproved in this paper, is that weakly null sequences in the range of a vector measure admit weakly-2-summable sub-sequences. In fact, we shall show a weakly null sequence in the range of a countably additive vector measure having, for every p < ∞, no weakly-p-summable sub-sequences.

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.

This brief note has the threefold purpose of improving on an earlier theorem of the author [4], gathering together some results on normal closures (with rank restrictions) which are more or less implicit in the literature and providing a few examples which indicate the impossibility of improving these results in one way or another. The proofs are mostly routine and usually omitted. Most of the relevant background material can be found in [3], and references to these results will often indicate that minoradditional details (an easy induction, for example) are required. Throughout, 〈x〉G will denote the normal closure of the subgroup 〈x〉 of the group G. The usual notation is used for upper central and derived series.

A unit regular semigroup [1, 4] is a regular monoid S such that H1 ∩ A(x) ≠ Ø for every xɛS, where H1, is the group of units and A(x) = {y ɛ S; xyx = x} is the set of associates (or pre-inverses) of x. A uniquely unit regular semigroupis a regular monoid 5 such that |H1 ∩ A(x)| = 1. Here we shall consider a more general situation. Specifically, we consider a regular semigroup S and a subsemigroup T with the property that |T ∩ A(x) = 1 for every x ɛ S. We show that T is necessarily a maximal subgroup Hα for some idempotent α. When Sis orthodox, α is necessarily medial (in the sense that x = xαx for every x ɛ 〈E〉) and αSα is uniquely unit orthodox. When S is orthodox and α is a middle unit (in the sense that xαy = xy for all x, y ɛ S), we obtain a structure theorem which generalises the description given in [2] for uniquely unit orthodox semigroups in terms of a semi-direct product of a band with a identity and a group.

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 norm K(G) of a group G is the subgroup of elements of G which normalize every subgroup of G. Under the name kern this subgroup was introduced by Baer [1]. The norm is Dedekindian in the sense that all its subgroups are normal. A theorem of Dedekind [5] describes the structure of such groups completely: if not abelian they are the direct product of a quaternion group of order eight and an abelian group with no element of order four. Baer [2] proves that a 2-group with non-abelian norm is equal to its norm.

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.

There are two families of group classes that are of particular interest for clearing up the structure of finite soluble groups: Saturated formations and Fitting classes. In both cases there is a unique conjugacy class of subgroups which are maximal as members of the respective class combined with the property of being suitably mapped by homomorphisms (in the case of saturated formations) or intersecting suitably with normal subgroups (when considering Fitting classes). While it does not seem too difficult, however, to determine the smallest saturated formation containing a given group, the same problem regarding Fitting classes does not seem answered for the dihedral group of order 6. The object of this paper is to determine the smallest Fitting class containing one of the groups described explicitly later on; all of them are qp-groups with cyclic commutator quotient group and only one minimal normal subgroup which in addition coincides with the centre. Unlike the results of McCann [7], which give a determination “up to metanilpotent groups”, the description is complete in this case. Another family of Fitting classes generated by a metanilpotent group was considered and described completely by Hawkes (see [5, Theorem 5.5 p. 476]); it was shown later by Brison [1, Proposition 8.7, Corollary 8.8], that these classes are in fact generated by one finite group. The Fitting classes considered here are not contained in the Fitting class of all nilpotent groups but every proper Fitting subclass is. They have the following additional properties: all minimal normal subgroups are contained in the centre (this follows in fact from Gaschiitz [4, Theorem 10, p. 64]) and the nilpotent residual is nilpotent of class two (answering the open question on p. 482 of Hawkes [5]), while the quotient group modulo the Fitting subgroup may be nilpotent of any class. In particular no one of these classes consists of supersoluble groups only.

As in [3] let {a, b}designate the Pythagorean ratio (a2 − b2)/2ab between the sides of a rational right angled triangle. The principal result of [3] is that {a, b}is the arithmetic mean of two Pythagorean ratios, and hence is the middle term of a three term arithmetic progression, if and only if a /b is the geometric mean of two Pythagorean ratios. Here in Part II we study sets of four Pythagorean ratios in arithmetic progression. We show that sets of four in consecutive places in an arithmetic progression are closely related to sets of four in the first, second, third and fifth places in a progression; any one of the former sets determines two of the latter sets, and either one of the latter sets determines the other and the former. We construct an infinite sequence of sets of four ratios in consecutive places of arithmetic progressions, the last term of each set being the first term of the next set. These sets are related to solutions of the Diophantine equations r2 = 5p2q2 ± 4(p4 − 2q4). Computer searches, in addition to exhibiting enough members of this sequence to enable us to identify it, also exhibited two sets which do not belong to this sequence.

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].

The braid group on n strings Bn has a presentation as a group with generators σ1, …, σn−1 and relations

The research presented in this paper started by extending a theorem of Swetits [18]about barrelledness of subspaces of metrizable AK-spaces to general AK-spaces of scalar sequences. The extension reads as follows.

(1) A subspace λ0 of a barrelled AK-space λ such that λ0 ⊃ φ is barrelled if and only if its dualis weak* sequentially complete. If in addition λ0 is monotone, then it is barrelled if and only ifequals the Köthe dualof λ0.

As an easy consequence of this extension, we obtained the following result of Elstrodt and Roelcke [8, Corollary 3.4].

(2) If λ is a barrelled monotone AK-space, then also its subspace ℒ(λ), consisting of all sequences in λ with zero-density support, is barrelled.