Archimedean group

In abstract algebra, a branch of mathematics, an Archimedean group is a linearly ordered group for which the Archimedean property holds: every two positive group elements are bounded by integer multiples of each other. The set R of real numbers together with the operation of addition and the usual ordering relation between pairs of numbers is an Archimedean group. By a result of Otto Hölder, every Archimedean group is isomorphic to a subgroup of this group. The name "Archimedean" comes from Otto Stolz, who named the Archimedean property after its appearance in the works of Archimedes.[1]

Definition

An additive group consists of a set of elements, an associative addition operation that combines pairs of elements and returns a single element, an identity element (or zero element) whose sum with any other element is the other element, and an additive inverse operation such that the sum of any element and its inverse is zero.[2] A group is a linearly ordered group when, in addition, its elements can be linearly ordered in a way that is compatible with the group operation: for all elements x, y, and z, if x ≤ y then (x + z) ≤ (y + z) and (z + x) ≤ (z + y).

The notation na (where n is a natural number) stands for the group sum of n copies of a. An Archimedean group (G, +, ≤) is a linearly ordered group subject to the following additional condition, the Archimedean property: For every a and b in G which are greater than 0, it is possible to find a natural number n for which the inequality b ≤ na holds.[3]

An equivalent definition is that an Archimedean group is a linearly ordered group without any bounded cyclic subgroups: there does not exist a cyclic subgroup S and an element x with x greater than all elements in S.[4] It is straightforward to see that this is equivalent to the other definition: the Archimedean property for a pair of elements a and b is just the statement that the cyclic subgroup generated by a is not bounded by b.

Examples of Archimedean groups

The sets of the integers, the rational numbers, the real numbers, together with the operation of addition and the usual ordering (≤), are Archimedean groups. Every subgroup of an Archimedean group is itself Archimedean, so it follows that every subgroup of these groups, such as the additive group of the even numbers or of the dyadic rationals, also forms an Archimedean group.

Conversely, as Otto Hölder showed, every Archimedean group is isomorphic (as an ordered group) to a subgroup of the real numbers.[5][6][7][8] It follows from this that every Archimedean group is necessarily an abelian group: its addition operation must be commutative.[5]

Examples of non-Archimedean groups

Groups that cannot be linearly ordered, such as the finite groups, are not Archimedean. For another example, see the p-adic numbers, a system of numbers generalizing the rational numbers in a different way to the real numbers.

Non-Archimedean ordered groups also exist; the ordered group (G, +, ≤) defined as follows is not Archimedean. Let the elements of G be the points of the Euclidean plane, given by their Cartesian coordinates: pairs (x, y) of real numbers. Let the group addition operation be pointwise (vector) addition, and order these points in lexicographic order: if a = (u, v) and b = (x, y), then a + b = (u + x, v + y), and a ≤ b exactly when either v < y or v = y and u ≤ x. Then this gives an ordered group, but one that is not Archimedean. To see this, consider the elements (1, 0) and (0, 1), both of which are greater than the zero element of the group (the origin). For every natural number n, it follows from these definitions that n (1, 0) = (n, 0) < (0, 1), so there is no n that satisfies the Archimedean property.[9] This group can be thought of as the additive group of pairs of a real number and an infinitesimal, $(x,y)=x\epsilon +y,$ where $\epsilon$ is a unit infinitesimal: $\epsilon >0$ but $\epsilon <y$ for any positive real number $y>0$ . Non-Archimedean ordered fields can be defined similarly, and their additive groups are non-Archimedean ordered groups. These are used in non-standard analysis, and include the hyperreal numbers and surreal numbers.

While non-Archimedean ordered groups cannot be embedded in the real numbers, they can be embedded in a power of the real numbers, with lexicographic order, by the Hahn embedding theorem; the example above is the 2-dimensional case.

Additional properties

Every Archimedean group has the property that, for every Dedekind cut of the group, and every group element ε > 0, there exists another group element x with x on the lower side of the cut and x + ε on the upper side of the cut. However, there exist non-Archimedean ordered groups with the same property. The fact that Archimedean groups are abelian can be generalized: every ordered group with this property is abelian.[10]

Generalisations

Archimedean groups can be generalised to Archimedean monoids, linearly ordered monoids that obey the Archimedean property. Examples include the natural numbers, the non-negative rational numbers, and the non-negative real numbers, with the usual binary operation $+$ and order $<$ . Through a similar proof as for Archimedean groups, Archimedean monoids can be shown to be commutative.

gollark: Rust's wasm_bindgen stuff.

gollark: … yes? Repeatedly?

gollark: The build tool will just spit out some minimal JS to pass in the necessary browser API calls and invoke your WASM.

