A commuting pair in Hopf Algebras

We prove that if is a semisimple Hopf algebra, then the action of the Drinfeld double on and the action of the character algebra on form a commuting pair. This result and a result of G. I. Kats imply that the dimension of every simple -submodule of is a divisor of .

     

A bialgebra that admits a Hopf-Galois extension is a Hopf algebra

Let be a commutative ring. Assume that is a -bialgebra, and is an -Galois extension of its coinvariant subalgebra . Provided is faithfully flat over , we show that is necessarily a Hopf algebra.

     

Bilocal derivations of standard operator algebras

In this paper, we shall show the following two results: (1) Let be a standard operator algebra with , if is a linear mapping on which satisfies that maps into for all , then is of the form for some in . (2) Let be a Hilbert space, if is a norm-continuous linear mapping on which satisfies that maps into for all self-adjoint projection in , then is of the form for some in .

     

Commensurators of parabolic subgroups of Coxeter groups

Let be a Coxeter system, and let be a subset of . The subgroup of generated by is denoted by and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of in is the subgroup of in such that has finite index in both and . The subgroup can be decomposed in the form where is finite and all the irreducible components of are infinite. Let be the set of in such that for all . We prove that the commensurator of is . In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and is its own commensurator if and only if .

     

Semi-free actions of zero-dimensional compact groups on Menger compacta

Let be the -dimensional universal Menger compactum, a -set in and a metrizable zero-dimensional compact group with the unit. It is proved that there exists a semi-free -action on such that is the fixed point set of every . As a corollary, it follows that each compactum with can be embedded in as the fixed point set of some semi-free -action on .

     

On Bernstein-Sato polynomials

We show that for fixed and the set of Bernstein-Sato polynomials of all the polynomials in at most variables of degrees at most is finite. As a corollary, we show that there exists an integer depending only on and such that generates as a module over the ring of the -linear differential operators of , where is an arbitrary field of characteristic 0, is the ring of polynomials in variables over and is an arbitrary non-zero polynomial of degree at most .

     

Commutative group algebras of -summable abelian groups

In this note we study the commutative modular and semisimple group rings of -summable abelian -groups, which group class was introduced by R. Linton and Ch. Megibben. It is proved that is -summable if and only if is -summable, provided is an abelian group and is a commutative ring with 1 of prime characteristic , having a trivial nilradical. If is a -summable -group and the group algebras and over a field of characteristic are -isomorphic, then is a -summable -group, too. In particular provided is totally projective of a countable length.

Moreover, when is a first kind field with respect to and is -torsion, is -summable if and only if is a direct sum of cyclic groups.

     

Inner derivations on ultraprime normed algebras

We show that, for every ultraprime Banach algebra , there exists a positive number satisfying for all in , where denotes the centre of and denotes the inner derivation on induced by . Moreover, the number depends only on the ``constant of ultraprimeness' of .

     

Fixed points of the mapping class group in the moduli spaces

Let be a compact oriented surface with or without boundary components. In this note we prove that if then there exist infinitely many integers such that there is a point in the moduli space of irreducible flat connections on which is fixed by any orientation preserving diffeomorphism of . Secondly we prove that for each orientation preserving diffeomorphism of and each there is some such that has a fixed point in the moduli space of irreducible flat connections on . Thirdly we prove that for all there exists an integer such that the 'th power of any diffeomorphism fixes a certain point in the moduli space of irreducible flat connections on .

     

A Strict Version of the Non-commutative Urysohn Lemma

Given a pair , of -commuting, hereditary -subalgebras of a unital -algebra , such that is -unital and , there is an element in , with , such that is strictly positive in and is strictly positive in in . Moreover, is strictly positive in in .

     

Rudin's orthogonality problem and the Nevanlinna counting function

Let be a holomorphic function taking the open unit disk into itself. We show that the set of nonnegative powers of is orthogonal in if and only if the Nevanlinna counting function of , , is essentially radial. As a corollary, we obtain that the orthogonality of for a univalent implies for some constant . We also show that if is orthogonal, then the closure of must be a disk.

     

Group homomorphisms inducing cohomology monomorphisms

Let be a homomorphism of -groups such that
is injective, for . We prove that the non-bijectivity of implies the existence of a quotient of containing as a proper direct factor. This gives a refined proof of a result of Evens, which asserts that is bijective if is.

     

An Engel condition with derivation for left ideals

We generalize a number of results in the literature by proving the following theorem: Let be a semiprime ring, a nonzero derivation of , a nonzero left ideal of , and let . If for some positive integers , and all , the identity holds, then either or else the ideal of generated by and is in the center of . In particular, when is a prime ring, is commutative.

     

On a class of subalgebras of and the intersection of their free maximal ideals

Let be a Tychonoff space and a subalgebra of containing . Suppose that is the set of all functions in with compact support. Kohls has shown that is precisely the intersection of all the free ideals in or in . In this paper we have proved the validity of this result for the algebra . Gillman and Jerison have proved that for a realcompact space , is the intersection of all the free maximal ideals in . In this paper we have proved that this result does not hold for the algebra , in general. However we have furnished a characterisation of the elements that belong to all the free maximal ideals in . The paper terminates by showing that for any realcompact space , there exists in some sense a minimal algebra for which becomes -compact. This answers a question raised by Redlin and Watson in 1987. But it is still unsettled whether such a minimal algebra exists with respect to set inclusion.

     

A formula with nonnegative terms for the degree of the dual variety of a homogeneous space

Let be a reductive group and a parabolic subgroup. For every -regular dominant weight let denote the variety embedded in the projective space by the embedding corresponding to the ample line bundle . Writing , we prove that the degree of the dual variety to is a polynomial with nonnegative coefficients in . In the case of homogeneous spaces we find an expression for the constant term of this polynomial.

     

An infinite series of Kronecker conjugate polynomials

Let be a field of characteristic , a transcendental over , and be the absolute Galois group of . Then two non-constant polynomials are said to be Kronecker conjugate if an element of fixes a root of if and only if it fixes a root of . If is a number field, and where is the ring of integers of , then and are Kronecker conjugate if and only if the value set equals modulo all but finitely many non-zero prime ideals of . In 1968 H. Davenport suggested the study of this latter arithmetic property. The main progress is due to M. Fried, who showed that under certain assumptions the polynomials and differ by a linear substitution. Further, he found non-trivial examples where Kronecker conjugacy holds. Until now there were only finitely many known such examples. This paper provides the first infinite series. The main part of the construction is group theoretic.

     

When is a -block?

Let and be distinct prime numbers and let be a finite group. If is a -block of and is a -block, we study when the set of ordinary irreducible characters in the blocks and coincide.

     

Beals-Cordes-type characterizations of pseudodifferential operators

We show that, if is the representation of on given by (2.11), and is a bounded operator on , then belongs to if and only if

is a function on with values in the Banach space .

     

Factorization of an integrally closed ideal in two-dimensional regular local rings

Let be a two-dimensional regular local ring with algebraically closed residue field and be an -primary integrally closed ideal in . Let be the set of Rees valuations of and be the residue field of the valuation ring associated with . Assume that is any minimal reduction of . We show that if is the product of the distinct simple -primary integrally closed ideals in , then is generated by the image of over for all , and the converse of this is also true.