{"entities":{"Q1186612":{"pageid":1197361,"ns":120,"title":"Item:Q1186612","lastrevid":66446094,"modified":"2026-04-12T10:08:27Z","type":"item","id":"Q1186612","labels":{"en":{"language":"en","value":"On a kind of Fatou property of context-free groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36851"}},"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":"Q1186612$1AEDA6A8-B129-4F7E-8974-B119DC5BEEA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0b0829ce2b67995f5c37c54ebeeef93f49d8fac","datavalue":{"value":{"text":"On a kind of Fatou property of context-free groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186612$2CC48818-4C47-4145-AFCB-7D3D4EFB0301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3622d981b4549c3a1f4695f1619fe4f0001cd770","datavalue":{"value":"0751.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$5D993589-9982-490F-AEEF-01A03B573049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04b0ef1d3dc96cd5ec8958dd984117cba9d53a84","datavalue":{"value":"10.1016/0304-3975(92)90337-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$F53F1BDE-3662-4481-9173-6132FB3E297C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9530f6b19099f0a30184ff7513741cb8374ef61","datavalue":{"value":{"entity-type":"item","numeric-id":1185249,"id":"Q1185249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$93840BCD-2F59-40DA-8547-732871FE461C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$68A6F750-D147-426E-98B0-6CADAF2B76E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186612$592F336C-B720-468D-84B7-F9CB3B3BCBD5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c6f800a50fbcff09ca2af7e88a737688a2ade3e","datavalue":{"value":"A cone is a family of languages closed under homomorphism, inverse homomorphism, and intersection with regular languages. A context-free group is a group whose word problem is context-free; algebraically, they are the groups possessing a finitely generated free normal subgroup of finite index. Let \\(M\\) be a finitely generated monoid and \\(\\mathfrak C\\) a family of languages closed under homomorphism. Define \\({\\mathfrak C}^ \\exists(M)=\\{T\\subseteq M\\mid\\) there is a surjective homomorphism \\(\\phi: X^*\\to M\\) and \\(L\\in{\\mathfrak C}\\) such that \\(\\phi(L)=T\\}\\). The author proves the following result: let \\(\\mathfrak C\\) be a cone closed under union, \\(G\\) a context-free group, \\(U\\) a finitely generated subgroup of \\(G\\), and \\(T\\subseteq U\\). Then \\(T\\in{\\mathfrak C}^ \\exists(G)\\) iff \\(T\\in{\\mathfrak C}^ \\exists(U)\\). As an application, the author shows that in infinite context-free groups the algebraic subsets, that are those subsets which are homomorphic images of context-free languages, are strictly included in those subsets which are homomorphic images of recursively enumerable languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$9A3BB3D5-3001-4676-90ED-B80C2A7DD70C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$AC03DFCE-2F8D-48F7-B910-E07227B43FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$EF6D9560-5F04-4101-8460-7821941B2FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$C8F1776D-F021-45AA-9218-D91A7C56CB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$5860744B-E0A4-4378-A9CE-EE6A1AB18924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea5b2e7b96241b4a737bde62493724e5f27a3ccc","datavalue":{"value":"36851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$4F336D63-4A03-45C6-BD3E-FF59274BCDD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$DBA24BB4-0A8F-4615-8962-743F1F1F32BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$BE7BBBFF-D42E-41F4-860B-D344CC7A4055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7de99bad8439164db2207809b2b6f9d1b2a6d82e","datavalue":{"value":"free normal subgroup of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$03981DAB-5AA3-4232-A6CC-1AE0161EB8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd036b272d2c09bd6e3426c92773c6cfa98cc2d","datavalue":{"value":"finitely generated monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$D690FB1B-8DCB-43F9-A264-3B6ED2586833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca62771fa3b30735850b859c6e107841a5b0af8","datavalue":{"value":"context-free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$84608BA2-9AF3-4C79-9A80-3DB4DFA83932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117dde3677b90a5cd2ab34c4ee9307869a29159b","datavalue":{"value":"algebraic subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$1ECCE852-1851-4903-90C8-C4CF0725BF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$A7E604D7-C6F9-4D2E-A50C-A895F4F82423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1af4ff6ccc37c6eefb3182e354289f7d5cfec97","datavalue":{"value":"recursively enumerable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186612$D7587533-FD02-4719-BB5A-A13BB3356B8E","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":"Q1186612$1C84B4BA-32A5-4E77-9590-A9B0D72601F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ea830727e9b6bedf20862785e40529682d300fc","datavalue":{"value":{"entity-type":"item","numeric-id":5652216,"id":"Q5652216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$2BEA8E5F-E22F-4C0F-B250-25CEB5554B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999968a37f79519f4778fc7fdfc8575cbc2c2685","datavalue":{"value":{"entity-type":"item","numeric-id":4085266,"id":"Q4085266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$958EB7F9-F53E-4145-966D-19034298C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$CD32E695-E100-4E86-84C2-4E278B8BDCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08715def1ceb273d041286a52bd51b713d753969","datavalue":{"value":{"entity-type":"item","numeric-id":4728264,"id":"Q4728264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$6463DA7F-DC3F-4865-884D-3B6E54AA71A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa125572283608c35735028b87a9094cb443112f","datavalue":{"value":{"entity-type":"item","numeric-id":5575604,"id":"Q5575604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$3A4B917C-5BD5-4B17-900E-7FE6722D8811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64eaadb5fe90b853b5422ea4979121c326763206","datavalue":{"value":{"entity-type":"item","numeric-id":1062144,"id":"Q1062144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$C459FCE6-AAF2-4D4E-AE95-F4290EFCB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$8DE995D6-3FAD-41D0-9117-0D109B9EB364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50dfb57c7a9677f6aa58eaabeed6f2f658889a3c","datavalue":{"value":{"entity-type":"item","numeric-id":3798273,"id":"Q3798273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$D1A9BEE4-DD0A-4B43-A2C6-1F4E93AED914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f68c90bf618447f850acaab558df28a22be37f1","datavalue":{"value":{"entity-type":"item","numeric-id":5545960,"id":"Q5545960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$71B0FB77-6989-4AF8-962E-28200ABA28CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$4271FD08-1ED2-4D51-949E-81B89626EE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324808556a2d03907b1134e7d63e855c3c630b1d","datavalue":{"value":{"entity-type":"item","numeric-id":3978768,"id":"Q3978768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$796DB40A-38E9-4684-B1C8-F624F7F1164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af188522ee36dfbc40e8063345c06265fc901ae","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$14999C7E-9D35-4387-97C8-18ED8A0980B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$E5296368-350F-447B-A529-4387D74A1621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d304a00d50771e01e7788e3cfc2f2ff25c39bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5343396,"id":"Q5343396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$7888D2F7-C8B4-4E7B-8DDF-9C581FF41401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60732c5579247da5b25f1e36c26427986278c68a","datavalue":{"value":{"entity-type":"item","numeric-id":2554955,"id":"Q2554955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186612$AF4575F5-5B21-4053-A9A8-7F1985CAA8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68e7b7189055c013e78ef6564ff9f3e38e73dc2b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90337-f","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186612$7F4BF25D-47BE-41D9-B46E-1E919A90BEC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e9c4a891b99de6c291840f1c548ddfad8d89c55","datavalue":{"value":"W2024878294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186612$BB7117D3-2DC9-438F-A4F7-F429EDD7F853","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475ef3ac5f64bc201b890cc1381a2e6d9b130f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3978768,"id":"Q3978768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4204dc5942364cdf1384748b45acc0ae36959d48","datavalue":{"value":{"amount":"+0.8281956911087036","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":"Q1186612$BC11A534-2EC4-4CF5-998C-DE32718D3431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273e642004212083cab9e0a1c798bc5147570100","datavalue":{"value":{"entity-type":"item","numeric-id":792454,"id":"Q792454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f81451fa85efcb578487bae19e1928beec5919e","datavalue":{"value":{"amount":"+0.7964771389961243","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":"Q1186612$B761DD6E-7A16-41B3-996B-73288E33C4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541aa996dbd16b9c597960e7f52a59410c3a7274","datavalue":{"value":{"entity-type":"item","numeric-id":580992,"id":"Q580992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e941d20f82481fbcddf111d2754e86db990941c2","datavalue":{"value":{"amount":"+0.789099395275116","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":"Q1186612$CD8319B1-45A6-4727-B8B5-2369164E129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bf572adae3f53aeb2d8f0c291be12b842b9319","datavalue":{"value":{"entity-type":"item","numeric-id":3295796,"id":"Q3295796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73d1e9a69ff55c65b21f9bb875f4833b704a825","datavalue":{"value":{"amount":"+0.7833399772644043","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":"Q1186612$7F39A1DA-7075-43FD-AA80-0CC3778CBDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1d1750c860be60342132e885994514104ea3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1185250,"id":"Q1185250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0297e98bf53d2314db9af1e53fd8632b022647b8","datavalue":{"value":{"amount":"+0.7814303636550903","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":"Q1186612$1357227F-CA99-4FCF-9ACF-43E0CB37E2D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a kind of Fatou property of context-free groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_kind_of_Fatou_property_of_context-free_groups"}}}}}