We call a topological space X minspectral if it is homeomorphic to the space of minimal prime ideals of a commutative ring A in the usual (hull-kernel or Zariski) topology (see [2, p. 111]). Note that if A has an identity, is a subspace of Spec A (as defined in [1, p. 124]). It is well known that a minspectral space is Hausdorff and has a clopen basis (and hence is completely regular). We give here a topological characterization of the minspectral spaces, and we show that all minspectral spaces can actually be obtained from rings with identity and that open (but not closed) subspaces of minspectral spaces are minspectral (Theorem 1, Proposition 5).

This paper continues the work begun in [5] and concerns the invertibility of modules in a finite-dimensional, symmetric algebra L with 1 over a field. In particular, we continue the work done in [5] which dealt with the connection between invertibility in these algebras and a condition called the Brandt Condition, which is a reformulation by Kaplansky [6] of some ideas of Brandt.

We begin by proving some preliminary results on invertibility and some equivalent conditions for the dual of an order to be principal.

Then, we define the class number of an order and reformulate the concept of invertibility in terms of class number. In this terminology, we find some equivalent conditions which ensure that an order in certain algebras L (including commutative, symmetric algebras, and algebras with a strong involution) has class number equal to 1 (i.e., all modules principal), and we characterize a class of Brandt algebras over the quotient fields of valuation rings as those in which all orders have class number less than or equal to 2.

A blocking set S in a projective plane Π is a subset of the points of Π such that every line of Π contains at least one point of S and at least one point not in S. In previous papers [5; 6], we have shown that if Π is finite of order n, then n + √n + 1 ≦ |S| ≦ n2 – √n (see [6, Theorem 3.9]), where |S| stands for the number of points of S. This work is concerned with some applications of the above result to nets and partial spreads, and with some examples of partial spreads which give rise to unimbeddable nets of small deficiency.

In the next section we re-prove a well known result of Bruck which states that if N is a replaceable net of order n and degree k then k ≧ √n + 1, and show how this bound can be improved if n = 7, 8, or 11.

For a fixed positive integer n we consider the subgroup Γ0(n) of the modular group Γ(l). Γ0(n) consists of all linear fractional transformations L: z → (az + b)/(cz + d) with rational integers a, b, c, d, determinant ad – bc = 1, and c ≡ 0(mod n). If ℋ = {z|z = x + iy, x and y real and y > 0} is the upper half of the z-plane then S0 = S0(n) = ℋ/Γ0(n), properly compactified, is a compact Riemann surface whose genus we denote by g(n). A point P of a Riemann surface S of genus g is called a Weierstrass point if there exists a function on S that has a pole of order α ≦ g at P and is regular everywhere else on S.

Lehner and Newman started the search for Weierstrass points of S0 (or, loosely, of Γ0(n)).

In [1], we discussed completions of differentially finitely generated modules over a differential ring R. It was necessary that the topology of the module be induced by a differential ideal of R and it was natural that this ideal be contained in J(R), the Jacobson radical of R. The ideal to be chosen, called Jd(R), was the intersection of those ideals which are maximal among the differential ideals of R. The question as to when Jd(R) ⊆ J(R) led to the definition of a class of rings called radically regular rings. These rings do satisfy the inclusion, and we showed in [1, Theorem 2] that R could always be “extended”, via localization, to a radically regular ring in such a way as to preserve all its differential prime ideals.

In the present paper, we discuss the stability of radical regularity under quotient maps, localization, adjunction of a differential indeterminate, and integral extensions.

Throughout this paper will denote an infinite dimensional, separable complex Hilbert space, and will denote the unit sphere of (i.e. ). Also will represent the algebra of all bounded linear operators on , and will represent the ideal of all compact operators on . Furthermore will denote the set of all (orthogonal) projections on and will denote the sublattice of consisting of all finite rank projections. In most of the cases (especially when limits are involved) will be regarded as a directed set with the usual order relation inherited from .

Given two spaces X and Y with Y either an AE (metrizable) or ANE (metrizable), little is known with regard to when the function space (Yx, τ), for some topology τ, is an AE (metrizable) or ANE (metrizable) except when very strong separation properties are imposed on X and Y (see [5, pp. 186-189]). One of our tasks will be to eliminate most of these separation property requirements, therefore complementing or extending some of the results of [5]. We also attach an appendix, which contains some needful information, as well as the complete local analogue of [2, Theorem 5.1].

