{"entities":{"Q1173729":{"pageid":1184478,"ns":120,"title":"Item:Q1173729","lastrevid":66432675,"modified":"2026-04-12T10:02:40Z","type":"item","id":"Q1173729","labels":{"en":{"language":"en","value":"Topologies for the free monoid"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7328"}},"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":"Q1173729$DBBE6968-513F-4233-AD88-82475AC0CA64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27fc215afd4ca8698e7a12e0b71349abebfe136c","datavalue":{"value":{"text":"Topologies for the free monoid","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173729$39D60FFF-0797-4CA7-946B-574AEE846943","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f182be1071819848096051c6afacf5cc977682d","datavalue":{"value":"0739.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$09C0BFB3-46D5-4981-A067-2D3612D09D7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5bfffdcc27553238e00c6ced943c8224aa0aa2a","datavalue":{"value":"10.1016/0021-8693(91)90094-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$CBAC5591-C7DA-495A-8D5B-8B9142DDC387","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6749bcdead989847e012c6d63fa055fe98296ad","datavalue":{"value":{"entity-type":"item","numeric-id":230066,"id":"Q230066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$AC0AA5D9-6A7A-46F9-B655-F4932F55A8E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$E8DC0597-68DC-4CEC-B28F-983FA7827673","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173729$1792F2F6-EEF6-41C0-AA8C-D19BDCF2491D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a8650015b70bff02321df809187a408f1020eb1","datavalue":{"value":"Let \\(L\\) be a recognizable subset of a free semigroup \\(A^*\\), \\(M\\) the syntactic monoid of \\(L\\), \\(E(M)\\) is the set of idempotents of \\(M\\) and \\(P\\) is the image of \\(L\\) in \\(M\\). It is conjectured that if for each \\(s\\), \\(t\\in M\\) and each \\(e\\in E(M)\\), \\(set\\in P\\) implies \\(st\\in P\\), then \\(L\\) is closed in \\(\\mathcal T\\), where the topology \\(\\mathcal T\\) on \\(A^*\\) is defined by all the monoid morphisms from \\(A^*\\) into a discrete finite group. The conjecture is proven in two particular cases: if \\(P\\) is a submonoid of \\(M\\), or if the idempotents of \\(M\\) commute. The conjecture has several interesting consequences, for instance if it holds, then \\(K(M)=D(M)\\) ( Rhodes' Conjecture). Here \\(K(M)=\\cap 1\\tau^{-1}\\), where the intersection is taken over all relational morphisms \\(\\tau\\) from \\(M\\) into a group and \\(D(M)\\) is the smallest submonoid of \\(M\\) satisfying the condition: for every \\(s\\), \\(t\\in M\\) such that either \\(sts=s\\) or \\(tst=t\\), from \\(u\\in D(M)\\) follows \\(sut\\in D(M)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$E8CAF333-3A0A-4D28-BBA2-5E1196014809","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$B32D374B-4DA8-4246-95D4-94836DD9A895","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$19931C98-9960-4E0C-AF1B-42A389E77115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$F6032489-4062-43B6-B701-8991967B1F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$D09D8801-7A7D-4E9A-8585-D8A70F85140D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c550af85dab8d7709f58cef72f61cda680f78eb8","datavalue":{"value":"7328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$C96EE0CC-2AA7-4E4A-83C6-E6020758FD05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c276693de46a56d8c90df7fa9976704f268ef4a8","datavalue":{"value":"recognizable subset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$24E7BE62-42E3-475B-93DE-F07D9C789433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b489be36f2806b138f130171c2492c208d47cd2","datavalue":{"value":"free semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$6DF1AEE5-A6A4-4BE7-AB24-C0986B9D90D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42057bfaccb223b82ed61e893f5ddcd54f694fa7","datavalue":{"value":"syntactic monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$58AB45F1-2CD0-42E2-B56D-87D506CC370D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$E8722F18-DBA2-4791-B0D8-D5E6F44300E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$C9359B79-CF96-49DE-9FF8-AED42DCDA30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cf30bfe9155b7ccb695b46fadb67313365e0d32","datavalue":{"value":"monoid morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$1B17CC6D-A377-4E38-8929-FABE72E420CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1219685f7bd9b99e77de58bc5c5682fd47c9856d","datavalue":{"value":"Rhodes Conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173729$72306CFB-6C9F-49D9-BB47-4165516B838C","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":"Q1173729$646C6B75-D4F3-410C-AAA2-FF1ACE572690","rank":"normal"}],"P223":[{"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":"Q1173729$C5C38A48-E49C-458C-95A3-4970785E401F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ec889d32df00e71358d6583a3a8f7ffe65557f","datavalue":{"value":{"entity-type":"item","numeric-id":1121888,"id":"Q1121888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$FE2A5B41-8FA5-4C08-B6A9-FFAF3F946B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccd1bab6ba09c8c55dfc90ba7e3541b2c5c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3285686,"id":"Q3285686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$6810F7CE-2AFE-4B95-BC5D-331739A0F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$7C27E4CF-8AA5-405B-A97E-C6A6301933DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6665069c37ad0ced2c3ad12bfd7f717163c5f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5972181,"id":"Q5972181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$E3EAC17D-2ECB-4765-9507-A15C1A8C1CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f908f59d01b41fecf547a8301d8805487f6bb8ea","datavalue":{"value":{"entity-type":"item","numeric-id":2554774,"id":"Q2554774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$111999FD-24E2-45E8-ADE4-4A3673336928","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":"Q1173729$87198D4F-4619-458D-89EC-88F0B4549DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$1F43228B-7936-4F1E-8B79-E8A02F8268BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356c28bd80302802f95c59c5716f188f8e581ee5","datavalue":{"value":{"entity-type":"item","numeric-id":3697241,"id":"Q3697241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$6C009679-B9CB-43D2-ACD5-24AFD72AE3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc17648a594f3f7aaf36f93a161395f908b86de","datavalue":{"value":{"entity-type":"item","numeric-id":3697247,"id":"Q3697247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$45560BE8-92CB-49E7-AE20-CA91A247CE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$1042D183-B24B-4631-A167-DCF797728F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b397bbef5c0c69635d6569bdf42b2fdfcc7de066","datavalue":{"value":{"entity-type":"item","numeric-id":3763607,"id":"Q3763607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$A02E3140-1BCF-41EE-AA4C-E7963C71D79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092cf1a402f6c7f18c91d6f5ca1b8b2ea6ac26c2","datavalue":{"value":{"entity-type":"item","numeric-id":3808324,"id":"Q3808324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$B4945547-082B-42B7-88BB-711E038BEC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d712afce67335859ecf5b2ecf3bf038245726e","datavalue":{"value":{"entity-type":"item","numeric-id":1144952,"id":"Q1144952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$874A4232-FCE0-430D-B4A9-164716135FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191dfebf6cd55297ada873ff7cbc817302c9d552","datavalue":{"value":{"entity-type":"item","numeric-id":1152715,"id":"Q1152715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$8E039617-BBC2-44D7-8372-465F9AF15A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9844351f58878ba449a8fd8cf45bb4cc809d46","datavalue":{"value":{"entity-type":"item","numeric-id":599182,"id":"Q599182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$55CB48F6-C60B-4DFC-90EC-AAA9D36A6D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406bf4098a1ddb2d0ade5ddcf4b35c26106e18fb","datavalue":{"value":{"entity-type":"item","numeric-id":1150445,"id":"Q1150445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$A4438195-6463-4D5D-BF93-E291075C84B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0adba178a48a8b96d18cfb668c6265efe80a70","datavalue":{"value":{"entity-type":"item","numeric-id":1838586,"id":"Q1838586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$3231ED84-EAC5-4014-8FA2-9BCDB38BF1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9dc2f92d9afe3fd816f25da0f54e803f51cff4","datavalue":{"value":{"entity-type":"item","numeric-id":917324,"id":"Q917324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173729$A179B4C1-9E8D-47D1-B6AF-9DF6F505F58B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08a7d74088363c8c0aaf02c0d94178170b9361e5","datavalue":{"value":"https://doi.org/10.1016/0021-8693(91)90094-o","type":"string"},"datatype":"url"},"type":"statement","id":"Q1173729$CCA8FA3B-E557-41B6-96C0-9964BE2863AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaf2cea591ab0f04456f58c7652e49d369927ffd","datavalue":{"value":"W2036497919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173729$4AFA832D-65BA-4B32-866F-C59C0387E145","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30024e85612f4f53c0c831b59f98856301fa233","datavalue":{"value":{"entity-type":"item","numeric-id":3808324,"id":"Q3808324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488a4fcc5c1f998e7b306be5b419ed231e239e74","datavalue":{"value":{"amount":"+0.8619714975357056","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":"Q1173729$67DD2118-92BD-45CE-B974-05D8E51F6826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188325d5ef19e72a4e1383f3f9231676f18cf27a","datavalue":{"value":{"entity-type":"item","numeric-id":1120685,"id":"Q1120685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da74f66eaf6447360f845d721d56f54d8914fe18","datavalue":{"value":{"amount":"+0.7967398166656494","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":"Q1173729$02B2FC82-6861-4C4F-8350-8EAD221AE3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817fc9c68379c7d8887591284be4b8059b0db508","datavalue":{"value":{"entity-type":"item","numeric-id":3697247,"id":"Q3697247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e84d9a4ae5c7802b632333364f1e21794dd4f3","datavalue":{"value":{"amount":"+0.7867695689201355","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":"Q1173729$27F081C0-7E20-4535-B016-CB09802D0220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba8a83833a2e2b5cd6ea51738d026d816de0f0b","datavalue":{"value":{"entity-type":"item","numeric-id":3697241,"id":"Q3697241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15d58de9777e1fa6ebc3f30242635de6f7db163","datavalue":{"value":{"amount":"+0.7836441397666931","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":"Q1173729$85DECE66-5C43-4EEE-A114-50B0668C769E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ff47cf5ff1ab37b726962688e957efa2eb45e0","datavalue":{"value":{"entity-type":"item","numeric-id":3741817,"id":"Q3741817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fc4089e9798b72a11abe2427fd457f8839b27c","datavalue":{"value":{"amount":"+0.7694186568260193","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":"Q1173729$4F14C75F-849F-43A5-BA93-0F1C05E034E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topologies for the free monoid","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topologies_for_the_free_monoid"}}}}}