{"entities":{"Q1337872":{"pageid":1348611,"ns":120,"title":"Item:Q1337872","lastrevid":67436862,"modified":"2026-04-12T17:46:04Z","type":"item","id":"Q1337872","labels":{"en":{"language":"en","value":"On satisfiability of the \\(C'(1/3)\\) and \\(C(4)\\) conditions for special homogeneous semigroups with defining word-powers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 687504"}},"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":"Q1337872$6B5055C2-864A-4F6C-BA77-3B3DE95A3079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3788a885794127b1e6219e99e54ebecc97dfb47c","datavalue":{"value":{"text":"On satisfiability of the \\(C'(1/3)\\) and \\(C(4)\\) conditions for special homogeneous semigroups with defining word-powers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337872$C32FFCF7-1CFC-46EA-8ACA-209661CFA79D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a9e42a1896fd2faed6bb773d9d493120a06a74f","datavalue":{"value":"0829.20081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$DB432F74-C2A4-44DE-A871-6130A6800786","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c1d19e6d5347faabe1d3fd3a0f6c700d860b828","datavalue":{"value":"10.1007/BF01209555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$54589F55-D78B-46FD-9F48-3708510EB43D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e00c9d73250300f9bd5c113bca7c89fa1f0b479","datavalue":{"value":{"entity-type":"item","numeric-id":1077536,"id":"Q1077536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337872$C0393192-02FF-442E-BC20-AB2ED4AD49DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337872$A345DDAE-55BF-4D4E-BE04-0C6DD26C9D6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09cc461bfd6adbbc0378501bdf2a7453241d162","datavalue":{"value":{"time":"+1994-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337872$82FF2521-3998-4108-A65E-0F390B398230","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82ae522c207ec2b61ba44b9ab226894ad2db2a07","datavalue":{"value":"A semigroup \\(\\Pi\\) is called special homogeneous if it is defined on some alphabet \\(a_1,\\dots,a_n\\) by a system of defining relations \\(R_1=1,\\dots,R_m=1\\), and \\(|R_i|=|R_j|\\) for all \\(i\\), \\(f=j,\\dots,m\\), where \\(|W|\\) is the length of a word \\(W\\). The author considers only the case in which \\(\\Pi\\) is a group. A word \\(X\\) is called a cusp relative to the set \\({\\mathfrak R}=\\{R_1,\\dots,R_m\\}\\) of defining words if \\(\\mathfrak R\\) contains different words \\(R_i\\) and \\(R_j\\) of the forms \\(R_i=XA\\) and \\(R_j=XB\\). Condition \\(C'(\\lambda)\\): if \\(R\\in{\\mathfrak R}\\), \\(R=XA\\), where \\(X\\) is a cusp, then \\(|X|<\\lambda|R|\\) (\\(\\lambda\\) is a positive real number). Condition \\(C(p)\\): if \\(R\\in {\\mathfrak R}\\), \\(R=X_1\\dots X_k\\), where \\(X_1,\\dots, X_k\\) are cusps, then \\(k\\geq p\\) (\\(p\\) is a positive integer). It is clear, that \\(C'(\\lambda)\\) with \\(\\lambda\\leq 1/(p -1)\\) implies the condition \\(C(p)\\). Let \\(\\Pi_r\\) denote a special homogeneous semigroup in which each \\(R_i\\) of \\(\\mathfrak R\\) is of the form \\(U^{\\alpha_i}_i\\) with \\(\\alpha_i\\geq r\\), where \\(U_i\\) is a primitive word in \\(\\Pi_r\\). The following two theorems are proved. The set \\(\\mathfrak R\\) of the semigroup \\(\\Pi_5\\) satisfies the condition \\(C'(1/3)\\). The set \\(\\mathfrak R\\) of the semigroup \\(\\Pi_4\\) satisfies the condition \\(C(4)\\). The author presents an example of \\(\\Pi_4\\) in which \\(C'(1/3)\\) is not satisfied and an example of \\(\\Pi_3\\) in which \\(C(4)\\) is not satisfied. As an application of the second theorem, there is given a very simple algorithm for deciding the word problem in \\(\\Pi_4\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$159E990D-B0A7-4FE6-B597-BBFB46A6C285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$25C54E0F-238A-4011-A4B9-DB02B2C5B4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$E6D25D44-7A7C-41E5-A990-0935D5ECD207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$1D6913EE-0D10-44D2-A7A1-7C729E868253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$CD75843C-F64C-4FEE-BAF9-4EE818A14008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e27adea4886327887d3a3a17d998b981d2c1d31a","datavalue":{"value":"687504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$B98770C4-056C-455A-AE1A-48CC7B9DA55A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3cd4546721bd1daea53fcdf30c5df216095fd8","datavalue":{"value":"special homogeneous semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$80002807-4BE5-4D57-97EA-1B118216E4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$1F07AC61-473A-48C9-A1D8-8F9F4E08421B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b99d5dcd36ca4f6ddee80af79486b0b82119f69","datavalue":{"value":"words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$882933C7-022B-4EF6-B928-077C71434CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb58efdbab086f5709558a705903cd19b936f3a6","datavalue":{"value":"cusps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$8EDBBCF1-1BEE-46AB-A819-230287A4F4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1107ab5a4e5e5d78c39b214167705a7a34be04f","datavalue":{"value":"primitive words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$EAEB1CB3-19BA-4607-B73A-82A4B1D6A1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$CC453E6D-E8B6-49F7-A7BB-7EA4BD593D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337872$48DD8F47-F4DF-4AAB-A78F-DD86B4F3F7BC","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":"Q1337872$DCDD1A7D-893E-47EA-8B4C-B4CE519C4C50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbed8c2e009a564043c914b88dfc44ba244a091a","datavalue":{"value":{"entity-type":"item","numeric-id":4185045,"id":"Q4185045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337872$5F41D7FC-9F2E-402C-BD1A-24D1BFEE494D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8432fc9c1cce6b08dec9f7ffaab987e105603a5","datavalue":{"value":"https://doi.org/10.1007/bf01209555","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337872$2BD8CFA4-E9EC-4F40-8670-3409C510EEF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e4a00d0befe7ce28304508c7d90ceeb132af1c4","datavalue":{"value":"W2017427421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337872$B874E055-BBFE-4610-A0B1-D7144828504A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fabb09f7b95e584896d2009dbc35cfca6964f549","datavalue":{"value":{"entity-type":"item","numeric-id":1326912,"id":"Q1326912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12db4fce66db54c6da0e6e97a500b273ce943df5","datavalue":{"value":{"amount":"+0.8220279812812805","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":"Q1337872$7A29DC6D-E79E-49DF-BA98-B3643C25E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b408dc31dc0c0c7287b32f22b4f5fc3d9ff1f88f","datavalue":{"value":{"entity-type":"item","numeric-id":5602108,"id":"Q5602108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611a342038cc1edcc7c5ebdc4ca436f219c48625","datavalue":{"value":{"amount":"+0.8126564025878906","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":"Q1337872$8230A98C-CFA6-482D-AB04-4A00368A359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d461aa99b56c017c9a5b1a38322ea27e3417ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":1346307,"id":"Q1346307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc83a8433601766af8888464620d177f363fb1e","datavalue":{"value":{"amount":"+0.811895489692688","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":"Q1337872$9EDA92E3-5D82-4368-B8F2-C04AB9536579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196b90ea0f3959eec577339f2a6fd82e63dace6c","datavalue":{"value":{"entity-type":"item","numeric-id":4761657,"id":"Q4761657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3314d3839dd45fb4c886f32d3237c41023c4259d","datavalue":{"value":{"amount":"+0.8118954300880432","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":"Q1337872$17914672-A5A4-490C-A4D3-D29F538E59D4","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":"0e15191368f08f742f681652a7b1bd306fc833b1","datavalue":{"value":{"amount":"+0.8089631795883179","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":"Q1337872$E3213DBE-DE84-4E1B-B8FB-08BB644F2779","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On satisfiability of the \\(C'(1/3)\\) and \\(C(4)\\) conditions for special homogeneous semigroups with defining word-powers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_satisfiability_of_the_%5C(C%27(1/3)%5C)_and_%5C(C(4)%5C)_conditions_for_special_homogeneous_semigroups_with_defining_word-powers"}}}}}