Differentiable semigroups are Lie groups

We present here a modern, detailed proof to the following theorem which was introduced by Garrett Birkhoff [1] in 1938. If S is a local semigroup with neighborhood of 1 homeomorphic to a Banach space and with multiplication strongly differentiable at 1, then S is a local Lie Group. Although this the...

Full description

Saved in:
Bibliographic Details
Main Authors: John P. Holmes, Mitch Anderson
Format: Article
Language:English
Published: Wiley 1995-01-01
Series:International Journal of Mathematics and Mathematical Sciences
Subjects:
Online Access:http://dx.doi.org/10.1155/S0161171295000652
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832563144013119488
author John P. Holmes
Mitch Anderson
author_facet John P. Holmes
Mitch Anderson
author_sort John P. Holmes
collection DOAJ
description We present here a modern, detailed proof to the following theorem which was introduced by Garrett Birkhoff [1] in 1938. If S is a local semigroup with neighborhood of 1 homeomorphic to a Banach space and with multiplication strongly differentiable at 1, then S is a local Lie Group. Although this theorem is more than 50 years old and remains the strongest result relating to Hilbert's fifth problem in the infinite dimensional setting, it is frequently overlooked in favor of weaker results. Therefore, it is the goal of the authors here to clarify its importance and to demonstrate a proofwhich is more accessible to contemporary readers than the one offered by Birkhoff.
format Article
id doaj-art-431ee3a9321c4cfbb4bc9c1e10b43ab3
institution Kabale University
issn 0161-1712
1687-0425
language English
publishDate 1995-01-01
publisher Wiley
record_format Article
series International Journal of Mathematics and Mathematical Sciences
spelling doaj-art-431ee3a9321c4cfbb4bc9c1e10b43ab32025-02-03T01:20:52ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04251995-01-0118350953010.1155/S0161171295000652Differentiable semigroups are Lie groupsJohn P. Holmes0Mitch Anderson1Department of Mathematics (FAT), Auburn University, 36849-5310, Auburn, USADepartment of Mathematics, University of Hawaii at Hilo, Hilo 96720-4091, HI, USAWe present here a modern, detailed proof to the following theorem which was introduced by Garrett Birkhoff [1] in 1938. If S is a local semigroup with neighborhood of 1 homeomorphic to a Banach space and with multiplication strongly differentiable at 1, then S is a local Lie Group. Although this theorem is more than 50 years old and remains the strongest result relating to Hilbert's fifth problem in the infinite dimensional setting, it is frequently overlooked in favor of weaker results. Therefore, it is the goal of the authors here to clarify its importance and to demonstrate a proofwhich is more accessible to contemporary readers than the one offered by Birkhoff.http://dx.doi.org/10.1155/S0161171295000652Lie groupsLie algebrasstrong differentiabilitycanonical parametersCampbell-Baker-Hausdorf formula.
spellingShingle John P. Holmes
Mitch Anderson
Differentiable semigroups are Lie groups
International Journal of Mathematics and Mathematical Sciences
Lie groups
Lie algebras
strong differentiability
canonical parameters
Campbell-Baker-Hausdorf formula.
title Differentiable semigroups are Lie groups
title_full Differentiable semigroups are Lie groups
title_fullStr Differentiable semigroups are Lie groups
title_full_unstemmed Differentiable semigroups are Lie groups
title_short Differentiable semigroups are Lie groups
title_sort differentiable semigroups are lie groups
topic Lie groups
Lie algebras
strong differentiability
canonical parameters
Campbell-Baker-Hausdorf formula.
url http://dx.doi.org/10.1155/S0161171295000652
work_keys_str_mv AT johnpholmes differentiablesemigroupsareliegroups
AT mitchanderson differentiablesemigroupsareliegroups