Character degree sets that do not bound the class of a -group

Suppose that we are given a set of powers of a prime and that . A technique is presented that enables the construction of a -group of specified nilpotence class such that its set of irreducible character degrees is exactly . If , then this can be done for and if , then the only requirement is .

     

Convexity numbers of closed sets in

For 2$"> let be the -ideal in generated by all sets which do not contain equidistant points in the usual metric on . For each 2$"> a set is constructed in so that the -ideal which is generated by the convex subsets of restricted to the convexity radical is isomorphic to . Thus is equal to the least number of convex subsets required to cover -- the convexity number of .

For every non-increasing function \aleph_0\}$"> we construct a model of set theory in which for each . When is strictly decreasing up to , uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of . It is conjectured that , but never more than , different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of . This conjecture is true for and .     

Applications of a theorem of H. Cramér to the Selberg class

We prove two results on the nature of the Dirichlet coefficients of the -functions in the extended Selberg class . The first result asserts that if for some entire function of order 1 and finite type, then is constant. The second result states, roughly, that if are still the coefficients of some -function from , then with and . The proofs are based on an old result by Cramér and on the characterization of the functions of degree 1 of .

     

A proof of Weinberg's conjecture on lattice-ordered matrix algebras

Let be a subfield of the field of real numbers and let () be the matrix algebra over . It is shown that if is a lattice-ordered algebra over in which the identity matrix 1 is positive, then is isomorphic to the lattice-ordered algebra with the usual lattice order. In particular, Weinberg's conjecture is true.

     

Wigner's theorem in Hilbert -algebras of compact operators

Let be a Hilbert -module over the -algebra of all compact operators on a Hilbert space. It is proved that any function which preserves the absolute value of the -valued inner product is of the form , where is a phase function and is an -linear isometry. The result generalizes Molnár's extension of Wigner's classical unitary-antiunitary theorem.

     

Single elements and module isomorphisms of some operator algebra modules

In this paper, we first introduce the concept of single elements in a module. A systematic study of single elements in the Alg-module is initiated, where is a completely distributive subspace lattice on a Hilbert space . Furthermore, as an application of single elements, we study module isomorphisms between norm closed Alg-modules, where is a nest, and obtain the following result: Suppose that are norm closed Alg-modules and that is a module isomorphism. Then and there exists a non-zero complex number such that .

     

Derivations with large separating subspace

In his famous paper The image of a derivation is contained in the radical, Marc Thomas establishes the (commutative) Singer-Wermer conjecture, showing that derivations from a commutative Banach algebra to itself must map into the radical. The proof goes via first showing that the separating subspace of a derivation on must lie in the radical of . In this paper, we exhibit discontinuous derivations on a commutative unital Fréchet algebra such that the separating subspace is the whole of . Thus, the situation on Fréchet algebras is markedly different from that on Banach algebras.

     

Zero product preserving maps of operator-valued functions

Let be locally compact Hausdorff spaces and , be Banach algebras. Let be a zero product preserving bounded linear map with dense range. We show that is given by a continuous field of algebra homomorphisms from into if is irreducible. As corollaries, such a surjective arises from an algebra homomorphism, provided that is a -algebra and is a semi-simple Banach algebra, or both and are -algebras.

     

Jordan isomorphisms of nest algebras

Let and be two nest algebras. A Jordan isomorphism from onto is a bijective linear map such that for every . In this note, we prove that every Jordan isomorphism of nest algebras is of the form or and then is, in fact, an isomorphism or an anti-isomorphism.

     

On the algebra of functions -extendable for each finite

For each positive integer we construct a -function of one real variable, the graph of which has the following property: there exists a real function on which is -extendable to , for each finite, but it is not -extendable.

     

Continuity of the support of a state

