Duality and local group cohomology

Let be a group, let be a field, and let be a local system - an upwardly directed collection of subgroups whose union is . In this paper we give a short, elementary proof of the following result: If either is a --bimodule, or else is finite dimensional over its center, then . From this we deduce as easy corollaries some recent results of Meierfrankenfeld and Wehrfritz on the cohomology of a finitary module.

     

Exotic cohomology for

We show that for the mod group cohomology of is not detected on diagonal matrices.

     

The moduli of substructures of a compact complex space

We construct a space of fine moduli for the substructures of an arbitrary compact complex space . A substructure of is given by a subalgebra of the structure sheaf with the additional feature that is also a complex space; and are called equivalent if and only if and are isomorphic as subalgebras of .

Since substructures are quotients, it is only natural to start with the fine moduli space of all complex-analytic quotients of . In order to obtain a representable moduli functor of substructures, we are forced to concentrate on families of quotients which satisfy some flatness condition for relative differential modules of higher order. Considering the corresponding flatification of , we realize that its open subset consisting of all substructures turns out to be a complex space which has the required universal property.

     

Derived lengths and character degrees

Let be a finite solvable group. Assume that the degree graph of has exactly two connected components that do not contain . Suppose that one of these connected components contains the subset , where and are coprime when . Then the derived length of is less than or equal to .

     

A bound for the nilpotency of a group of self homotopy equivalences

Let be the group of homotopy classes of self-homotopy equivalences of such that . We prove that is a nilpotent group and that .

     

On an Isomorphism Problem for Endomorphism Near-Rings

Suppose and are endomorphism near-rings generated by
groups of automorphisms containing the inner automorphisms of two respective finite perfect groups and . In this note we show that if and are isomorphic, then and are isomorphic.

     

On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

The maximal normal -group

Let be a prime number and let be an abelian -group. Let be the maximal normal -subgroup of and the maximal -subgroup of its centre. Let be the torsion radical of . Then . The result is new for and 3, and the proof is new and valid for all primes .

     

Discriminants of convex curves are homeomorphic

For a given real generic curve let denote the ruled hypersurface in consisting of all osculating subspaces to of codimension 2. In this note we show that for any two convex real projective curves and the pairs and are homeomorphic.

     

Average curvature of convex curves in

A well-known result states that, if a curve in has geodesic curvature less than or equal to one at every point, then is embedded. The converse is obviously not true, but the embeddedness of a curve does give information about the curvature. We prove that, if is a convex embedded curve in , then the average curvature (curvature per unit length) of , denoted , satisfies . This bound on the average curvature is tight as for a horocycle.

     

Hankel operators on the Bergman space of the unit ball

We characterize the bounded holomorphic functions in the unit ball of for which the operator is compact. For the result was obtained by Axler and Gorkin in 1988 and by Zheng in 1989.

     

On scrambled sets and a theorem of Kuratowski on independent sets

The measure of scrambled sets of interval self-maps was studied by many authors, including Smítal, Misiurewicz, Bruckner and Hu, and Xiong and Yang. In this note, first we introduce the notion of ``-chaos" which is related to chaos in the sense of Li-Yorke, and we prove a general theorem which is an improvement of a theorem of Kuratowski on independent sets. Second, we apply the result to scrambled sets of higher dimensional cases. In particular, we show that if a map of the unit -cube is -chaotic on , then for any there is a map such that and are topologically conjugate, and has a scrambled set which has Lebesgue measure 1, and hence if , then there is a homeomorphism with a scrambled set satisfying that is an -set in and has Lebesgue measure 1.

     

The stability radius of a quasi-Fredholm operator

We extend the technique used by Kordula and Müller to show that the stability radius of a quasi-Fredholm operator is the limit of as . If is an isolated point of the Apostol spectrum , then the above limit is non-zero if and only if is quasi-Fredholm.

     

The Kaplansky test problems for -separable groups

We answer a long-standing open question by proving in ordinary set theory, ZFC, that the Kaplansky test problems have negative answers for -separable abelian groups of cardinality . In fact, there is an -separable abelian group such that is isomorphic to but not to . We also derive some relevant information about the endomorphism ring of .

     

A counterexample to a question of R. Haydon, E. Odell and H. Rosenthal

We give an example of a compact metric space , an open dense subset of , and a sequence in which is pointwise convergent to a non-continuous function on , such that for every there exists with for all , yet is equivalent to the unit vector basis of the James quasi-reflexive space of order 1. Thus does not embed isomorphically in the closed linear span of . This answers in the negative a question asked by H. Haydon, E. Odell and H. Rosenthal.

     

A remark on Gelfand-Kirillov dimension

Let be a finitely generated non-PI Ore domain and the quotient division algebra of . If is the center of , then .

     

Lie Incidence Systems from Projective Varieties

The homogeneous space , where is a simple algebraic group and a parabolic subgroup corresponding to a fundamental weight (with respect to a fixed Borel subgroup of in ), is known in at least two settings. On the one hand, it is a projective variety, embedded in the projective space corresponding to the representation with highest weight . On the other hand, in synthetic geometry, is furnished with certain subsets, called lines, of the form where is a preimage in of the fundamental reflection corresponding to and . The result is called the Lie incidence structure on . The lines are projective lines in the projective embedding. In this paper we investigate to what extent the projective variety data determines the Lie incidence structure.

     

Examples of chain domains

Let be a nonzero ordinal such that for every ordinal . A chain domain (i.e. a domain with linearly ordered lattices of left ideals and right ideals) is constructed such that is isomorphic with all its nonzero factor-rings and is the ordinal type of the set of proper ideals of . The construction provides answers to some open questions.