Solution
The first major result was that of John von Neumann in 1933, for compact groups. The locally compact abelian group case was solved in 1934 by Lev Pontryagin. The final resolution, at least in this interpretation of what Hilbert meant, came with the work of Andrew Gleason, Deane Montgomery and Leo Zippin in the 1950s.
In 1953, Hidehiko Yamabe obtained the final answer to Hilbert’s Fifth Problem: a connected locally compact group G is a projective limit of a sequence of Lie groups, and if G "has no small subgroups" (a condition defined below), then G is a Lie group. However, the question is still debated since in the literature there have been other such claims, largely based on different interpretations of Hilbert's statement of the problem given by various researchers.
More generally, every locally compact, almost connected group is the projective limit of a Lie group. If we consider a general locally compact group G and the connected component of the identity G0, we have a group extension
As a totally disconnected group G/G0 has an open compact subgroup, and the pullback G′ of such an open compact subgroup is an open, almost connected subgroup of G. In this way, we have a smooth structure on G, since it is homeomorphic to G′ × G′ / G0, where G′ / G0 is a discrete set.
Read more about this topic: Hilbert's Fifth Problem
Famous quotes containing the word solution:
“Let us begin to understand the argument.
There is a solution to everything: Science.”
—Allen Tate (1899–1979)
“All the followers of science are fully persuaded that the processes of investigation, if only pushed far enough, will give one certain solution to each question to which they can be applied.... This great law is embodied in the conception of truth and reality. The opinion which is fated to be ultimately agreed to by all who investigate is what we mean by the truth, and the object represented in this opinion is the real.”
—Charles Sanders Peirce (1839–1914)
“The truth of the thoughts that are here set forth seems to me unassailable and definitive. I therefore believe myself to have found, on all essential points, the final solution of the problems. And if I am not mistaken in this belief, then the second thing in which the value of this work consists is that it shows how little is achieved when these problems are solved.”
—Ludwig Wittgenstein (1889–1951)