integers by the canonical injectionwhere It is canonical since it satisfies the universal property of profinite groups that, given any profinite group and any group homomorphism , there exists a unique continuous group homomorphism with .

Using the factorial number system

Every integer has a unique representation in the factorial number system