{"entities":{"Q372354":{"pageid":374121,"ns":120,"title":"Item:Q372354","lastrevid":61331394,"modified":"2026-04-10T22:41:09Z","type":"item","id":"Q372354","labels":{"en":{"language":"en","value":"On disjoint unions of finitely many copies of the free monogenic semigroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213691"}},"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":"Q372354$777428B7-8C34-4D75-A749-9D91C1F56B5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c4aa97de2a4e2679a2afb21026e1567654a25d3","datavalue":{"value":{"text":"On disjoint unions of finitely many copies of the free monogenic semigroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372354$7E4BAF8D-0E5F-41FD-972A-1374DB2697C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb4b52db54a883c097bbcffb12b8208559e134d1","datavalue":{"value":"1316.20059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372354$1738C14B-3623-406A-9BBA-3BB2EBF6491C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3388a2b7e09386b04eb39f07bedd845489c4c80","datavalue":{"value":{"entity-type":"item","numeric-id":372353,"id":"Q372353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$CF8EAD99-E469-4FB1-93EB-63652C516D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd78d4bdb808fac2af34ccbd95e95e6e263f6f7e","datavalue":{"value":{"entity-type":"item","numeric-id":1330683,"id":"Q1330683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$BC6B5ACD-5382-42C3-AC8F-63BBD6BFE655","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":"Q372354$7D7A55DA-607B-4548-96CD-00B86FDC19E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372354$74398CB0-2705-4B8D-8C58-4840F9ECEC1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9ca0bc9f24e90532c385eee994816c83e042ae4","datavalue":{"value":"https://arxiv.org/abs/1205.6169","type":"string"},"datatype":"url"},"type":"statement","id":"Q372354$84AF13AB-B74E-48A7-A50D-1DC32A7CAC09","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a9584e64b26b702f0e3395ffa83a5077479c7b3","datavalue":{"value":"The free monogenic semigroup \\(N_a\\) is the free semigroup on one generator \\(a\\), and this is isomorphic to the semigroup of natural numbers with addition. A semigroup \\(S\\) is said to be finitely presented if it admits a presentation \\(\\langle A\\mid R\\rangle\\) where both the alphabet \\(A\\) and the set of relations \\(R\\) are finite. If any distinct elements \\(s\\) and \\(t\\) in \\(S\\) can be separated by some finite image of \\(S\\), i.e. there exists a finite semigroup \\(T\\) and a morphism \\(\\Phi\\) from \\(S\\) onto \\(T\\) such that \\(s\\Phi\\neq t\\Phi\\), one says that \\(S\\) is residually finite. While the disjoint union of a finite number of finitely presented [residually finite] groups is also finitely presented [residually finite], it is known that the same may not happen if one takes semigroups.   Let \\(N\\) be a semigroup which is the disjoint union of \\(n\\) subsemigroups, each one of them a copy of the free monogenic semigroup. The main result in this paper states that \\(N\\) is finitely presented and residually finite. The proof of the first part also provides a positive answer for the decidability of the word problem for these semigroups. To conclude the paper the authors list a number of interesting questions with respect to ``being finitely presented or residually finite''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q372354$DCBFA1D2-BC0D-409B-8275-EE102B7019C5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0579c251d8ab2570348a81065dc132bfdb79295a","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$C974012F-2E6E-4B87-A325-52EC33BD9DB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372354$3592109E-9CD3-4145-B5A2-9A6642245418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7c542aeb8e021283168327fc8360198c61ac430","datavalue":{"value":"6213691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372354$E537A9E4-54E9-4CDE-8D24-D353A8AE64BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a480bbb0503ad1383c61b813b8935a8089c75443","datavalue":{"value":"free monogenic semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q372354$5307B68A-6945-4044-9385-1987F9A71113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372354$49685386-A008-451A-BC80-DE48DA541474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9b97d6ac594c24c01a8a6b79aef227b0c9c46b","datavalue":{"value":"residually finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372354$3E282E7F-081F-4E30-B8EF-FB8C34560DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q372354$52669C49-E4D1-4353-9E12-6095CB1D8834","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":"Q372354$53FC09CF-5B49-4DF9-AB39-C95BC4A387DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9c25eb8784cc0ba8fdd537088dd2cffc94b865e","datavalue":{"value":"W2067447502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372354$AF50841F-8E54-4398-B9AD-25C5EB51C6C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7595807c23ca5fb7aef2cd8aae46be483f80b6ac","datavalue":{"value":{"entity-type":"item","numeric-id":5939965,"id":"Q5939965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$309957C1-C664-41FA-B748-E4CC659A1CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840ed50b0dac9987da566f793eecf42652d54a7f","datavalue":{"value":{"entity-type":"item","numeric-id":2537143,"id":"Q2537143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$6295FF14-DE26-4F14-AE47-6B666975E462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba758577e7928002c5ddf829d924fb49b349ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4085948,"id":"Q4085948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$691D0627-398D-4DEC-BD8E-DE29D13F260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ca0d30402036d1758e6c19d2785e6b152e46a0","datavalue":{"value":{"entity-type":"item","numeric-id":402658,"id":"Q402658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$FD6FD047-11E5-4450-9FEB-3804D1B89B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0849bfc5839137425132014c5272d2ee494b1f","datavalue":{"value":{"entity-type":"item","numeric-id":4839155,"id":"Q4839155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$1EA0C310-E547-4270-9DAA-7A79E33A2582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$EE4B85F8-3038-426A-BF1B-94E64A3B18E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f95ef66b01383674261b66578caac2f6cfefbc9","datavalue":{"value":{"entity-type":"item","numeric-id":5642728,"id":"Q5642728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$14216120-EDA4-4829-BF0A-7680A5B5045A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$03D23124-B788-41AF-8892-29BA70A79F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6814ef78453770263be7153847467267beb6722","datavalue":{"value":{"entity-type":"item","numeric-id":5343411,"id":"Q5343411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$B2E9566B-6E57-4EC4-9268-725F79BD6B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e028ad8e046a2dbf2197aa1e15874fd3b609539","datavalue":{"value":{"entity-type":"item","numeric-id":1031556,"id":"Q1031556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$0E00F686-350D-44E7-AAFB-3CBDE7DFB59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375d8a912349b21b04caec4193555b6cce1426d1","datavalue":{"value":{"entity-type":"item","numeric-id":1806109,"id":"Q1806109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$7CE0FD62-0914-45BB-A73A-1666AEF8711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd35e5466e011a0c854e91d0ace0470d4ef6103","datavalue":{"value":{"entity-type":"item","numeric-id":1270378,"id":"Q1270378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372354$979F8B2D-033D-46CC-87AC-9B58A3872C4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539c51b685e3764a5aac1a8eebe85be266ccee99","datavalue":{"value":"10.1007/S00233-013-9468-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372354$69B0E3C7-A710-4CA7-8E19-0FF481117DE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b345363a7330b9a9b6d772e3158e3ccd7e74fc","datavalue":{"value":{"entity-type":"item","numeric-id":896226,"id":"Q896226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea373c54e03fcddb029fb48d1ffc90a9528374fe","datavalue":{"value":{"amount":"+0.8274281620979309","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":"Q372354$D862A54D-6C7F-4076-8BCC-310B226C0B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79656e8a940d605a8473173d9064e7d6d103fb9e","datavalue":{"value":{"entity-type":"item","numeric-id":1701408,"id":"Q1701408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5706248b89e379abcb67914f3316a53542455","datavalue":{"value":{"amount":"+0.8181741833686829","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":"Q372354$F936E467-2290-4A40-92D7-FB665A5FB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9bd0e0c25f7417063a64a65fadb0ad625aff3a","datavalue":{"value":{"entity-type":"item","numeric-id":5478640,"id":"Q5478640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db8fc21d17165f89e272bbd345477b1f349c22a","datavalue":{"value":{"amount":"+0.8119504451751709","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":"Q372354$46FA3346-466B-4CEC-BEA8-E3F764898AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc247ef3db5e65e384ed71cd221b3a4c66b04281","datavalue":{"value":{"entity-type":"item","numeric-id":5939965,"id":"Q5939965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b50b317dfa571b05b62cc5d872b62d8c216253c","datavalue":{"value":{"amount":"+0.7748265266418457","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":"Q372354$E361401E-1B1A-4367-935D-71DC41FA6442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19022a86689174c0762104b62a70d44163be2201","datavalue":{"value":{"entity-type":"item","numeric-id":1318960,"id":"Q1318960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95018a03ed55c87a9d933527242c3a8e5fad690e","datavalue":{"value":{"amount":"+0.754692792892456","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":"Q372354$C9F9ECEC-F1F1-4600-A3CA-AAC9D630CC70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On disjoint unions of finitely many copies of the free monogenic semigroup.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_disjoint_unions_of_finitely_many_copies_of_the_free_monogenic_semigroup."}}}}}