{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1979488","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1979488","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1979488","kernelVersion":"v1","immutable":true,"modified":"2026-03-31T15:24:01Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1979488","name":"On the value group of the transseries","headline":"On the value group of the transseries","description":"scientific article; zbMATH DE number 7390395","url":"https://portal.mardi4nfdi.de/entity/Q1979488","datePublished":"2021-09-03","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q361790"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1979487"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q161301"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.2140/PJM.2021.312.335","url":"https://doi.org/10.2140/PJM.2021.312.335"},"sameAs":["https://doi.org/10.2140/PJM.2021.312.335"],"comment":"Given a real closed field \\((K, +, \\cdot, <)\\), the authors investigate the question of whether there exists an omega map, which is defined to be an ordered group isomorphism \\(\\Omega: (K, +, <) \\to ({\\mathfrak{M}}, \\cdot, <)\\), where \\(\\mathfrak{M} \\subseteq K^{>0}\\) is an embedded multiplicative copy of the value group. In previous work, the existence of such maps is resolved by the authors for fields of the form \\(\\mathbb{R}(({\\mathfrak{M}}))_{\\kappa}\\), leaving open whether the field \\(\\mathbb{T}\\) of LE-transseries admits an omega-map.  The main result of the paper is that the value group of \\({\\mathbb{T}}\\) is isomorphic to \\({\\mathbb{T}}\\) itself as an additive ordered group, which is demonstrated by constructing an omega map from \\({\\mathbb{T}}\\) to \\({\\mathfrak{M}}^{\\text{LE}}\\), the group of transmonials. To this end, the authors note that \\({\\mathbb{T}}\\) is a subfield of \\({\\mathbb{R}}(({\\mathfrak{M}}^{\\text{LE}}))\\), and any order isomorphism \\({\\mathfrak{M}}^{\\text{LE}} \\to {\\mathfrak{M}}^{\\text{LE},>1}\\) induces an embedding of ordered \\({\\mathbb{R}}\\)-vector spaces \\({\\mathbb{T}} \\to {\\mathbb{R}}(({\\mathfrak{M}}^{\\text{LE},>1}))\\). The authors produce an order isomorphism \\(\\eta: {\\mathfrak{M}}^{\\text{LE}} \\to {\\mathfrak{M}}^{\\text{LE},>1}\\), which induces an isomorphism of ordered \\({\\mathbb{R}}\\)-vector spaces \\({\\mathbb{T}} \\to {\\mathbb{T}} \\cap {\\mathbb{R}}(({\\mathfrak{M}}^{\\text{LE},>1}))\\), which then induces the desired omega map.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4645127"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4099541"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5942884"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2431731"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4333836"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2570138"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4372399"}]},"provenance":{"prov:generatedAtTime":"2026-03-31T15:24:01Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}