Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

Dense subsets of maximally almost periodic groups

A (discrete) group is said to be maximally almost periodic if the points of are distinguished by homomorphisms into compact Hausdorff groups. A Hausdorff topology on a group is totally bounded if whenever there is such that . For purposes of this abstract, a family with a totally bounded topological group is a strongly extraresolvable family if (a)  \vert G\vert$">, (b) each is dense in , and (c) distinct satisfy ; a totally bounded topological group with such a family is a strongly extraresolvable topological group.

We give two theorems, the second generalizing the first.

Theorem 1. Every infinite totally bounded group contains a dense strongly extraresolvable subgroup.

Corollary. In its largest totally bounded group topology, every infinite Abelian group is strongly extraresolvable.

Theorem 2. Let be maximally almost periodic. Then there are a subgroup of and a family such that

(i) is dense in every totally bounded group topology on ;

(ii) the family is a strongly extraresolvable family for every totally bounded group topology on such that ; and

(iii) admits a totally bounded group topology as in (ii).

Remark. In certain cases, for example when is Abelian, one must in Theorem 2 choose . In certain other cases, for example when the largest totally bounded group topology on is compact, the choice is impossible.

     

A characterization of Möbius transformations

Let be an integer and let be a domain of . Let be an injective mapping which takes hyperspheres whose interior is contained in to hyperspheres in . Then is the restriction of a Möbius transformation.

     

Are covering (enveloping) morphisms minimal?

We prove that for certain classes of modules such that direct sums of -covers ( -envelopes) are -covers ( -envelopes), -covering ( -enveloping) homomorphisms are always right (left) minimal. As a particular case we see that over noetherian rings, essential monomorphisms are left minimal. The same type of results are given when direct products of -covers are -covers. Finally we prove that over commutative noetherian rings, any direct product of flat covers of modules of finite length is a flat cover.     

A classification of prime segments in simple artinian rings

Let be a simple artinian ring. A valuation ring of is a Bézout order of so that is simple artinian, a Goldie prime is a prime ideal of so that is Goldie, and a prime segment of is a pair of neighbouring Goldie primes of A prime segment is archimedean if is equal to it is simple if and it is exceptional if In this last case, is a prime ideal of so that is not Goldie. Using the group of divisorial ideals, these results are applied to classify rank one valuation rings according to the structure of their ideal lattices. The exceptional case splits further into infinitely many cases depending on the minimal so that is not divisorial for

     

Projective boundedness and convolution of Fréchet measures

Fréchet measures of order ( -measures) are the measure-theoretic analogues of bounded -linear forms on products of spaces. In an LCA setting, convolution of -measures is always defined, while there exist -measures whose convolution cannot be defined. In a three-dimensional setting, we demonstrate the existence of an -measure which cannot be convolved with arbitrary -measures.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

Linear functionals on the Cuntz algebra

For a pure state on , which is an extension of a pure state on with the property that if is a corresponding representation, then , induces a unital shift of of the Powers index . We describe states on by using sequences of unit vectors in . We study the linear functionals on the Cuntz algebra whose restrictions are the product pure state on . We find conditions on the sequence of unit vectors for which the corresponding linear functionals on become states under these conditions.

     

Pseudo-differential operators and maximal regularity results for non-autonomous parabolic equations

In this paper, we show that a pseudo-differential operator associated to a symbol ( being a Hilbert space) which admits a holomorphic extension to a suitable sector of acts as a bounded operator on . By showing that maximal -regularity for the non-autonomous parabolic equation is independent of , we obtain as a consequence a maximal -regularity result for solutions of the above equation.

     

A continuous decomposition of the Menger curve into pseudo-arcs

It is proved that the Menger universal curve admits a continuous decomposition into pseudo-arcs with the quotient space homeomorphic to .

     

Integral representation of linear functionals on spaces of unbounded functions

Let be a vector lattice of real functions on a set with , and let be a linear positive functional on . Conditions are given which imply the representation , , for some bounded charge . As an application, for any bounded charge on a field , the dual of is shown to be isometrically isomorphic to a suitable space of bounded charges on . In addition, it is proved that, under one more assumption on , is the integral with respect to a -additive bounded charge.

     

The globally irreducible representations of symmetric groups

Let be an algebraic number field and be the ring of integers of . Let be a finite group and be a finitely generated torsion free -module. We say that is a globally irreducible -module if, for every maximal ideal of , the -module is irreducible, where stands for the residue field .

Answering a question of Pham Huu Tiep, we prove that the symmetric group does not have non-trivial globally irreducible modules. More precisely we establish that if is a globally irreducible -module, then is an -module of rank with the trivial or sign action of .

     

Composition operators on Dirichlet-type spaces

The Dirichlet-type space ) is the Banach space of functions analytic in the unit disc with derivatives belonging to the Bergman space . Let be an analytic self-map of the disc and define for . The operator is bounded (respectively, compact) if and only if a related measure is Carleson (respectively, compact Carleson). If is bounded (or compact) on , then the same behavior holds on ) and on the weighted Dirichlet space . Compactness on implies that is compact on the Hardy spaces and the angular derivative exists nowhere on the unit circle. Conditions are given which, together with the angular derivative condition, imply compactness on the space . Inner functions which induce bounded composition operators on are discussed briefly.

     

Projections in operator ranges

If is a Hilbert space, is a positive bounded linear operator on and is a closed subspace of , the relative position between and establishes a notion of compatibility. We show that the compatibility of is equivalent to the existence of a convenient orthogonal projection in the operator range with its canonical Hilbertian structure.

     

Fixed point results for generalized contractions in gauge spaces and applications

In this paper, we present fixed point results for generalized contractions defined on a complete gauge space . Also, we consider families of generalized contractions where is closed and can have empty interior. We give conditions under which the existence of a fixed point for some imply the existence of a fixed point for every . Finally, we apply those results to infinite systems of first order nonlinear differential equations and to integral equations on the real line.

     

Self-commutators of automorphic composition operators on the Dirichlet space

Let be a conformal automorphism on the unit disk and be the composition operator on the Dirichlet space induced by . In this article we completely determine the point spectrum, spectrum, essential spectrum and essential norm of the operators and self-commutators of , which expose that the spectrum and point spectrum coincide. We also find the eigenfunctions of the operators.

     

The Dedekind-Mertens lemma and the contents of polynomials

Let be a commutative ring, let be an indeterminate, and let . There has been much recent work concerned with determining the Dedekind-Mertens number =min , especially on determining when = . In this note we introduce a universal Dedekind-Mertens number , which takes into account the fact that deg() + for any ring containing as a subring, and show that behaves more predictably than .

     

The homotopy type of hyperbolic monopole orbit spaces

We prove that the space of equivalence classes of -invariant connections on some -principle bundles over is weakly homotopy equivalent to a component of the second loop space .

     

On an analogue of Selberg's eigenvalue conjecture for

Let be the homogeneous space associated to the group
. Let where and consider the first nontrivial eigenvalue of the Laplacian on . Using geometric considerations, we prove the inequality . Since the continuous spectrum is represented by the band , our bound on can be viewed as an analogue of Selberg's eigenvalue conjecture for quotients of the hyperbolic half space.

     

The Postnikov Tower and the Steenrod problem

The Steenrod problem asks: given a -module, when does there exist a Moore space realizing the module? By using the equivariant Postnikov Tower, it is shown that a -module is -realizable if and only if it is -realizable for all -Sylow subgroups , for all primes .