{"entities":{"Q1099258":{"pageid":1110010,"ns":120,"title":"Item:Q1099258","lastrevid":66971604,"modified":"2026-04-12T14:04:27Z","type":"item","id":"Q1099258","labels":{"en":{"language":"en","value":"Orthodox congruences on regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4040184"}},"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":"Q1099258$6D9A2F98-773A-47C2-A8E2-9EE698F4B3E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b42ffe98c3de6c8b13123b5ce16eec8ee19c89f7","datavalue":{"value":{"text":"Orthodox congruences on regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1099258$44081CE3-BCB2-4C7D-A90C-F9B967DDEAA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64fb9f9a27c9c1ae6c84004f3e98a804f139992e","datavalue":{"value":"0638.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099258$20F8FE4A-4128-4F61-BCE5-895B0CDE3C5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37ff39938ccde08bd2168ca89d07fac9364ae4d1","datavalue":{"value":"10.1007/BF02573131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099258$24BED720-EE8F-4F4F-B8BA-6DBF0BD894A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f52ea33601b1801a124ec9bb5b7683ab84f03b69","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$8F577E5C-91EA-42E8-9D68-26DDFCE6C396","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":"Q1099258$705E074B-559C-48C0-AD87-1128501050E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1099258$9704F14B-D12B-49F5-8B17-22CD93B5BCED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ee27ffac7b06b2529493faa65c0b7e4fb30d0d9","datavalue":{"value":"https://eudml.org/doc/134922","type":"string"},"datatype":"url"},"type":"statement","id":"Q1099258$C82CAA21-C4D8-41AC-867D-CB51E1E30120","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98949500af8e582c8aa4df5c184181b439cf45ef","datavalue":{"value":"We show that every orthodox congruence on a regular semigroup S is completely described by an orthodox congruence pair for S.    A pair \\((\\xi,K)\\) consisting of a normal congruence \\(\\xi\\) on \\(<E(S)>\\) such that \\(<E(S)>/\\xi\\) is a band and a normal subsemigroup K of S is said to be an orthodox congruence pair for S if, for all \\(a,b\\in S\\), \\(a'\\in V(a)\\), \\(x\\in <E(S)>\\) and \\(f\\in E(S),\\)    (A) \\(xa\\in K\\), \\((x,aa')\\in \\xi \\Rightarrow a\\in K;\\)    (B) \\(ab\\in K\\), \\((a'a,bb'a'a)\\in \\xi \\Rightarrow axb\\in K;\\)    (C) \\(a\\in K\\), \\((aa',f)\\in \\xi \\Rightarrow (fxf,fa'xaf)\\in \\xi\\), whenever \\(fa'xaf\\in <E(S)>.\\)    Given such a pair \\((\\xi,K)\\) we define a binary relation \\(\\rho_{(\\xi,K)}\\) on S by  \\[  (a,b)\\in \\rho_{(\\xi,K)}\\text{ if and only if } (\\exists a'\\in V(a)\\quad (\\exists b'\\in V(b))\\quad a'b\\in K,\\quad (aa',bb'aa')\\in \\xi,\\quad (b'b,b'ba'a)\\in \\xi.  \\]  Theorem. Let S be a regular semigroup. If (\\(\\xi\\),K) is an orthodox congruence pair for S then \\(\\rho_{(\\xi,K)}\\) is an orthodox congruence on S such that its kernel is K and its hyper-trace, i.e. its restriction to \\(<E(S)>\\), is \\(\\xi\\). Conversely, given an orthodox congruence \\(\\rho\\) on S the pair (htr \\(\\rho\\),Ker \\(\\rho)\\) is an orthodox congruence pair for S and \\(\\rho =\\rho_{(htr \\rho,Ker \\rho)}\\). As a consequence of this theorem we obtain a characterization of all congruences on an orthodox semigroup S by means of congruence pairs for S.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$8004F2D7-5090-4A1B-9F26-A165FBEA29ED","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0579c251d8ab2570348a81065dc132bfdb79295a","datavalue":{"value":{"entity-type":"item","numeric-id":244464,"id":"Q244464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$4EA770CD-1C52-4E57-AF1C-FB600BCB43A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099258$B87C12A0-5959-43DA-B84B-5466E4C6FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099258$BC134598-3A31-44C5-B1DB-803843027CB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8e575dc0e660800d033428f11bab83da346efb3","datavalue":{"value":"4040184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099258$B508C06A-B898-4DD9-92A0-42214AFDFC6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a54b781706c108e83934565255bb33abd03602a","datavalue":{"value":"orthodox congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$B8D03B6D-DBA1-4104-B1E6-AB7B67A1C65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09a19a2f1d49fbc38b57058029e30518c0fec3","datavalue":{"value":"regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$DF65A555-EB9E-480B-B253-530ABC3028C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fe956d0435dc8cd97875c8e24a04b50de2e113","datavalue":{"value":"orthodox congruence pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$270E07AF-4A2E-44F6-A0D2-7BC35ED2FD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4d44777d0efd3bffd5ad5397bff6bf71b1dfd0c","datavalue":{"value":"normal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$F677B24F-6696-4F06-A2DA-2C5C818A34F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eab22ac02a7ac267cd6f9fef5205dcd6d41dbae","datavalue":{"value":"normal subsemigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$8AE6C927-5D37-4FF2-946C-A854D73B0985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fbc2cd26bf5ae29aeb55fbdf3863ef74420afb","datavalue":{"value":"hyper-trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$6E1BDCEA-9D80-44B3-85D6-076493033720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64cce56774dc68a0ec544c82fcb5ddd0278d0a58","datavalue":{"value":"orthodox semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1099258$C1BAD379-58C6-432F-B80E-2F1C75301718","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":"Q1099258$FAEAAF7D-1A38-482B-8A13-5CB7BB949307","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f151f44e050195d50bb7ca3cdc28efc4155dea4","datavalue":{"value":{"entity-type":"item","numeric-id":5686236,"id":"Q5686236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$0AC1C18D-9C45-4529-853D-0A11E9FC24A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c550becec9a07c8b92e3a702d635bb4ca080f67d","datavalue":{"value":{"entity-type":"item","numeric-id":762277,"id":"Q762277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$88CFB7D5-D1E5-4AF3-9DAE-5EC6BF754C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$1E26E738-4099-432B-8E34-256732C67B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ca58ce7fd008ebdfeced097985a35c1c6ee707","datavalue":{"value":{"entity-type":"item","numeric-id":1165327,"id":"Q1165327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$B50F192C-DAA1-4B8C-8722-52F1E39FFAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c3507d380d5e70ef950163a51e97064818a65c","datavalue":{"value":{"entity-type":"item","numeric-id":3889272,"id":"Q3889272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$ACABAB91-0247-4384-8ADE-7FF5147B9E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a375c0273832ddb35cb64696d96a6154f5c29d","datavalue":{"value":{"entity-type":"item","numeric-id":3734719,"id":"Q3734719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1099258$902CD045-4658-42D7-A9B6-AFD1C7538152","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e648afafc8efdfafafedb95089e6639cb9127ea","datavalue":{"value":"W2091885845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1099258$A2D5566A-ED94-43B7-90DE-DF42A34D1874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bdb344c8a25d1626e9e5e9cf49ff010de1a848","datavalue":{"value":{"entity-type":"item","numeric-id":4296349,"id":"Q4296349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affbdfa03344a8627effa520c89e0734637e6ec3","datavalue":{"value":{"amount":"+0.9744832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$4B6A44C3-4576-4FA8-B159-676028AE1780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a70d33fa59c09b6395076235df41b558439801b","datavalue":{"value":{"entity-type":"item","numeric-id":4228147,"id":"Q4228147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affbdfa03344a8627effa520c89e0734637e6ec3","datavalue":{"value":{"amount":"+0.9744832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$4ABD582C-FD98-4EAF-BF06-8A87773AFCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab36d0e05a9438ca70c32abb1ac6af98d7009b1","datavalue":{"value":{"entity-type":"item","numeric-id":3838443,"id":"Q3838443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09effa17131d3f45ec82e45b819831853843eeb3","datavalue":{"value":{"amount":"+0.97385556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$69B57B14-EEE5-47A7-8E55-986DE7A60867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e0e61df8fd64c8a73efde58a1515bd444c32c20","datavalue":{"value":{"entity-type":"item","numeric-id":5435956,"id":"Q5435956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e4c06226b7646a996b79373bc7e61cb3f20fbd","datavalue":{"value":{"amount":"+0.97342575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$C748E314-27DD-4040-90E4-4EA332FDC1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6527614862fec744db91f7e3dc107cf3a5361a89","datavalue":{"value":{"entity-type":"item","numeric-id":1239279,"id":"Q1239279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88ee4363a66af3062f7bb474ef85c2256f993a5","datavalue":{"value":{"amount":"+0.97020406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$D87C91D5-D71C-44BA-8F47-D578833F4FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbbce3319e4bb689dd875c5c5c8cc9d58478bf9","datavalue":{"value":{"entity-type":"item","numeric-id":2373415,"id":"Q2373415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad869cc5c3246b36aa8073f5eeb209c2f229f39","datavalue":{"value":{"amount":"+0.9700317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$E0488AEB-EF4F-4636-9F16-376C8AECD861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fcaecc269092a65dee0fffc20f57f95036ecf2","datavalue":{"value":{"entity-type":"item","numeric-id":3734719,"id":"Q3734719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5325377e762d75664fbd16fe5a2d9aa48600879","datavalue":{"value":{"amount":"+0.9542364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$9602E4B8-8E76-4F14-9226-216B0E441E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a9ef4130158a899a6f3e73447befdf269ab90f","datavalue":{"value":{"entity-type":"item","numeric-id":3342769,"id":"Q3342769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef05a22ffe29e6345ebb777f1f210b13ad3d8da","datavalue":{"value":{"amount":"+0.95183164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$BAC9E163-75FD-4A8A-AA1A-CABA9A7398D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6de1c4bda57c2bd96547b0e4c91ca8ce7f0d7fcb","datavalue":{"value":{"entity-type":"item","numeric-id":4830425,"id":"Q4830425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ab45fd45deca020f4cfe04c3cd7249f9f2e8ea","datavalue":{"value":{"amount":"+0.94991434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$0E570C10-5CA2-4782-B25F-1C07575FAD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2893ab1fcd93aaadd858e525271c1d236823dbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1410427,"id":"Q1410427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec283dbde83fc9d9ebe4683763d0d42cc8d75cb1","datavalue":{"value":{"amount":"+0.94611305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1099258$5F7BCD1D-D728-41FA-BDC8-D14E593EAA47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Orthodox congruences on regular semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Orthodox_congruences_on_regular_semigroups"}}}}}