{"@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/Q6565769","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6565769","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6565769","kernelVersion":"v1","immutable":true,"modified":"2026-02-17T21:16:23Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6565769","name":"On groups interpretable in various valued fields","headline":"On groups interpretable in various valued fields","description":"scientific article; zbMATH DE number 7874762","url":"https://portal.mardi4nfdi.de/entity/Q6565769","datePublished":"2024-07-02","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1625592"},{"@id":"https://portal.mardi4nfdi.de/entity/Q607860"},{"@id":"https://portal.mardi4nfdi.de/entity/Q556828"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q173625"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00029-024-00946-2","url":"https://doi.org/10.1007/S00029-024-00946-2"},"sameAs":["https://doi.org/10.1007/S00029-024-00946-2"],"comment":"The authors continue their work from [\\textit{Y. Halevi} et al., Adv. Math. 404, Part A, Article ID 108408, 58 p. (2022; Zbl 1505.03084)], where they studied fields interpretable in valued fields, and extend their investigation to interpretable groups. They analyze groups interpretable in the following three important families of valued fields:\\N\\begin{itemize}\\N\\item[1.] \\(V\\)-minimal (certain expansions of algebraically closed valued fields of residue characteristic 0),\\N\\item[2.] power bounded \\(T\\)-convex (certain expansions of real closed valued fields),\\N\\item[3.] \\(p\\)-adically closed fields (elementarily equivalent to finite extensions of \\(\\mathbb{Q}_p\\)).\\N\\end{itemize}\\NIt is shown (Theorem 1.1) that any such infinite group \\(G\\) is (up to the quotient by a finite normal subgroup) definably isomorphic to a group in one of four distinguished sorts: the underlying valued field, its residue field, its value group or its quotient by the value ring. This is an impressive reduction comparing to the usual ``geometric sorts'' for which the elimination of imaginaries is known.\\N\\NAs a corollary, it is shown (Theorem 1.3) that \\(G\\) has unbounded exponent and if \\(G\\) is dp-minimal then it is abelian-by-finite. Theorem 1.3 implies, in particular, that every 1-dimensional group definable in any of the above structures is abelian-by-finite generalizing results by \\textit{A. Pillay} and \\textit{N. Yao} [Arch. Math. Logic 58, No. 7--8, 1029--1034 (2019; Zbl 1468.03047)], and \\textit{A. Onshuus} and \\textit{M. Vicaría} [Ann. Pure Appl. Logic 171, No. 6, Article ID 102795, 27 p. (2020; Zbl 1481.03025), Theorem 1.1].","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5159501"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5118046"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4457729"},{"@id":"https://portal.mardi4nfdi.de/entity/Q763703"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5863759"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6052073"},{"@id":"https://portal.mardi4nfdi.de/entity/Q584334"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5520521"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1765162"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2671899"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3413792"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5439607"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1989604"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1320034"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2315949"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4562436"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6123820"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5070467"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3426563"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2368915"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5110697"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1987223"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2408257"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1113892"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1262854"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2274145"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3812216"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2723260"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3011114"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5177874"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2418781"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4425431"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1339386"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1812783"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3727972"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4338311"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4392286"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4265419"}]},"provenance":{"prov:generatedAtTime":"2026-02-17T21:16:23Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}