Jacobson said a a right ideal would be called bounded if it contained a non-zero ideal, and Faith said a ring would be called strongly right bounded if every non-zero right ideal were bounded. In this paper we introduce a condition that is a generalisation of strongly bounded rings and insertion-of-factors-property (IFP) rings, calling a ring strongly right AB if every non-zero right annihilator is bounded. We first observe the structure of strongly right AB rings by analysing minimal non-commutative strongly right AB rings up to isomorphism. We study properties of strongly right AB rings, finding conditions for strongly right AB rings to be reduced or strongly right bounded. Relating to Ramamurthi's question (i.e. Are right and left SF rings von Neumann regular?), we show that a ring is strongly regular if and only if it is strongly right AB and right SF, from which we may generalise several known results. We also construct more examples of strongly right AB rings and counterexamples to several naturally raised situations in the process.

Let C denote Cayley's algebra defined over the field of rational numbers. This paper contains a simple characterization of arithmetics of C in terms of a given basis i0 = 1, i1, i2, …, i7. We deduce that certain of the arithmetics of C are isomorphic. The result that the maximal arithmetics are isomorphic is also contained in the work of van der Blij and Springer [2].

A topological space is called a uqu space [10] if it admits a unique quasi-uniformity. Answering a question [2, Problem B, p. 45] of P. Fletcher and W. F. Lindgren in the affirmative we show in [8] that a topological space X is a uqu space if and only if every interior-preserving open collection of X is finite. (Recall that a collection ℒ of open sets of a topological space is called interior-preserving if the intersection of an arbitrary subcollection of ℒ is open (see e.g. [2, p. 29]).) The main step in the proof of this result in [8] shows that a topological space in which each interior-preserving open collection is finite is a transitive space. (A topological space is called transitive (see e.g. [2, p. 130]) if its fine quasi-uniformity has a base consisting of transitive entourages.) In the first section of this note we prove that each hereditarily compact space is transitive. The result of [8] mentioned above is an immediate consequence of this fact, because, obviously, a topological space in which each interior-preserving open collection is finite is hereditarily compact; see e.g. [2, Theorem 2.36]. Our method of proof also shows that a space is transitive if its fine quasi-uniformity is quasi-pseudo-metrizable. We use this result to prove that the fine quasi-uniformity of a T1 space X is quasi-metrizable if and only if X is a quasi-metrizable space containing only finitely many nonisolated points. This result should be compared with Proposition 2.34 of [2], which says that the fine quasi-uniformity of a regular T1 space has a countable base if and only if it is a metrizable space with only finitely many nonisolated points (see e.g. [11] for related results on uniformities). Another by-product of our investigations is the result that each topological space with a countable network is transitive.

