The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

The duality theory of a finite dimensional discrete quantum group

Suppose that is a finite dimensional discrete quantum group and is a Hilbert space. This paper shows that if there exists an action of on so that is a modular algebra and the inner product on is -invariant, then there is a unique C*-representation of on supplemented by the The commutant of in is exactly the -invariant subalgebra of . As an application, a new proof of the classical Schur-Weyl duality theory of type A is given.

     

A criterion for satellite 1-genus 1-bridge knots

Let be a knot in a closed orientable irreducible 3-manifold . Suppose admits a genus 1 Heegaard splitting and we denote by the splitting torus. We say is a -genus -bridge splitting of if intersects transversely in two points, and divides into two pairs of a solid torus and a boundary parallel arc in it. It is known that a -genus -bridge splitting of a satellite knot admits a satellite diagram disjoint from an essential loop on the splitting torus. If and the slope of the loop is longitudinal in one of the solid tori, then is obtained by twisting a component of a -bridge link along the other component. We give a criterion for determining whether a given -genus -bridge splitting of a knot admits a satellite diagram of a given slope or not. As an application, we show there exist counter examples for a conjecture of Ait Nouh and Yasuhara.

     

Self-normalizing Sylow subgroups

Using the classification of finite simple groups we prove the following statement: Let 3$"> be a prime, a group of automorphisms of -power order of a finite group , and a -invariant Sylow -subgroup of . If is trivial, then is solvable. An equivalent formulation is that if has a self-normalizing Sylow -subgroup with 3$"> a prime, then is solvable. We also investigate the possibilities when .

     

Cellular generators

The aim of this paper is twofold. On the one hand, we show that the kernel of the Bousfield periodization functor is cellularly generated by a space , i.e., we construct a space such that the smallest closed class containing is exactly . On the other hand, we show that the partial order is a complete lattice, where if . Finally, as a corollary we obtain Bousfield's theorem, which states that )$"> is a complete lattice, where A$"> if .

     

Distinguished representations and poles of twisted tensor -functions

Let be a quadratic extension of -adic fields. If is an admissible representation of that is parabolically induced from discrete series representations, then we prove that the space of -invariant linear functionals on has dimension one, where is the mirabolic subgroup. As a corollary, it is deduced that if is distinguished by , then the twisted tensor -function associated to has a pole at . It follows that if is a discrete series representation, then at most one of the representations and is distinguished, where is an extension of the local class field theory character associated to . This is in agreement with a conjecture of Flicker and Rallis that relates the set of distinguished representations with the image of base change from a suitable unitary group.

     

Characterizations of elements with compact support in the dual spaces of -modules of

For a locally compact group and , let be the Figà-Talamanca-Herz algebra and let be its dual Banach space. For a Banach -module of , we denote the norm closure of the subspace of the elements in with compact support by . We prove that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with and . In particular, we have that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with . If has an orthogonal complement in , we characterize by the following condition: is in if and only if for any 0$"> and any compact subset of , there exists some with and such that \Vert u\Vert - \epsilon $">. Some results of Flory (1971) and Miao (1999) can be obtained from our main theorems by taking and as some -subalgebras of .

     

Covering by graphs of -ary functions and long linear orderings of Turing degrees

A point is covered by a function iff there is a permutation of such that .

By a theorem of Kuratowski, for every infinite cardinal exactly -ary functions are needed to cover all of . We show that for arbitrarily large uncountable it is consistent that the size of the continuum is and is covered by -ary continuous functions.

We study other cardinal invariants of the -ideal on generated by continuous -ary functions and finally relate the question of how many continuous functions are necessary to cover to the least size of a set of parameters such that the Turing degrees relative to this set of parameters are linearly ordered.

     

Uncountable categoricity for gross models

A model is said to be gross if all infinite definable sets in have the same cardinality (as ). We prove that if for some uncountable , has a unique gross model of cardinality , then for any uncountable , has a unique gross model of cardinality .

     

On embeddings of full amalgamated free product C-algebras

