Defining the Squaring Function in $(\mathbb{Z}; 0, 1, +, -, |)$?

107 Views Asked by At

I'm trying to show that the map $x\mapsto x^2$ is 0-definable in the structure $(\mathbb{Z}; 0, 1, +, -, |)$ (group of integers with the divisibility relation). But I'm not sure how to proceed. Any helpful hints would be greatly appreciated.