{"entities":{"Q1583902":{"pageid":1594642,"ns":120,"title":"Item:Q1583902","lastrevid":73971777,"modified":"2026-04-14T17:54:32Z","type":"item","id":"Q1583902","labels":{"en":{"language":"en","value":"On regular, strongly regular congruences on ordered semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523487"}},"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":"Q1583902$47CF91F8-8B6F-4B09-AF8C-DA3157743C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"186267cd49f6c2354bfba9350690e8b4cadcea0c","datavalue":{"value":{"text":"On regular, strongly regular congruences on ordered semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1583902$ACD68338-50D2-4EEC-A9B1-26058D13DAAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e826ecad5508ee10c95b544e600aa557a76ddeec","datavalue":{"value":"0967.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583902$EA8C7689-5593-43B7-A8AE-D77D6902BAF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"949bd28ec80d9fa8d905cc89ee713a090f10dc36","datavalue":{"value":"10.1007/PL00006018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583902$3761E9B6-A04D-4E64-AC98-9520EC192724","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"155d627ef23776d1e2c9e19ffa576868b02cb927","datavalue":{"value":{"entity-type":"item","numeric-id":171333,"id":"Q171333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583902$0A75D4A2-25E9-41A5-9548-DB77BE18DACE","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":"Q1583902$21278929-66F9-4CC8-BF86-4243346DE822","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ee4853016f302299c33887f7431c9879f60f44f","datavalue":{"value":{"time":"+2001-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1583902$AAEFF93A-50B0-4281-92C9-297DC1A97312","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cfcdf52ec3a04f52701010a8144ba2bc592a7a74","datavalue":{"value":"If \\((S,\\cdot,\\leq)\\) is a partially ordered (p.o.) semigroup and \\(\\rho\\) is a congruence on \\((S,\\cdot)\\), then, in general, the quotient semigroup \\((S/\\rho,*)\\) does not inherit from \\((S,\\leq)\\) a nontrivial partial order \\(\\preceq\\) such that \\((S/\\rho,*,\\preceq)\\) forms again a p.o. semigroup. In this paper, \\(\\rho\\) is called regular if there exists a partial order \\(\\preceq\\) on \\(S/\\rho\\) such that \\((S/\\rho,*,\\preceq)\\) forms a p.o. semigroup and if the natual homomorphism of \\(\\rho\\) is isotone. First, it is shown that for every ideal \\(I\\) of \\(S\\) (defined as a semigroup ideal of \\((S,\\cdot)\\) which is also an order ideal of \\((S,\\leq))\\), the Rees congruence of \\(I\\) is regular. Using a result on pseudo-orders due to \\textit{N. Kahayopulu} and \\textit{M. Tsingelis} [Semigroup Forum 50, 389-392 (1995; Zbl 0828.06010)], it is shown that a congruence \\(\\rho\\) on a p.o. semigroup \\(S\\) is regular if and only if there exists a p.o. semigroup \\(T\\) and a homomorphism \\(\\varphi:S\\to T\\) such that \\(a\\rho b\\Leftrightarrow\\varphi(a)=\\varphi(b)\\). A congruence \\(\\rho\\) on \\((S,\\cdot,\\leq)\\) is called strongly regular if \\(\\rho\\circ \\leq\\) is contained in \\(\\leq \\circ\\rho\\). Characterizations of regular and strongly regular congruences are given, in particular in the case that \\((S,\\cdot,\\leq)\\) is a lattice-ordered semigroup. Finally, it is shown that the p.o. set of all (strongly) regular congruences forms a complete lattice, which is not a sublattice of the congruence lattice of \\((S,\\cdot)\\) in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$2778BB98-4925-4813-8897-722114F68F63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583902$DDD3CB57-8986-496C-8809-3ADB8253E046","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8346e29d6ccc36984b7fe68d01f434aa877a669c","datavalue":{"value":"1523487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583902$C5F8DECD-06D4-4647-BF32-F212C9D3A44B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$86F9AC72-63AC-46BF-A5C2-ECDC20B7D3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4bf7091bb3deee642c809c971ae31b92be1938","datavalue":{"value":"quotient semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$69E51D34-9CCD-4960-8466-CEC3F326BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$2EA7A6D6-3725-464F-BEA2-655F0FD83066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b100f638d76d1171fe8b81b60de3de879eff42a","datavalue":{"value":"Rees congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$61EB68E9-F9DE-424F-9B65-0310B25B3C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbe2eeeb9f11ce7b55d89655d0e0f7c0fcc36ef","datavalue":{"value":"strongly regular congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$4C71E861-BC6C-4970-A895-EC074CED02A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982b2281cd0373c84704236cbf69dd01f950b044","datavalue":{"value":"regular congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1583902$203E2040-95A8-480F-A77C-AE97DA543448","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1583902$010ACD0C-17FA-4A54-9119-2B5D8B5E4F2A","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":"Q1583902$1D24358C-F60A-4AA2-B15D-3D8CE8077FF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c8601d1fffe2196df896deafb37eadaa500e841","datavalue":{"value":"https://doi.org/10.1007/pl00006018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1583902$01CBF905-08FA-4D6E-8F08-01FCB7DC507A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3035227c646855cb42bfb5fe6d778194ac3bb10","datavalue":{"value":"W83916435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1583902$D982AB69-F1D6-4D9A-9131-E6578C106954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fbfa70e44be279cb98b5c75bd195aaf08426f6","datavalue":{"value":{"entity-type":"item","numeric-id":1891656,"id":"Q1891656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea07c10314363d2dbbedc97fb4fd13eb296351a6","datavalue":{"value":{"amount":"+0.8077919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$CB8E5133-7561-4D8A-A31C-73330B01DDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"153a9e6745124b0e486accc7190a0bc328553977","datavalue":{"value":{"entity-type":"item","numeric-id":4385853,"id":"Q4385853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57cd14464f573b8fbf9038ccdda52ae5096d506","datavalue":{"value":{"amount":"+0.8019643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$1E8FF60E-1C0E-4947-BE13-C1473D256270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54bb4680e65a1d053250b36c91e9498da05143d","datavalue":{"value":{"entity-type":"item","numeric-id":1422279,"id":"Q1422279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e870483302f7edef377f02fcff3775ac2a9768e","datavalue":{"value":{"amount":"+0.7855137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$6ECE0377-2B17-4C2D-9455-46F4198D7D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd369fb1e221fb27d5a3146ada03ea34860351a","datavalue":{"value":{"entity-type":"item","numeric-id":3125262,"id":"Q3125262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c847a6b0d2ee48aa800d4768f33ef7736995a8ec","datavalue":{"value":{"amount":"+0.78288996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$B624880F-C08B-4321-8B6B-43FC162C8059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07f1e1eb00a172dcc4316512c56550a8ed04f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1434112,"id":"Q1434112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80a89d7efb306af42397bca5547fcf8b5acef9e","datavalue":{"value":{"amount":"+0.7788067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$5FB1C8C1-5E92-45B9-BE64-204A60D02278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea4e5a62edf3fdd1ca8b115cad40c9cae0086b8","datavalue":{"value":{"entity-type":"item","numeric-id":5471462,"id":"Q5471462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f619033dbecf0f31b1e6219a8c5aeaa229d8a9ce","datavalue":{"value":{"amount":"+0.7787307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$D9829597-FE7D-4EA4-A4A6-E3FDB407C3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6db705f6b9e79d4ccec3d37cb5b3ee925725a4f1","datavalue":{"value":{"entity-type":"item","numeric-id":5905659,"id":"Q5905659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bc4fab3999a94268ea3c3a7e5db0fbd36971a21","datavalue":{"value":{"amount":"+0.7776337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$451314BA-1742-48A0-8E7C-553DD9875A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d11c5a0a0c7f8bd97a465f0361632ac0587d0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1394496,"id":"Q1394496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b43460f4ae1f483e199c305841a5e5a5f7ffc3d","datavalue":{"value":{"amount":"+0.7773429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$84E52678-8429-4C33-8DE9-14D1A91C0EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8895310e788c1dbd8fd62ac24509ff2b504a1072","datavalue":{"value":{"entity-type":"item","numeric-id":5929677,"id":"Q5929677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd10693b619b28097f5dc474c4c21a1d052e32d","datavalue":{"value":{"amount":"+0.7761423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$11F9B814-0A31-40B4-9344-E752E819BC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa00974ec41390c75324074253df9feae1b5d40","datavalue":{"value":{"entity-type":"item","numeric-id":2688667,"id":"Q2688667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d8eb2ba402525a05d52990b160974513f8f2f42","datavalue":{"value":{"amount":"+0.7684508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1583902$CBD28E35-239E-41EA-A716-5CD82D2141FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On regular, strongly regular congruences on ordered semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_regular,_strongly_regular_congruences_on_ordered_semigroups"}}}}}