gollark: It goes via JS, but you don't have to write that so it is irrelevant.

gollark: It's arguably horrible abuse to do this sort of thing for most applications and it produces giant WASM binaries. Although some languages produce less/more idiomatic JS.

References

Marvin, Stephen (2012), Dictionary of Scientific Principles, John Wiley & Sons, p. 17, ISBN 9781118582244.
Additive notation for groups is usually only used for abelian groups, in which the addition operation is commutative. The definition here does not assume commutativity, but it will turn out to follow from the Archimedean property.
Alajbegovic, J.; Mockor, J. (1992), Approximation Theorems in Commutative Algebra: Classical and Categorical Methods, NATO ASI Series. Series D, Behavioural and Social Sciences, 59, Springer, p. 5, ISBN 9780792319481.
Belegradek, Oleg (2002), "Poly-regular ordered abelian groups", Logic and algebra, Contemp. Math., 302, Amer. Math. Soc., Providence, RI, pp. 101–111, doi:10.1090/conm/302/05049, MR 1928386.
Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, 84, Providence, R.I.: American Mathematical Society, p. 61, ISBN 978-0-8218-1963-0, MR 1794715
Fuchs, László (2011) [1963]. Partially ordered algebraic systems. Mineola, New York: Dover Publications. pp. 45–46. ISBN 978-0-486-48387-0.
Kopytov, V. M.; Medvedev, N. Ya. (1996), Right-Ordered Groups, Siberian School of Algebra and Logic, Springer, pp. 33–34, ISBN 9780306110603.
For a proof for abelian groups, see Ribenboim, Paulo (1999), The Theory of Classical Valuations, Monographs in Mathematics, Springer, p. 60, ISBN 9780387985251.
Krupka, Demeter (2000), Introduction to Global Variational Geometry, North-Holland Mathematical Library, 13, Elsevier, p. 8, ISBN 9780080954202.
Vinogradov, A. A. (1967), "Ordered algebraic systems", Algebra, Topology, Geometry, 1965 (Russian) (in Russian), Akad. Nauk SSSR Inst. Naučn. Tehn. Informacii, Moscow, pp. 83–131, MR 0215761. Translated into English in Filippov, N. D., ed. (1970), Ten papers on algebra and functional analysis, American Mathematical Society Translations, Series 2, 96, American Mathematical Society, Providence, R.I., pp. 69–118, MR 0268000.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Marvin, Stephen (2012), Dictionary of Scientific Principles, John Wiley & Sons, p. 17, ISBN 9781118582244.

[2] Additive notation for groups is usually only used for abelian groups, in which the addition operation is commutative. The definition here does not assume commutativity, but it will turn out to follow from the Archimedean property.

[3] Alajbegovic, J.; Mockor, J. (1992), Approximation Theorems in Commutative Algebra: Classical and Categorical Methods, NATO ASI Series. Series D, Behavioural and Social Sciences, 59, Springer, p. 5, ISBN 9780792319481.

[4] Belegradek, Oleg (2002), "Poly-regular ordered abelian groups", Logic and algebra, Contemp. Math., 302, Amer. Math. Soc., Providence, RI, pp. 101–111, doi:10.1090/conm/302/05049, MR 1928386.

[monnd-5] Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, 84, Providence, R.I.: American Mathematical Society, p. 61, ISBN 978-0-8218-1963-0, MR 1794715

[6] Fuchs, László (2011) [1963]. Partially ordered algebraic systems. Mineola, New York: Dover Publications. pp. 45–46. ISBN 978-0-486-48387-0.

[7] Kopytov, V. M.; Medvedev, N. Ya. (1996), Right-Ordered Groups, Siberian School of Algebra and Logic, Springer, pp. 33–34, ISBN 9780306110603.

[8] For a proof for abelian groups, see Ribenboim, Paulo (1999), The Theory of Classical Valuations, Monographs in Mathematics, Springer, p. 60, ISBN 9780387985251.

[9] Krupka, Demeter (2000), Introduction to Global Variational Geometry, North-Holland Mathematical Library, 13, Elsevier, p. 8, ISBN 9780080954202.

[10] Vinogradov, A. A. (1967), "Ordered algebraic systems", Algebra, Topology, Geometry, 1965 (Russian) (in Russian), Akad. Nauk SSSR Inst. Naučn. Tehn. Informacii, Moscow, pp. 83–131, MR 0215761. Translated into English in Filippov, N. D., ed. (1970), Ten papers on algebra and functional analysis, American Mathematical Society Translations, Series 2, 96, American Mathematical Society, Providence, R.I., pp. 69–118, MR 0268000.