{"entities":{"Q874779":{"pageid":876627,"ns":120,"title":"Item:Q874779","lastrevid":65006718,"modified":"2026-04-11T23:41:19Z","type":"item","id":"Q874779","labels":{"en":{"language":"en","value":"Kernel normal systems for a semigroup."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5141237"}},"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":"Q874779$B4BBFD12-939B-468E-9761-796BD4683A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00291350fa2d85bac8fe22cc7c1876edf453aabe","datavalue":{"value":{"text":"Kernel normal systems for a semigroup.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q874779$73F0026F-4DE2-4013-B24E-338769D4F387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d6b648d764b6986a6f22cc2e351ae8354040cb","datavalue":{"value":"1123.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874779$38C5C5DE-1BC1-4213-B9FE-A614DAAE9DA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874779$6F0644FF-F96E-4572-8D6A-81C4B9E5BB65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874779$C523BFD3-E18A-4090-852E-48C21EFF3667","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7130f17776024677519259de1aa3e6f876677651","datavalue":{"value":{"time":"+2007-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q874779$CF2209AE-B1D6-464B-9A66-667FCB1BFA4A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b82d7e525436ab5340152f7b1dd61e6cf7e0e92","datavalue":{"value":"The authors define a kernel normal system in a semigroup \\(S\\) to be the set of all idempotent congruence classes of some congruence on \\(S\\). It has long been known that on regular semigroups, each congruence is determined by its associated kernel normal system. Clearly, that need not be true in general, since for any congruence for which the quotient semigroup is idempotent-free, the kernel normal system will be empty.   It is shown that every kernel normal system corresponds to an interval of congruences on \\(S\\). If \\(\\rho\\) is a regular congruence on \\(S\\) (in the sense that \\(S/\\rho\\) is a regular semigroup) then it is the greatest member of that interval. Hence regular congruences on \\(S\\) are determined by their kernel normal systems. The authors go on to consider the lattice of kernel normal systems and its relationship to the lattice of congruences.","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$98FF3822-29FB-45BA-9870-D7CC36C010BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q874779$9F11B219-8C98-49CB-8889-502E0D1B0F53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874779$8F0DF808-5841-40E0-BDE3-3399D3BBF00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874779$C2DCEF28-FCB3-4799-B695-54136455A606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8de9735bcf868516caed2f7b3a0d3eaefe28308","datavalue":{"value":"5141237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q874779$D012881E-C11D-4734-926F-CEDA23C00630","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5969780dae8fecf46cf1fe1a2cf8a8a2bf89b2ed","datavalue":{"value":"admissible systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$6053453D-F1BF-405A-A8D9-54602BDFFE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00d830f48af57fc24ebfd4b6a0452a75007fbe1a","datavalue":{"value":"idempotent congruence classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$D360E270-79EE-429B-B518-FCA15D85EF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0404c24e557dc83ef32996722b422f6ce8504c4","datavalue":{"value":"intervals of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$BCAA3A30-EBB5-4A83-B55A-044E3B804D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"982b2281cd0373c84704236cbf69dd01f950b044","datavalue":{"value":"regular congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$DD4FB550-1485-4ED9-AD03-10666C2FE63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50d7fc48d4ebc504c412583ef376959c0b4a416","datavalue":{"value":"lattices of kernel normal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$F9AD93EB-24CF-4DE9-BAAE-84C34125AAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044e7682deb49c65da39789694e7fd050258ff02","datavalue":{"value":"lattices of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q874779$099FF1BC-2E72-4820-A1D0-07DFFC693533","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":"Q874779$16A22677-0C93-48F1-9580-1ABBEBFEEB91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e1c1f1bd07c6e216196d60589bf36095541f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1597729,"id":"Q1597729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50071e06375416ddb995fa44df66c07a2fadb6ea","datavalue":{"value":{"amount":"+0.8638882637023926","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":"Q874779$C636D312-3054-44A7-97FF-A1CABF7574F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e063262ba02e97c8207f341f924e95a801c68c5","datavalue":{"value":{"entity-type":"item","numeric-id":5694653,"id":"Q5694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741ec32dbf1b02f504941f74e0dcfb07aedff9f0","datavalue":{"value":{"amount":"+0.8448628783226013","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":"Q874779$E02A4801-D0BB-41F3-AFB0-72376FA585CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc137ccf1042aa471d54b7bf4d1f32c40d431277","datavalue":{"value":{"entity-type":"item","numeric-id":5176645,"id":"Q5176645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec97f23ccd45b5091d87e247feccd3faaa00be6","datavalue":{"value":{"amount":"+0.835956871509552","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":"Q874779$5D121E1A-D5EB-421E-ABC6-D93973790699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f84d935800e85d0946108676e24f297b84992c","datavalue":{"value":{"entity-type":"item","numeric-id":2491197,"id":"Q2491197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e171cde93cd072a8217225567ee1b97f18aeb5","datavalue":{"value":{"amount":"+0.8356493711471558","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":"Q874779$28539B57-0CBD-45EA-A6A7-7EB1D01D1F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb32438d9ea1f7120fb6462ead5e2769561d1ae","datavalue":{"value":{"entity-type":"item","numeric-id":2428563,"id":"Q2428563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51ffc7af0422e74b74d13ae1916e986ddadfb5f","datavalue":{"value":{"amount":"+0.8351315259933472","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":"Q874779$FDE2A5EE-49E6-4FD8-B17B-080A520BA715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kernel normal systems for a semigroup.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kernel_normal_systems_for_a_semigroup."}}}}}