Derivations into duals of ideals of Banach algebras

We introduce two notions of amenability for a Banach algebra A. LetI be a closed two-sided ideal inA, we sayA is I-weakly amenable if the first cohomology group ofA with coefficients in the dual space I* is zero; i.e.,H ¹(A, I*) = {0}, and,A is ideally amenable ifA isI-weakly amenable for every closed two-sided idealI inA. We relate these concepts to weak amenability of Banach algebras. We also show that ideal amenability is different from amenability and weak amenability. We study theI-weak amenability of a Banach algebraA for some special closed two-sided idealI.     

Prime ideals in Hopf galois extensions

For a finite-dimensional Hopf algebraH, we study the prime ideals in a faithfully flatH-Hopf-Galois extensionR ⊂A. One application is to quotients of Hopf algebras which arise in the theory of quantum groups at a root of 1. For the Krull relations betweenR andA, we obtain our best results whenH is semisolvable; these results generalize earlier known results for crossed products for a group action and for algebras graded by a finite group. We also show that ifH is semisimple and semisolvable, thenA is semiprime providedR isH-semiprime.     

Amalgams of free inverse semigroups

We study inverse semigroup amalgams of the formS * _U T whereS andT are free inverse semigroups andU is an arbitrary finitely generated inverse subsemigroup ofS andT. We make use of recent work of Bennett to show that the word problem is decidable for any such amalgam. This is in contrast to the general situation for semigroup amalgams, where recent work of Birget, Margolis and Meakin shows that the word problem for a semigroup amalgamS * _U T is in general undecidable, even ifS andT have decidable word problem,U is a free semigroup, and the membership problem forU inS andT is decidable. We also obtain a number of results concerning the structure of such amalgams. We obtain conditions for theD-classes of such an amalgam to be finite and we show that the amalgam is combinatorial in such a case. For example every one-relator amalgam of this type has finiteD-classes and is combinatorial. We also obtain information concerning when such an amalgam isE-unitary: for example every one relator amalgam of the formInv<A ∪B :u =v > whereA andB are disjoint andu (resp.v) is a cyclically reduced word overA ∪A ⁻¹ (resp.B ∪B ⁻¹) isE-unitary. Research of all authors supported by a grant from the Italian CNR. The first and third authors’ research was partially supported by MURST. The second author’s research was also partially supported by NSF and the Center for Communication and Information Science of the University of Nebraska at Lincoln.     

Ideal amenability of Banach algebras on locally compact groups

In this paper we study the ideal amenability of Banach algebras. LetA be a Banach algebra and letI be a closed two-sided ideal inA, A isI-weakly amenable ifH ¹(A,I ^*) = {0}. Further,A is ideally amenable ifA isI-weakly amenable for every closed two-sided idealI inA. We know that a continuous homomorphic image of an amenable Banach algebra is again amenable. We show that for ideal amenability the homomorphism property for suitable direct summands is true similar to weak amenability and we apply this result for ideal amenability of Banach algebras on locally compact groups.     

Univalent mappings associated with the Roper-Suffridge extension operator

The Roper-Suffridge extension operator provides a way of extending a (locally) univalent functionfεH(U) to a (locally) biholomorphic mappingF∈H(B_n). In this paper, we give a simplified proof of the Roper-Suffridge theorem: iff is convex, then so isF. We also show that iff∈S ^*, theF is starlike and that iff is a Bloch function inU, thenF is a Bloch mapping onB _n. Finally, we investigate some open problems. Partially supported by the Natural Sciences and Engineering Research Council of Canada under grant A9221.     

Graded rings and essential ideals

LetG be a group andA aG-graded ring. A (graded) idealI ofA is (graded) essential ifI⊃J≠0 wheneverJ is a nonzero (graded) ideal ofA. In this paper we study the relationship between graded essential ideals ofA, essential ideals of the identity componentA _e and essential ideals of the smash productA#G ^*. We apply our results to prime essential rings, irredundant subdirect sums and essentially nilpotent rings.     

Nilpotent n-Lie Algebras

We find examples of nilpotent n-Lie algebras and prove n-Lie analogs of classical group theory and Lie algebra results. As an example we show that a nilpotent ideal I of class c in a n-Lie algebra A with A/I ² nilpotent of class d is nilpotent and find a bound on the class of A. We also find that some classical group theory and Lie algebra results do not hold in n-Lie algebras. In particular, non-nilpotent n-Lie algebras can admit a regular automorphism of order p, and the sum of nilpotent ideals need not be nilpotent.     

Simple algebras of Weyl type

