{"entities":{"Q372360":{"pageid":374127,"ns":120,"title":"Item:Q372360","lastrevid":61331448,"modified":"2026-04-10T22:41:10Z","type":"item","id":"Q372360","labels":{"en":{"language":"en","value":"Left reductive congruences on semigroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213695"}},"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":"Q372360$372851FB-1BD8-465A-A422-C7AE5FCBC7DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93d15f9ca7867cc1c42b12ea47e3dd183143cd50","datavalue":{"value":{"text":"Left reductive congruences on semigroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q372360$3E96DF14-9B46-4E56-A0A3-74A8786B5FD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00bbb29c03a994e1cc35dfd7bff492c9b256cf53","datavalue":{"value":"1301.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372360$05BCBD58-453D-4083-A45C-E168F2E0B62D","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":"Q372360$6318272A-B3AC-482D-88F9-FF9E06AAE1AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q372360$78993E06-4EDB-4C75-B932-47AAF67030E0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4273a08212ab77265290f82c6878957566dbbeeb","datavalue":{"value":"A semigroup \\(S\\) is called a \\textit{left reductive semigroup} if, for all elements \\(a,b\\in S\\), \\(xa=xb\\) for all \\(x\\in S\\) implies \\(a=b\\). A congruence \\(\\rho\\) on \\(S\\) is called a \\textit{left reductive congruence} if the factor semigroup \\(S/\\rho\\) is left reductive. Let \\(\\rho\\) be a congruence on \\(S\\). The author constructs the sequence \\(\\rho^{(0)}\\subseteq\\rho^{(1)}\\subseteq\\cdots\\subseteq\\rho^{(n)}\\cdots\\) of congruences on \\(S\\), where \\(\\rho^{(0)}=\\rho\\), and, for an arbitrary non-negative integer \\(n\\in\\mathbb N\\), \\(a,b\\in S\\), \\((a,b)\\in\\rho^{(n+1)}\\) if and only if \\((xa,xb)\\in\\rho^{(n)}\\) for all \\(x\\in S\\). The author proves that the union of this sequence \\(\\bigcup_{i= 0}^\\infty\\rho^{(i)}\\) is contained in the least left reductive congruence on \\(S\\) containing \\(\\rho\\). But they are not equal in general.   In this paper the author focuses his attention on congruences \\(\\rho\\) on \\(S\\) for which the congruence \\(\\bigcup_{i= 0}^\\infty\\rho^{(i)}\\) is a left reductive congruence on \\(S\\) and proves that \\(\\bigcup_{i= 0}^\\infty\\rho^{(i)}\\) is a left reductive congruence on \\(S\\) if and only if \\(\\bigcup_{i= 0}^\\infty\\iota_{(S/\\rho)}^{(i)}\\) is a left reductive congruence on the factor semigroup \\(S/\\rho\\), where \\(\\iota_{(S/\\rho)}\\) denotes the identity relation on \\(S/\\rho\\). For a Noetherian semigroup or a semigroup with \\(S^n=S^{n+1}\\) for some \\(n\\in\\mathbb N\\), the universal relation on \\(S\\) is the only left reductive congruence on \\(S\\) if and only if \\(S\\) is an ideal extension of a left zero semigroup by a nilpotent semigroup. In particular, if \\(S\\) is a commutative Noetherian semigroup, then the universal relation on \\(S\\) is the only left reductive congruence on \\(S\\) if and only if \\(S\\) is a finite commutative nilpotent semigroup. Finally the author presents three open questions with respect to a left reductive congruence on \\(S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q372360$E96B2277-AA54-4F39-9E98-8C5356389BD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372360$E5727B96-D57E-4A82-9EA3-1F139844701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372360$004CDDEB-A1C4-4B00-9907-5985B233D0A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"814d871b264950e29884db8fd259224b70729859","datavalue":{"value":"6213695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372360$47F6719D-1755-485A-A9A5-FB58DAD64C3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad497840f4312733f74674828cfa6e9a387ea6a5","datavalue":{"value":"left reductive semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372360$EC7A1173-B759-4815-8311-8595E428AEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b5757a147444c33b050a5f19c3b3b16f7f9c58","datavalue":{"value":"left reductive congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q372360$28154027-2CDB-46E8-881A-200C934F1BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb5689ca27c58ab4c374db05fb0a07ee18b744d3","datavalue":{"value":"left zero semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372360$9D4F627B-8883-48A9-9D83-02F1A520CB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"281171dc9a16fbbe8af8167c835ddb4a7d91fd41","datavalue":{"value":"nilpotent semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372360$582C382D-3615-43D1-945B-28148B75576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523fd607ca0d478a497cd710b97bd6c8a6d4f5c4","datavalue":{"value":"Noetherian semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q372360$0062546C-34C2-4425-A332-54B6469B6FA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cbd8f3a5b435da9455fd165b7b61ac24288ac4d7","datavalue":{"value":{"entity-type":"item","numeric-id":171333,"id":"Q171333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$56643E58-F926-49D8-88B3-22A71C09678C","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":"Q372360$8EF8EC26-5963-4C3A-8EB3-0E37927CA851","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eab21001205dc0376824801d88d42cc8560c089","datavalue":{"value":"https://doi.org/10.1007/s00233-012-9428-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q372360$C2D88620-15B3-4C3E-B2AB-3C342BCFA136","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7af83cced6f1ceaf4f554d3cd846a3df7eff7d0f","datavalue":{"value":"W2040890730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372360$08F6E4F1-BB09-49AB-858D-A64C0A2E594F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb3bde04a7f48466793010e7e8c7a44029979af","datavalue":{"value":{"entity-type":"item","numeric-id":1865687,"id":"Q1865687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$5FDD0AB1-37E6-4DC8-A2DF-14DFF9AC69F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$6BC5AD82-74B3-4856-971E-055ABD1C9258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$D4455305-6BAE-44F5-8C60-F61D97A0AC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2865852dc93043079e973d7fca0c6ce6faa956c3","datavalue":{"value":{"entity-type":"item","numeric-id":5659467,"id":"Q5659467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$71889B38-CF49-4BB8-A0E2-F45A289C335D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094f0aefc4fd9d7add8ec007007c37b1c7424e0a","datavalue":{"value":{"entity-type":"item","numeric-id":5658257,"id":"Q5658257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$BDA6F5E0-7E49-414B-9056-1B8256DAD109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e239a144a0b09f6e541b7342c8503549597ccf25","datavalue":{"value":{"entity-type":"item","numeric-id":1209279,"id":"Q1209279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$570689D6-311A-42C7-85E0-E97BDD0DB736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef722c8ec1c68be5f441e58c65161260a3312475","datavalue":{"value":{"entity-type":"item","numeric-id":2723165,"id":"Q2723165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$132489F8-181B-4024-80AD-CB53E6F4C277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85c3382f462da979cfc03a2c19966d7b274276d","datavalue":{"value":{"entity-type":"item","numeric-id":4123538,"id":"Q4123538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$56B11C01-86C4-4FD1-9250-C50813512661","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70891c178aba8a30b415958dd7f0be254653a3c2","datavalue":{"value":"10.1007/S00233-012-9428-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q372360$1188FFFB-6E34-42A9-B467-D6BEDBC3D07B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b19bb27ef9a0aaf3ec4262029f32f9024b9bf3b","datavalue":{"value":{"entity-type":"item","numeric-id":6257893,"id":"Q6257893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q372360$0D4448E8-E14D-4BC4-ABA6-B9860061D339","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776950722f4e225a7954bc80a294b916dc661e45","datavalue":{"value":{"entity-type":"item","numeric-id":2350952,"id":"Q2350952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40a051cb38e3e95fdc9e3387fe7a24820e9f6d9","datavalue":{"value":{"amount":"+0.8552364706993103","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":"Q372360$138632CC-7669-4237-9162-B6A54B6754B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06377ce9d786f68624caaeca9f60b1b0cc533c0","datavalue":{"value":{"entity-type":"item","numeric-id":1769327,"id":"Q1769327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c6134a11f4c84f1ad836671a15fb2c5049e9f4","datavalue":{"value":{"amount":"+0.8002825379371643","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":"Q372360$E36A4178-E8AB-4D50-A838-200BC9900FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180508a34fff27f858da82b4a1b4ee9ca8ae4a1f","datavalue":{"value":{"entity-type":"item","numeric-id":1201494,"id":"Q1201494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d66e6f5fbe1e6c07d944280b4e285f4fb6a28f1","datavalue":{"value":{"amount":"+0.7874074578285217","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":"Q372360$D2C736A3-4DF2-48C0-9C8C-571A2ECFD635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2400721b1e875df02e1c8496729d62a4745e4e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3691947,"id":"Q3691947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d2539368969e82f0b013684cf35dd03ac7f51e7","datavalue":{"value":{"amount":"+0.7601364850997925","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":"Q372360$7A2B028F-5437-4D5A-B2FF-71D12A8DD112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415ecef31b59b258911629b40c6654de96cdeac1","datavalue":{"value":{"entity-type":"item","numeric-id":3329654,"id":"Q3329654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efb7eca04b8ad701cc8e9f21540d3123cb50630","datavalue":{"value":{"amount":"+0.7597108483314514","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":"Q372360$27D1E1CE-4039-46E7-960C-AA4A0A040037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Left reductive congruences on semigroups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Left_reductive_congruences_on_semigroups."}}}}}