{"entities":{"Q2199490":{"pageid":2210233,"ns":120,"title":"Item:Q2199490","lastrevid":57773022,"modified":"2026-04-02T11:34:23Z","type":"item","id":"Q2199490","labels":{"en":{"language":"en","value":"\\(F\\)-sets and finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7246515"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$F7ECCCD8-60D6-430D-9C42-AFE2AB0B0492","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea1e9c887bc4fbaaa618be6b767b5827ce2bf606","datavalue":{"value":{"text":"\\(F\\)-sets and finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2199490$5DCDAC2A-15AF-4D24-BBFD-FE2C2FEFE033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db652d6d11b23fc2021f3f23a66ce1274affc15","datavalue":{"value":"1475.11038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$738CBECB-4FB9-489F-A6B6-5DDCFB4170F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9c8e87dce07a610e4d118d8e4bd426837efde8","datavalue":{"value":{"entity-type":"item","numeric-id":176875,"id":"Q176875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$ECC3CB72-B83C-45AD-82E7-BD6D8FB7289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f32dc1851dd2f3147130d27b06cca80cc9801e4","datavalue":{"value":{"entity-type":"item","numeric-id":478554,"id":"Q478554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$73B48C4E-38A0-4932-AAE9-17DC7AE8AD1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$28AA99BA-5593-447E-A63F-E50F6F887112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e7f9373818ac2c3374d4c29cd76a7b411d60b6","datavalue":{"value":{"time":"+2020-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2199490$479D633E-C0AF-495D-83CD-20CF245BF146","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ec791d2e964a5b35ddfa405fb915978fbfbe9af","datavalue":{"value":"https://arxiv.org/abs/1712.03800","type":"string"},"datatype":"url"},"type":"statement","id":"Q2199490$4245C644-F780-46E4-9ADB-E3D1EE2C402D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"073fe206500151133e1066ac3a1e86d87db3b95f","datavalue":{"value":"The notion of a \\(k\\)-automatic subset of \\(\\mathbb{N}\\) (that is, a subset \\(S\\subset\\mathbb{N}\\) with the property that there is a finite automaton which accepts exactly the words arising as base \\(k\\) expansions of elements of \\(S\\)) is extended here to an \\(F\\)-automatic subset of a finitely generated abelian group \\(\\Gamma\\) equipped with an endomorphism \\(F\\). An \\(F\\)-subset means a finite union of finite sets of sums of elements of \\(\\Gamma\\), of \\(F\\)-invariant subgroups in \\(\\Gamma\\), and of \\(F\\)-cycles in \\(\\Gamma\\) (subsets of the form \\(\\{\\gamma+F^\\delta\\gamma+F^{2\\delta}\\gamma+\\cdots +F^{\\ell\\delta}\\gamma\\}\\) with \\(\\ell,\\delta\\in\\mathbb{N}\\) and \\(\\gamma\\in\\Gamma\\)). \\(F\\)-automaticity is also defined via finite-state automata and accepted words. The main results (Theorems 4.2, 6.9 and 7.4) prove automaticity of \\(F\\)-subsets under some mild conditions. The results are a natural generalisations of Derksen's analog of the Skolem-Mahler-Lech theorem [\\textit{H. Derksen}, Invent. Math. 168, No. 1, 175--224 (2007; Zbl 1205.11030)] to the Mordell-Lang context studied by \\textit{R. Moosa} and \\textit{T. Scanlon} [Am. J. Math. 126, No. 3, 473--522 (2004; Zbl 1072.03020)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199490$446EA0D5-3431-41AB-A2D8-1AE8F1266DF8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1f527af6021fa2abbecdfd313d9268f87b4cbc0f","datavalue":{"value":{"entity-type":"item","numeric-id":241587,"id":"Q241587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$11E95E4E-8F7E-4F99-B443-C364F47B0AD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$A26A1BF7-5777-47C2-AABF-C93D2F318926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5917b388c6f70a5c0facb3d29f3754f2bccd2ce","datavalue":{"value":"14G17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$20502741-314D-4FD3-AF14-6D0841733723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$6C39AF71-9B13-43AF-A685-03D4AADB0E4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8e0374abbe031a6e6c41f5e57eb4d0baa824329","datavalue":{"value":"7246515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$0F04BE23-30DE-4493-AAC7-E679DCBAC40F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0e06ef721c06a5b6d354a425292ee2e266fcab","datavalue":{"value":"automatics sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199490$101E8B62-1594-4F04-8568-BD9859E9DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31fdf0b1cd10f4557522550fe8fac48ee1457bb7","datavalue":{"value":"\\(F\\)-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199490$E92E199C-4C8B-4576-AF78-997492DD171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca7ccd8a597c400c5948beb83a4fe3108f22073","datavalue":{"value":"semiabelian varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199490$23D44AB6-2D49-4C14-91DD-F244D0D7A990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75540572834491be7f8ada0c91c04043b2de8bd7","datavalue":{"value":"positive characteristic Mordell-Lang","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199490$9049C2C7-F159-4EEC-8390-50EA40FA27A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43c94e1bfdca620e3c45b0ae2d953e4febb2565","datavalue":{"value":"Skolem-Mahler-Lech","type":"string"},"datatype":"string"},"type":"statement","id":"Q2199490$1E2F1F35-165C-4492-B3D1-96D919DDCC03","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$2CC96BD3-8C82-4CEE-82D9-7EF903781B1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39595eccc3ea1d27138c4a1b8018b350dedd936b","datavalue":{"value":"W2969519964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$2F9ECF1C-A3E0-47F4-939B-CA6E6ECA2A79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e773fc5c920012d17cf64e9b90628f42ac0b786","datavalue":{"value":{"entity-type":"item","numeric-id":664335,"id":"Q664335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$F7BDB4DF-10A7-4307-8423-8D31A913029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$81242C6B-08D3-4124-A1F3-98DB11C57622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86faa427c776a196349400df341cdbd1ee66ba2b","datavalue":{"value":{"entity-type":"item","numeric-id":3516839,"id":"Q3516839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$FAE3E46D-D1E0-4E00-B805-E23C40563BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad0e0fc35bb160455b1139c5bbd6fd9e60a226d","datavalue":{"value":{"entity-type":"item","numeric-id":5466770,"id":"Q5466770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$C2CA3700-E55B-4DEF-86F5-8E3E76B1C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71fafffd6600066018fbade1968bde0808e2306d","datavalue":{"value":{"entity-type":"item","numeric-id":2457768,"id":"Q2457768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$5ACDDC0B-709D-4B48-BF30-60D971B9481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c243bc68939bd57ce95de6109f1e57d4ca1aa3","datavalue":{"value":{"entity-type":"item","numeric-id":4322758,"id":"Q4322758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$84C89C5F-4895-4207-80E9-AF835B9CAF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6cd82a1d78efe0e8663662c5bdbe2ef5b80d95","datavalue":{"value":{"entity-type":"item","numeric-id":3586406,"id":"Q3586406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$37F17E9A-FE1A-41A6-B37F-AE48ED743F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126edc82b8b9a0721a1c1a6398512eef01699ff3","datavalue":{"value":{"entity-type":"item","numeric-id":3508041,"id":"Q3508041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$3A5750C3-66C3-4EA9-960F-47B790D46991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8ae0b8de914d911977795c5595afb126b56782","datavalue":{"value":{"entity-type":"item","numeric-id":3419735,"id":"Q3419735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$6B019C59-66C4-41F0-96EE-605F73BA9D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$5DAF64CA-A737-4BF3-B886-81B033F9818C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3470582e34a4586cf95ce5acb0a3747e86f0e1af","datavalue":{"value":{"entity-type":"item","numeric-id":5687279,"id":"Q5687279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$94143CB6-BD75-4C4A-A374-05ECE4DC30D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2631bdda72c0ec46e1523c6d35212267852671e","datavalue":{"value":{"entity-type":"item","numeric-id":3742754,"id":"Q3742754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$510ADC23-2777-474D-8E24-7E6F98918D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c51bb7c97d1b32a4e981a57734015c6d566602","datavalue":{"value":{"entity-type":"item","numeric-id":5700780,"id":"Q5700780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$437427ED-E6C9-4C72-A483-8898E998B990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddfc4fff863b6fbca876ff573f65c775bd490bf","datavalue":{"value":{"entity-type":"item","numeric-id":4831782,"id":"Q4831782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$78436CF7-3267-4979-9DF6-33F84FEC7438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6d108534192cddadc2e010c30d5afb9dd97789","datavalue":{"value":{"entity-type":"item","numeric-id":5096862,"id":"Q5096862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$ADE84501-AE51-433A-9E6C-33FD358B9C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6292bcb79b495d2870792ebae51f5161a90ba63a","datavalue":{"value":{"entity-type":"item","numeric-id":3657450,"id":"Q3657450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$2767D9E1-67AD-46CB-AABD-BA290F3E8D6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fdf935bce5d24475758167dea5c3355df761ceb","datavalue":{"value":"10.5802/JTNB.1070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2199490$B69188A7-257E-4482-88BE-FF16A1C3A744","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706bfde3c53e91ce5be669a332a481b83fe993d4","datavalue":{"value":{"entity-type":"item","numeric-id":664335,"id":"Q664335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e664c4044d4b40095cabc39795d9897538bb7d8","datavalue":{"value":{"amount":"+0.7598605751991272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2199490$E4657E54-ED35-4BDC-8EFF-73ED662C05B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df55eb3d833b06ad7c55830bb4fa12d1497c9010","datavalue":{"value":{"entity-type":"item","numeric-id":505037,"id":"Q505037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef054af7306ee3ea7fbcd5fc0b5a9b07ff8fc94","datavalue":{"value":{"amount":"+0.7328965663909912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2199490$94DDA889-5191-47D4-8F58-B5D8574C129A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2e2193cb864411a47569b03ba78b039cb9d49e","datavalue":{"value":{"entity-type":"item","numeric-id":2947958,"id":"Q2947958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a38c77811658e7ede7476844e98724bd9492c6","datavalue":{"value":{"amount":"+0.7316800951957703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2199490$E72717CE-EC59-47AD-ACC3-3B64F6E57845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06bd58616e4fe2ac53dc4911f64be03b09d3b882","datavalue":{"value":{"entity-type":"item","numeric-id":4831782,"id":"Q4831782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b708329884cc3f20f6a4c356569ae59c753083b3","datavalue":{"value":{"amount":"+0.7279574275016785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2199490$38AAE6DC-9DBC-4CE5-BB3D-6A7450E4DF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29fac7f3280428070fb4483b9fb8963b0523bcd4","datavalue":{"value":{"entity-type":"item","numeric-id":2890222,"id":"Q2890222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32e2382095dd2b0c8889efb69ad2a21ca620ad65","datavalue":{"value":{"amount":"+0.7249908447265625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2199490$BE8FCD08-AA29-4382-9BB0-D5FA639E6118","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6a554977dfac80e46d734f83d88900a7dc80a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":6830589,"id":"Q6830589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2199490$9384A177-F948-401D-ABD7-78EA423709D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2199490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2199490"}}}}}