Showing changes from revision #0 to #1:
Added | Removed | Changed
Given an ordered abelian group , let us inductively define the left action as
is an Archimedean ordered abelian group if there is a family of dependent terms
The integers are an Archimedean ordered abelian group.
The rational numbers are a Archimedean ordered abelian group.
Every Archimedean ordered integral domain is a Archimedean ordered abelian group.