Balanced group


In group theory, a balanced group is a topological group whose left and right uniform structures coincide.

Definition

A topological group is said to be balanced if it satisfies the following equivalent conditions.
The completion of a balanced group with respect to its uniform structure admits a unique topological group structure extending that of. This generalizes the case of abelian groups and is a special case of the two-sided completion of an arbitrary topological group, which is with respect to the coarsest uniform structure finer than both the left and the right uniform structures.
For a unimodular group , the following two conditions are equivalent.
Trivially every Abelian topological group is balanced. Every compact topological group is balanced, which follows from the Heine–Cantor theorem for uniform spaces. Neither of these two sufficient conditions is necessary, for there are non-Abelian compact groups and there are non-compact abelian groups.