{"title":"论某些均质结构自变群的密集局部有限子群","authors":"Gábor Sági","doi":"10.1002/malq.202200060","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math> be a countable structure such that each finite partial isomorphism of it can be extended to an automorphism. Evans asked if the age (set of finite substructures) of <span></span><math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math> satisfies Hrushovski's extension property, then is it true that the automorphism group <span></span><math>\n <semantics>\n <mrow>\n <mrow>\n <mo>Aut</mo>\n </mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\operatorname{{\\it Aut}}(\\mathcal {A})$</annotation>\n </semantics></math> of <span></span><math>\n <semantics>\n <mi>A</mi>\n <annotation>$\\mathcal {A}$</annotation>\n </semantics></math> contains a dense, locally finite subgroup? In order to investigate this question, in the previous decades a coherent variant of Hrushovski's extension property has been introduced and studied. Among other results, we provide equivalent conditions for the existence of a dense, locally finite subgroup of <span></span><math>\n <semantics>\n <mrow>\n <mrow>\n <mo>Aut</mo>\n </mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\operatorname{{\\it Aut}}(\\mathcal {A})$</annotation>\n </semantics></math> in terms of a (new) variant of the coherent extension property. We also compare our notion with other coherent extension properties.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200060","citationCount":"0","resultStr":"{\"title\":\"On dense, locally finite subgroups of the automorphism group of certain homogeneous structures\",\"authors\":\"Gábor Sági\",\"doi\":\"10.1002/malq.202200060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math> be a countable structure such that each finite partial isomorphism of it can be extended to an automorphism. Evans asked if the age (set of finite substructures) of <span></span><math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math> satisfies Hrushovski's extension property, then is it true that the automorphism group <span></span><math>\\n <semantics>\\n <mrow>\\n <mrow>\\n <mo>Aut</mo>\\n </mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\operatorname{{\\\\it Aut}}(\\\\mathcal {A})$</annotation>\\n </semantics></math> of <span></span><math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$\\\\mathcal {A}$</annotation>\\n </semantics></math> contains a dense, locally finite subgroup? In order to investigate this question, in the previous decades a coherent variant of Hrushovski's extension property has been introduced and studied. Among other results, we provide equivalent conditions for the existence of a dense, locally finite subgroup of <span></span><math>\\n <semantics>\\n <mrow>\\n <mrow>\\n <mo>Aut</mo>\\n </mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\operatorname{{\\\\it Aut}}(\\\\mathcal {A})$</annotation>\\n </semantics></math> in terms of a (new) variant of the coherent extension property. We also compare our notion with other coherent extension properties.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-07-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1002/malq.202200060\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200060\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/malq.202200060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures
Let be a countable structure such that each finite partial isomorphism of it can be extended to an automorphism. Evans asked if the age (set of finite substructures) of satisfies Hrushovski's extension property, then is it true that the automorphism group of contains a dense, locally finite subgroup? In order to investigate this question, in the previous decades a coherent variant of Hrushovski's extension property has been introduced and studied. Among other results, we provide equivalent conditions for the existence of a dense, locally finite subgroup of in terms of a (new) variant of the coherent extension property. We also compare our notion with other coherent extension properties.