Let be a finite von Neumann algebra and a projection. It is well known that the map which assigns its support projection to a positive normal functional of is not continuous. In this note it is shown that if one restricts to the set of positive normal functionals with support equivalent to a fixed , endowed with the norm topology, and the set of projections of is considered with the strong operator topology, then the support map is continuous. Moreover, it is shown that the support map defines a homotopy equivalence between these spaces. This fact together with previous work implies that, for example, the set of projections of the hyperfinite II factor, in the strong operator topology, has trivial homotopy groups of all orders .

     

Games and general distributive laws in Boolean algebras

The games and are played by two players in -complete and max -complete Boolean algebras, respectively. For cardinals such that or , the -distributive law holds in a Boolean algebra iff Player 1 does not have a winning strategy in . Furthermore, for all cardinals , the -distributive law holds in iff Player 1 does not have a winning strategy in . More generally, for cardinals such that , the -distributive law holds in iff Player 1 does not have a winning strategy in . For regular and , implies the existence of a Suslin algebra in which is undetermined.

     

Types in reductive -adic groups: The Hecke algebra of a cover

In this paper, is a non-Archimedean local field and is the group of -points of a connected reductive algebraic group defined over . Also, is an irreducible representation of a compact open subgroup of , the pair being a type in . The pair is assumed to be a cover of a type in a Levi subgroup of . We give conditions, generalizing those of earlier work, under which the Hecke algebra is the tensor product of a canonical image of and a sub-algebra , for a compact open subgroup of containing .

     

Invariant linear manifolds for CSL-algebras and nest algebras

Every invariant linear manifold for a CSL-algebra, , is a closed subspace if, and only if, each non-zero projection in is generated by finitely many atoms associated with the projection lattice. When is a nest, this condition is equivalent to the condition that every non-zero projection in has an immediate predecessor ( is well ordered). The invariant linear manifolds of a nest algebra are totally ordered by inclusion if, and only if, every non-zero projection in the nest has an immediate predecessor.     

-coincidences for maps of homotopy spheres into CW-complexes

Let be a finite group acting freely in a CW-complex which is a homotopy -dimensional sphere and let be a map of to a finite -dimensional CW-complex . We show that if , then has an -coincidence for some nontrivial subgroup of .

     

The -invariant and Gorensteinness of graded rings associated to filtrations of ideals in regular local rings

Let be a regular local ring and let be a filtration of ideals in such that is a Noetherian ring with . Let and let be the -invariant of . Then the theorem says that is a principal ideal and for all if and only if is a Gorenstein ring and . Hence , if is a Gorenstein ring, but the ideal is not principal.

     

Algebraic obstructions and a complete solution of a rational retraction problem

For each compact smooth manifold containing at least two points we prove the existence of a compact nonsingular algebraic set and a smooth map such that, for every rational diffeomorphism and for every diffeomorphism where and are compact nonsingular algebraic sets, we may fix a neighborhood of in which does not contain any regular rational map. Furthermore is not homotopic to any regular rational map. Bearing in mind the case in which is a compact nonsingular algebraic set with totally algebraic homology, the previous result establishes a clear distinction between the property of a smooth map to represent an algebraic unoriented bordism class and the property of to be homotopic to a regular rational map. Furthermore we have: every compact Nash submanifold of containing at least two points has not any tubular neighborhood with rational retraction.

     

On the Hartogs-Bochner phenomenon for CR functions in

Let be a compact, connected, -smooth and globally minimal hypersurface in which divides the projective space into two connected parts and . We prove that there exists a side, or , such that every continuous CR function on extends holomorphically to this side. Our proof of this theorem is a simplification of a result originally due to F. Sarkis.

     

Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).

     

Some finiteness conditions on the set of overrings of an integral domain

Let be an integral domain with quotient field and integral closure . An overring of is a subring of containing , and denotes the set of overrings of . We consider primarily two finiteness conditions on : (FO), which states that is finite, and (FC), the condition that each chain of distinct elements of is finite. (FO) is strictly stronger than (FC), but if , each of (FO) and (FC) is equivalent to the condition that is a Prüfer domain with finite prime spectrum. In general satisfies (FC) iff satisfies (FC) and all chains of subrings of containing have finite length. The corresponding statement for (FO) is also valid.