Throughout, we use either the terminology and notation of [2] or of the appendix. We also let co stand for the compact-open topology and pc stand for the pointwise convergence topology of any function space

We define below a notion for modules which is dual to that of faithful, and a notion of “fully divisible” which generalizes that of injectivity. We show that the bicommutator of a cofaithful, fully divisible left R-module is isomorphic to a subring of Qmax(R), the complete ring of left quotients of R.

In recent papers, Goldman [2] and Lambek [3] investigated rings of left quotients of a ring R constructed with respect to torsion radicals. It is known that every ring of left quotients of R is isomorphic to the bicommutator of an appropriate injective left R-module. We investigate below subrings of rings of quotients which are determined by radicals rather than torsion radicals, and show that any such ring can be constructed as the bicommutator of a fully divisible left R-module.

Let ⊖np+ 1 denote the subgroup of the Kervaire-Milnor group θn consisting of those n-spheres which imbed with trivial normal bundle in Euclidean (n + p + 1)-space, n < 2p. It is known that such imbeddings always exist [6], and that the normal bundle is independent of the imbedding [10]. Following [2], we write Ωn,p for the quotient θn/⊖np+ 1.

The order of Ωn,p after identifying each element with its inverse, is equal to the number of diffeomorphically distinct (orientation preserved) Σn × Sp [2; 5]. Indeed, Ωn,p is closely linked to the problem of determining the number of smooth structures α(n, p) on Sn × Sp. For instance, if Ωn,p = 0 then α(n, p) equals the order of θn+p [5]. Specific results are easily read off Table I and Theorem 2.1.

Let S be any set and denote by F(S) the collection of all fiters on S. The collection A(S) of all mappings from F(S) to 2s, 2s being ordered by the dual of its usual ordering, may be regarded as a product of complete Boolean algebras and is, therefore, a complete atomic Boolean algebra [4]. A(S) is called the lattice of primitive convergence structures on S. If q ∈ A(S) and , then is said to q-converge to a point x ∈ S if . The collection of all topologies on S may be identified with a subset of A(S); this subset of A(S) will be denoted by T(S). A more specialized class of primitive convergence structures, and one which properly contains T(S), is C(S), the subcomplete lattice of all convergence structures on S.

If ρ(G) is a finite, real, orthogonal group of matrices acting on the real vector space V, then there is defined [5], by the action of ρ(G), a convex subset of the unit sphere in V called a fundamental region. When the unit sphere is covered by the images under ρ(G) of a fundamental region, we obtain a semi-regular figure.

The group-theoretical problem in this kind of geometry is to find when the fundamental region is unique. In this paper we examine the subgroups, ρ(H), of ρ(G) with a view of finding what subspace, W of V consists of vectors held fixed by all the matrices of ρ(H). Any such subspace lies between two copies of a fundamental region and so contributes to a boundary of both. If enough of these boundaries might be found, the fundamental region would be completely described.

The theorems presented here extend known results on the set of extreme points of the unit ball of the Hardy class H1 of a disk to the situation of an arbitrary Riemann surface. Several new results are obtained. The initial motivation for this work was provided by the theorem of de Leeuw and Rudin [2, p. 471] characterizing the extreme points in the case ol a disk. Careful scrutiny of the proof of that theorem yields one necessary and one sufficient condition for being an extreme point in H1 of an arbitrary surface (Theorems 1 and 4 below). The material presented here on compact bordered surfaces is closely related to the beautiful results of Gamelin and Voichick [4] and the results of Forelli [3].

For a subharmonic function u, which has a harmonic majorant on the Riemann surface R, Mu will denote the least harmonic majorant of u.

Let II, II′ be projective translation planes, their sets of points, l∞, l∞′ the improper lines, and T, T′ the corresponding translation groups. T is an Abelian group, simply transitive on . The set of the subgroups Ts = {τ|τ ∈ T, cen τ = S} for all S ∈ l∞ is called the congruence of II (cen τ = centre of τ). An injective map , where , is said to be a collineation of when and three points in are collinear if and only if their images are collinear; the set of these φ is denoted by and for we write

It is a classical result of mathematics that there is an intimate connection between linear algebra and projective or affine geometry. Thus, many algebraic results can be given a geometric interpretation, and geometric theorems can quite often be proved more easily by algebraic methods. In this paper we apply topological ideas to geometric lattices, structures which provide the framework for the study of abstract linear independence, and obtain affine geometry from the mappings that preserve the closure operator that is associated with these lattices. These mappings are closely connected with semi-linear transformations on a vector space, and thus linear algebra and affine geometry are derived from the study of a certain closure operator and mappings which preserve it, even if the “space” is finite.

