Hahn embedding theorem
 | This article includes a list of general references but lacks sufficient corresponding inline citations. (November 2020) |
In mathematics, especially in the area of abstract algebra dealing with ordered structures on abelian groups, the Hahn embedding theorem gives a simple description of all linearly ordered abelian groups. It is named after Hans Hahn.[1][2]
Overview
[edit]The theorem states that every linearly ordered abelian group G can be embedded as an ordered subgroup of the additive group endowed with a lexicographical order, where is the additive group of real numbers (with its standard order), Ω is the set of Archimedean equivalence classes of G, and is the set of all functions from Ω to which vanish outside a well-ordered set.
Let 0 denote the identity element of G. For any nonzero element g of G, exactly one of the elements g or −g is greater than 0; denote this element by |g|. Two nonzero elements g and h of G are Archimedean equivalent if there exist natural numbers N and M such that N|g| > |h| and M|h| > |g|. Intuitively, this means that neither g nor h is "infinitesimal" with respect to the other. The group G is Archimedean if all nonzero elements are Archimedean-equivalent. In this case, Ω is a singleton, so is just the group of real numbers. Then Hahn's Embedding Theorem reduces to Hölder's theorem, which states that a linearly ordered abelian group is Archimedean if and only if it is a subgroup of the ordered additive group of the real numbers.
Gravett (1956) gives a clear statement and proof of the theorem.[3] The papers of Clifford (1954)[4] and Hausner & Wendel (1952)[5] together provide another proof.[4][5] See also Fuchs & Salce (2001, p. 62).
See also
[edit]References
[edit]- ↑ "lo.logic - Hahn's Embedding Theorem and the oldest open question in set theory". MathOverflow. Retrieved 2021-01-28.
- ↑ "Hahn's Embedding Theorem and the oldest open question in set theory". MathOverflow. Retrieved 2026-07-17.
- ↑ Gravett, K. A. H. (1956). "ORDERED ABELIAN GROUPS". The Quarterly Journal of Mathematics. 7 (1): 57–63. doi:10.1093/qmath/7.1.57. ISSN 0033-5606.
- 1 2 Clifford, A. H. (December 1954). "Note on Hahn's Theorem on Ordered Abelian Groups". Proceedings of the American Mathematical Society. 5 (6): 860. doi:10.2307/2032549.
- 1 2 Hausner, M.; Wendel, J. G. (December 1952). "Ordered vector spaces". Proceedings of the American Mathematical Society. 3 (6): 977–982. doi:10.1090/S0002-9939-1952-0052045-1. ISSN 0002-9939.
- Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, vol. 84, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1963-0, MR 1794715
- Ehrlich, Philip (1995), "Hahn's "Über die nichtarchimedischen Grössensysteme" and the Origins of the Modern Theory of Magnitudes and Numbers to Measure Them", in Hintikka, Jaakko (ed.), From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (PDF), Kluwer Academic Publishers, pp. 165–213, archived from the original (PDF) on 2014-10-27, retrieved 2015-03-27
- Hahn, H. (1907), "Über die nichtarchimedischen Größensysteme.", Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, Wien, Mathematisch - Naturwissenschaftliche Klasse (Wien. Ber.) (in German), 116: 601–655