In this paper we extend the construction of the field of rational numbers from the ring of integers to an arbitrary commutative ordered semigroup. We first construct a fractional ordered semigroup and a homomorphism ...In this paper we extend the construction of the field of rational numbers from the ring of integers to an arbitrary commutative ordered semigroup. We first construct a fractional ordered semigroup and a homomorphism φs : R → S^-1 R. Secondly, we characterize the commutative ordered semigroup so constructed by a universal mapping property.展开更多
基金Supported by the Natural Science Foundation of Hubei Province in China(2004D006)
文摘In this paper we extend the construction of the field of rational numbers from the ring of integers to an arbitrary commutative ordered semigroup. We first construct a fractional ordered semigroup and a homomorphism φs : R → S^-1 R. Secondly, we characterize the commutative ordered semigroup so constructed by a universal mapping property.