In [2], Irwin, Khabbaz, and Rayna discuss the splitting problem for abelian groups through the use of the tensor product. Throughout the paper they make a basic assumption, namely, that the torsion subgroup contains but one primary component. Under this restriction they introduce the concept of “splitting length”, which is a positive integer indicator of how far a group is from splitting. The results obtained along these lines may be extended to groups whose torsion subgroups contain any finite number of primary components by applying the work of Oppelt [4].

Irwin, Khabbaz, and Rayna [2] define the notion of a p-sequence and show that for groups A where T(A) is p-primary and A/T(A) has rank one, the existence of a torsion-free element with a p-sequence is sufficient for the group to split.

1. Let k denote a local field, that is, a complete discrete-valued field with perfect residue class field . Let G denote the Galois group of the maximal separable algebraic extension M of k, and let g denote the corresponding object over . For a given prime integer p, let G(p) denote the Galois group of the maximal p-extension of k. The dimensions of the cohomology groups

considered as vector spaces over the prime field Z/pZ, are equal, respectively, to the rank and the relation rank of the pro-p-group G(p); see [4; 9]. These dimensions are well known in many cases, especially when k is finite [6; 3; (Hoechsmann) 2, pp. 297-304], but also when k has characteristic p, or when k contains a primitive pth root of unity [4, p. 205].

A commutative square (1) of morphisms is said to have a lifting if there is a morphism λ: B1 → A2 such that λϕ1 = α and ϕ2λ = β

1

Let us assume that we are working in a fixed abelian category . Therefore, ϕi will have a kernel “Ki” and a cokernel “Ci” for i = 1, 2. Let k : K1 → K2 and c: C1 → C2 denote the canonical morphisms induced by α and β.

We shall construct a short exact sequence (s.e.s.)

2

using the data of (1). We shall prove that (1) has a lifting if and only if k = 0, c = 0, and (2) represents the zero class in Ext1(C1, K2). Furthermore, if (1) has one lifting, then the liftings will be in one-to-one correspondence with the elements of the set |Hom(G1, K2)|.

It is well-known, and easily verified, that each of the following assertions implies the preceding ones.

1. (i) Every operator has a non-trivial invariant subspace.

2. (ii) Every commutative operator algebra has a non-trivial invariant subspace,

3. (iii) Every operator other than a multiple of the identity has a non-trivial hyperinvariant subspace.

4. (iv) The only transitive operator algebra on is

Note. Operator means bounded linear operator on a complex Hilbert space , operator algebra means weakly closed algebra of operators containing the identity, subspace means closed linear manifold, a non-trivial subspace is a subspace other than {0} and , a. hyperinvariant subspace for A is a subspace invariant under every operator which commutes with A, a transitive operator algebra is one without any non-trivial invariant subspaces and denotes the algebra of all operators on .

Recently several fixed-point theorems have been proved for new classes of non-compact maps between Banach spaces. First, Petryshyn [15] generalized the concept of compact and quasi-compact maps when he introduced the P-compact maps and proved a fixed-point theorem for this class of maps. Then in [6], de Figueiredo defined the notion of G-operator to unify his own work on fixed-point theorems and that of Petryshyn. He also proved that the class of G-operators was a fairly large one.

We notice the following facts: (i) The essential idea in the above cases is that if certain finite-dimensional “approximations” of the map have fixed points, then the map has a fixed point; (ii) One of the tools used in proving fixed-point theorems in the finite-dimensional case is the Brouwer degree and its generalization to maps of the type Identity + Compact in [8].

In this paper we classify finite groups G with a faithful, quasiprimitive (see Notation), unimodular representation X with character χ of degree six over the complex number field. There are three gaps in the proof which are filled in by [16; 17]. These gaps concern existence and uniqueness of simple, projective, complex linear groups of order 604800, |LF(3, 4)|, and |PSL4(3)|. By [19], X is a tensor product of a 2-dimensional and a 3-dimensional group, or a subgroup thereof, or X corresponds to a projective representation of a simple group, possibly extended by some automorphisms. The tensor product case is discussed in section 10. Otherwise, we assume that G/Z(G) is simple. We discuss which automorphisms of G/Z(G) extend the representation X (that is, lift to the central extension G and fix the character corresponding to X) just after we find X(G).