Which semifields are exact? (Q2408820)

Let \((S,+,\cdot)\) be an additively commutative semiring with absorbing zero \(0\) and identity \(1\not=0\). Then \(S\) is called left exact if every \(S\)-linear mapping \(\varphi : L \to S\) from any left subsemimodule \(L\subseteq S^n\) into \(S\) can be extended to some \(S\)-linear mapping from \(S^n\) to \(S\). If \(S\) is left as well as right exact it is called exact. A semifield in the sense of the paper is a semiring \((S,+,\cdot)\) as above such that \((S\setminus\{0\},\cdot)\) is a group. It is shown that such a semifield is (left) exact if and only if \((S,+,\cdot)\) is a division ring, i.e. \((S,+)\) is an abelian group, or \(1+1=1\) holds.