# Tropical semiring

In idempotent analysis, the **tropical semiring** is a semiring of extended real numbers with the operations of minimum (or maximum) and addition replacing the usual ("classical") operations of addition and multiplication.

The tropical semiring has various applications (see tropical analysis), and forms the basis of tropical geometry.

## Definition[edit]

The *min tropical semiring* (or **min-plus semiring** or **min-plus algebra**) is the semiring (ℝ ∪ {+∞}, ⊕, ⊗), with the operations:

The operations ⊕ and ⊗ are referred to as *tropical addition* and *tropical multiplication* respectively. The unit for ⊕ is +∞, and the unit for ⊗ is 0.

Similarly, the *max tropical semiring* (or **max-plus semiring** or **max-plus algebra**) is the semiring (ℝ ∪ {−∞}, ⊕, ⊗), with operations:

The unit for ⊕ is −∞, and the unit for ⊗ is 0.

These semirings are isomorphic, under negation , and generally one of these is chosen and referred to simply as the *tropical semiring*. Conventions differ between authors and subfields: some use the *min* convention, some use the *max* convention.

A tropical semiring is also referred to as a **tropical algebra**,^{[1]} though this should not be confused with an associative algebra over a tropical semiring.

Tropical exponentiation is defined in the usual way as iterated tropical products (see Exponentiation § In abstract algebra).

## Valued fields[edit]

The tropical semiring operations model how valuations behave under addition and multiplication in a valued field. A real-valued field *K* is a field equipped with a function

which satisfies the following properties for all *a*, *b* in *K*:

- if and only if
- with equality if

Therefore the valuation *v* is almost a semiring homomorphism from *K* to the tropical semiring, except that the homomorphism property can fail when two elements with the same valuation are added together.

Some common valued fields:

**Q**or**C**with the trivial valuation,*v*(*a*) = 0 for all*a*≠ 0,**Q**or its extensions with the p-adic valuation,*v*(*p*^{n}*a*/*b*) =*n*for*a*and*b*coprime to*p*,- the field of formal Laurent series
*K*((*t*)) (integer powers), or the field of Puiseux series*K*{{*t*}}, or the field of Hahn series, with valuation returning the smallest exponent of*t*appearing in the series.

## References[edit]

**^**Litvinov, Grigoriĭ Lazarevich; Sergeev, Sergej Nikolaevič (2009).*Tropical and Idempotent Mathematics: International Workshop Tropical-07, Tropical and Idempotent Mathematics*(PDF). American Mathematical Society. p. 8. ISBN 9780821847824. Retrieved 15 September 2014.

- Litvinov, G. L. (2005). "The Maslov dequantization, idempotent and tropical mathematics: A brief introduction". arXiv:math/0507014v1.