Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

A characterization of

This work is devoted to the relationship between topological properties of a space and those of (= the space of continuous real-valued functions on , with the topology of pointwise convergence). The emphasis is on -compactness of and on location of in . In particular, -compact cosmic spaces are characterized in this way.

     

Ample divisors on the blow up of at points

Fix integers with and ; if assume . Let be general points of the complex projective space and let be the blow up of at with exceptional divisors , . Set . Here we prove that the divisor is ample if and only if , i.e. if and only if .

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Tensor products of subnormal operators

We shall use a -algebra approach to study operators of the form where is subnormal and is normal. We shall determine the spectral properties for these operators, and find the minimal normal extension and the dual operator. We also give a necessary condition for to contain a compact operator and a sufficient condition for the algebraic equivalence of and .

We also consider the existence of a homomorphism satisfying . We shall characterize the operators such that exists for every operator .

The problem of when is unitarily equivalent to is considered. Complete results are given when and are positive operators with finite multiplicity functions and has compact self-commutator. Some examples are also given.

     

Sur les -corps

Here we give new examples of fields in characteristic whose -invariant and -invariant are different: or . These fields are also -fields.

RSUM. Nous donnons ici de nouveaux exemples de corps en caractéristique dont le -invariant et le -invariant diffèrent. Plus précisément: et ou . Ces corps sont aussi des -corps.

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

A description of Hilbert -modules in which all closed submodules are orthogonally closed

Let , be -algebras and a full Hilbert --bimodule such that every closed right submodule is orthogonally closed, i.e., . Then there are families of Hilbert spaces , such that and are isomorphic to -direct sums , resp. , and is isomorphic to the outer direct sum .

     

Polynomially convex hulls of graphs on the sphere

Let be the graph of a continuous map of the unit sphere of into , and the polynomially convex hull of . Several examples of for are given, which have different properties from the known ones for .

     

On the existence of maximal Cohen-Macaulay modules over root extensions

Let be an unramified regular local ring having mixed characteristic and the integral closure of in a th root extension of its quotient field. We show that admits a finite, birational module such that . In other words, admits a maximal Cohen-Macaulay module.

     

Behaviour of holomorphic automorphisms on equicontinuous subsets of the space

Consider a compact Hausdorff topological space , a -triple and , the -triple of all continuous -valued functions with the pointwise operations and the norm of the supremum. Let be the group of all holomorphic automorphisms of the unit ball of that map every equicontinuous subset lying strictly inside into another such a set. The real Banach-Lie group and its Lie algebra are investigated. The identity connected component of is identified when has the strong Banach-Stone property. This extends to the infinite dimensional setting a well known result concerning the case .

     

The groups of quasiconformal homeomorphisms on Riemann surfaces

Suppose is a connected Riemann surface. Let denote the homeomorphism group of with the compact-open topology, and denote the subgroup of quasiconformal mappings of onto itself, and let and denote the identity components of and respectively. In this paper we show that the pair is an -manifold, and determine their topological types.

     

Weyl's construction and tensor power decomposition for

Let be the 7-dimensional irreducible representations of . We decompose the tensor power into irreducible representations of and obtain all irreducible representations of in the decomposition. This generalizes Weyl's work on the construction of irreducible representations and decomposition of tensor products for classical groups to the exceptional group .

     

On the semisimplicity of pure sheaves

We obtain a criteria for a pure sheaf to be semisimple. As a corollary, we prove the following: Let and be two schemes over a finite field , and let be a proper smooth morphism. Assume is normal and geometrically connected, and assume there exists a closed point in such that the Frobenius automorphism acts semisimply on , where is the geometric fiber of at (this last assumption is unnecessary if the semisimplicity conjecture is true). Then is a semisimple sheaf on . This verifies a conjecture of Grothendieck and Serre provided the semisimplicity conjecture holds. As an application, we prove that the galois representations of function fields associated to the -adic cohomologies of surfaces are semisimple. We also get a theorem of Zarhin about the semisimplicity of the Galois representations of function fields arising from abelian varieties. The proof relies heavily on Deligne's work on Weil conjectures.

     

On free subgroups of units of rings

We prove that if for elements of a ring of characteristic zero and is not nilpotent, then there exists such that the group generated by and is free nonabelian. This is used to prove that a noncommutative positive-definite algebra with involution over an uncountable field contains a free nonabelian subsemigroup.

     

On the product of two generalized derivations

Two elements and in a ring determine a generalized derivation on by setting for any in . We characterize when the product is a generalized derivation in the cases when the ring is the algebra of all bounded operators on a Banach space , and when is a -algebra . We use these characterizations to compute the commutant of the range of .

     

Finite generation of powers of ideals

Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.