New metrics on free groups

We define some new metrics on free groups and obtain a class of Polish groups by taking appropriate metric completions so that every Polish group is the quotient group of some one in the class. Moreover, we show that the resulting groups can be taken to be Π 3 0 Polishable subgroups of the infinite permutation group S ∞ .