Soit un nombre premier. Pour on définit comme étant l’exposant de dans la décomposition de en facteurs premiers. Pour , (), on définit .
1
Montrer que est indépendant du choix de la représentation .
2
Montrer que , .
3
Montrer que pour , puis pour .
4
Montrer que sur , définie par : est une distance ultramétrique.