Primitive characters of subgroups of -groups

Let be an -group, let be a subnormal subgroup of , and let be a Hall subgroup of . If the character is primitive, then is a power of 2. Furthermore, if is odd, then .

     

Covering by complements of subspaces, II

Let be an -dimensional vector space over an algebraically closed field . Define to be the least positive integer for which there exists a family of -dimensional subspaces of such that every -dimensional subspace of has at least one complement among the 's. Using algebraic geometry we prove that .

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Factorisation in nest algebras

We give a necessary and sufficient condition on an operator for the existence of an operator in the nest algebra of a continuous nest satisfying (resp. . We also characterise the operators in which have the following property: For every continuous nest there exists an operator in satisfying (resp. .

     

A Cantor-Lebesgue theorem with variable ``coefficients'

If is a lacunary sequence of integers, and if for each , and are trigonometric polynomials of degree then must tend to zero for almost every whenever does. We conjecture that a similar result ought to hold even when the sequence has much slower growth. However, there is a sequence of integers and trigonometric polynomials such that tends to zero everywhere, even though the degree of does not exceed for each . The sequence of trigonometric polynomials tends to zero for almost every , although explicit formulas are developed to show that the sequence of corresponding conjugate functions does not. Among trigonometric polynomials of degree with largest Fourier coefficient equal to , the smallest one ``at' is while the smallest one ``near' is unknown.

     

A Strict Version of the Non-commutative Urysohn Lemma

Given a pair , of -commuting, hereditary -subalgebras of a unital -algebra , such that is -unital and , there is an element in , with , such that is strictly positive in and is strictly positive in in . Moreover, is strictly positive in in .

     

Inner derivations on ultraprime normed algebras

We show that, for every ultraprime Banach algebra , there exists a positive number satisfying for all in , where denotes the centre of and denotes the inner derivation on induced by . Moreover, the number depends only on the ``constant of ultraprimeness' of .

     

Densities with the mean value property for harmonic functions in a Lipschitz domain

Let be a bounded domain in , , and let . We consider positive functions on such that for all bounded harmonic functions on . We determine Lipschitz domains having such with .

     

Commutative group algebras of -summable abelian groups

In this note we study the commutative modular and semisimple group rings of -summable abelian -groups, which group class was introduced by R. Linton and Ch. Megibben. It is proved that is -summable if and only if is -summable, provided is an abelian group and is a commutative ring with 1 of prime characteristic , having a trivial nilradical. If is a -summable -group and the group algebras and over a field of characteristic are -isomorphic, then is a -summable -group, too. In particular provided is totally projective of a countable length.

Moreover, when is a first kind field with respect to and is -torsion, is -summable if and only if is a direct sum of cyclic groups.

     

On the curves of contact on surfaces in a projective space. III

Suppose a smooth curve is a set-theoretic complete intersection of two surfaces and with the multiplicity of along less than or equal to the multiplicity of along . One obtains a relation between the degrees of , and , the genus of , and the multiplicity of along in case has only ordinary singularities. One obtains (in the characteristic zero case) that a nonsingular rational curve of degree 4 in is not set-theoretically an intersection of 2 surfaces, provided one of them has at most ordinary singularities. The same result holds for a general nonsingular rational curve of degree .

     

Infinite Taylor interpolation

Let be a region in , let be a point in , and let be an infinite set of nonnegative integers. We consider the question whether there exists a function which is holomorphic in and has prescribed derivatives of order at for all .

     

A formula with nonnegative terms for the degree of the dual variety of a homogeneous space

Let be a reductive group and a parabolic subgroup. For every -regular dominant weight let denote the variety embedded in the projective space by the embedding corresponding to the ample line bundle . Writing , we prove that the degree of the dual variety to is a polynomial with nonnegative coefficients in . In the case of homogeneous spaces we find an expression for the constant term of this polynomial.

     

Note on faithful representations and a local property of Lie groups

Let be any analytic group, let be a maximal toroid of the radical of , and let be a maximal semisimple analytic subgroup of . If is the Lie algebra of , is the radical of , and is the center of , we show that has a faithful representation if and only if (i) , and (ii) has a faithful representation.

     

Infinite loop spaces and Neisendorfer localization

There is a localization functor with the property that is the -completion of whenever is a finite dimensional complex. This same functor is shown to have the property that is contractible whenever is a connected infinite loop space with a torsion fundamental group. One consequence of this is that many finite dimensional complexes are uniquely determined, up to -completion, by the homotopy fiber of any map from into the classifying space .

     

Coprimeness among irreducible character degrees of finite solvable groups

Given a finite solvable group , we say that has property if every set of distinct irreducible character degrees of is (setwise) relatively prime. Let be the smallest positive integer such that satisfies property . We derive a bound, which is quadratic in , for the total number of irreducible character degrees of . Three exceptional cases occur; examples are constructed which verify the sharpness of the bound in each of these special cases.

     

Local derivations of reflexive algebras

Let be a reflexive algebra in Banach space such that both and in , the invariant subspace lattice of , then every derivation of into itself is spatial. Furthermore, if is additionally reflexive, then the set of all inner derivations of into itself is topologically algebraically reflexive.

     

A note on GK dimension of skew polynomial extensions

Let be a finitely generated commutative domain over an algebraically closed field , an algebra endomorphism of , and a -derivation of . Then if and only if is locally algebraic in the sense that every finite dimensional subspace of is contained in a finite dimensional -stable subspace.

Similarly, if is a finitely generated field over , a -endomorphism of , and a -derivation of , then if and only if is an automorphism of finite order.

     

On invertibility in non-selfadjoint operator algebras

Let be a complete commutative subspace lattice on a Hilbert space. When is purely atomic, we give a necessary and sufficient condition for for every in , where and denote the spectrum of in and respectively. In addition, we discuss the properties of the spectra and the invertibility conditions for operators in .

     

Prime ideals in polynomial rings in several indeterminates

If is a prime ideal of a polynomial ring , where is a field, then is determined by an irreducible polynomial in . The purpose of this paper is to show that any prime ideal of a polynomial ring in -indeterminates over a not necessarily commutative ring is determined by its intersection with plus polynomials.

     

Bilocal derivations of standard operator algebras

In this paper, we shall show the following two results: (1) Let be a standard operator algebra with , if is a linear mapping on which satisfies that maps into for all , then is of the form for some in . (2) Let be a Hilbert space, if is a norm-continuous linear mapping on which satisfies that maps into for all self-adjoint projection in , then is of the form for some in .