e/Locally compact group

Information
has gloss	eng: In mathematics, a locally compact group is a topological group G which is locally compact as a topological space. Locally compact groups are important because they have a natural measure called the Haar measure. This allows one to define integrals of functions on G.
lexicalization	eng: locally compact group
instance of	e/Topological group

Meaning
French
has gloss	fra: Un groupe localement compact est, en mathématiques, un ensemble muni dune structure algébrique (celle de groupe) et dune topologie compatible avec cette structure, pour laquelle il est localement compact. Ces propriétés permettent de définir une mesure, dite mesure de Haar, et donc de calculer des intégrales et des moyennes. Ces propriétés à la croisée de l'algèbre générale, de la topologie et de la théorie de la mesure sont particulièrement intéressantes, notamment pour leurs applications en physique.
lexicalization	fra: Groupe localement compact