# Is there an accepted name for algebraic structures like $\mathbb{Q}_{>0}$ and $\mathbb{R}_{>0}$?

Question. Is there an accepted name for algebraic structures that, like $\mathbb{Q}_{>0}$ and $\mathbb{R}_{>0}$, are models of the algebraic theory presented as follows?

Sorts: $U$

Functions: $$+ : U \times U \rightarrow U$$ $$1 : U, \qquad \times : U \times U \rightarrow U, \qquad x \mapsto x^{-1} : U \rightarrow U$$

Axioms:

• $+$ is commutative and associative,

• The multiplicative structure forms an abelian group

Examples.

1. $\mathbb{Q}_{>0}$ (which is the initial such algebra)
2. $\mathbb{R}_{>0}$
3. $\mathbb{Z},$ with the symbol $\times$ interpreted as $+_\mathbb{Z}$, the symbol $1$ interpreted as the element $0_\mathbb{Z}$, the notation $x \mapsto x^{-1}$ interpreted as $x \mapsto -x$, and the symbol $+$ interpreted as either max or min.

• Is there a less ambiguous name? Planet math gives no fewer than three possible (non-equivalent) meanings for the term "semifield," none of which are precisely the concept I"m looking for; in particular, it is vitally important to me that $0$ isn't included in the signature, otherwise we don't get an algebraic theory. Note also note that $\mathbb{Q}_{\geq 0}$ is not a model of the theory I'm interested in, since $0 \in \mathbb{Q}_{\geq 0}$ does not have a multiplicative inverse. – goblin GONE Dec 26 '14 at 17:24