We examine the question of when the -homomorphism of full amalgamated free product C-algebras, arising from compatible inclusions of C-algebras , and , is an embedding. Results giving sufficient conditions for to be injective, as well as classes of examples where fails to be injective, are obtained. As an application, we give necessary and sufficient conditions for the full amalgamated free product of finite-dimensional C-algebras to be residually finite dimensional.

     

The numerical range of a nilpotent operator on a Hilbert space

We prove that the numerical range of an arbitrary nilpotent operator on a complex Hilbert space is a circle (open or closed) with center at and radius not exceeding where is the power of nilpotency of

     

Control of radii of convergence and extension of subanalytic functions

Let : denote a real analytic function on an open subset of , and let denote the points where does not admit a local analytic extension. We show that if is semialgebraic (respectively, globally subanalytic), then is semialgebraic (respectively, subanalytic) and extends to a semialgebraic (respectively, subanalytic) neighbourhood of . (In the general subanalytic case, is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series centred at points in the image of an analytic mapping , in terms of the radii of convergence of at points , where denotes the Taylor expansion of at .

     

The splitting problem for subspaces of tensor products of operator algebras

The main result of this paper is that if is a von Neumann algebra that is a factor and has the weak* operator approximation property (the weak* OAP), and if is a von Neumann algebra, then every -weakly closed subspace of that is an -bimodule (under multiplication) splits, in the sense that there is a -weakly closed subspace of such that . Note that if is a von Neumann subalgebra of , then is an -bimodule if and only if . So this result is a generalization (in the case where has the weak* OAP) of the result of Ge and Kadison that if is a factor, then every von Neumann subalgebra of that contains splits. We also obtain other results concerning the splitting of -weakly closed subspaces of tensor products of von Neumann algebras and the splitting of normed closed subspaces of C*-algebras that generalize results previously obtained for von Neumann subalgebras and C*-subalgebras.

     

A note on commutativity up to a factor of bounded operators

In this note, we explore commutativity up to a factor for bounded operators and in a complex Hilbert space. Conditions on possible values of the factor are formulated and shown to depend on spectral properties of the operators. Commutativity up to a unitary factor is considered. In some cases, we obtain some properties of the solution space of the operator equation and explore the structures of and that satisfy for some A quantum effect is an operator on a complex Hilbert space that satisfies The sequential product of quantum effects and is defined by We also obtain properties of the sequential product.

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

Pure Picard-Vessiot extensions with generic properties

Given a connected linear algebraic group over an algebraically closed field of characteristic 0, we construct a pure Picard-Vessiot extension for , namely, a Picard-Vessiot extension , with differential Galois group , such that and are purely differentially transcendental over . The differential field is the quotient field of a -stable proper differential subring with the property that if is any differential field with field of constants and is a Picard-Vessiot extension with differential Galois group a connected subgroup of , then there is a differential homomorphism such that is generated over as a differential field by .

     

Bundles with periodic maps and mod Chern polynomial

Suppose that is a vector bundle with a linear periodic map of period ; the map is assumed free on the outside of the -section. A polynomial , called a mod Chern polynomial of , is defined. It is analogous to the Stiefel-Whitney polynomial defined by Dold for real vector bundles with the antipodal involution. The mod Chern polynomial can be used to measure the size of the periodic coincidence set for fibre preserving maps of the unit sphere bundle of into another vector bundle.

     

Notes on the largest irreducible character degree of a finite group

Let be a finite group and the largest irreducible character degree of . In this note, we show the following results: if , then ; if and, in addition, is -solvable with abelian Sylow -subgroup, then .

     

Mansfield's imprimitivity theorem for arbitrary closed subgroups

Let be a nondegenerate coaction of on a -algebra , and let be a closed subgroup of . The dual action is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the crossed product of by the homogeneous space . The resulting Morita equivalence is a version of Mansfield's imprimitivity theorem which requires neither amenability nor normality of .

     

Dense subsets of the boundary of a Coxeter system

In this paper, we investigate dense subsets of the boundary of a Coxeter system. We show that for a Coxeter system , if is quasi-dense in and the order for some , then there exists a point in the boundary of the Coxeter system such that the orbit is dense in . Here . We also show that if the set is quasi-dense in , then is dense in .