{"entities":{"Q805745":{"pageid":807593,"ns":120,"title":"Item:Q805745","lastrevid":49514086,"modified":"2026-01-07T10:41:46Z","type":"item","id":"Q805745","labels":{"en":{"language":"en","value":"Reduction theorem for the type-II conjecture for finite monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204661"}},"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":"Q805745$DCAB6AB1-C282-4DA7-A3D9-FAA8B8DFC1F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b9873be2ba9ae729ca53cddabcedb551f224c26","datavalue":{"value":{"text":"Reduction theorem for the type-II conjecture for finite monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805745$76770A5C-00A5-4409-8873-79CF073F62B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b54628aad01ee37fd8381f9e3f7ecf6bc7e45b","datavalue":{"value":"0729.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$E9DD5A71-E624-4AE4-987A-97F56A917686","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f5c58421e0c6ff3de2f42a9b0c4a99c95cb4e69","datavalue":{"value":"10.1016/0022-4049(90)90048-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$25DABA9B-18D7-47F5-8EA7-B1598DA95719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7ad990de5ddfa4e0ce911e54e1411e5a5513c5e","datavalue":{"value":{"entity-type":"item","numeric-id":805744,"id":"Q805744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$58350626-F19F-4A41-86C2-BA5625C0D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"380e690bd7fd3f03733dccc956b7bdfe526b3550","datavalue":{"value":{"entity-type":"item","numeric-id":1401333,"id":"Q1401333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$8442D656-CA85-4D28-9995-12887E5D88C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$A799841F-34CA-4927-8832-78232F4CBBD2","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":"Q805745$F7DD178C-0C42-4987-BA23-CCBD1D7979FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9824c6c0f6d61bda0f4e66e1c6ebfc4fc58f3867","datavalue":{"value":"\\textit{J. Rhodes} and \\textit{B. Tilson} [J. Pure Appl. Algebra 2, 13-71 (1972; Zbl 0257.20059)] introduced the notion of Type II elements in a finite monoid, showing that in the regular case these elements form the smallest submonoid that admits ``conjugation''. In doing so, they confirmed for finite regular monoids what has become known as the Type II conjecture. The present paper advances the general study of the Type II conjecture by showing that it can be reduced to the case of block groups, monoids in which every element has at most one inverse. Using this reduction procedure, the authors are able to prove certain special cases of the Type II conjecture, and to simplify existing proofs of some special cases.    \\{Reviewer's remark: the type II conjecture is now a theorem, having been verified in the general case by \\textit{C. J. Ash} [Semigroup Theory, Proc. Monash Univ. Conf. Semigroup Theory in Honour of G. B. Preston, eds. T. E. Hall, J. C. Meakin and P. R. Jones (World Scientific, Singapore) (1991)].\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q805745$6EDB467F-016E-4B6D-AB3A-5A18DDC81A01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$E388B552-6A34-4D86-B5BC-46369C3F5E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$3B149DBE-249F-4375-B5EB-4C257356F22D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5d991177e4d86a3b577fc7ec172761252aa9abc","datavalue":{"value":"4204661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$8A2E0948-558A-47C7-811C-045C8EA20D03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f350e3f76e84988c87023a9cbf39a494cc3ee39","datavalue":{"value":"finite regular monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q805745$0A95F009-675E-4A5E-AB9B-1B45DFC2CD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0286733b5f419d6d83942ff0f8597f55484a47b0","datavalue":{"value":"Type II conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q805745$F51F0A39-EFB8-41E9-8FCD-FF9EB652BD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d39af60653478a6ab0ab6ad2010bf402d25244","datavalue":{"value":"block groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q805745$7F8F1D28-F2D6-4257-86C3-E670532D7880","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6b52309247e67f30fa7f64431a66c264dcec3596","datavalue":{"value":"Q122965850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$10745EF6-F67D-43A8-8ACA-3324CACD6B8D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"adbdb2393a95b9cc0095400cb77ff3560439d000","datavalue":{"value":{"entity-type":"item","numeric-id":535218,"id":"Q535218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$90529FFB-06E0-42FE-8860-74CA4C45C808","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":"Q805745$9FC016C6-2178-46CF-AE21-1E44D2896062","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee99076372fe30fe16ba5ff19f1e15e3927c12f","datavalue":{"value":{"entity-type":"item","numeric-id":3760746,"id":"Q3760746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$8B35389F-EAC5-404B-A896-6FEC7F6CD1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a3804acb4e080d258469974063ac732d1ecd84","datavalue":{"value":{"entity-type":"item","numeric-id":3772420,"id":"Q3772420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$FAF9F99C-FD65-4054-AD47-5AF8D8A9B41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$1AE62FEA-AA47-4A5E-9DE4-DA2A31452D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a17da2d6459d6814d960119f1b0ffb811f5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3759045,"id":"Q3759045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$64E17F3B-F23B-4F9F-837D-24BCFEB5B2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505c5f34c2563aa301ab781904108878f7b05a34","datavalue":{"value":{"entity-type":"item","numeric-id":3033981,"id":"Q3033981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$5AFEF5C3-EDA5-4554-8556-D65562D23101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c7687eed411e70381dff5e14c2855c89576672","datavalue":{"value":{"entity-type":"item","numeric-id":5569146,"id":"Q5569146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$4082F36D-403F-4299-9DED-539B85595CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7230a1a1b0365f26fa179133bd7169fbd38f8f","datavalue":{"value":{"entity-type":"item","numeric-id":1173164,"id":"Q1173164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$58D54933-9320-4D57-8B22-792E4A7002CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$5099BEBB-8EE6-40F3-8F89-60BF7A6303DB","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":"Q805745$941E9C46-CC66-4DEE-8FD5-5E4990DEE9B7","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":"Q805745$1CB1CEFC-468E-43E0-83D0-9B39370F8CCB","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":"Q805745$EF558138-D9D5-46B1-9B61-1C0222A5D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cb592c69d9a5d4c2598eb508d49880ccece9ec","datavalue":{"value":{"entity-type":"item","numeric-id":2559565,"id":"Q2559565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$BBF09443-DC41-4021-9E20-F2913122807D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269f902bae3afc56913e7a9656bb37f8f5ebdbca","datavalue":{"value":{"entity-type":"item","numeric-id":3759042,"id":"Q3759042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$D41CBF90-529F-49BA-8948-F59728B7E523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f56c03dd765075270d61c78d7cb192d8e682ce","datavalue":{"value":{"entity-type":"item","numeric-id":1054715,"id":"Q1054715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$2A7A0E7B-EB1D-4BD3-A5D1-38683C256522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d7ab0ae26d29b32d03a921e62c304f8d73c47e","datavalue":{"value":{"entity-type":"item","numeric-id":3760745,"id":"Q3760745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805745$811675D5-0BB5-468B-A9D5-76646410A545","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f27ac7b074b115a4a3a73310cdae5ea93b63b1","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90048-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q805745$AE53267D-6E42-48B9-A968-D15920ABB6A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a851c262b7a9f472ab35a9d1e04c159da762ca0","datavalue":{"value":"W2018994876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805745$41153254-C564-42DF-9E41-43FFBCD05E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36272919e35480ede319765c03234cbd22bb6088","datavalue":{"value":{"entity-type":"item","numeric-id":1204565,"id":"Q1204565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16269c198836b1680f09937fa34c825d7bb2d247","datavalue":{"value":{"amount":"+0.8684977293014526","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":"Q805745$A0B81BE1-8375-49CA-AE5F-6C74BF45DDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d5e317ea9ec74b3de2ccafef703866fa372c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1386717,"id":"Q1386717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291011db2cc29e983192de611aaa71fbbabd660a","datavalue":{"value":{"amount":"+0.8671520352363586","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":"Q805745$E119D0AD-3DAE-48E2-A334-2EB3085F9267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53774770395cd5c6a7160086295b5373c8ad235","datavalue":{"value":{"entity-type":"item","numeric-id":4658701,"id":"Q4658701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a964cc9e71d9f59368d8f12fc3612816bc178b","datavalue":{"value":{"amount":"+0.8215575218200684","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":"Q805745$55488881-64D3-43F0-AA9E-86D56C4CA662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84c671eb576db413d1ba8ef5237132d7fa0beca","datavalue":{"value":{"entity-type":"item","numeric-id":4024640,"id":"Q4024640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7892ea51725ff67455e7e6842052a37fd81976af","datavalue":{"value":{"amount":"+0.7827754020690918","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":"Q805745$1CBF0C63-A6D3-4D34-AAD7-0A96A90F57EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d500d9271cbb4bf1660c098731d48fbccbc919c9","datavalue":{"value":{"entity-type":"item","numeric-id":3209328,"id":"Q3209328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafcde828a16ddb6aed6721f226c966d69a1b47f","datavalue":{"value":{"amount":"+0.7566307783126831","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":"Q805745$0B5BAAED-209F-4844-AFDD-638B9004D6AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:805745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:805745"}}}}}