{"entities":{"Q2893300":{"pageid":2904025,"ns":120,"title":"Item:Q2893300","lastrevid":84888500,"modified":"2026-06-03T05:02:41Z","type":"item","id":"Q2893300","labels":{"en":{"language":"en","value":"The Krohn-Rhodes theorem and local divisors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048131"}},"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":"Q2893300$60E6A8CC-66A1-4414-9D39-F65F210055CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d46f7572715c78382d6998e5290706ae82d3ee7","datavalue":{"value":"1263.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$1C0BE6A1-5ED2-4486-84A9-67F1A150CA19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893300$CF1717D9-953D-4A12-BB0F-B718DE8AD8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893300$50AC7C68-1871-4067-8A3A-9BCF4BC14445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a9b0b0009e7dc26ed1fb596dd0543ae0a05a62b","datavalue":{"value":{"entity-type":"item","numeric-id":172568,"id":"Q172568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893300$55B42FB0-4BDD-4D3B-874C-6F0E8E9EBF77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2893300$035E814B-78BD-4910-816A-CA25666563AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1533a89bdd794b6e54326fe98615aa83b9e83b90","datavalue":{"value":"https://arxiv.org/abs/1111.1585","type":"string"},"datatype":"url"},"type":"statement","id":"Q2893300$04D2E807-338D-44D6-9916-6B529FAD854B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"327313e57f411bb3139136ef2ff71294d8f5a7e2","datavalue":{"value":"http://iospress.metapress.com/content/t482n94q95x87784/fulltext.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2893300$23ACAB15-E88C-4071-B1CB-E801A6D04840","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$D5971D91-CD40-4D18-AA03-4636454BD9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$5FCA5C39-4672-4430-B054-0B56F3A00BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$A1A0D5B3-B57D-4B12-A77C-F4915436C7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$CAFB19C1-4FDE-42DC-90F7-D61F5162135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$3C80DAEA-798E-49BE-8AC9-91410622898D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16baa203303dd2c6766bf67c95f87f610fbaf575","datavalue":{"value":"6048131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893300$D1481D5B-B13F-471E-98F7-553C7899F088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893300$62C13455-ECE3-4FE2-BEAF-B27EF95C5953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893300$99E77D7C-BF9D-4709-B675-B2EEB4D75627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893300$05870EA1-4A6B-45F4-95A9-17269F6D48E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47a8d210c28298f072c89a49cfe46d235cb79e21","datavalue":{"value":"transformation monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893300$276735DE-6353-4E68-88A3-7854B56BC6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ee478c750caea749591f40b4d0b63323c1eecc","datavalue":{"value":"wreath product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893300$0D0A6FEB-D9E1-4B52-9B9B-E42DAE0748BD","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":"Q2893300$D8694EE8-BCE8-411B-A116-29B128767A1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3375d5da6c9720206a13789ba96f75c40d61f01","datavalue":{"value":{"text":"The Krohn-Rhodes theorem and local divisors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2893300$7C2DD09A-2793-42DF-B7D1-26FEA4BFE046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893300$D7E435DC-8D9D-42C9-A9C5-5400E429FFE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7bd34f83a90f836fe15a9e22fc0cdfa565d650b3","datavalue":{"value":"Given a monoid \\(M\\) and its arbitrary element \\(c \\in M\\), the monoid defined on the set \\(cM \\cap Mc\\) by the multiplication rule \\(cm \\circ cn = cmn\\) is called a local divisor of \\(M\\). The main result of this paper asserts that every transformation monoid \\(M\\) generated by a set \\(A\\) divides a wreath product of the local divisor of \\(M\\) corresponding to a given generator \\(c \\in A\\) and the submonoid of \\(M\\) generated by \\(A \\setminus \\{c\\}\\) (with the help of additional constant transformations). This provides a new, short proof of the Krohn-Rhodes theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893300$1C9CB7DF-6085-4B8A-9E74-031476E1F17F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e360e835094103aee0817dd4cb43ec4ae2adb196","datavalue":{"value":{"entity-type":"item","numeric-id":443745,"id":"Q443745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893300$F04F28E0-7CA9-4691-B848-4BE301614CE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c6fa29b43a512a8e35cfe5cb39707df917734d0","datavalue":{"value":{"entity-type":"item","numeric-id":3587258,"id":"Q3587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3096af68ee65b6af642bcd6f07685cc51f267a","datavalue":{"value":{"amount":"+0.8102808594703674","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":"Q2893300$4A9665F0-2E16-464E-B4D3-89CCC55B78E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc90b97adf9ca206a59182ddfdef5119b31246a1","datavalue":{"value":{"entity-type":"item","numeric-id":4522843,"id":"Q4522843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd97e6a3a48ed927dc6d2f149cd19b400b5bbbd3","datavalue":{"value":{"amount":"+0.7917370200157166","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":"Q2893300$2CD0A0E6-0D70-4649-877F-2943073C6F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd7aeffbd89bfceeb0b7f81e88502f37daeda1a","datavalue":{"value":{"entity-type":"item","numeric-id":3121327,"id":"Q3121327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d7dc388b3f8b1c31838a88ef026eeaa49b3889","datavalue":{"value":{"amount":"+0.736386775970459","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":"Q2893300$F85922A0-55BB-44B8-A864-612899216B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d569d0faf18fcfe9c880d026a0070b1451026845","datavalue":{"value":{"entity-type":"item","numeric-id":3680286,"id":"Q3680286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9588a0b69ad17b373ffc8f02b0a01bb91283bd8","datavalue":{"value":{"amount":"+0.7248668670654297","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":"Q2893300$69B370C6-6683-4586-9FC6-DA90D1254221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab9145fcc3159e7f74c3cd21f194d02e2872a2b1","datavalue":{"value":{"entity-type":"item","numeric-id":1366274,"id":"Q1366274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1332ca72c4cc60821ece852ab1ee491373bcc36","datavalue":{"value":{"amount":"+0.7178965210914612","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":"Q2893300$6BE803AA-2512-4F95-A7A5-7BE7C3727CC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Krohn-Rhodes theorem and local divisors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Krohn-Rhodes_theorem_and_local_divisors"}}}}}