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.

     

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.

     

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.

     

Fusion in the character table

Suppose that is a Sylow -subgroup of a finite -solvable group . If , then the number of -conjugates of in can be read off from the character table of .

     

Some results on finite Drinfeld modules

Let be a global function field, a degree one prime divisor of and let be the Dedekind domain of functions in regular outside . Let be the Hilbert class field of , the integral closure of in . Let be a rank one normalized Drinfeld -module and let be a prime ideal in . We explicitly determine the finite -module structure of . In particular, if , is an odd prime number and is the Carlitz -module, then the finite -module is always cyclic.

     

A remark on normal derivations

Given a Hilbert space , let be operators on . Anderson has proved that if is normal and , then for all operators . Using this inequality, Du Hong-Ke has recently shown that if (instead) , then for all operators . In this note we improve the Du Hong-Ke inequality to for all operators . Indeed, we prove the equivalence of Du Hong-Ke and Anderson inequalities, and show that the Du Hong-Ke inequality holds for unitarily invariant norms.

     

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 .

     

-integral bases of a cubic field

A -integral basis of a cubic field is determined for each rational prime , and then an integral basis of and its discriminant are obtained from its -integral bases.

     

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 .

     

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.

     

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.

     

A note on norm attaining functionals

We are concerned in this paper with the density of functionals which do not attain their norms in Banach spaces. Some earlier results given for separable spaces are extended to the nonseparable case. We obtain that a Banach space is reflexive if and only if it satisfies any of the following properties: (i) admits a norm with the Mazur Intersection Property and the set of all norm attaining functionals of contains an open set, (ii) the set of all norm one elements of contains a (relative) weak* open set of the unit sphere, (iii) has and contains a (relative) weak open set of the unit sphere, (iv) is , has and contains a (relative) weak open set of the unit sphere. Finally, if is separable, then is reflexive if and only if contains a (relative) weak open set of the unit sphere.

     

Continuity of K-theory: An example in equal characteristics

If is a perfect field of characteristic , we show that the Quillen K-groups are uniquely -divisible for . In fact, the Milnor K-groups are uniquely -divisible for all . This implies that is -connected after profinite completion for a complete discrete valuation ring with perfect residue field.

     

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.

     

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.

     

Differential forms on quotients by reductive group actions

Let be a smooth affine algebraic variety where a reductive algebraic group acts with a smooth quotient space . We show that the algebraic differential forms on which are pull-backs of forms on are exactly the -invariant horizontal differential forms on .

     

Ideal and subalgebra coefficients

For an ideal or -subalgebra of , consider subfields , where is generated - as ideal or -subalgebra - by polynomials in . It is a standard result for ideals that there is a smallest such . We give an algorithm to find it. We also prove that there is a smallest such for -subalgebras. The ideal results use reduced Gröbner bases. For the subalgebra results we develop and then use subduced SAGBI (bases), the analog to reduced Gröbner bases.

     

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 note on invariance of spectrum for symmetric banach -algebras

Let be a symmetric Banach -algebra, let be a Banach algebra, and assume that . A result is proved giving conditions which imply that every element of has the same spectrum in both and .

     

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.