On the Structure of Order Domains

The notion of an order domain is generalized. The behaviour of an order domain by taking a subalgebra, the extension of scalars, and the tensor product is studied. The relation of an order domain with valuation theory, Gröbner algebras, and graded structures is given. The theory of Gröbner bases for order domains is developed and used to show that the factor ring theorem and its converse, the presentation theorem, hold. The dimension of an order domain is related to the rank of its value semigroup.