📑 Table of Contents▼

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]

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.[2] The papers of Clifford (1954)[3] and Hausner & Wendel (1952)[4] together provide another proof.[3][4] See also Fuchs & Salce (2001, p. 62).

See also

edit

References

edit
  1. ^ "lo.logic - Hahn's Embedding Theorem and the oldest open question in set theory". MathOverflow. Retrieved 2021-01-28.
  2. ^ 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.
  3. ^ a b 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.
  4. ^ a b 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

📚 Artikel Terkait di Wikipedia

Hans Hahn (mathematician)

Other theorems include: the Hahn decomposition theorem; the Hahn embedding theorem; the Hahn–Kolmogorov theorem; the Hahn–Mazurkiewicz theorem; the Vitali–Hahn–Saks

Hahn series

{\displaystyle \mathbb {R} } ). Hahn series were first introduced, as groups, in the course of the proof of the Hahn embedding theorem and then studied by him

List of theorems

(combinatorics) Hahn embedding theorem (ordered groups) Hausdorff maximality theorem (set theory) Kleene fixed-point theorem (order theory) Knaster–Tarski theorem (order

Axiom of choice

by Schoenflies in 1905. Abstract algebra Hahn embedding theorem: Every ordered abelian group G order-embeds as a subgroup of the additive group R Ω {\displaystyle

Banach–Mazur theorem

w*-topology. This unit ball K is then compact by the Banach–Alaoglu theorem. The embedding j is introduced by saying that for every x ∈ X, the continuous function

Graph theory

embedding (or imbedding) of a graph in surface and linkless embedding, graph minors, crossing number, map coloring, and voltage graph. The embedding of

Archimedean group

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

Goldstine theorem

{\displaystyle \operatorname {dist} (x,Y)\geq 1+\delta } and by the Hahn–Banach theorem there exists a linear form φ ∈ X ′ {\displaystyle \varphi \in X^{\prime