  We develop the algebraic polynomial theory for "supertropical algebra," as
initiated earlier over the real numbers by the first author. The main
innovation there was the introduction of "ghost elements," which also play the
key role in our structure theory. Here, we work somewhat more generally over an
ordered monoid, and develop a theory which contains the analogs of several
basic theorems of classical commutative algebra. This structure enables one to
develop a Zariski-type algebraic geometric approach to tropical geometry,
viewing tropical varieties as sets of roots of (supertropical) polynomials,
leading to an analog of the Hilbert Nullstellensatz. Particular attention is
paid to factorization of polynomials. In one indeterminate, any polynomial can
be factored into linear and quadratic factors, and unique factorization holds
in a certain sense. On the other hand, the failure of unique factorization in
several indeterminates is explained by geometric phenomena described in the
paper.
