{"entities":{"Q688971":{"pageid":690820,"ns":120,"title":"Item:Q688971","lastrevid":63636336,"modified":"2026-04-11T14:30:44Z","type":"item","id":"Q688971","labels":{"en":{"language":"en","value":"Adjan's theorem and conjugacy in semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438888"}},"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":"Q688971$97EF28B4-77D3-43EE-889A-276F5088C79B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7504cd69945f15de6c74b95adbb75357b87118c","datavalue":{"value":{"text":"Adjan's theorem and conjugacy in semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688971$941A45DE-70BC-4233-9FA7-8A5110112D76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8916a93d023bddc2b73f821c0c34bb2638eaa6d","datavalue":{"value":"0797.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688971$05287439-805E-4E5D-92E9-850458B75F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c10e5ee7791bb935c8cbad5ed83f3b67e58b2533","datavalue":{"value":"10.1007/BF02573767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688971$FE338A43-137C-4426-97D2-1BAB93272DF6","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":"Q688971$FEFF2DE1-6D65-4524-B062-026855797585","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51672651edbad47970e6ece29e7bebbdd7e8e8c5","datavalue":{"value":{"time":"+1994-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688971$BFC964AE-8648-477E-B3BD-4591962BE436","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f0bd349b3845825daac18bbe737b0ae31405657","datavalue":{"value":"https://eudml.org/doc/135280","type":"string"},"datatype":"url"},"type":"statement","id":"Q688971$4949973C-9341-4447-8148-775EAE459B5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c9af0f1aac555ef350b7831f032e699422acf9d","datavalue":{"value":"\\textit{S. I. Adyan} has shown that under certain circumstances the natural homomorphism from a semigroup into a group is injective [Defining relations and algorithmic problems in semigroups and groups, Tr. Mat. Inst. Steklova 85 (1967; Zbl 0204.01702)]. It is natural to ask whether under the conditions imposed by Adyan, conjugacy is both preserved and reflected by the natural homomorphism. We say that conjugacy is preserved by the natural homomorphism if the images of conjugate elements are conjugate and we say that conjugacy is reflected by the natural homomorphism if two elements are conjugate in the semigroup whenever their images in the group are conjugate. One problem is that there seems to be no standard definition for two elements in an arbitrary semigroup to be conjugate to one another. One definition has been given in \\textit{J. Dauns} [Semigroup Forum 38, No. 3, 355-364 (1989; Zbl 0671.16002)]. Another definition is used by \\textit{G. Lallement} [``Semigroups and combinatorial applications'' (Wiley 1979; Zbl 0421.20025)]. Consider a presentation \\(P = \\{X \\mid r_ 1 = s_ 1\\), \\(r_ 2 = s_ 2,\\dots\\}\\) where \\(X\\) is an alphabet and \\(r_ j\\) and \\(s_ j\\) are nonempty positive words in \\(X\\). From this presentation it is possible to construct two undirect graphs; the left graph of \\(P\\) and the right graph of \\(P\\). If the presentation \\(P\\) has the property that both the left graph and right graph are cycle free, then we say that \\(P\\) satisfies Adyan's condition (AC). The authors modify the definition of conjugacy used by Lallement so that the main result holds: if the presentation \\(P\\) satisfies (AC), then conjugacy is both reflected and preserved by the natural homomorphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$8F673EA7-46B2-4E13-A08B-55F8C1BF033F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a066249482762766d1fa9fadef0b74f57645a4d6","datavalue":{"value":{"entity-type":"item","numeric-id":593749,"id":"Q593749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688971$D180E847-09E1-4F4D-BFF7-F02934C36BC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688971$8CF857F8-74C0-4747-9A60-BDA5C7D1FFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688971$FB582859-A1A3-4519-A968-2D5780F3E98B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef4e641dbe4b1f914c31cac3fe17b31f6a49264b","datavalue":{"value":"438888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688971$BD04EBAD-7FFA-4DF5-B3EE-508E50F820A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b25863927adc6e3f0c8ca57dbf7ef71f0c72670","datavalue":{"value":"natural homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$ED047FD8-1924-4A8B-AF7D-BA907AEFD50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d699bbd3bc3211076537bd8289039276784f4443","datavalue":{"value":"conjugate elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$02E40E87-1183-4C4D-81BF-521579F39F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$96F2CE87-A4DC-4623-B59E-D3672CF47B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd2f41b374b83ca1fb12e8e99dd550279b225620","datavalue":{"value":"alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$3248445F-C686-4988-B482-77E0CB14A0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79808a6f5bd7bc057ea826f8ce47eda987ae4627","datavalue":{"value":"left graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$7A0CA795-29E1-4357-8E04-591FB9632A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5db3e8dbb5da3c56e7aeda7c7ad150a29f1da0d","datavalue":{"value":"right graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$54C22619-958D-4418-9EF6-A1F4DE40692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9757b864397f714e6ef1f4436f9e2e1996ca648d","datavalue":{"value":"Adyan condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$F2EC328B-8203-48BC-8FB5-E6EC4653B98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c52919fbba75bbdf58cce66c203c11e604f2bcf","datavalue":{"value":"definition of conjugacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q688971$12B481FF-07AE-455C-AC54-58549134775E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efc7c008cdaba4f31ab210eda49ac9b76b36dd93","datavalue":{"value":{"entity-type":"item","numeric-id":236973,"id":"Q236973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688971$8A4F6B41-F475-4C67-A5FB-94EF8A4B7EB4","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":"Q688971$66B31430-CE4D-424A-AE42-2C929076F1E3","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":"Q688971$DD2AB08F-C387-4088-81EE-29DBEBC8984A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688971$EAF523DC-7811-4A8C-B7C9-BC181601117B","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":"Q688971$E9C1A99C-E5F4-4F78-864B-A5C55800ACDB","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":"Q688971$A9D89052-AAD3-422A-8D01-5496CDD6B9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e2dedb79b08db136f3821e1425570275f65a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2529204,"id":"Q2529204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688971$F6E6E66E-EBE8-4B22-ABFA-6023C3E2A81D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8e17c6ee114565e36c1f8348401e73d9c3565d02","datavalue":{"value":"Q126270957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688971$0B3AF1D7-6E8A-4365-8FFB-485E6E60C75D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee60212e16e7049ea76fff40f04c6cac64860c93","datavalue":{"value":{"entity-type":"item","numeric-id":4602904,"id":"Q4602904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604ffc3df3fe3b6ba077b42eafb7ed13b52d4369","datavalue":{"value":{"amount":"+0.79308677","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":"Q688971$5A3F64EA-B6DB-421D-BB93-CB8C9E3F80D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe14ce85b791e6b30750ac3fe3ae0de329c24ac","datavalue":{"value":{"entity-type":"item","numeric-id":5044011,"id":"Q5044011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da9b64a39b0e778f08b76313e5342328b435f6d","datavalue":{"value":{"amount":"+0.787832","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":"Q688971$69EEA314-CFD0-44E2-837C-2931E38C37E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f18b4de5285120a1057ece966ce3b061763ed","datavalue":{"value":{"entity-type":"item","numeric-id":2253007,"id":"Q2253007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db47fff0e176351f727093420ec902b18ba7fb4b","datavalue":{"value":{"amount":"+0.7802683","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":"Q688971$F7F7AAA0-1662-4AD9-BC58-0DBA6BB1F7B6","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":"6ffe3f13e2bc986652995477514beef2869b41e0","datavalue":{"value":{"amount":"+0.77001727","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":"Q688971$576B69DA-2ECA-4EE8-9504-B4DED5301B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591ad033b0db1c88e7d32778ec8faef66fba0095","datavalue":{"value":{"entity-type":"item","numeric-id":3436120,"id":"Q3436120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bcadd689c6bbe6268ed0ee83ed77d7da7b3a08","datavalue":{"value":{"amount":"+0.7635784","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":"Q688971$901E1CB4-8A4B-4BAC-8D5F-090ED613D65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7b26793981c1009652d90b73099043642d2e59","datavalue":{"value":{"entity-type":"item","numeric-id":5866440,"id":"Q5866440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80a2cca774a7cfc46daba89fd7fb192b5bb4efc","datavalue":{"value":{"amount":"+0.76213765","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":"Q688971$4094A91A-C73A-4499-B80E-10859E2997CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4affe2270757e7559130ddb19a432fc427b026bc","datavalue":{"value":{"entity-type":"item","numeric-id":4602099,"id":"Q4602099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4beeaa40e63cdbfda082854abe459c9063a7f1e8","datavalue":{"value":{"amount":"+0.74321747","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":"Q688971$5DD3D067-E2C2-47CC-BCE4-761D2BB0140C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e279a7cc93be28658129c43dd44aeb034f05a5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2483416,"id":"Q2483416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d0f4a94c2a5e44c9dbaf88fc33627cea5a9899","datavalue":{"value":{"amount":"+0.7276901","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":"Q688971$52D5462A-4D04-410B-9E1D-4C3A1B1E4C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94adc3f2d29ad7bcde662fd1f44582a557a45bd","datavalue":{"value":{"entity-type":"item","numeric-id":4029567,"id":"Q4029567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3c3a97e54c5fc0cc6e330a4a640d1152b7b3265","datavalue":{"value":{"amount":"+0.72692406","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":"Q688971$E861FC83-C9E2-49FE-ACFE-3ADC369AAC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48635ecead68756c3138b4ede583e1c6232406a","datavalue":{"value":{"entity-type":"item","numeric-id":6046257,"id":"Q6046257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9928484e9e7a9cd30daa26fc917a97999bfd2015","datavalue":{"value":{"amount":"+0.7262593","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":"Q688971$ECD82BAB-9AFC-40A8-8178-DC48943FD679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adjan's theorem and conjugacy in semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adjan%27s_theorem_and_conjugacy_in_semigroups"}}}}}