If is an infinite rank Coxeter group, whose Coxeter diagram has no infinite bonds, then the automorphism group of is generated by the inner automorphisms and any automorphisms induced from automorphisms of the Coxeter diagram. Indeed is the semi-direct product of and the group of graph automorphisms.
Let be a prime. A famous theorem of Lucas states that if are nonnegative integers with . In this paper we aim to prove a similar result for generalized binomial coefficients defined in terms of second order recurrent sequences with initial values and .
Let be a polynomial of degree with integer coefficients, any prime, any positive integer and the exponential sum . We establish that if is nonconstant when read , then . Let , let be a zero of the congruence of multiplicity and let be the sum with restricted to values congruent to . We obtain for odd, and . If, in addition, , then we obtain the sharp upper bound .
We prove the existence of invariant projections from the Banach space of -pseudomeasures onto with for closed neutral subgroup of a locally compact group . As a main application we obtain that every closed neutral subgroup is a set of -synthesis in and in fact locally -Ditkin in . We also obtain an extension theorem concerning the Fourier algebra.
1. If and is nilpotent of class at most for any , then the group is nilpotent of -bounded class.
2. If and is nilpotent of class at most for any , then the derived group is nilpotent of -bounded class.
A commutative Banach algebra is said to have the property if the following holds: Let be a closed subspace of finite codimension such that, for every , the Gelfand transform has at least distinct zeros in , the maximal ideal space of . Then there exists a subset of of cardinality such that vanishes on , the set of common zeros of . In this paper we show that if is compact and nowhere dense, then , the uniform closure of the space of rational functions with poles off , has the property for all . We also investigate the property for the algebra of real continuous functions on a compact Hausdorff space.
Let be a positive matrix-valued measure on a locally compact abelian group such that is the identity matrix. We give a necessary and sufficient condition on for the absence of a bounded non-constant matrix-valued function on satisfying the convolution equation . This extends Choquet and Deny's theorem for real-valued functions on .
We characterize all simple unitarizable representations of the braid group on complex vector spaces of dimension . In particular, we prove that if and denote the two generating twists of , then a simple representation (for ) is unitarizable if and only if the eigenvalues of are distinct, satisfy and 0$"> for , where the are functions of the eigenvalues, explicitly described in this paper.
Let be a -uniformly smooth Banach space possessing a weakly sequentially continuous duality map (e.g., ). Let be a Lipschitzian pseudocontractive selfmapping of a nonempty closed convex and bounded subset of and let be arbitrary. Then the iteration sequence defined by , converges strongly to a fixed point of , provided that and have certain properties. If is a Hilbert space, then converges strongly to the unique fixed point of closest to .
We consider a class of compact spaces for which the space of probability Radon measures on has countable tightness in the topology. We show that that class contains those compact zero-dimensional spaces for which is weakly Lindelöf, and, under MA + CH, all compact spaces with having property (C) of Corson.
A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.
B.Y. Wang conjectured that if and are subspaces of an -dimensional complex inner product space , and their dimensions are and , respectively, where , then there exists a -dimensional subspace having two orthonormal bases and with and for all .
We prove this conjecture and its real counterpart. The proof is in essence an application of a real version of the Bézout Theorem for the product of several projective spaces.
Under the assumption that there exists in the unit interval an uncountable set with the property that every continuous mapping from a Baire metric space into is constant on some non-empty open subset of , we construct a Banach space such that belongs to Stegall's class but is not fragmentable.
For an algebraically closed field, let denote the quotient field of the power series ring over . The ``Newton-Puiseux theorem' states that if has characteristic 0, the algebraic closure of is the union of the fields over . We answer a question of Abhyankar by constructing an algebraic closure of for any field of positive characteristic explicitly in terms of certain generalized power series.
We consider real spaces only.
Definition. An operator between Banach spaces and is called a Hahn-Banach operator if for every isometric embedding of the space into a Banach space there exists a norm-preserving extension of to .
A geometric property of Hahn-Banach operators of finite rank acting between finite-dimensional normed spaces is found. This property is used to characterize pairs of finite-dimensional normed spaces such that there exists a Hahn-Banach operator of rank . The latter result is a generalization of a recent result due to B. L. Chalmers and B. Shekhtman.
For an element of a commutative complex Banach algebra we investigate the following property: every complete norm on making the multiplication by from to itself continuous is equivalent to .