It is well known that the category of finite groups has no non-trivial injective objects. In general, a group is said to be quasi-injective if for every subgroup H of G and homomorphism f:H → G there exists an endomorphism F:G → G such that F|H = G. In other words, a group is quasi-injective whenever each homomorphism from a subgroup into the group can be extended to the whole group.

Ito and Seidman in [5] define a BG space as a locally convex space in whichthere exists a bounded set with a dense span. In this note we extend the idea to a class of not necessarily locally convex linear topological spaces (l.t.s.). We note the link between the idea of a BG space and Weston’s characterization in [7] of separable Banach spaces. Finally we examine σ-BG spaces; here the bounded set in the definition of a BG space is replaced by the union of a sequence of bounded sets.

If Sis a regular semigroup then an inverse transversal of S is an inverse subsemigroup T with the property that |T ∩ V(x)| = 1 for every x ∈ S where V(x) denotes the set of inverses of x ∈ S. In a previous publication [1] we considered the similar concept of a subsemigroup T of S such that |T ∩ A(x)| = 1 for every x ∩ S where A(x) = {y∈ S;xyx = x} denotes the set of associates (or pre-inverses) of x ∈ S, and showed that such a subsemigroup T is necessarily a maximal subgroup Ha for some idempotent α ∈ S. Throughout what follows, we shall assume that S is orthodox and α is a middle unit (in the sense that xαy = xy for all x, y ∈ S). Under these assumptions, we obtained in [1] a structure theorem which generalises that given in [3] for uniquely unit orthodox semigroups. Adopting the notation of [1], we let T ∩ A(x) = {x*} and write the subgroup T as Hα = {x*;x ∈ S}, which we call an associate subgroup of S. For every x ∈ S we therefore have x*α = x* = αx* and x*x** = α = x**x*. As shown in [1, Theorems 4, 5] we also have (xy)* = y*x* for all x, y ∈ S, and e* = α for every idempotent e.

Let M be a differentiable manifold of dimension m. A tensor field f of type (1, 1) on M is called a polynomial structure on M if it satisfies the equation:

where a1, a2, …, an are real numbers and I denotes the identity tensor of type (1, 1).

We shall suppose that for any x ∈ M

is the minimal polynomial of the endomorphism fx: TxM → TxM.

We shall call the triple (M, f, g) a polynomial Lorentz structure if f is a polynomial structure on M, g is a symmetric and nondegenerate tensor field of type (0, 2) of signature

such that g (fX, fY) = g(X, Y) for any vector fields X, Y tangent to M. The tensor field g is a (generalized) Lorentz metric.

A one-relator product Gof groups A and Bis defined to be the quotient of their free product A * B by the normal closure, «W»A*B, of a single element W, which is assumed to be cyclically reduced and of length at least 2. For convenience, the group Gwill be denoted by (A * B)/W.

Let A and C be m × m matrices and let B and D be n × n matrices, all with elements in a field F. Let AT denote the transpose of A. A well-known theorem states that, if every m × m matrix X for which AX = XA also satisfies CX = XC, then C = φ(A) for some polynomial φ(λ). In this note we establish the following simple generalizations.

Theorem 1. Let A and B have the same minimal polynomial m(λ). If each m × n matrix X over F for which AX = XB also satisfies CX = XD, then C = φ(A) and D = φ(B) for a polynomial φ(λ) over F.

If X is any set and L ⊂ [ – ∞, ∞]x, the class ℬL of L-Baire functions is defined to be the smallest subclass of [ – ∞, ∞]x which contains L and is closed under the formation of monotone, pointwise, sequential limits, so that ℬL ∍ fn ↗ f or ℬL ∍ fn ↘ f ⇒ f ∊ ℬL.

In [6], Blyth and Varlet characterize those algebras having only principal congruences in some well known classes of algebras having distributive lattice reducts. In particular, they characterize those Stone algebras having only principal congruences. In this paper we characterize those quasi-modular p-algebras having only principal congruences and show on specializing that distributive p-algebras having only principal congruences can be described in exactly the same way as Blyth and Varlet described Stone algebras having the same property. The same problem is addressed for some distributive double p-algebras.

