{"entities":{"Q535231":{"pageid":536998,"ns":120,"title":"Item:Q535231","lastrevid":62589432,"modified":"2026-04-11T07:07:14Z","type":"item","id":"Q535231","labels":{"en":{"language":"en","value":"Two cancellative commutative congruences and group diagrams."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886843"}},"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":"Q535231$B0BD9386-1625-4341-B187-D10259A7BF56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6b743bc0bfb327fe85662ea5e59fce3199d05cb","datavalue":{"value":{"text":"Two cancellative commutative congruences and group diagrams.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q535231$0547EA5A-E789-44B7-843E-19AE342D48A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"722b08a137e12415e461b1e1f7c804df78ae168b","datavalue":{"value":"1229.20057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$A25D946A-5C90-4317-8F3C-7D655C49C2D1","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":"Q535231$847A6F4D-2BC4-42CD-8F1D-E1B97017031E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q535231$787E4859-C606-4767-B03C-0F417E635C8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37cd32d4190e4af48c0455ff56ce4fd636b30a1a","datavalue":{"value":"\\textit{J. H. Remmers} [Adv. Math. 36, 283-296 (1980; Zbl 0438.20041)] uses group diagrams in the Euclidean plane to demonstrate how equality in a semigroup \\(S\\) ``mirrors'' that inside the group \\(G\\) sharing the same presentation with \\(S\\), when \\(S\\) satisfies Adyan's condition -- no cycles in the left/right graphs of the semigroup's presentation. \\textit{R. Goldstein} and \\textit{J. Teymouri} [Semigroup Forum 47, No. 3, 299-304 (1993; Zbl 0797.20043)] introduce a conjugacy equivalence relation for semigroups \\(S\\). By closely examining the geometry of annular group diagrams in the plane, they show how their equivalence relation mirrors conjugacy inside \\(G\\), for \\(S\\) satisfying Adyan's condition.   In the article, two cancellative commutative congruences are introduced. Following their leads, the authors examine the geometry of group diagrams on closed surfaces of higher genera to demonstrate how these congruences mirror equality inside two naturally associated Abelian quotient groups \\(G/[G,G]\\) and \\(G/G^2\\), respectively (here \\([G,G]\\) is the commutator subgroup and \\(G^2\\) is the smallest subgroup of \\(G\\) generated by the set all squared elements of \\(G\\)). In these instances they can drop Adyan's condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q535231$CF92FB32-5399-4F1C-B7B1-B61B5D3FA393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$9A7F2D28-DD76-4EEC-A497-B92F6D3C572D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$AD4F1202-BE3E-4758-86A5-EC3990AA7333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$5FAE14D8-2A01-4A05-80CF-58A0655D2283","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15333732fcb184a1d5387289ba7017d3e932fdd8","datavalue":{"value":"5886843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$6FF23AC6-895B-4F6C-AAE2-C4FBA31FE54E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d453ae5eccdcad31480c25870e242c181b47bb","datavalue":{"value":"commutative congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q535231$F49C6443-A0CD-4ED8-82B7-6DA8C3CBF9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba629e8b1f2596688945df8c3f0fc65cf9c0f04","datavalue":{"value":"group diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q535231$A7B8EE70-2F66-444D-82CA-BD25370EBCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65dc175aca22f3752a243e63941cc1745bd433d9","datavalue":{"value":"embedding semigroups into groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q535231$90B71778-9CF5-4984-AB78-E5D4ACD6B6D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3f5d655f22363cd4a7470866ca5d22c351d740c","datavalue":{"value":{"entity-type":"item","numeric-id":567157,"id":"Q567157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$F16D7226-1DC9-41C8-ADE6-1675224C9F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52673189ca46ebcfffb3401980c5b3f688147a0b","datavalue":{"value":{"entity-type":"item","numeric-id":343468,"id":"Q343468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$965291F9-87ED-4117-90D0-0E1BD7A1564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"890a23d7d34e129536fefedd489cf5345c8c5b56","datavalue":{"value":{"entity-type":"item","numeric-id":343469,"id":"Q343469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$FB92B16D-3030-400C-B318-6872F2060FA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$58CCC0C0-0D83-4117-9A02-66F0A316DCAE","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":"Q535231$E794E87B-F581-4AE5-A29F-034AB8B7E1B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaaa83ead323ea448bae0b6e9e40e1f3b0eeeec3","datavalue":{"value":"https://doi.org/10.1007/s00233-010-9289-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q535231$3304F38C-42CD-49A8-A677-58C4C5DAA773","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd6ddbaebf0da4b4e637867ef1c7b45d8f472f5e","datavalue":{"value":"W2022472187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$4DC6053F-EFFB-492A-8EAA-D1D99CC3D0E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c169618aed507c8b9df1220e1260bccfbafaba8","datavalue":{"value":{"entity-type":"item","numeric-id":4003180,"id":"Q4003180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$D63EA0F6-3D70-42CB-A22F-CB55039B751A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28fec8e2f385231f617ba0fc24f7caf1e19798eb","datavalue":{"value":{"entity-type":"item","numeric-id":688971,"id":"Q688971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$A78AB698-3FBB-4F54-9562-4F4C7B8866D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985abca8d2ebbaf4464431b93735d1600c57c040","datavalue":{"value":{"entity-type":"item","numeric-id":4492825,"id":"Q4492825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$256075D1-626D-49A2-8896-8348EA547F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$46E9D2C5-1DD7-4E0A-A9BB-3971CBDCBE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd8ff157acdc45b1ad590bd13213b824369c7b","datavalue":{"value":{"entity-type":"item","numeric-id":3123637,"id":"Q3123637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$10C841DF-CFB8-4DD5-88F2-C57824470C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7795687d972198fa91df67bdb280b7afe9a4fce9","datavalue":{"value":{"entity-type":"item","numeric-id":1141761,"id":"Q1141761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$65AAD99F-ACFC-435C-B383-92981E99F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e083a4071d75416cd1944be8871e5d23bd58a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3871088,"id":"Q3871088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q535231$4922C0D5-E166-4DA1-A7F8-DCA4498AD1CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"737e159caa73e7cabcf8dea4fdf548aa8358173d","datavalue":{"value":"10.1007/S00233-010-9289-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q535231$1F9B28AE-BBF0-4788-947C-A0F43C927AFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f2ad9a3d279b8de068fb3d55ab0323edd5672c","datavalue":{"value":{"entity-type":"item","numeric-id":4351453,"id":"Q4351453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dfa41f034c038f1767c6705544efe0e14cb8cda","datavalue":{"value":{"amount":"+0.7841156125068665","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":"Q535231$FFDCCD9B-480E-4510-957D-B7D5CDDD2A27","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":"82dd75d626d671463f43eedef15f4b627a04b3a7","datavalue":{"value":{"amount":"+0.7841154932975769","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":"Q535231$D955CBE3-7B0E-4F15-8753-E5A784B80396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a48e6875d820bd8b6fd8b15ba388af97053c22b","datavalue":{"value":{"entity-type":"item","numeric-id":343470,"id":"Q343470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b78ae49775bbdf10bd6b34d6785f98e543c91c","datavalue":{"value":{"amount":"+0.7799497246742249","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":"Q535231$731C56C4-3BEC-45E0-8C00-39D764BFEC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543a7414723c7eb2ff8331b02b62678afb20645d","datavalue":{"value":{"entity-type":"item","numeric-id":688971,"id":"Q688971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd175de0fc29ea51fa719d3085358d98b4a4eaae","datavalue":{"value":{"amount":"+0.7409127354621887","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":"Q535231$E21EC872-300E-4EAD-9284-7F3E69FC75C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9cd01ab314036cc521e74e326d4ccd26b71206","datavalue":{"value":{"entity-type":"item","numeric-id":1814072,"id":"Q1814072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0bcdfb5bd189f6d4d0beb2d700330c60e2b1cf8","datavalue":{"value":{"amount":"+0.7391357421875","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":"Q535231$34B9E1B6-ADA3-49F3-BC40-BD7956B7F2D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two cancellative commutative congruences and group diagrams.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_cancellative_commutative_congruences_and_group_diagrams."}}}}}