We show in a direct and elementary way that the spherical building at infinity of every rank 3 affine building which satisfies Tits' Moufang condition, is itself a Moufang building. This result is also true for higher rank affine buildings by Tits' classification [4].

B. Rouxel [7] and S. J. Li and C. S. Houh [6] have generalised the notion of an -submanifold (Chen submanifold) to an k-submanifold. In [1] we have studied the relation between their definitions for the Euclidean case.

In this paper we give an algorithm for computing the 2-Selmer group of an elliptic curve

which has complexity O(LD(0·5),c1)), where D is the absolute discriminant of the curve. Our algorithm is unconditional but the complexity estimate assumes the GRH and a standard conjecture on the distribution of smooth reduced ideals. This improves on the corresponding algorithm of Birch and Swinnerton-Dyer, which has complexity of O(√D).

A finite group G is efficient if it has a presentation on n generators and n + m relations, where m is the minimal number of generators of the Schur multiplier M (G)of G. The deficiency of a presentation of G is r–n, where r is the number of relations and n the number of generators. The deficiency of G, def G, is the minimum deficiency over all finite presentations of G. Thus a group is efficient if def G = m. Both the problem of efficiency and the converse problem of inefficiency have received considerable attention recently; see for example [1], [3], [14] and [15].

The punctured neighbourhood theorem an be interpreted as saying that if 0 ∈ C is on the boundary of the spectrum of a Fredholm operator then it must be an isolated point of that spectrum. This extends to semi-Fredholm operators, in particular to operators with closed range and finite dimensional null space. In this note we generalise both the finite dimensionality of the null space and the scalars involved in the definition of an isolated point of the spectrum.

Two-sided bounds are obtained for the maximal eigenvalue of a positive matrix by iterating computations of row sums. The result provides an algorithm for approximating the maximal eigenvalue of a nonnegative matrix.

In this paper, we show that a commutative Noetherian ring which satisfies the radical formula must be of dimension at most one. From this we give a characterization of commutative Noetherian rings that satisfy the radical formula.

If G is the group of holomorphic automorphisms of a bounded symmetric domain, then G has a distinguished class of irreducible unitary representations called the holomorphic discrete series of G. These representations have been studied by Harish-Chandra in [7]. On the Lie algebra level, the Harish-Chandra modules corresponding to the holomorphic discrete series representations are highest weight modules. Even for G as above, it turns out that not all the unitary highest weight modules belong to the holomorphic discrete series but there exists a condition on the highest weight which characterizes the holomorphic discrete series among the unitary highest weight representations. They can be defined as those unitary highest weight representations with square integrable matrix coefficients.

Throughout V will be a finite dimensional vector space over a field k and T(V) will denote the tensor algebra over V. For simplicity the symbol ⊗ will be omitted in the writing of the elements of T(V). Let be a basis of V ordered by Xi<Xi+1 for all i. Then we order the non-commutative monomials and 1 ≤ is ≤ n for s = 1,…, l} lexicographically from the left. D. Anick [1, p. 652] defines the high term of an element b in T(V) to be the highest monomial appearing in b. As a consequence of [1,3.2], if the set of the high terms of homogeneous relations is combinatorically free in the sense of no overlap ambiguities, then the connected algebra has global dimension 2. The purpose of this note is to prove this result and more for quadratic algebras under other hypotheses on the relations.

Let A and B be regular semisimple commutative Banach algebras; that is to say, regular Banach function algebras. A linear map T denned from A into B is said to be separating or disjointness preserving if f.g = 0 implies Tf.Tg = 0, for all f, g ∈ A In this paper we prove that if A satisfies Ditkin's condition then a separating bijection is automatically continuous and its inverse is separating. If also B satisfies Ditkin's condition, then it induces a homeomorphism between the structure spaces of A and B.

In this note we show that every complemented Montel subspace F of a Fréchet space E of Moscatelli type is isomorphic to ω or is finite–dimensional; the last case always occurs when E has a continuous norm. To do this, we first study the topology induced by E on its Montel subspaces, extending a result on Fr6chet-Montel spaces of Moscatelli type in [4].

We recall that the Fréchet spaces of Moscatelli type were introduced and studied by J. Bonet and S. Dierolf in [4]; the general idea behind the construction of such spaces was due to V. B. Moscatelli [7].

In this paper we introduce the spaces of Hankel convolutors. We characterize the dual spaces of certain Hankel transformable function spaces as spaces of Hankel convolutors. Here the Hankel convolution and the Hankel transformation play an important role.

Let φ: ℋ → be a bilinear form on vector Hardy space. Introduce the symbol φ of Φ by (φ (Z1, Z2), a ⊗ b) = Φ (K21 ⊗ a, K22 ⊗ b ), where Kw is the reproducing kernel for w ∈ D. We show that Φ extends to a bounded bilinear form on provided that the gradient defines a Carleson measure in the bidisc D2. We obtain a sufficient condition for Φ to extend to a Hilbert space. For vectorial bilinear Hankel forms we obtain an analogue of Nehari's Theorem.