{"entities":{"Q1386722":{"pageid":1397462,"ns":120,"title":"Item:Q1386722","lastrevid":68598255,"modified":"2026-04-13T00:49:40Z","type":"item","id":"Q1386722","labels":{"en":{"language":"en","value":"Normally ordered inverse semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156731"}},"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":"Q1386722$A181757D-D08E-4ED9-A8C4-0F6034899729","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02e2879d059728f0e1dbe86e67c6f32f8d63966f","datavalue":{"value":{"text":"Normally ordered inverse semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386722$30AEFD35-A09D-4AFA-8909-80AE8C4955B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"403c14139ef2a1b33aa4fa8d67a1297a35effd83","datavalue":{"value":"0899.20033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$56E54429-5781-4B60-A8D1-04B73E44FE27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30035b8248a4420674fb6a59df5a713560e91d0f","datavalue":{"value":"10.1007/PL00005955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$2B073097-2CC2-4755-9A9E-8165688929E5","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":"Q1386722$16FB3F84-405A-4567-BD71-FF5DCC1B5E7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94ea3cf1a75cf1ef51d9f171721248f27a6b1b2d","datavalue":{"value":{"time":"+1998-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386722$D22DDC74-A258-40F9-BC4B-063897E05218","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"801c61948cbcc06960b4feedb9d15ea65d1fdf7b","datavalue":{"value":"Let \\(S\\) be an inverse semigroup and \\(E\\) the set of its idempotents. Suppose that there exists a partial order \\(\\ll\\) on \\(E\\) such that two idempotents are \\(\\ll\\)-comparable if and only if they belong to the same \\(\\mathcal J\\)-class of \\(S\\) and, for all \\(s\\in S\\) and \\(e,f\\in Ess^{-1}\\), \\(e\\ll f\\) implies \\(s^{-1}es\\ll s^{-1}fs\\). Then \\(S\\) is called a normally ordered inverse semigroup. Groups, semilattices, 0-simple inverse semigroups are normally ordered, as well as the semigroup \\(\\mathcal{POI}_n\\) of all partial order preserving transformations of the \\(n\\)-element chain (Proposition 2.1). A finite inverse semigroup \\(S\\) is normally ordered if and only if its quotient over the maximum idempotent separating congruence is normally ordered (Corollary 2.7). A finite normally ordered inverse semigroup \\(S\\) is fundamental if and only if \\(S\\) is aperiodic and if and only if \\(S\\) embeds into the semigroup \\(\\mathcal{POI}_n\\) where \\(n=| E|\\) (Theorem 3.2 and Corollary 3.3).   The class \\(\\mathbf{NO}\\) of all finite normally ordered inverse semigroups forms a pseudovariety of inverse semigroups (Theorem 2.5). This pseudovariety is closely related with the pseudovariety \\(\\mathbf{PCS}\\) generated by all semigroups \\(\\mathcal{POI}_n\\), which was studied by \\textit{D. F. Cowan} and \\textit{N. R. Reilly} [Int. J. Algebra Comput. 5, No. 3, 259-287 (1995; Zbl 0834.20063)]. Namely, \\(\\mathbf{PCS}\\) coincides with the class of aperiodic semigroups in \\(\\mathbf{NO}\\) (Theorem 3.4); on the other hand, \\(\\mathbf{NO}\\) is shown to be generated by \\(\\mathbf{PCS}\\) together with the class of all finite groups (Theorem 5.2). The author also finds a class of generators for the pseudovariety \\(\\mathbf{NO}\\) (Theorem 4.4) and shows that \\(\\mathbf{NO}\\) has no finite pseudoidentity basis (Corollary 3.8).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386722$30E45437-F9A1-4F37-A028-7CF3742ECC35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$42941A04-764B-4592-BB14-71AE1B447581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$F209B908-8E75-477B-BCFC-7015ED7F4950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$074E4EED-0CF4-4DCB-9D30-FD5AD7D468E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$FF7E1423-3625-4DC9-9A94-7681BC0C023D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc778a7c964cb01fd4fa51c5691f1abe69dabeca","datavalue":{"value":"1156731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$9AC4B258-A8A5-4ED4-BDCB-BEAEA897815E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e07516a3f070f865f1c3aa204c9a21dbe7974e0b","datavalue":{"value":"normally ordered inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386722$9F1B65B0-3AB7-4588-AD0D-49E7BA2D88E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de42178bad50d86b7c1bf9f6080b32213eb6ae99","datavalue":{"value":"pseudovarieties of inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386722$978A87F0-1A08-43ED-9B64-8AEAED25D0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3827ced96a0783d46550a28ebd7dc0d956c7b951","datavalue":{"value":"order preserving transformations of chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386722$45F4D3A5-5C0C-4593-8E8F-504D2F182F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386722$D53E9F67-BB24-49A7-B54E-58C6A7FA166E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1534a5b404286d71588a0bbe8060da22acaf8d3b","datavalue":{"value":"bases of pseudoidentities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386722$39CA6A58-BDB4-4E9D-96A0-077A07611A25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1537e713c2dad955d8ddfc52201f246f3e24f589","datavalue":{"value":{"entity-type":"item","numeric-id":305765,"id":"Q305765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386722$46AE647F-8BCE-41AD-8BB2-C81D91E8B31B","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":"Q1386722$94FE1315-CF8D-4C69-9CAC-65F378D3A7F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ef7af64b028e55dab6c978737bcea6aeb0e2ae","datavalue":{"value":"https://doi.org/10.1007/pl00005955","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386722$9CA533AC-27A5-42B3-8229-BA98FFA69CCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9419585dfc008e5bbae3a7db3c54da7e94e9689","datavalue":{"value":"W2011041601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386722$E4BFB221-3096-4567-BC37-1739AAB8FC9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00658625a3d4f36f566c06b9304f9a2344b4b284","datavalue":{"value":{"entity-type":"item","numeric-id":3503713,"id":"Q3503713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e937aa428a379c686f5fc61bff7f41d4b811a1a","datavalue":{"value":{"amount":"+0.8983134031295776","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":"Q1386722$F5176218-32C5-45B6-A801-6145D10A53B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0555505cb3c648678afded248c97aaaebbeb12","datavalue":{"value":{"entity-type":"item","numeric-id":2480761,"id":"Q2480761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3640cf05f6384635eb6d61f500d39671ac7d0cea","datavalue":{"value":{"amount":"+0.7802644371986389","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":"Q1386722$73821D2C-8CCE-484F-AACA-C517203CBE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768ace0275f4bfa904d83f78b0910785dd71a648","datavalue":{"value":{"entity-type":"item","numeric-id":4220169,"id":"Q4220169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8faf24221e32cdb015bd827790ca6cba15154f","datavalue":{"value":{"amount":"+0.7635928988456726","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":"Q1386722$94BE59D5-2F9C-4FE0-8B0E-FC4EB2509F41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normally ordered inverse semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normally_ordered_inverse_semigroups"}}}}}