{"entities":{"Q1402899":{"pageid":1413639,"ns":120,"title":"Item:Q1402899","lastrevid":48163975,"modified":"2026-01-03T20:17:59Z","type":"item","id":"Q1402899","labels":{"en":{"language":"en","value":"On the structure of \\(\\mathcal{IO}_n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1972505"}},"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":"Q1402899$C7ACF58A-AA44-4D20-95DF-CE0AC9C2C8BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d15ab6ad0ab3708f4526cc7d8d51eb1eaf82b8e0","datavalue":{"value":{"text":"On the structure of \\(\\mathcal{IO}_n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1402899$47A1B850-2929-410A-BB1E-E516B858D3AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53839241d13e5327b44c8085fd102458ee411603","datavalue":{"value":"1027.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402899$2EA05CFD-F122-46D1-80CA-3014D818DE1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f418212164f31f4a347095cd14bbd650e0223f","datavalue":{"value":{"entity-type":"item","numeric-id":929382,"id":"Q929382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402899$EF0B7F30-ED85-4B04-8A20-F69892975A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5564a6cbcf2de406b30d0d95b7c4698ee6dcd24","datavalue":{"value":{"entity-type":"item","numeric-id":206795,"id":"Q206795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402899$9BE5B069-7310-4631-88E6-BE95B24F70CD","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":"Q1402899$F362BE43-4B41-4C59-AA34-F537CC157BC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cba42c15b60f86e885dacaa10fdf6728507ff845","datavalue":{"value":{"time":"+2003-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1402899$6E512D44-6F59-4E21-AD2C-C058CCA8EF5E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a6460d89007d7efecb1eef5f02779a2a57bb8711","datavalue":{"value":"Let \\(N=\\{1,2,\\dots,n\\}\\). Denote by \\({\\mathcal{IO}}_n\\) the semigroup of all order preserving partial injections of \\(N\\) and let \\({\\mathcal{IS}}_n\\) denote the full symmetric inverse semigroup of all partial injections of \\(N\\). The authors get information about the ideals and Green's relations of \\({\\mathcal{IO}}_n\\). For example, they show that every left (right, two-sided, principal, left principal, right principal) ideal \\(I\\) of \\({\\mathcal{IO}}_n\\) is of the form \\(I=J\\cap{\\mathcal{IO}}_n\\) for some unique left (right, two-sided, principal, left principal, right principal) ideal \\(J\\) of \\({\\mathcal{IS}}_n\\). They go on to get information about sets of generators of \\({\\mathcal{IO}}_n\\) and about the maximal subsemigroups. Among other things, they show that \\({\\mathcal{IO}}_n\\) contains exactly \\(2^n-1\\) maximal subsemigroups and exactly \\(2^{n-1}\\) maximal inverse subsemigroups. They go on to prove that \\({\\mathcal{IO}}_n\\) has only one automorphism in addition to the identity map and they then get information about the maximal nilpotent subsemigroups of \\({\\mathcal{IO}}_n\\). For example, they note that all maximal nilpotent subsemigroups of \\({\\mathcal{IO}}_2\\) are isomorphic and they show that if \\(n>2\\), then \\({\\mathcal{IO}}_n\\) contains exactly \\(\\tfrac 12(n!-(n-1)!)\\) pairwise nonisomorphic maximal nilpotent subsemigroups. In addition, they show that the maximal cardinality of a nilpotent subsemigroup of \\({\\mathcal{IO}}_n\\) is the \\(n\\)-th Catalan number \\(tfrac1{n+1}{2n\\choose n}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$26F62E87-9346-4284-944F-FD09C60422E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402899$A947EAF0-997D-4679-8871-0A538CB04B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"453fe1dd0f19a593316433cff78f121387fddd0a","datavalue":{"value":"20M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402899$980B5C5C-D0BB-464B-AA2A-515AC57A1A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45da881005a06bbabea0d9c391de516acbf7ac32","datavalue":{"value":"1972505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402899$AE295DD3-8C06-4945-AEF7-B1F6F302F400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9469c48108cb58064010bb0c502b91fe65aa0403","datavalue":{"value":"order preserving partial injections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$FEC113F4-4B36-4D12-A3E2-F74951F9A618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95046b68ff480e61acd74478adc34fcd52a43d69","datavalue":{"value":"full symmetric inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$01C7E70C-0EC1-469F-A3F8-1977FD490511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$4B9F638D-EE29-405D-B25B-0CD7FFA99DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ac95bace04be49f497cca43d0ba7f878233024","datavalue":{"value":"Green's relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$E02E7969-D958-46AD-92A2-87EC8848D120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$640FE779-7DEE-4041-A378-F91F8342E4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280dda47787a319a1f2291490e6e6203409c2d6d","datavalue":{"value":"maximal subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$A4FE977D-AACF-47F1-B8E3-537280CFCB94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2d142bcdddd016bf331214a367323b65438d63","datavalue":{"value":"maximal inverse subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$0C7EE224-7373-40F1-BF37-FF126A57D61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a91279b9cc177cee1b949f0915ff800b14668c","datavalue":{"value":"maximal nilpotent subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1402899$0A8AB25E-1E23-4556-AAF0-102E5BD150EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4880fd1a9270e5b25133de71f895948a3bdbbc68","datavalue":{"value":{"entity-type":"item","numeric-id":233325,"id":"Q233325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1402899$AF595A70-8411-4D11-999D-5D836530B168","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":"Q1402899$C1A16AB3-61D5-4D65-8ADA-340D1420B1AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c96b033b937defacfcc2a16878853fd519cdfae","datavalue":{"value":"https://doi.org/10.1007/s00233-002-0006-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1402899$EA6C0438-E8AB-4BDA-8C92-F518E8F10F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35488253fa1295921c1bb533f961554d766e372c","datavalue":{"value":"W2035410799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402899$E0FF1EC1-2AD1-453F-BDB9-F4603508804B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"408d0972773b25d19d706492f60456e18905112a","datavalue":{"value":"10.1007/S00233-002-0006-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1402899$387CAFB1-BCFC-4F65-83F7-F39380CBB400","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23928afcbc726bdc1b5ba9cf67d6e26d77999bc9","datavalue":{"value":{"entity-type":"item","numeric-id":5748176,"id":"Q5748176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2187115ea651d8ca35d8b0008f59b1185128d97a","datavalue":{"value":{"amount":"+0.8761881589889526","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":"Q1402899$A5CD8F68-D6E9-4DB1-9646-4F08A49A790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081a823339968043b5d33891446948d1fcf01915","datavalue":{"value":{"entity-type":"item","numeric-id":4312763,"id":"Q4312763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233e0f522232deecb217d75ee27f5cd478a1896b","datavalue":{"value":{"amount":"+0.8305040597915649","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":"Q1402899$5F0FD590-CDC1-4D8B-99EA-22ACD854A354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5972dcbc65f75ec47b1c32b23c7980151bd42d6","datavalue":{"value":{"entity-type":"item","numeric-id":1313474,"id":"Q1313474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0aa1ce5b72bf5c4000a1cb19353d6f48f58ba4b","datavalue":{"value":{"amount":"+0.828162431716919","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":"Q1402899$4356A11D-78FC-4AF9-83A1-632865AB1F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b053c55c5309d77f2275a180302885ae03d2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3465168,"id":"Q3465168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa0cf5ef9f990c922558c5a1c89081fc075c972","datavalue":{"value":{"amount":"+0.8146244883537292","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":"Q1402899$1DC21622-9DB4-4597-98CD-1125E924807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d267c71c0566d18c618e81afa814b0216d33e252","datavalue":{"value":{"entity-type":"item","numeric-id":1905280,"id":"Q1905280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e772ed6ecee7b450342aaf0c618d29c960b71624","datavalue":{"value":{"amount":"+0.8113278150558472","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":"Q1402899$074B627D-735A-4383-BFDF-38A59CE54563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1402899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1402899"}}}}}