{"entities":{"Q915873":{"pageid":917721,"ns":120,"title":"Item:Q915873","lastrevid":65352186,"modified":"2026-04-12T01:59:44Z","type":"item","id":"Q915873","labels":{"en":{"language":"en","value":"f-disjunctive congruences and a generalization of monoids with length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152720"}},"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":"Q915873$8A7DD683-FDC2-4C04-A467-FFCD108E5538","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9343544e7527f3cbf39ec81ec0bd99af23605f09","datavalue":{"value":{"text":"f-disjunctive congruences and a generalization of monoids with length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915873$1E40904D-D7A4-41AD-B268-DC68C887C2E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb90d52850a9f3a266ad22040da118d0e3d4f6bf","datavalue":{"value":"0703.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915873$9F92F220-A5A9-473D-8638-F7E2DFDBA71A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51963e9f5728c8dbf9073bae29ee617e5145c704","datavalue":{"value":"10.1007/BF02573397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915873$8FA8EB30-61A1-4F67-8543-23EC59B056E6","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":"Q915873$08778DF9-24FB-49ED-9B82-EBB7EF5C746D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915873$B265615B-87B0-4560-9E70-099709C2D488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7033172829748db8e0d739ef1dfdf665a6b3113c","datavalue":{"value":"https://eudml.org/doc/135055","type":"string"},"datatype":"url"},"type":"statement","id":"Q915873$5CD39A4E-6751-47FB-9481-095FE22809D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8a76a515d48db0ff631e194c928edc05f0c2db9","datavalue":{"value":"An l-monoid is a monoid M endowed with a homomorphism \\(\\lambda\\) into the natural numbers under addition such that \\(0\\lambda^{-1}=\\{1\\}\\). If the condition that \\(\\lambda\\) is a homomorphism is weakened requiring only that \\((xy)\\lambda \\geq x\\lambda +y\\lambda\\) for all x,y\\(\\in M\\), then M is said to be a ql-monoid. The author shows that finitely generated ql- monoids are precisely the quotients of finitely generated free monoids by congruences whose classes are finite and also the finitely generated monoids in which every nonidentity element has only a finite number of factorizations as a product of nonidentity elements. He obtains as a corollary that the notions of l-monoid and ql-monoid coincide for finitely generated commutative monoids. A class of finite codes over a finite alphabet (known as solid codes) may be used to construct examples of ql-monoids, showing, in particular, that a finitely generated ql- monoid may not be an l-monoid. The same technique is used to construct an infinite strictly ascending chain of congruences on a finitely generated free monoid such that the corresponding quotients are l-monoids.","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$481DD8D9-7485-484B-B84F-678BEACC326C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915873$E0256DF7-F4EB-4964-B519-7A3D9F09CD3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a5da010024358a4c3a8fc4fa1eaee338ae4a546","datavalue":{"value":"4152720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915873$CA8BB151-84E8-4C55-A152-BA46428B2DC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b51e0bd977799d6b227921f565759e6dad20b3","datavalue":{"value":"finitely generated ql-monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$4F231895-E86C-4A68-8123-8D5A67AF0634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64114c33c30d2603bc4c54ddaf7b39b11c0f2520","datavalue":{"value":"finitely generated free monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$206EA845-684E-4DB6-9018-12705A45BD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53ae0496261488b8091a5c53187cba8ab59a62d5","datavalue":{"value":"factorizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$576CB956-1224-4A9E-A193-F2E42CC6F0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e18708e71d4b0d400189a30bff3781747e4aae8","datavalue":{"value":"finitely generated commutative monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$CA60E7F8-5E37-44FB-AB15-981E04F194BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9673408086cafc41941ef1dfe64bc4824174bfb6","datavalue":{"value":"finite codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$212848CF-E49E-41A5-B170-97A01865E338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9492e7b7fe3f3a59018767e506e8f2cc61c49fc7","datavalue":{"value":"chain of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q915873$1F5AE05B-26D2-4FAC-9FD6-E1E2778BDE88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8af5e07d8691d11a1ec929ca6e183ced0e0c5387","datavalue":{"value":{"entity-type":"item","numeric-id":966374,"id":"Q966374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915873$6781834D-9CCA-450C-8E46-6C1BF52F8B2E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915873$71890A54-00C6-4BB8-A242-7B07B9D9D5FA","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":"Q915873$2710F3CA-9807-48A2-904D-194920BCECAA","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":"Q915873$73E1343E-313C-43F7-9317-86990CC2F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915873$3E847F32-732A-4AD3-A65E-DECC1AB999E6","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":"Q915873$5A115289-2419-4D0F-91F2-AB4C08EBEE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de83bbc4047f2dd3b7da7b150b6542a93131d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":3812464,"id":"Q3812464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915873$F9081AD0-5A73-4B44-BFD8-4CF48308778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0ac1c5adae44eab2ada63349b6600d8db9c7ad","datavalue":{"value":{"entity-type":"item","numeric-id":909801,"id":"Q909801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915873$C7CE8B51-0BD1-49FB-9CC9-952A9EDA7DA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c001ed5ec353e6ec4caa9436997d6e757057d1","datavalue":{"value":{"entity-type":"item","numeric-id":1091482,"id":"Q1091482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60acafe46092586d850c62495254f372a9d74780","datavalue":{"value":{"amount":"+0.7337350845336914","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":"Q915873$DFF59C45-F2AE-40BB-B644-E6E5E9DEEC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd22b5f2f61c8edf1c9f00ea91a6fc3840192d3","datavalue":{"value":{"entity-type":"item","numeric-id":3785044,"id":"Q3785044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0464428f842a55982cc0fb7d0e00cb7a2c425871","datavalue":{"value":{"amount":"+0.7257828712463379","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":"Q915873$BDB40A84-034C-4B81-B316-EB90FFA6DCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b5c084e0cd266f68aea099b1ebddc2bb60ded9","datavalue":{"value":{"entity-type":"item","numeric-id":3789785,"id":"Q3789785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a212d98ba7dbc39d05c5f8ba4ca985c429fe9b","datavalue":{"value":{"amount":"+0.7240638732910156","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":"Q915873$988F63BC-7B4C-4BBE-931D-63D34D8CC644","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":"9cb75b199d6defd2100fa18696b24334eec81969","datavalue":{"value":{"amount":"+0.7207434773445129","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":"Q915873$3C4DD891-DD5D-406D-8CAC-45D000B00326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebdf7f0210fe0fbc21dd0b76a55bd34c97fb658","datavalue":{"value":{"entity-type":"item","numeric-id":3197337,"id":"Q3197337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca2e94827ff6efabb5a0c227484ca8224964d33","datavalue":{"value":{"amount":"+0.7167757749557495","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":"Q915873$D53B5EA1-AEC8-47B8-898F-E6DB027D2891","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"F-disjunctive congruences and a generalization of monoids with length","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/F-disjunctive_congruences_and_a_generalization_of_monoids_with_length"}}}}}