Algebraic properties of external numbers

Abstract

Neutrices and external numbers were proposed as models of orders of magnitude within nonstandard analysis. We show that the external numbers form a commutative regular semigroup for addition and that the external numbers which are not neutrices form a commutative regular semigroup for multiplication. The validity of the distributive law is restricted, but it can be fully characterized.