Hilbert’s fifth problem and applications

Hilbert’s fifth problem asks whether every locally euclidean group G can be equipped with a real analytic structure (compatible with the topology) so that the group operations become real analytic