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 .

     

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.

     

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.

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

Characterizing Cohen-Macaulay local rings by Frobenius maps

Let be a commutative noetherian local ring of prime characteristic. Denote by the ring regarded as an -algebra through -times composition of the Frobenius map. Suppose that is F-finite, i.e., is a finitely generated -module. We prove that is Cohen-Macaulay if and only if the -modules have finite Cohen-Macaulay dimensions for infinitely many integers .

     

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 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.

     

Some numerical invariants of local rings

Let be a formal power series ring over a field of characteristic zero and any ideal. The aim of this work is to introduce some numerical invariants of the local rings by using the theory of algebraic -modules. More precisely, we will prove that the multiplicities of the characteristic cycle of the local cohomology modules and , where is any prime ideal that contains , are invariants of .

     

On -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups

This paper proves: Let be a saturated formation containing . Suppose that is a group with a normal subgroup such that .

(1) If all maximal subgroups of any Sylow subgroup of are -supple- mented in , then ;

(2) If all minimal subgroups and all cyclic subgroups with order 4 of are -supplemented in , then .

     

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.

     

Exponential nonnegativity

Let be a Banach algebra, , the spectrum of and the spectral abscissa of . If , then we show that there exists an algebra cone such that is exponentially nonnegative with respect to and the spectral radius is increasing on .

     

Robust transitivity and topological mixing for -flows

We prove that nontrivial homoclinic classes of -generic flows are topologically mixing. This implies that given , a nontrivial -robustly transitive set of a vector field , there is a -perturbation of such that the continuation of is a topologically mixing set for . In particular, robustly transitive flows become topologically mixing after -perturbations. These results generalize a theorem by Bowen on the basic sets of generic Axiom A flows. We also show that the set of flows whose nontrivial homoclinic classes are topologically mixing is not open and dense, in general.

     

Gorenstein injective modules and local cohomology

In this paper we assume that is a Gorenstein Noetherian ring. We show that if is also a local ring with Krull dimension that is less than or equal to 2, then for any nonzero ideal of , is Gorenstein injective. We establish a relation between Gorenstein injective modules and local cohomology. In fact, we will show that if is a Gorenstein ring, then for any -module its local cohomology modules can be calculated by means of a resolution of by Gorenstein injective modules. Also we prove that if is -Gorenstein, is a Gorenstein injective and is a nonzero ideal of , then is Gorenstein injective.

     

Free products in linear groups

Let be a commutative integral domain of characteristic , and let be a finite subgroup of , the projective general linear group of degree over . In this note, we show that if , then also contains the free product , where is the infinite cyclic group generated by the image of a suitable transvection.

     

Rings with finite Gorenstein injective dimension

In this paper we prove that for any associative ring , and for any left -module with finite projective dimension, the Gorenstein injective dimension equals the usual injective dimension . In particular, if is finite, then also is finite, and thus is Gorenstein (provided that is commutative and Noetherian).

     

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.

     

Lattice polygons and Green's theorem

Associated to an -dimensional integral convex polytope is a toric variety and divisor , such that the integral points of represent . We study the free resolution of the homogeneous coordinate ring as a module over . It turns out that a simple application of Green's theorem yields good bounds for the linear syzygies of a projective toric surface. In particular, for a planar polytope , satisfies Green's condition if contains at least lattice points.

     

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

     

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 .

     

Symmetric word equations in two positive definite letters

For every symmetric (``palindromic") word in two positive definite letters and for each fixed -by- positive definite and , it is shown that the symmetric word equation has an -by- positive definite solution . Moreover, if and are real, there is a real solution . The notion of symmetric word is generalized to allow non-integer exponents, with certain limitations. In some cases, the solution is unique, but, in general, uniqueness is an open question. Applications and methods for finding solutions are also discussed.