Namespaces
Variants
Actions

Difference between revisions of "Archimedean group"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
A partially [[Ordered group|ordered group]] within which the Archimedean axiom is valid: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131201.png" /> for all integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131202.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131203.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131204.png" /> are elements of the Archimedean group), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131205.png" /> is the unit of the group (in additive notation: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131206.png" /> for all integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131207.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a013/a013120/a0131208.png" />). Totally ordered Archimedean groups may be described as follows (Hölder's theorem): A totally ordered group is Archimedean if and only if it is isomorphic to some subgroup of the additive group of real numbers with the natural order. Thus, the additive group of all real numbers is in a certain sense the largest totally ordered Archimedean group. All lattice ordered Archimedean groups are commutative. Totally ordered groups without non-trivial convex subgroups (cf. [[Convex subgroup|Convex subgroup]]) are Archimedean.
+
{{TEX|done}}
 +
A partially [[Ordered group|ordered group]] within which the Archimedean axiom is valid: If $a^n<b$ for all integers $n$ ($a$ and $b$ are elements of the Archimedean group), then $a$ is the unit of the group (in additive notation: If $na<b$ for all integers $n$, then $a=0$). Totally ordered Archimedean groups may be described as follows (Hölder's theorem): A totally ordered group is Archimedean if and only if it is isomorphic to some subgroup of the additive group of real numbers with the natural order. Thus, the additive group of all real numbers is in a certain sense the largest totally ordered Archimedean group. All lattice ordered Archimedean groups are commutative. Totally ordered groups without non-trivial convex subgroups (cf. [[Convex subgroup|Convex subgroup]]) are Archimedean.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Birkhoff,  "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc.  (1967)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.M. Kopytov,  "Fully ordered groups" , Israel Program Sci. Transl.  (1974)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L. Fuchs,  "Partially ordered algebraic systems" , Pergamon  (1963)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Birkhoff,  "Lattice theory" , ''Colloq. Publ.'' , '''25''' , Amer. Math. Soc.  (1967)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.M. Kopytov,  "Fully ordered groups" , Israel Program Sci. Transl.  (1974)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  L. Fuchs,  "Partially ordered algebraic systems" , Pergamon  (1963)</TD></TR></table>

Revision as of 17:55, 11 April 2014

A partially ordered group within which the Archimedean axiom is valid: If $a^n<b$ for all integers $n$ ($a$ and $b$ are elements of the Archimedean group), then $a$ is the unit of the group (in additive notation: If $na<b$ for all integers $n$, then $a=0$). Totally ordered Archimedean groups may be described as follows (Hölder's theorem): A totally ordered group is Archimedean if and only if it is isomorphic to some subgroup of the additive group of real numbers with the natural order. Thus, the additive group of all real numbers is in a certain sense the largest totally ordered Archimedean group. All lattice ordered Archimedean groups are commutative. Totally ordered groups without non-trivial convex subgroups (cf. Convex subgroup) are Archimedean.

References

[1] G. Birkhoff, "Lattice theory" , Colloq. Publ. , 25 , Amer. Math. Soc. (1967)
[2] A.M. Kopytov, "Fully ordered groups" , Israel Program Sci. Transl. (1974) (Translated from Russian)
[3] L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963)
How to Cite This Entry:
Archimedean group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Archimedean_group&oldid=31539
This article was adapted from an original article by A.I. KokorinV.M. Kopytov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article