Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Local power series quotients of commutative Banach and Fréchet algebras

Author: Marc P. Thomas
Journal: Trans. Amer. Math. Soc. 355 (2003), 2139-2160
MSC (2000): Primary 46H05
Published electronically: January 14, 2003
MathSciNet review: 1953541
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We consider the relationship between derivations and local power series quotients for a locally multiplicatively convex Fréchet algebra. In §2 we derive necessary conditions for a commutative Fréchet algebra to have a local power series quotient. Our main result here is Proposition 2.6, which shows that if the generating element has finite closed descent, the algebra cannot be simply a radical algebra with identity adjoined--it must have nontrivial representation theory; if the generating element does not have finite closed descent, then the algebra cannot be a Banach algebra, and the generating element must be locally nilpotent (but non-nilpotent) in an associated quotient algebra. In §3 we consider a fundamental situation which leads to local power series quotients. Let $ D $ be a derivation on a commutative radical Fréchet algebra ${\mathcal{R}}^{\sharp }$ with identity adjoined. We show in Theorem 3.10 that if the discontinuity of $ D $ is not concentrated in the (Jacobson) radical, then ${\mathcal{R}}^{\sharp }$ has a local power series quotient. The question of whether such a derivation can have a separating ideal so large it actually contains the identity element has been recently settled in the affirmative by C. J. Read.

References [Enhancements On Off] (What's this?)

  • [Allan1] Allan, G. R., Embedding the algebra of all formal power series in a Banach algebra, Proc. London Math. Soc., (3) 25 (1972), 329-340. MR 46:4201
  • [Allan2] Allan, G. R., Fréchet algebras and formal power series, Studia Math., 119 (3) (1996) 271-288. MR 97f:46079
  • [Arens] Arens, R. F., A generalization of normed rings, Pacific J. Math., 2 (1952), 455-471. MR 14:482b
  • [Bonsall-Duncan] Bonsall, F. F., and Duncan, J. Complete Normed Algebras, Springer-Verlag, 1973. MR 54:11013
  • [Dales-McClure] Dales, H. G. and McClure, J. P., Higher point derivations on commutative Banach algebras, II, J. London Math. Soc., (2), 16 (1977) 313-325. MR 57:13498b
  • [Esterle] Esterle, J., Mittag-Leffler methods in the theory of Banach algebras and a new approach to Michael's problem, in Contemp. Math. 32, Amer. Math. Soc., 1984, 107-129. MR 86a:46056
  • [Johnson] Johnson, B. E., Continuity of derivations on commutative algebras, Amer. J. Math., 91 (1969) 1-10. MR 39:7433
  • [Johnson-Sinclair] Johnson, B. E. and Sinclair, A. M., Continuity of derivations and a problem of Kaplansky, Amer. J. Math., 90 (1968) 1067-1073. MR 39:776
  • [Loy] Loy, R. J., Multilinear mappings and Banach algebras. J. London Math. Soc., (2) 14 (1976) 423-429. MR 56:12890
  • [Michael] Michael, E. A., Locally multiplicatively-convex topological algebras, Mem. Amer. Math. Soc. 11, (1952; third printing 1971). MR 14:482a
  • [Read1] Read, C. J., All primes have closed range, J. London Math. Soc., 33 (2001), 341-346. MR 2002e:46050
  • [Read2] Read, C. J., Derivations on Fréchet algebras with large separating subspaces, preprint.
  • [Rickart] Rickart, C. E., General Theory of Banach Algebras, The University Series in Higher Mathematics, van Nostrand, Princeton, NJ, 1960. MR 22:5903
  • [Sinclair] Sinclair, A. M., Automatic continuity of linear operators, London Math. Soc. Lecture Notes, 21, Cambridge. Univ. Press, Cambridge, 1976. MR 58:7011
  • [Thomas1] Thomas, M. P., Automatic continuity for linear functions intertwining continuous linear operators on Fréchet spaces, Canad. J. Math. 30, no. 3, (1978) 518-530. MR 58:2398
  • [Thomas2] Thomas, M. P., The image of a derivation is contained in the radical, Annals of Math., 128 (1988) 435-460. MR 90d:46075
  • [Thomas3] Thomas, M. P., Primitive ideals and derivations on noncommutative Banach algebras, Pacific J. Math., 159, no. 1 (1993) 139-152. MR 94e:46087
  • [Thomas4] Thomas, M. P., Elements in the radical of a Banach algebra obeying the unbounded Kleinecke-Shirokov conjecture, E. Albrecht and M. Mathieu, Banach Algebras '97 (Blaubeuren), de Gruyter, Berlin, 1998, 475-487. MR 99j:46055
  • [Villena] Villena, A. R., Derivations on Jordan-Banach algebras, Studia Math., 118 (3) (1996) 205-229. MR 97c:46059
  • [Zariski] Zariski, Oscar, Studies in Equisingularity I. Equivalent singularities of plane algebroid curves, Amer. J. Math., 87 (1965) 507-536. MR 31:2243

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 46H05

Retrieve articles in all journals with MSC (2000): 46H05

Additional Information

Marc P. Thomas
Affiliation: Department of Mathematics, California State University at Bakersfield, Bakersfield, California 93311

Received by editor(s): August 27, 2001
Received by editor(s) in revised form: October 18, 2002
Published electronically: January 14, 2003
Additional Notes: The author thanks Pomona College for support as a Visiting Scholar during the summer of the Banach Algebras 1999 conference and the Centre for Mathematics and its Applications for support during the Banach Spaces, Operators, and Algebras Symposium in January 2001 at the Australian National University.
Article copyright: © Copyright 2003 American Mathematical Society

American Mathematical Society