It is well-known [3; V.13.7] that each irreducible complex character of a finite group G is rational valued if and only if for each integer m coprime to the order of G and each g ∈ G, g is conjugate to gm. In particular, for each positive integer n, the symmetric group on n symbols, S(n), has all its irreducible characters rational valued. The situation for projective characters is quite different. In [5], Morris gives tables of the spin characters of S(n) for n ≤ 13 as well as general information about the values of these characters for any symmetric group. It can be seen from these results that in no case are all the spin characters of S(n) rational valued and, indeed, for n ≥ 6 these characters are not even all real valued. In section 2 of this note, we obtain a necessary and sufficient condition for each irreducible character of a group G associated with a 2-cocycle α to be rational valued. A corresponding result for real valued projective characters is discussed in section 3. Section 1 contains preliminary definitions and notation, including the definition of projective characters given in [2].

In [7], Z. Tang and H. Zakeri introduced the concept of co-Cohen-Macaulay Artinian module over a quasi-local commutative ring R (with identity): a non-zero Artinian R-module A is said to be a co-Cohen-Macaulay module if and only if codepth A = dim A, where codepth A is the length of a maximalA-cosequence and dimA is the Krull dimension of A as defined by R. N. Roberts in [2]. Tang and Zakeriobtained several properties of co-Cohen-Macaulay Artinian R-modules, including a characterization of such modules by means of the modules of generalized fractions introduced by Zakeri and the present second author in [6]; this characterization is explained as follows.

1. For any positive integral n and any positive real x1,…,xn we write

clearly. It is known [1,2] that

for n ≦ 6, and further [4, 5, 6] that (5) is false for even n ≧ 14 and for odd n ≧ 53. Mordell [2] conjectured that (5) is false for all n ≧ 7, but recently [3] stated that computations indicated that (5) is true for n = 7 and gave some calculations in support of (5) for n = 7.

Von Neumann's definition of the continuous sum of Hilbert spaces led Segal [3] to define the continuous sum of measures on a measurable space. In this note we employ Segal's definition to investigate the measure structures associated with a self-adjoint transformation of pure point spectrum and a self-adjoint transformation of pure continuous spectrum. While these transformations, as operators on separable Hilbert spaces, are the antithesis of each other we show that in their measure structure one is a particular case of the other.

By a ‘representation’ we shall mean throughout a representation by n × n matrices with entries from an arbitrary field. Elsewhere [9] the author has introduced the concept of a principal representation of a semigroup S (see § 3 below for the definition) and has shown that if S satisfies the minimal condition on principal ideals then every irreducible representation is of this type. Moreover, if S satisfies the minimal conditions on both principal left and right ideals, which together imply the minimal condition on principal two-sided ideals [6, Theorem 4], the irreducible representations of S can ultimately be expressed explicitly in terms of group representations.

In [1, p. 97], Bruck and Bose ask the question ”Has every (right) Veblen-Wedderburn system finite dimension over its left operator skew-field?” It is the purpose of this note to show that, in general, this question has a negative answer.

An infinite or semi-infinite medium, in which heat is generated or absorbed at a rate proportional to the temperature, is placed at temperature zero in contact with a perfect conductor of finite heat capacity at a higher temperature. Expressions are derived for the subsequent behaviour in linear and spherical cases, and applications suggested.

For each natural number n, let un(x)=(1—cos nx)/πnx2(xɛℝ). It is well–known that a bounded continuous function f on the real line ℝ is the Fourier transform of an integrable function on ℝ if and only if the functions Φn(f) (n= 1, 2,…), defined by

form a Cauchy sequence in the space L1(ℝ) (cf. [2]). Such a characterization, which can be extended to functions defined on a locally compact Abelian group more general than ℝ, is based on the fact that the space L1(ℝ) is complete with respect to convergence in mean.

Let E be a Hausdorff locally convex space with continuous dual E1 and let M be a subspace of the algebraic dual E* such that M ∩ E1 = {0} and dim M = ℵ0. In the terminology of [4] the Mackey topology τ(E, E1 + M) is called a countable enlargement of τ(E, E1). There has been some interest in the question of when barrelledness is preserved under countable enlargements (see [4], [5], [6], [8], [9]). In this note we are concerned with the preservation of the quasidistinguished property for normed spaces under countable enlargements; this was posed as on open question by B. Tsirulnikov in [7]. According to [7] a Hausdorff locally convex space E is quasidistinguished if every bounded subset of its completion Ê is contained in the completion of a bounded subset of Ê (equivalently, in the closure in Ê of a bounded subset of E). Any normed space is clearly quasidistinguished and remains so under a finite enlargement (dim M < χ0) since the enlarged topology is normable. (See the Main Theorem of [7] for a general result on the preservation of the quasidistinguished property under finite enlargements.) We shall write QDCE for a countable enlargement which preserves the quasidistinguished property.