Prime-sign automorphism of the multiplicative integers
ID: prime-sign-automorphism-of-the-multiplicative-integers
For a fixed prime , put and for , where is its P-adic valuation. Additivity of the valuation on products proves . Changing sign does not change the valuation, so is the identity. Thus this is a structure automorphism of . At it fixes one and sends two to minus two, so it does not preserve the addition graph or the nonnegative integers. Automorphism invariance of parameter-free definability therefore excludes both from definability in this multiplicative language.
New to topics? Read the docs here!