Uniform structure on topological groups #
extension of ℤ-bilinear maps to complete groups (useful for ring completions)
A uniform (additive) group is a group in which the addition and negation are uniformly continuous.
The right uniformity on a topological group.
Bourbaki GT III.6.5 Theorem I: ℤ-bilinear continuous maps from dense images into a complete Hausdorff group extend by continuity. Note: Bourbaki assumes that α and β are also complete Hausdorff, but this is not necessary.