En la construcción de los números enteros en la Wikipedia, los enteros se construyen como las diferencias de números naturales, con positivos, cero y negativos de caer de forma natural. Además, en el artículo de los números negativos en la Wikipedia hace referencia a la Grothendieck de la construcción, lo que crea un grupo de una communative monoid.
Me preguntaba ¿cuál es la analougous pre-cursor de la $p$-ádico enteros?