{"entities":{"Q2710431":{"pageid":2721170,"ns":120,"title":"Item:Q2710431","lastrevid":79279319,"modified":"2026-05-06T13:33:27Z","type":"item","id":"Q2710431","labels":{"en":{"language":"en","value":"Hyperdecidability of pseudovarieties of orthogroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590140"}},"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":"Q2710431$27E9C295-3E0A-4C20-9712-186F8782478B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e364c016bfcb0908aaff80f8753e832a0bb0d49e","datavalue":{"value":"0982.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710431$3DB09710-F0FC-4E6F-96F1-0575326CFE63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dd916fef8e44016999cb10bcb9414cc4461f0f","datavalue":{"value":{"entity-type":"item","numeric-id":244473,"id":"Q244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710431$88961B2C-A3FB-42F1-9C14-9CAA1204A8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710431$F9E85E81-0208-4377-895F-709151E88781","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"651c59aa71deb51545f26c6c3b09ba2d0447b484","datavalue":{"value":{"time":"+2002-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2710431$64566717-ABFF-4B35-AC37-A5980649A413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710431$BEE341D7-29C8-4E0C-917D-4684D4E014EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710431$3D3F022C-F682-459D-A95A-A0B122EFC4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8b8ed91703a4c742c822fda5f397ff251d0b912","datavalue":{"value":"20M19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710431$1BC80357-A972-407E-AC4C-26173613163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710431$83F42311-A87D-4CEA-8E07-E33BB7830778","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0068558eee68e3ccb1b782d4df6c4e77edfdddd8","datavalue":{"value":"1590140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710431$69F17A24-CFE7-497A-9515-26E0DEB34831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7705558e6ec469ae3c58639b3b51b86ec008240b","datavalue":{"value":"Birget expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$5F1E636A-2EC3-4CDD-92BF-E9E9CE1B050D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f3a33b1d0f1bc50468372d7951830a7aee9083","datavalue":{"value":"pseudovarieties of finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$E6E291EE-A99F-4F09-9C6A-2D94B51DC9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"189465815e7b19fea3718d1d436d198b22833f5e","datavalue":{"value":"pseudovarieties of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$391E5925-7A1A-498B-AECB-999A375B1335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d89507687ef1c548dc487dc04f7d5603aa5c8fb","datavalue":{"value":"implicit operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$19DF05E0-CC8C-420C-837B-6897A4D2A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558a2370682d625ad5b535fac8b043ac8c328de1","datavalue":{"value":"completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$B58AA574-97CD-4311-9B0D-0BA1EE2D4997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c538af52b3e91930b69e06118397e1d0db73527c","datavalue":{"value":"canonically reducible pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$86FFFAAA-05F8-4A7F-98E7-3E63ED984099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de36f03c04e7aca0469b787c2daafaf418dda47b","datavalue":{"value":"hyperdecidable pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$8AE77C20-AFB1-4918-BCC4-266ACA9A34FB","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":"Q2710431$05795294-9956-4FC1-9595-27FEC2DA4044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2edb91ceab9c484ef30c2e667429a71104b84884","datavalue":{"value":{"text":"Hyperdecidability of pseudovarieties of orthogroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710431$EB9720C8-5373-48EE-97B5-72136A3A6735","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"442d0882507eff70402705347ac78efb33e90897","datavalue":{"value":{"entity-type":"item","numeric-id":2710426,"id":"Q2710426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710431$13F8FB71-C17C-4A3F-8361-77C346D75CEE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9abf7faea2f57ee58f3df73adb39c36c350fc8d6","datavalue":{"value":"For a nonempty set \\(A\\) and a pseudovariety \\(\\mathcal W\\) of semigroups, let \\(\\overline\\Omega_A{\\mathcal W}\\) be the topological semigroup of all \\(A\\)-ary implicit operations on \\(\\mathcal W\\). The pseudovariety of all finite semigroups is denoted by \\(\\mathcal S\\), and \\(p_{\\mathcal W}\\colon\\overline\\Omega_A{\\mathcal S}\\to\\overline\\Omega_A{\\mathcal W}\\) is the unique continuous homomorphism which fixes the elements of \\(A\\). For \\(S\\) a finite semigroup and \\(\\varphi\\colon A\\to S\\) a mapping, let \\(\\overline\\varphi\\colon\\overline\\Omega_A{\\mathcal S}\\to S\\) be the unique continuous homomorphism whose restriction to \\(A\\) is \\(\\varphi\\). Let \\(\\Gamma\\) be a directed multigraph and for every edge \\(x\\) of \\(\\Gamma\\), let \\(\\alpha x\\) and \\(\\omega x\\) be the beginning vertex and the end vertex of \\(x\\), respectively. For a semigroup \\(S\\) and a labelling \\(f\\colon\\Gamma\\to S^1\\) of \\(\\Gamma\\) where the edges are labelled by elements of \\(S\\), \\(f\\) is said to be consistent if for every edge \\(x\\), \\(f(\\alpha x)f(x)=f(\\omega x)\\) in \\(S\\). The pseudovariety \\(\\mathcal W\\) is said to be hyperdecidable if there exists an algorithm which decides whether for any labelling \\(f\\colon\\Gamma\\to S^1\\), with \\(\\Gamma\\) and \\(S\\) finite, there exists a labelling \\(g\\colon\\Gamma\\to(\\overline\\Omega_A{\\mathcal S})^1\\) such that \\(\\overline\\varphi\\circ g=f\\) and such that \\(h=p_{\\mathcal W}\\circ g\\) is consistent.NEWLINENEWLINENEWLINEFor a pseudovariety \\(\\mathcal H\\) of groups, let \\({\\mathcal B}\\circm_{\\text{CR}}{\\mathcal H}\\) be the pseudovariety which consists of the completely regular semigroups which divide finite semigroups \\(S\\) on which there exists a congruence \\(\\rho\\) such that \\(S/\\rho\\in{\\mathcal H}\\) and such that every \\(\\rho\\)-class is a band. The main theorem of this paper states that if \\(\\mathcal H\\) is hyperdecidable, then so is \\({\\mathcal B}\\circm_{\\text{CR}}{\\mathcal H}\\). As a result, the pseudovariety of all finite orthogroups is hyperdecidable.NEWLINENEWLINENEWLINEThe notion of a canonically reducible pseudovariety is a variant of the notion of a hyperdecidable pseudovariety and applies to pseudovarieties where the unary implicit operation \\(\\omega^{-1}\\) of weak inversion is singled out for special attention. It is shown that the pseudovariety \\({\\mathcal B}\\circm_{\\text{CR}}{\\mathcal H}\\) is canonically reducible whenever the pseudovariety of groups \\(\\mathcal H\\) is canonically reducible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710431$870BABDC-F90C-48C7-ACA3-A74513D26F0D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eee9bd9c9ab6ed5b7dd1e7910ae950215efafcc9","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710431$6275ED22-1C45-4FC3-B1AA-9404C9B53866","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec8fe64413fac0f3716f8d0baf8123449cc3af3","datavalue":{"value":{"entity-type":"item","numeric-id":4224014,"id":"Q4224014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d0068ef88a9cfa8e36f97e1ad29b3e70e3f229","datavalue":{"value":{"amount":"+0.8491300344467163","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":"Q2710431$1C158977-FBC0-4F68-AA28-F3BEF63D57AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30ea7fd49d21222c4f48125df5a794ef16672b5","datavalue":{"value":{"entity-type":"item","numeric-id":4786248,"id":"Q4786248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033eb41ca3618ce6ea97be5371b095a90ce15d8d","datavalue":{"value":{"amount":"+0.84589022397995","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":"Q2710431$FE1A75FE-FED6-4E56-9851-9831BBE3EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64db2ef6aa8d50642226ca84f5fd0eabf22ebad1","datavalue":{"value":{"entity-type":"item","numeric-id":4385676,"id":"Q4385676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c39654dbfe06ff5137d80bd56a14c4efe86175","datavalue":{"value":{"amount":"+0.8428046107292175","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":"Q2710431$00CAA123-1CB7-4223-BB0B-B1E437400ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d918b91a11380c525f5b5a825cced54959aa7f","datavalue":{"value":{"entity-type":"item","numeric-id":5461668,"id":"Q5461668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a6cee4ee0cc6f492b585d2559b730be53c9edf","datavalue":{"value":{"amount":"+0.8420411348342896","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":"Q2710431$C959D73F-2AC6-4C17-A460-3CF4DDBB51A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76421c19e738c0e89fa0ad9390ca8e79202e9f2b","datavalue":{"value":{"entity-type":"item","numeric-id":4513299,"id":"Q4513299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff642f612928a9955f685aa2ae8656c3aee8fc8f","datavalue":{"value":{"amount":"+0.8205856084823608","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":"Q2710431$E9B1237B-A3ED-45B7-AD9E-ADC60B05577E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperdecidability of pseudovarieties of orthogroups","badges":[]}}}}}