{"entities":{"Q1300538":{"pageid":1311288,"ns":120,"title":"Item:Q1300538","lastrevid":68513703,"modified":"2026-04-13T00:13:13Z","type":"item","id":"Q1300538","labels":{"en":{"language":"en","value":"A class of \\((0)\\)-idempotent-free transformation semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1330652"}},"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":"Q1300538$E59F1B66-6B14-4CD7-81EE-AB5C1A66A180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25beab8d2e8e511dc565496582d3012ebba92adc","datavalue":{"value":{"text":"A class of \\((0)\\)-idempotent-free transformation semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1300538$B76C4B89-0CE8-4C05-893C-792D910EDC1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99b4f1797ff5d28d6eb427580a1f0c5addcc96cc","datavalue":{"value":"0943.20066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300538$4F8AC8C2-1EF6-4315-AC53-452C20D44294","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87f15460dff9bed05fe4a76122e9d3d4296fce74","datavalue":{"value":{"entity-type":"item","numeric-id":1300537,"id":"Q1300537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1300538$5518BEF3-D469-4263-AEC1-02AD481D5D56","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":"Q1300538$84D058DA-EFE6-48E5-89D0-0E7BE70CB729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1300538$8F36BE6C-F0EA-472E-BD62-DF5C9C459FB0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75cd5e79d1d6a71a328f3bc70e61f01fec7859ba","datavalue":{"value":"Let \\(X\\) be a totally ordered set with a smallest element \\(l\\) and let \\(S^-(X)\\) denote the semigroup of all order decreasing transformations on \\(X\\), i.e., all those transformations \\(\\alpha\\) such that \\(x\\alpha\\leq x\\) for all \\(x\\in X\\). Let \\(IF^-(X)\\) denote the subsemigroup of \\(S^-(X)\\) which consists of all those transformations \\(\\alpha\\) on \\(X\\) such that \\(x\\alpha<x\\) for all \\(x\\neq l\\). Evidently, the transformation \\(\\xi\\) which sends all of \\(X\\) to \\(l\\) is the zero of \\(S^-(X)\\). The author shows that \\(IF^-(X)\\) is an ideal of \\(S^-(X)\\) and the only idempotent of \\(IF^-(X)\\) is \\(\\xi\\). For \\(\\alpha\\in S^-(X)\\), denote by \\(d(\\alpha)\\) the defect of \\(\\alpha\\) which is defined by \\(d(\\alpha)=|X\\setminus X\\alpha|\\). Suppose further that \\(X\\) is a lower properly ordered set so that each element \\(x\\in X\\) has an immediate successor which we denote by \\(x+1\\). Let \\(V=\\{\\alpha\\in IF^-(X):d(\\alpha)>0\\) and \\(\\exists x>l+1\\) such that \\(x=x\\alpha+1\\}\\). The author shows that \\(V\\) is the unique minimal generating set for \\(IF^-(X)\\setminus G(X)\\) where \\(G(X)\\) is the collection of all elements of \\(IF^-(X)\\) of zero defect. He goes on to describe some congruences on \\(IF^-(X)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$2B8109F7-D840-4E11-8FBE-8F2567EF14E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300538$169696DB-7195-4D40-B015-5B634C102CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6db3b57cfe508fdf22be3a53134e8a5ce84f531f","datavalue":{"value":"1330652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300538$36D05E8E-7812-4403-A56D-2B18406A7D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21a0367d4486f5bec5b28ecf1406dd65fc362ab","datavalue":{"value":"totally ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$7C45A148-C1CE-4E0E-B3B6-513A6C3531BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6047787fa6dc4c0bf7efa052227b8a6fe033ed71","datavalue":{"value":"order decreasing transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$8E0870B9-6889-482A-B964-60B0B433CF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$C47EF90E-E483-4EF4-A754-9A35E764F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$40D33BCC-CDB9-4765-9AFF-2848C5C7474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cec8627fa5290b437717a7a0aa8cf0d1700c441","datavalue":{"value":"minimal generating sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$EB964A88-E109-4235-8646-307BAFC1B561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1300538$7B315E22-5F8A-42A5-A41F-75E87052B837","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":"Q1300538$D986B866-8FF2-422A-ACDB-7D2D1920EADC","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":"Q1300538$FF9170C6-C3B9-4358-A9FF-499B363B7F76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"338031d072017f7fb256b19593cd46b2381daa79","datavalue":{"value":"https://doi.org/10.1007/s002339900033","type":"string"},"datatype":"url"},"type":"statement","id":"Q1300538$2968C9B7-A1FB-4079-B328-AB4CEC26ED41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51889bd0009ccc9a02aa8d3ecf115145114f76e6","datavalue":{"value":"W2026725410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300538$797EA89F-59CD-44C3-A42B-4D1234734F6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a146d8795929bf482331d3d1586101b500a9c83c","datavalue":{"value":"10.1007/S002339900033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1300538$506F9FFE-AAE5-4ED0-A148-74E76D5B5EC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154a8f9fb54ce9ffb16b394cda11d438ab7288e5","datavalue":{"value":{"entity-type":"item","numeric-id":2111077,"id":"Q2111077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ea54c10a4a23dffd8ac1878c61fa2f65a593aa","datavalue":{"value":{"amount":"+0.796827495098114","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":"Q1300538$AF808ACF-ACD4-464C-9A24-F390B65A160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf97ffa85fbf163c96f6118110ee3a9e4ceaeb9","datavalue":{"value":{"entity-type":"item","numeric-id":706041,"id":"Q706041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbc095c579af44533848e0668a8cadfc266d59d","datavalue":{"value":{"amount":"+0.7903912663459778","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":"Q1300538$3FCB68C4-95B5-468C-B65E-BF597EFFB411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b21c44c239039297ada22961919e489bfe43b34","datavalue":{"value":{"entity-type":"item","numeric-id":3170274,"id":"Q3170274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d487d80a45ec864c4d4481cf811f7fdabbfb968","datavalue":{"value":{"amount":"+0.7873682975769043","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":"Q1300538$85A1C184-5F9F-4354-B8FA-1BF10ACF60C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9884c545dc700593b5babf09dd1463f5b9a3f3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5422163,"id":"Q5422163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaec0a27337866a492f9cefdbea3e37c58fbadb","datavalue":{"value":{"amount":"+0.7826249003410339","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":"Q1300538$B450283C-A4D5-4377-A060-88938395A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4153fd4006f2b1693049a81ef406ae2a9f46d6ea","datavalue":{"value":{"entity-type":"item","numeric-id":3991038,"id":"Q3991038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61d017588d6fc6f30253f4a7d67a9647fb0ffff","datavalue":{"value":{"amount":"+0.7823256850242615","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":"Q1300538$73220F49-2013-4595-987D-CD0207D0E594","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class of \\((0)\\)-idempotent-free transformation semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_class_of_%5C((0)%5C)-idempotent-free_transformation_semigroups"}}}}}