{"entities":{"Q2856985":{"pageid":2867705,"ns":120,"title":"Item:Q2856985","lastrevid":51855929,"modified":"2026-01-20T09:45:35Z","type":"item","id":"Q2856985","labels":{"en":{"language":"en","value":"Semigroup presentations for congruences on groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6221343"}},"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":"Q2856985$3C528539-51B8-4A1E-B384-AEC0E5CA7D77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5851f350e7e26ce593afdca4a6ddf78406e47a2a","datavalue":{"value":"1288.20078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856985$F1545BB3-F196-4C4C-BC93-BA1811D8CFC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"180fec8a8462f49e657db314153949300ea28004","datavalue":{"value":"10.4134/BKMS.2013.50.2.445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856985$7361831E-1BE7-458E-84DA-D58FD64B310F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"211718aa384c7661e12ec78ece93599c58cb9cef","datavalue":{"value":{"entity-type":"item","numeric-id":1780012,"id":"Q1780012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856985$3A8BACC0-BD2A-40F9-A5DF-BB24778286AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73ad886122a21d711dace7c3f37e375a6dd2a77","datavalue":{"value":{"entity-type":"item","numeric-id":2856984,"id":"Q2856984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856985$E7F23BF8-D3FB-428E-9D4C-3D6DB8B896DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1330c4223145b61f69533c0e4a93f6a1dd88426d","datavalue":{"value":{"entity-type":"item","numeric-id":2732161,"id":"Q2732161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856985$7CE197DC-85B3-4BEF-989D-11444D019FED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fab3b532b6475f917a23a9b5947ae17593a8d143","datavalue":{"value":{"time":"+2013-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856985$3130175D-594A-4932-9407-253379D101CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"686270ff828e780f363352bc6a4ad1823d93aadf","datavalue":{"value":"http://www.mathnet.or.kr/mathnet/kms_content.php?no=411047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856985$D7A5B851-9436-4B11-A29B-09C47FC37B87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856985$21139FA1-6330-4561-96D3-588C169D8540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856985$58EC0EE4-CFC9-4598-97A2-97980D74D6DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26239d327ca65b9a7addbeddb595ff84eaaf5e32","datavalue":{"value":"6221343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856985$89EF7DCD-057B-4DAC-B704-B703E1095E74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856985$11197DD2-F0DE-488C-82B8-84C5E4738D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85324fb1047df444bb8002d1f54e63570ef6240d","datavalue":{"value":"normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856985$D114D30A-9C4A-4BB2-9E6B-D58F0B08FE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7307555e58d75af64bcea3c9269493ab94d809e2","datavalue":{"value":"semigroup presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856985$6D905E26-2210-4622-BE54-B368AF1EBEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856985$5B17914A-C334-488D-9B2E-874F836A3CAB","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":"Q2856985$AE81EE5D-4451-41ED-B411-738D3DDF31E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb67882c958728e2c1c30a434546603349548dea","datavalue":{"value":"W1980733521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856985$357F8ED0-495C-4100-9570-4847719848EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f9091afefeb31e2d199d8eeae15489b07aa7cf2","datavalue":{"value":{"text":"Semigroup presentations for congruences on groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856985$48A6ECFE-D71B-410E-9DEC-28FD8B786929","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df29be77da7e5cd2942b78f4d8dd188a4e055959","datavalue":{"value":"The authors consider a congruence \\(\\rho\\) on a group \\(G\\) as a subsemigroup of the direct product \\(G\\times G\\). They note in the abstract of this paper ``It is well known that a relation \\(\\rho\\) on \\(G\\) is a congruence if and only if there exists a normal subgroup \\(N\\) of \\(G\\) such that \\(\\rho =\\{(s,t):st^{-1}\\in N\\}\\). In this paper we prove that if \\(G\\) is a finitely presented group, and if \\(N\\) is a normal subgroup of \\(G\\) with finite index, then the congruence \\(\\rho=\\{(s,t):st^{-1}\\in N\\}\\) on \\(G\\) is finitely presented.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856985$DD34356A-43A8-48E1-87C9-7EA621017EBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8396d189616d754bd05a166b6afe6062f1c6ba4","datavalue":{"value":{"entity-type":"item","numeric-id":2505023,"id":"Q2505023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9e5036776583388751bfc484431bec1cb6a335","datavalue":{"value":{"amount":"+0.8825634717941284","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":"Q2856985$BF32C1FA-DDCD-4DCA-9BCF-1A7616A1C0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd2efd885c39bdeb927cd51e9f651875cb0990f","datavalue":{"value":{"entity-type":"item","numeric-id":3619688,"id":"Q3619688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30574cae74604bbf021137a188419134cfdc1673","datavalue":{"value":{"amount":"+0.7617078423500061","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":"Q2856985$13BBC770-C877-42BC-B3C0-2FF06ED66118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba553254ca905cb030bf3de22073a3c31afdb83a","datavalue":{"value":{"entity-type":"item","numeric-id":4263816,"id":"Q4263816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6bb3d1bb5901f2790b1d9082c1a28d2e23aa11","datavalue":{"value":{"amount":"+0.7607237100601196","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":"Q2856985$19B70D19-014D-414A-9581-58E0E8D7363B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c7e75e4cae5f503d94127a90d0a2510b983bab7","datavalue":{"value":{"entity-type":"item","numeric-id":4835713,"id":"Q4835713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3b7fbb0a79639e4cc5954743f4f5eca6f80ffe","datavalue":{"value":{"amount":"+0.7574630975723267","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":"Q2856985$15DB4BD0-64B6-4D70-B028-0E093C154963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaac948cd6fe217b1b027c7bd737346d8d31394d","datavalue":{"value":{"entity-type":"item","numeric-id":4286315,"id":"Q4286315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396728f0bc85ea8432e522a091cbdf2d07096e28","datavalue":{"value":{"amount":"+0.754846453666687","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":"Q2856985$00CBF761-F809-4843-A5FC-DBAF377E1B81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856985"}}}}}