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 .

     

A group structure on squares

We show that there is an abelian group structure on the orbit set of ``squares' of unimodular rows of length over a commutative ring of stable dimension when , odd and also an abelian group structure on the orbit set of ``fourth powers' of unimodular rows of length over a commutative ring of stable dimension when , even.

     

Arc-analytic roots of analytic functions are Lipschitz

Let be an arc-analytic function (i.e., analytic on every analytic arc) and assume that for some integer the function is real analytic. We prove that is locally Lipschitz; even if is less than the multiplicity of . We show that the result fails if is only a , arc-analytic function (even blow-analytic), . We also give an example of a non-Lipschitz arc-analytic solution of a polynomial equation , where are real analytic functions.

     

Local existence of -sets, projective tensor products, and Arens regularity for

Theorem. If are perfect compact subsets of the locally compact metrizable abelian group, then there are pairwise disjoint perfect subsets such that (i) is either a Kronecker set or (ii) for some , is a translate of a -set all of whose elements have order , and (iii) is isomorphic to the projective tensor product .

This extends what was previously known for groups such as or for the case to the general locally compact abelian group. Old results concerning the local existence of Kronecker and -sets are improved.

     

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.

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

Transference for amenable actions

Suppose acts amenably on a measure space with quasi-invariant -finite measure . Let be an isometric representation of on and a finite Radon measure on . We show that the operator has -operator norm not exceeding the -operator norm of the convolution operator defined by . We shall also prove an analogous result for the maximal function associated to a countable family of Radon measures .

     

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.

     

Cohomology of symplectic reductions of generic coadjoint orbits

Let be a generic coadjoint orbit of a compact semi-simple Lie group . Weight varieties are the symplectic reductions of by the maximal torus in . We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of , and it makes explicit the dependence on and a parameter in .

     

Double covering of curves

Let be a smooth projective algebraic curve of genus and an integer with . For all integers we prove the existence of a double covering with a smooth curve of genus and the existence of a degree morphism that does not factor through . By the Castelnuovo-Severi inequality, the result is sharp (except perhaps the bound ).

     

Tietze extension theorem for Hilbert -modules

We prove the following generalization of the noncommutative Tietze extension theorem: if is a countably generated Hilbert -module over a -unital -algebra, then the canonical extension of a surjective morphism of Hilbert -modules to extended (multiplier) modules, , is also surjective.

     

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.

     

Transversals for strongly almost disjoint families

For a family of sets , and a set , is said to be a transversal of if and for each . is said to be a Bernstein set for if for each . Erdos and Hajnal first studied when an almost disjoint family admits a set such as a transversal or Bernstein set. In this note we introduce the following notion: a family of sets is said to admit a -transversal if can be written as such that each admits a transversal. We study the question of when an almost disjoint family admits a -transversal and related questions.

     

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 .

     

Helly-type theorems for hollow axis-aligned boxes

A hollow axis-aligned box is the boundary of the cartesian product of compact intervals in . We show that for , if any of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any of a collection of hollow axis-aligned rectangles in have non-empty intersection, then the whole collection has non-empty intersection. The values for and for are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if were lowered to , and to , respectively.

     

On the degree of Hilbert polynomials associated to the torsion functor

Let be a local, Noetherian ring and an ideal. A question of Kodiyalam asks whether for fixed , the polynomial giving the th Betti number of has degree equal to the analytic spread of minus one. Under mild conditions on , we show that the answer is positive in a number of cases, including when is divisible by or is an integrally closed -primary ideal.

     

Remarks about Schlumprecht space

Let denote the Schlumprecht space. We prove that

(1) is finitely disjointly representable in ;

(2) contains an -spreading model;

(3) for any sequence of natural numbers, is isomorphic to the space .

     

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 .

     

On the projective-injective modules over cellular algebras

We show that the projective module over a cellular algebra is injective if and only if the socle of coincides with the top of , and this is also equivalent to the condition that the th socle layer of is isomorphic to the th radical layer of for each positive integer . This eases the process of determining the Loewy series of the projective-injective modules over cellular algebras.