In this question it is shown that being able to compute reciprocals (together with sums and differences) is enough to do do multiplication in a field of characteristic $\ne 2$. That made me wonder:
Can we formulate a set of field axioms that are based on the reciprocal function rather than a multiplication operation? Something like
A field is an abelian group $G$ (written additively) together with a designated element $1\ne 0$ and an involution $x\mapsto\frac{1}{x}$ of $G\setminus\{0\}$ such that
- $\frac 11=1$
- ???
Obviously we could derive a sufficient set of axioms by translating the usual field axioms using the algorithm from the earlier question, but that would end up being very ugly (not least because there are several cases that one must handle specially in order not to divide by zero). Is there a nicer way to characterize involutions that arise as the reciprocal of some field?
Partial answers (for example, ones that work only for characteristic 0) would also be interesting.