1: \begin{abstract}

2: 		We introduce and study an abstract class of semirings, which we call

3: 		exact semirings, defined by a

4: 		Hahn-Banach-type separation property on modules. Our motivation comes

5: 		from the tropical semiring, and in particular a desire to understand the often

6: 		surprising extent to which it behaves like a field. The definition of

7: 		exactness abstracts an elementary property common to both fields and the tropical

8: 		semiring, which we believe is fundamental to explaining this similarity.

9: 		The class of exact semirings turns out to include many other important examples of both

10: 		rings (proper quotients of principal ideal domains, matrix rings and finite

11: 		group rings over these and over fields), and semirings (the Boolean

12: 		semiring, generalisations of the tropical semiring, matrix semirings and

13: 		group semirings over these).

14: 	\end{abstract}

15: