Discrete spectra of -algebras and complemented submodules in Hilbert -modules

Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.

     

Modular group algebras of -separable -groups

Under the assumptions of MA and CH, it is proved that if is a field of prime characteristic and is an -separable abelian -group of cardinality , then an isomorphism of the group algebras and implies an isomorphism of and .

     

Number of Sylow subgroups in -solvable groups

If is a finite group and is a prime number, let be the number of Sylow -subgroups of . If is a subgroup of a -solvable group , we prove that divides .

     

The Hochschild cohomology ring of a selfinjective algebra of finite representation type

This paper describes the Hochschild cohomology ring of a selfinjective algebra of finite representation type over an algebraically closed field , showing that the quotient of the Hochschild cohomology ring by the ideal generated by all homogeneous nilpotent elements is isomorphic to either or , and is thus finitely generated as an algebra. We also consider more generally the property of a finite dimensional algebra being selfinjective, and as a consequence show that if all simple -modules are -periodic, then is selfinjective.

     

Farrell sets for harmonic functions

Let denote a relatively closed subset of the unit ball of . The purpose of this paper is to characterize those sets which have the following property: any harmonic function on which satisfies on (where 0$">) can be locally uniformly approximated on by a sequence of harmonic polynomials which satisfy the same inequality on . This answers a question posed by Stray, who had earlier solved the corresponding problem for holomorphic functions on the unit disc.

     

On the best possible character of the norm in some a priori estimates for non-divergence form equations in Carnot groups

Let be a group of Heisenberg type with homogeneous dimension . For every we construct a non-divergence form operator and a non-trivial solution to the Dirichlet problem: in , on . This non-uniqueness result shows the impossibility of controlling the maximum of with an norm of when . Another consequence is the impossiblity of an Alexandrov-Bakelman type estimate such as

where is the dimension of the horizontal layer of the Lie algebra and is the symmetrized horizontal Hessian of .

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.

     

-inner automorphisms of finite groups

We refer to an automorphism of a group as -inner if given any subset of with cardinality less than , there exists an inner automorphism of agreeing with on . Hence is 2-inner if it sends every element of to a conjugate. New examples are given of outer -inner automorphisms of finite groups for all natural numbers .

     

The Banach algebra induced by a double centralizer

Given a Banach algebra , R. Larsen defined, in his book ``An introduction to the theory of multipliers", a Banach algebra by means of a multiplier on , and essentially used it in the case of a commutative semisimple Banach algebra to prove a result on multiplications which preserve regular maximal ideals. Here, we consider the analogue Banach algebra induced by a bounded double centralizer of a Banach algebra . Then, our main concern is devoted to the relationships between , , and the algebras of bounded double centralizers and of and , respectively. By removing the assumption of semisimplicity, we generalize some results proven by Larsen.

     

A property of weakly Krull domains

We show that a weakly Krull domain satisfies : for every pair there is an such that is -invertible. For Noetherian, satisfies if and only if every grade-one prime ideal of is of height one. We also show that a modification of can be used to characterize Noetherian domains that are one-dimensional.

     

The critical point equation on a three-dimensional compact manifold

On a compact -dimensional manifold , a critical point of the total scalar curvature functional, restricted to the space of metrics with constant scalar curvature of volume 1, satisfies the critical point equation (CPE), given by . It has been conjectured that a solution of the CPE is Einstein. Restricting our considerations to and assuming that there exist at least two distinct solutions of the CPE throughout the paper, we first prove that, if the second homology of vanishes, then is diffeomorphic to (Theorem 2). Secondly, we prove that the same conclusion holds if we have a lower Ricci curvature bound or the connectedness of a certain surface of (Theorem 3). Finally, we also prove that, if two connected surfaces of are disjoint, is isometric to a standard -sphere (Theorem 4).

     

Cyclicity conditions for division algebras of prime degree

Let be a division algebra of prime degree . A set of criteria is given for cyclicity of in terms of subgroups of the multiplicative group of . It is essentially shown that is cyclic if and only if contains a nonabelian metabelian subgroup.

     

The class equation and counting in factorizable monoids

For orders and conjugacy in finite group theory, Lagrange's Theorem and the class equation have universal application. Here, the class equation (extended to monoids via standard group action by conjugation) is applied to factorizable submonoids of the symmetric inverse monoid. In particular, if is a monoid induced by a subgroup of the symmetric group , then the center (all elements of that commute with every element of ) is if and only if is transitive. In the case where is both transitive and of order either or (for prime), formulas are provided for the order of as well as the number and sizes of its conjugacy classes.

     

Approximation of measurable mappings by sequences of continuous functions

Let be a completely regular Hausdorff space, a positive, finite Baire measure on , and a separable metrizable locally convex space. Suppose is a measurable mapping. Then there exists a sequence of functions in which converges to a.e. . If the function is assumed to be weakly continuous and the measure is assumed to be -smooth, then a separability condition is not needed.

     

Une inégalité du type Payne-Polya-Weinberger pour le laplacien brut

Let us consider a riemannian vector bundle with compact basis and the rough laplacian associated to a connection on . We prove that the eigenvalues of are bounded above by a function of the first eigenvalue and of the geometry of , but independently of the choice of the connection .

     

Une propriété de continuité du temps local

Let denote the local time (at 0) associated with a martingale . The aim of this note is to prove that the mapping is continuous from into weak-.

     

Small covers of the dodecahedron and the -cell

Let be the right-angled hyperbolic dodecahedron or -cell, and let be the group generated by reflections across codimension-one faces of . We prove that if is a torsion free subgroup of minimal index, then the corresponding hyperbolic manifold is determined up to homeomorphism by modulo symmetries of .

     

A characterization of compactly generated metric groups

Recall that a topological group is: (a) -compact if where each is compact, and (b) compactly generated if is algebraically generated by some compact subset of . Compactly generated groups are -compact, but the converse is not true: every countable non-finitely generated discrete group (for example, the group of rational numbers or the free (Abelian) group with a countable infinite set of generators) is a counterexample. We prove that a metric group is compactly generated if and only if is -compact and for every open subgroup of there exists a finite set such that algebraically generates . As a corollary, we obtain that a -compact metric group is compactly generated provided that one of the following conditions holds: (i) has no proper open subgroups, (ii) is dense in some connected group (in particular, if is connected itself), (iii) is totally bounded (= subgroup of a compact group). Our second major result states that a countable metric group is compactly generated if and only if it can be generated by a sequence converging to its identity element (eventually constant sequences are not excluded here). Therefore, a countable metric group can be generated by a (possibly eventually constant) sequence converging to its identity element in each of the cases (i), (ii) and (iii) above. Examples demonstrating that various conditions cannot be omitted or relaxed are constructed. In particular, we exhibit a countable totally bounded group which is not compactly generated.

     

Isomorphisms of subalgebras of nest algebras

Let be a subalgebra of a nest algebra . If contains all rank one operators in , then is said to be large; if the set of rank one operators in coincides with that in the Jacobson radical of , is said to be radical-type. In this paper, algebraic isomorphisms of large subalgebras and of radical-type subalgebras are characterized. Let be a nest of subspaces of a Hilbert space and be a subalgebra of the nest algebra associated to (). Let be an algebraic isomorphism from onto . It is proved that is spatial if one of the following occurs: (1) () is large and contains a masa; (2) () is large and closed; (3) () is a closed radical-type subalgebra and ( is quasi-continuous (i.e. the trivial elements of are limit points); (4) () is large and one of and is not quasi-continuous.