On semisimple Hopf algebras of dimension

We consider the problem of the classification of semisimple Hopf algebras of dimension where are two prime numbers. First we prove that the order of the group of grouplike elements of is not , and that if it is , then . We use it to prove that if and its dual Hopf algebra are of Frobenius type, then is either a group algebra or a dual of a group algebra. Finally, we give a complete classification in dimension , and a partial classification in dimensions and .

     

Involutions with

Let be a smooth involution on a closed -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each component of the fixed point set of vanish in positive dimension. In this paper, we estimate the least possible lower bound of dim if does not bound.

     

Invertible completions of upper triangular operator matrices

In this note we prove that if

is a upper triangular operator matrix acting on the Banach space , then is invertible for some if and only if and satisfy the following conditions:

(i)

is left invertible;

(ii)

is right invertible;

(iii)

.

Furthermore we show that , where is the union of certain of the holes in which happen to be subsets of .

     

Universal -lattices of minimal rank

Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .

     

-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .

     

Reflection and uniqueness theorems for harmonic functions

Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.

     

Iwasawa invariants and class numbers of quadratic fields for the prime

Let be a square-free integer with and . Put and . For the cyclotomic -extension of , we denote by the -th layer of over . We prove that the -Sylow subgroup of the ideal class group of is trivial for all integers if and only if the class number of is not divisible by the prime . This enables us to show that there exist infinitely many real quadratic fields in which splits and whose Iwasawa -invariant vanishes.

     

A note on -bases of rings

Let be a tower of rings of characteristic . Suppose that is a finitely presented -module. We give necessary and sufficient conditions for the existence of -bases of over . Next, let be a polynomial ring where is a perfect field of characteristic , and let be a regular noetherian subring of containing such that . Suppose that is a free -module. Then, applying the above result to a tower of rings, we shall show that a polynomial of minimal degree in is a -basis of over .

     

Maximal estimates for the -dimensional Walsh-Fourier series

The -dimensional dyadic martingale Hardy spaces are introduced and it is proved that the maximal operator of the means of a Walsh-Fourier series is bounded from to and is of weak type , provided that the supremum in the maximal operator is taken over a positive cone. As a consequence we obtain that the means of a function converge a.e. to the function in question. Moreover, we prove that the means are uniformly bounded on whenever . Thus, in case , the means converge to in norm. The same results are proved for the conjugate means, too.

     

Sets of -powers as conjugacy class sizes

We show that any finite set of powers of a fixed prime which includes can be the set of conjugacy class sizes of a -group of nilpotency class . This corresponds to a result of Isaacs for degrees of irreducible characters.

     

No submaximal topology on a countable set is -complementary

Two -topologies and given on the same set , are called transversal if their union generates the discrete topology on . The topologies and are -complementary if they are transversal and their intersection is the cofinite topology on . We establish that for any connected Tychonoff topology there exists a connected Tychonoff transversal one. Another result is that no -complementary topology exists for the maximal topology constructed by van Douwen on the rational numbers. This gives a negative answer to Problem 162 from Open Problems in Topology (1990).

     

Completely continuous multilinear operators on spaces

Given a -linear operator from a product of spaces into a Banach space , our main result proves the equivalence between being completely continuous, having an -valued separately continuous extension to the product of the biduals and having a regular associated polymeasure. It is well known that, in the linear case, these are also equivalent to being weakly compact, and that, for , being weakly compact implies the conditions above but the converse fails.

     

On covering translations and homeotopy groups of contractible open -manifolds

This paper gives a new proof of a result of Geoghegan and Mihalik which states that whenever a contractible open -manifold which is not homeomorphic to is a covering space of an -manifold and either or and is irreducible, then the group of covering translations injects into the homeotopy group of .

     

Inequalities for the gamma function

We prove the following two theorems:

(i) Let be the th power mean of and . The inequality

holds for all if and only if , where denotes Euler's constant. This refines results established by W. Gautschi (1974) and the author (1997).

(ii) The inequalities

are valid for all if and only if and , while holds for all if and only if and . These bounds for improve those given by G. D. Anderson an S.-L. Qiu (1997).

     

An extension of a non-commutative Choquet-Deny theorem

Let be a discrete group, and let be a normal subgroup of . Then the quotient map induces a group algebra homomorphism . It is shown that the kernel of this map may be decomposed as , where is a closed right ideal with a bounded left approximate identity and is a closed left ideal with a bounded right approximate identity. It follows from this fact that, if is a closed two-sided ideal in , then is closed in . This answers a question of Reiter.

     

A generalization of Kelley's theorem for -spaces

We prove that if an open map of compacta and has perfect fibers and is a -space, then there exists a -dimensional compact subset of intersecting each fiber of . This is a stronger version of a well-known theorem of Kelley. Applications of this result and related topics are discussed.

     

The Furuta inequality in Banach -algebras

Let be real numbers with and Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . This inequality is called the Furuta inequality and has many applications. In this paper, we prove that the Furuta inequality holds in a unital hermitian Banach -algebra with continuous involution.

     

Integer-valued polynomials over Krull-type domains and Prüfer -multiplication domains

Let be a domain with quotient field . The ring of integer-valued polynomials over is . We characterize the Krull-type domains such that is a Prüfer -multiplication domain.

     

The Hausdorff operator is bounded on the real Hardy space

We prove that the Hausdorff operator generated by a function is bounded on the real Hardy space . The proof is based on the closed graph theorem and on the fact that if a function in is such that its Fourier transform equals for (or for ), then .