For X a complex Banach space and U an open subset of the complex plane С, let O (U, X) denote the space of analytic X- valued functions defined on U. This is a Frechet space when endowed with the topology of uniform convergence on compact subsets, and the space X may be viewed as simply the constants in O(U, X). Every bounded operator T on X induces a continuous mapping TU on O(U, X) given by (Tuf)(λ) = (λ – T)f(λ) for every f e O(U, X) and λ e U. Corresponding to each closed F ⊂ С there is also an associated analytic subspace XT(F) = X ∩ ran(7c//F). For an arbitrary T e L(X), the spaces XT(F) are T-invariant, generally non-closed linear manifolds in X.

We give a simple proof of a statement extending Fu's (J.H.G. Fu, Erratum to ‘some remarks on legendrian rectiable currents’, Manuscripta Math. 113(3) (2004), 397–401) result: ‘If Ω is a set of locally finite perimeter in ℝ2, then there is no function f ∈ C1(ℝ2) such that ∇f(x1, x2) = (x2, 0) at a.e. (x1, x2) ∈ Ω’. We also prove that every measurable set can be approximated arbitrarily closely in L1 by subsets that do not contain enhanced density points. Finally, we provide a new proof of a Poincaré-type lemma for locally finite perimeter sets, which was first stated by Delladio (S. Delladio, Functions of class C1 subject to a Legendre condition in an enhanced density set, to appear in Rev. Mat. Iberoamericana).

Let H be a separable, infinite dimensional complex Hilbert space, and let B(H) denote the algebra of all bounded linear operators on H. Let K(H) denote the ideal of compact operators on H. For any compact operator A let |A|=(A*A)1,2 and S1(A), s2(A),… be the eigenvalues of |A| in decreasing order and repeatedaccording to multiplicity. If, for some 1<p<∞, si(A)p <∞, we say that A is in the Schatten p-class Cp and ∥A∥p=1/p is the p-norm of A. Hence, C1 is the trace class, C2 is the Hilbert–Schmidt class, and C∞ is the ideal of compact operators K(H).

D. Brannan's conjecture says that for 0 <α,β≤1, |x|=1, and n∈N one has |A2n−1(α,β,x)|≤|A2n−1(α,β,1)|, where We prove this for the case α=β, and also prove a differentiated version of the Brannan conjecture. This has applications to estimates for Gegenbauer polynomials and also to coefficient estimates for univalent functions in the unit disk that are ‘starlike with respect to a boundary point’. The latter application has previously been conjectured by H. Silverman and E. Silvia. The proofs make use of various properties of the Gauss hypergeometric function.

An integer n\geq2 is said to be a genus of a finite group G if there is a compact Riemann surface of genus n on which G acts as a group of automorphisms. In this paper, formulae are given for the minimum genus, minimum stable genus and the gap sequence, i.e., the (finite) set of non-genera, for a split metacyclic group of order pq, where p and q are primes. This information completely determines the genus spectrum for such groups.

We study the eigenvalue problem = λ|u|q(x)−2u in Ω, u = 0 on ∂Ω, where Ω is a bounded domain in ℝN with smooth boundary ∂Ω, λ is a positive real number, and p1,⋅ ⋅ ⋅, pN, q are continuous functions satisfying the following conditions: 2 ≤ pi(x) < N, 1 < q(x) for all x ∈ Ω, i ∈ {1,. . .,N}; there exist j, k ∈ {1,. . .,N}, j ≠ k, such that pj ≡ q in Ω, q is independent of xj and maxΩq < minΩpk. The main result of this paper establishes the existence of two positive constants λ0 and λ1 with λ0 ≤ λ1 such that every λ ∈(λ1, ∞) is an eigenvalue, while no λ ∈ (0, λ0) can be an eigenvalue of the above problem.

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.

A positive integer nis called a square-full integer if p2 divides n whenever p is a prime divisor of n. For x > 1 we denote by Q(x) the number of square-full integers not exceeding x. Bateman and Grosswald [1] proved that

Let $G$ be a compact $p$-adic analytic group and let $\Lambda_G$ be its completed group algebra with coefficient ring the $p$-adic integers $\mathbb{Z}_p$. We show that the augmentation ideal in $\Lambda_G$ of a closed normal subgroup $H$ of $G$ is localisable if and only if $H$ is finite-by-nilpotent, answering a question of Sujatha. The localisations are shown to be Auslander-regular rings with Krull and global dimensions equal to dim $H$. It is also shown that the minimal prime ideals and the prime radical of the $\mathbb{F}_p$-version $\Omega_G$ of $\Lambda_G$ are controlled by $\Omega_{\Delta^+}$, where $\Delta^+$ is the largest finite normal subgroup of $G$. Finally, we prove a conjecture of Ardakov and Brown [1].

Let R→U be an associative ring epimorphism such that U is a flat left R-module. Assume that the related Gabriel topology $\mathbb{G}$ of right ideals in R has a countable base. Then we show that the left R-module U has projective dimension at most 1. Furthermore, the abelian category of left contramodules over the completion of R at $\mathbb{G}$ fully faithfully embeds into the Geigle–Lenzing right perpendicular subcategory to U in the category of left R-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an associative ring R, we consider the induced topology on every left R-module and, for a perfect Gabriel topology $\mathbb{G}$, compare the completion of a module with an appropriate Ext module. Finally, we characterize the U-strongly flat left R-modules by the two conditions of left positive-degree Ext-orthogonality to all left U-modules and all $\mathbb{G}$-separated $\mathbb{G}$-complete left R-modules.

Fixed point and random fixed point theorems are presented for weakly inward maps. Also a continuation theorem for weakly inward maps is presented.

In a previous note [3], Mennicke and I showed that the relations

(8, 7|2, 3): A8=B7=(AB)2=(AB)2=(A-1B)2=(A-1B)3=E

define a group of order 10752. As we remarked, the results of §§ 2, 3 of that note are not restricted in their application to this group; they apply to the group

[3, 7]+: B7=(AB)2=(A-1B)3=E

and to any factor group of this group which in turn has Klein's simple group of order 168, defined by

(4,7|2, 3): A4=B7=(AB)2=(A-1B)3=E,

as a factor group. In this note I use these results to establish alternative “weaker” definitions for Klein's group and for two groups discussed by Sinkov [4], namely (8, 7|2, 3) defined above and a factor group of this group of order 1344. These latter groups are eloquently discussed by Coxeter [1].

In ([6]; pages 36–41), Lambek constructs the maximal ring of quotients Q(R) of a commutative ring R by denning a multiplication on Homr(D, R) where D ranges over all the dense ideals of R, and this generalizes the classical construction of ring of quotients, (cf. [6] for all the references on the subject.)

This programme is carried over, in the first section of this article, to the categoryof commutative reductive semigroups. Examples show that the maximal semigroup of quotients of a commutative monoid can be different from the classical one.

The purpose of this paper is a further investigation on the 2-nilpotent multiplier, $\mathcal{M}$(2)(G), when G is a non-abelian p-group. Furthermore, taking G in the class of extra-special p-groups, we will get the explicit structure of $\mathcal{M}$(2)(G) and will classify 2-capable groups in that class.

It is shown that each finite translation generalized quadrangle (TGQ) $\mathcal{S}$, which is the translation dual of the point-line dual of a flock generalized quadrangle, has a line $[\infty]$ each point of which is a translation point. This leads to the fact that the full group of automorphisms of $\mathcal{S}$ acts $2$-transitively on the points of $[\infty]$, and the observation applies to the point-line duals of the Kantor flock generalized quadrangles, the Roman generalized quadrangles and the recently discovered Penttila-Williams generalized quadrangle. Moreover, by previous work of the author, the non-classical generalized quadrangles (GQ's) which have two distinct translation points, are precisely the TGQ's of which the translation dual is the point-line dual of a non-classical flock GQ.

We emphasize that, for a long time, it has been thought that every non-classical TGQ which is the translation dual of the point-line dual of a flock GQ has only one translation point. There are important consequences for the theory of generalized ovoids (or eggs) in PG$(4n - 1,q)$, the study of span-symmetric generalized quadrangles, derivation of flocks of the quadratic cone in PG$(3,q)$, subtended ovoids in generalized quadrangles, and the understanding of automorphism groups of certain generalized quadrangles. Several problems on these topics will be solved completely.

Let γ and γ' be non-negative integers. We say that the graph G is (γ, γ') bi-embeddable if G can be embedded in a surface of genus γ and the complement Ḡ of G can be embedded in a surface of genus γ'. Let N(γ, γ') be the least integer such that every graph with at least N(γ, γ') points is not (γ, γ') bi-embeddable. It has been shown in [1] and [5] that N(0, 0) = 9; this result was also obtained by John R. Ball of the Carnegie Institute of Technology. Our object here is to obtain upper and lower bounds for N(γ, γ').

A brief survey of some aspects of noetherian Hopf algebras is given, concentrating on structure, homology, and classification, and accompanied by a panoply of open problems.