Over a fieldF of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector spaceA[D] =A⊗F[D] from any pair of a commutative associative algebra,A with an identity element and the polynomial algebraF[D] of a commutative derivation subalgebraD ofA We prove thatA[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only ifA isD-simple andA[D] acts faithfully onA. Thus we obtain a lot of simple algebras. Su, Y., Zhao, K., Second cohornology group of generalized Witt type Lie algebras and certain representations, submitted to publication     

On the dynamics of composite entire functions

Letf andg be nonlinear entire functions. The relations between the dynamics off⊗g andg⊗f are discussed. Denote byℐ (·) andF(·) the Julia and Fatou sets. It is proved that ifz∈C, thenz∈ℐ8464 (f⊗g) if and only ifg(z)∈ℐ8464 (g⊗f); ifU is a component ofF(f○g) andV is the component ofF(g○g) that containsg(U), thenU is wandering if and only ifV is wandering; ifU is periodic, then so isV and moreover,V is of the same type according to the classification of periodic components asU. These results are used to show that certain new classes of entire functions do not have wandering domains. The second author was supported by Max-Planck-Gessellschaft ZFDW, and by Tian Yuan Foundation, NSFC.     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

Semigroups and resolvents of bounded variation,imaginary powers andH ∞ functional calculus

Let −A be a linear, injective operator, on a Banach spaceX. We show that ∃ anH ^∞ functional calculus forA if and only if −A generates a bouned strongly continuous holomorphic semigroup of uniform weak bounded variation, if and only ifA(ζ+A) ⁻¹ is of uniform weak bounded variation. This provides a sufficient condition for the imaginary powers ofA, {A^−is} sεR, to extend to a strongly continuous group of bounded operators; we also give similar necessary conditions.     

Derivations on Lie ideals in semiprime rings

We prove that ifR is a semiprime 2-torsion free ring with a derivationd andU a Lie ideal ofR such thatd ² (U)=0, thend(U)?Z(R), the center ofR.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.     

Irreducible actions and faithful actions of hopf algebras

LetH be a Hopf algebra acting on an algebraA. We will examine the relationship betweenA, the ring of invariantsA ^H, and the smash productA # H. We begin by studying the situation whereA is an irreducibleA # H module and, as an application of our first main theorem, show that ifD is a division ring then [D : D ^H]≦dimH. We next show that prime rings with central rings of invariants satisfy a polynomial identity under the action of certain Hopf algebras. Finally, we show that the primeness ofA # H is strongly related to the faithfulness of the left and right actions ofA # H onA. The first author was supported by the Faculty Research and Development Fund of the College of Liberal Arts and Sciences and the University Research Council at DePaul University and NSF Grant No. 8521704. He also wishes to thank Ben Gurion University for its hospitality, where much of this work was done. The second and third authors were supported by the Fund for Basic Research administered by the Israel Academy of Sciences and Humanities. Part of this author’s contribution is included in her Ph.D. thesis at Ben Gurion University under the supervision of the second author.     

The automorphism group of the graph of anR class

IfS is anX generated semigroup andm∈S, then one can represent theR class ofm by a labeled digraph, called theR graph ofm. We show that the Schützenberger group of theH class ofm embeds in the automorphism group of theR graph ofm, and that the embedding is an isomorphism ifm is a regular element.     

Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.     

Invariants for group algebras of Abelian groups

LetF be a field of characteristicp>0 and letG be an arbitrary abelian group written multiplicatively withp-basis subgroup denoted byB. The first main result of the present paper is thatB is an isomorphism invariant of theF-group algebraFG. In particular, thep-local algebraically compact groupG can be retrieved fromFG. Moreover, for the lower basis subgroupB ₁ of thep-componentG _p it is shown thatG _p/B_l is determined byFG. Besides, ifH is (p-)high inG, thenG _p/H_p andH ^{p n}[p] for ℕ₀ are structure invariants forFG, andH[p] as a valued vector space is a structural invariant forN ₀ G, whereN _p is the simple field ofp-elements. Next, presume thatG isp-mixed with maximal divisible subgroupD. ThenD andF(G/D) are functional invariants forFG. The final major result is that the relative Ulm-Kaplansky-Mackeyp-invariants ofG with respect to the subgroupC are isomorphic invariants of the pair (FG, FC) ofF-algebras. These facts generalize and extend analogous in this aspect results due to May (1969), Berman-Mollov (1969) and Beers-Richman-Walker (1983). As a finish, some other invariants for commutative group algebras are obtained.     

A class of non-nilpotent 2-solvable n-Lie algebras

This article concerns a class of finite-dimensional minimal non-nilpotent 2-solvable n-Lie algebras. It is shown that if L is a finite-dimensional minimal non-nilpotent 2-solvable n-Lie algebra, then L can be decomposed into a semi-direct of an ideal A and an (n ? 1)-dimensional subalgebra H ₀ of L. Furthermore, H ₀ acts irreducibly on A/A ¹, and H ₀ + A ¹ is a self-normalizing maximal subalgebra of L with the core A ¹, the derived algebra of A.     

Isometries of JB-algebras

A bijective linear mapping between two JB-algebrasA andB is an isometry if and only if it commutes with the Jordan triple products ofA andB. Other algebraic characterizations of isometries between JB-algebras are given. Derivations on a JB-algebraA are those bounded linear operators onA with zero numerical range. For JB-algebras of selfadjoint operators we have: IfH andK are left Hilbert spaces of dimension ≥3 over the same fieldF (the real, complex, or quaternion numbers), then every surjective real linear isometryf fromS(H) ontoS(K) is of the formf(x)=UoxoU ⁻¹ forx inS(H), whereτ is a real-linear automorphism ofF andU is a real linear isometry fromH ontoK withU(λh)=τ(λ)U(h) for λ inF andh inH. Supported by Acción Integrada Hispano-Alemana HA 94 066 B     

KK-Theories for topological algebras

We propose a unified construction of generalizedKK-functors on various categories of topological algebras ranging between the two extreme cases: the categories of discrete algebras and the category ofC ^*-algebras. Usual functorial properties of these functors are derived.Supported in part by an NSF grant.