{"entities":{"Q1955591":{"pageid":1966333,"ns":120,"title":"Item:Q1955591","lastrevid":57617685,"modified":"2026-03-31T15:45:33Z","type":"item","id":"Q1955591","labels":{"en":{"language":"en","value":"A sufficient condition for the Hanna Neumann property of submonoids of a free monoid."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176154"}},"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":"Q1955591$2F1422F1-FD34-4E25-AB45-7445ED545CAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2168d7416894636a22e7909036ab35e1c9b9ed6c","datavalue":{"value":{"text":"A sufficient condition for the Hanna Neumann property of submonoids of a free monoid.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1955591$C498A883-1034-4E76-A452-C53D25BB60F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63c2da41921407cae712091b83d66dc3001305f2","datavalue":{"value":"1288.20079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$264172F7-935C-4507-9733-2F1712F517F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$3EFE1F06-83E0-45AF-B2F4-4D9ED5FB0004","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$A4710738-2A9B-403B-B949-B2ACE443857B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1955591$47EF12B4-C9A1-4A98-89FE-18ED7409F84E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f02eb1217252510f77df9c58763172dc20a09302","datavalue":{"value":"https://arxiv.org/abs/1112.4256","type":"string"},"datatype":"url"},"type":"statement","id":"Q1955591$D0C6D2CC-F315-4C8B-AB20-35C0538AD3C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22e441b6fc4d52a230a37af2b235ad4c4e92a288","datavalue":{"value":"In the introduction of the paper the authors write: ``Howson proved that the intersection of two finitely generated subgroups of a free group is finitely generated [see \\textit{A. G. Howson}, J. Lond. Math. Soc. 29, 428-434 (1954; Zbl 0056.02106)]. In 1956, Hanna Neumann proved that if \\(H\\) and \\(K\\) are finite rank subgroups of a free group, then \\(\\widetilde{\\mathrm{rk}}(H\\cap K)\\leq 2\\widetilde{\\mathrm{rk}}(H)\\widetilde{\\mathrm{rk}}(K)\\), where \\(\\widetilde{\\mathrm{rk}}(N)=\\max(0,\\mathrm{rk}(N)-1)\\) for a subgroup \\(N\\) of rank \\(\\mathrm{rk}(N)\\). Further, Neumann conjectured that  \\[ \\widetilde{\\mathrm{rk}}(H\\cap K)\\leq\\widetilde{\\mathrm{rk}}(H)\\widetilde{\\mathrm{rk}}(K),\\tag{*} \\]  which is known as Hanna Neumann conjecture [\\textit{H. Neumann}, Publ. Math., Debrecen 4, 186-189 (1956; Zbl 0070.02001)]. \\dots The conjecture has recently been settled by \\textit{I. Mineyev} [Ann. Math. (2) 175, No. 1, 393-414 (2012; Zbl 1280.20029)]. \\dots Two finitely generated submonoids \\(H\\) and \\(K\\) of a free monoid are said to satisfy the \\textit{Hanna Neumann property}, if \\(H\\) and \\(K\\) satisfy the inequality (*).''   There has been introduced the concept called semi-flower automata [in \\textit{L. Giambruno} and \\textit{A. Restivo}, Theor. Inform. Appl. 42, No. 3, 503-524 (2008; Zbl 1149.68058)]. In particular, Giambruno and Restivo have obtained the Hanna Neumann property for a special class of submonoids generated by finite prefix sets. In this paper the authors obtain a sufficient condition for the Hanna Neumann property for the entire class of submonoids generated by finite prefix sets. In particular, a general rank formula for the submonoids which are accepted by semi-flower automata is also obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955591$2691CD41-5353-42A3-A1D3-D0AF92435ABD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$27894370-EE69-4A96-B7E9-91F42FF40719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$E78558FB-6250-490C-9186-A7BA44026767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$9965623C-D2A2-4DB9-9703-4BFB87BBB0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$9BD4C618-3A9D-4A7D-97A1-1E5FFAA450DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22814007c8af2f7b2ae3c4caf9271c0bfd3b511d","datavalue":{"value":"6176154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$88E7EA8D-FBAF-48BC-BC93-A661961EA272","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c446a640f4a250b1cd03159b88ee0aa23b29d52e","datavalue":{"value":"finitely generated monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955591$5A31AD82-51C5-40A0-9838-AD88186B2445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51322d36018f25b816c0945a5228e835327d5185","datavalue":{"value":"semi-flower automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955591$67A32BC7-4FCA-470F-9B23-1939A1CD6797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85686c88b6675116cec177bbafff890f9021164","datavalue":{"value":"rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955591$E05B4BED-12EA-46C7-AC81-AECB0918FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae1ded56288cec03f2b59faa07005c2ed44c507","datavalue":{"value":"Hanna Neumann property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955591$DC7B31CC-B667-4C33-BBDA-EECBF19615C2","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":"Q1955591$4D518CC1-E0B4-47EA-A0EC-1EC3C258F0FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b322ac5c1590d7b83aa8fcdb1b24c52e19c47e3","datavalue":{"value":"W3105968778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$3DE45A3A-C935-42CB-9B09-94BF013717F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bcebe3e5e589b59809b54b4843b39a94cae5f60","datavalue":{"value":{"entity-type":"item","numeric-id":3714479,"id":"Q3714479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$F482BCA7-67F1-41E7-BB42-C924AC8EED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$F5E8BEE5-1436-4A55-9A03-A7AFA6D941B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b2b228c5eff127e4853142501beb97a44e9a16","datavalue":{"value":{"entity-type":"item","numeric-id":760507,"id":"Q760507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$E1DE2495-318A-470D-A38C-D5DC5EA99608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13e8f1b5f1454f6b865214a30d9dcbfeb64f10b","datavalue":{"value":{"entity-type":"item","numeric-id":5828014,"id":"Q5828014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$05D0815C-CFED-49FE-8D31-61BB7A1E2C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a53d24f4b7d15ab9cefa78c0b997ec28a55cf5","datavalue":{"value":{"entity-type":"item","numeric-id":5943421,"id":"Q5943421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$79DC2175-409F-478C-8E98-351A59E8DF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44592d8d41f1e4775a5c5607da3e296a978fb829","datavalue":{"value":{"entity-type":"item","numeric-id":1855279,"id":"Q1855279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$644696CE-6A93-417F-A3B1-17D72E8A71EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e23e6f7eca7c9f7b05214a81897165d65773c54","datavalue":{"value":{"entity-type":"item","numeric-id":3094725,"id":"Q3094725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$2BDFCDE8-E4CB-4B05-A1D2-CA9815ABEFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8faceb49e804ae1ad2b84bb542913a88ceac9b09","datavalue":{"value":{"entity-type":"item","numeric-id":764063,"id":"Q764063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$3352FB8F-E5A4-42C7-AA0C-E7A9086E97F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739057c17b0a4e61a99825b3c5f17c9f209f5b40","datavalue":{"value":{"entity-type":"item","numeric-id":3231202,"id":"Q3231202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$AD0D6A83-3AB7-4E35-842C-1920CF62490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e52ab6cea5a06123e69e0fc872bb77ace8e698","datavalue":{"value":{"entity-type":"item","numeric-id":3209315,"id":"Q3209315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$AF78F461-9027-41CF-9BDE-D307268455FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c67faad0e5b2f135c0c3a4f5583ecc1ec3ce64","datavalue":{"value":{"entity-type":"item","numeric-id":4913402,"id":"Q4913402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$907A1703-8278-4809-98D7-FF49DC150258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34bb846580a1f500aa6012f05269959aa558487d","datavalue":{"value":{"entity-type":"item","numeric-id":2560496,"id":"Q2560496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955591$59E96173-9B85-4869-81DF-082D812DC5C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43004c07a1e50dddd5e1b0633a8e4f92fb5b180b","datavalue":{"value":"10.1007/S00233-012-9449-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955591$0E3FD3A0-42C6-4D3A-9BFE-63141D77A778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbca21a226207b36d7b7e6cb6b228ca8fd8798e","datavalue":{"value":{"entity-type":"item","numeric-id":4913402,"id":"Q4913402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10572c30cd7ad73e71409f20b6631f8ada8ccbb8","datavalue":{"value":{"amount":"+0.923622190952301","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":"Q1955591$F4F5E700-B7B5-4E7B-86BA-141A54865B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8942c57fe668dad0e90c19ee1089e790500d8469","datavalue":{"value":{"entity-type":"item","numeric-id":3526414,"id":"Q3526414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea9846f97a430d9ee135afbf62638fa7105d6a2","datavalue":{"value":{"amount":"+0.8128255009651184","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":"Q1955591$BD5285D0-57D2-4F2D-95B1-0AFC866A9184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3262d14c8b74ff57ee7e41a2b623a71f8fe0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3152678,"id":"Q3152678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f48f9f1b9ee32a4189eb9860937e9e3d6bee0c3","datavalue":{"value":{"amount":"+0.7154938578605652","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":"Q1955591$6DEBA825-B3C1-4331-BAA8-1B0A36EDD9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735eb841b81cdc6fb1143816ca7a1afd7b3ccdf8","datavalue":{"value":{"entity-type":"item","numeric-id":760507,"id":"Q760507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c706d3165801638a0ea0756838f9b61d359101e","datavalue":{"value":{"amount":"+0.712149441242218","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":"Q1955591$F694C957-C38D-40AB-9A1E-F565A1156A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1ad4485220a280cd2c6aa5dba027313be54b72","datavalue":{"value":{"entity-type":"item","numeric-id":3838259,"id":"Q3838259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4c480f0bc376a590b647b513209c0a05904b97","datavalue":{"value":{"amount":"+0.7053382992744446","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":"Q1955591$11EF1E67-88EE-40B4-AEAD-083A5483C0B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1955591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1955591"}}}}}