{"entities":{"Q512194":{"pageid":513961,"ns":120,"title":"Item:Q512194","lastrevid":62390133,"modified":"2026-04-11T05:45:46Z","type":"item","id":"Q512194","labels":{"en":{"language":"en","value":"On a variety of Burnside ai-semirings satisfying \\(x^n\\approx x\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688586"}},"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":"Q512194$375A67BF-E483-4FCD-9895-BA5CDCEBCCF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dd4b42b63ecfd329db4cdbc331c9839624cfdfc","datavalue":{"value":{"text":"On a variety of Burnside ai-semirings satisfying \\(x^n\\approx x\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q512194$D64283BD-9777-4FDC-9D0B-BBE5E83EC987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e35e05914262e2b0460e519c9dc3e678adf1d3c0","datavalue":{"value":"1370.16042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$6DA364BD-1CA8-45B8-B495-279B53802342","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbb884b8a4d46a58766cf0dd0c3eaa5ccdc28f6f","datavalue":{"value":{"entity-type":"item","numeric-id":305780,"id":"Q305780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$788F04DB-2E95-4852-BA46-320BAE0EF0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8db2de2e4de16011305e7d479756a49b1f0e735","datavalue":{"value":{"entity-type":"item","numeric-id":391752,"id":"Q391752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$8647F094-5B13-4C0D-849A-FA5B27B2B00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78b43cfa6ea707865150b9f6efb683c4b8eb3ba3","datavalue":{"value":{"entity-type":"item","numeric-id":305779,"id":"Q305779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$61F6C221-A191-48D5-AF59-BBBE96036744","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":"Q512194$5029D086-EACD-4CD5-BBE3-6C9E39909F57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0603ea18d9047924c49ed7d920a19ba7519108b","datavalue":{"value":{"time":"+2017-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q512194$DB87F0E2-EE00-4E28-9700-D4A9F21D6A1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"849c81eda5f56383441a752a86f63d1a14749150","datavalue":{"value":"A Burnside ai-semiring is a semiring \\(S(+, \\cdot)\\) which is additively idempotent (\\(x+x=x\\)) and satisfies \\(x^n=x^m\\) for some \\(n\\neq m\\) (with not necessarily commutative multiplication); its variety is denoted \\(\\mathbf{Sr}(n,m)\\).  Given a semiring \\(S\\in\\mathbf{Sr}(n,1)\\), the authors show that its multiplicative semigroup \\(S(\\cdot)\\) is a regular orthocryptogroup, i.e., that it satisfies the following properties: {\\parindent=0.6cm\\begin{itemize}\\item[--] For each \\(a\\in S\\) there is \\(x\\in S\\) such that \\(a=axa\\) and \\(ax=xa\\). \\item[--] The set \\(E(S)\\) of idempotents of \\(S(\\cdot)\\) is a regular band (i.e., a semigroup satisfying \\(xx=x\\) and \\(zxzyz = zxyz\\)). \\item[--] Green's relation \\(\\mathcal H\\) is a congruence of \\(S(\\cdot)\\), where \\((a,b)\\in\\mathcal H\\) if and only if \\(a\\) and \\(b\\) generate the same principal left and right ideals, i.e., \\(aS\\cup\\{a\\}=bS\\cup\\{a\\}\\) and \\(Sa\\cup\\{a\\}=Sb\\cup\\{a\\}\\).   \\end{itemize}} The authors use this to give a construction of free objects in \\(\\mathbf{Sr}(n,1)\\), and also characterize when Green's relations \\(\\mathcal {D, L, R, H}\\) are congruences on \\(S(+,\\cdot)\\), e.g., \\(\\mathcal D\\) is a congruence if and only if \\(S(\\cdot)\\) is a normal band (i.e., a semigroup satisfying \\(xx=x\\) and \\(zxyz=zyxz\\)). As these relations are always congruences on regular orthocryptogroups, this provides necessary conditions for a given regular orthocryptogroup to be the multiplicative semigroup of some semiring \\(S\\in\\mathbf{Sr}(n,1)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q512194$795E479F-EFA8-4575-BFEF-EAF57DB4DA0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$2655E53E-6537-4004-B66F-D6FAA8A85092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$080D6B7F-FFBD-4DA1-A4CF-4A5771BC1819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$9FE0C74D-9FCF-4E63-8374-A9D85EA0F6AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"433b8e2153bd93019a5d7ab862975b968a77b434","datavalue":{"value":"6688586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$0C2B314D-A346-4657-B6E6-EFF087EADA11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e26889b1a167d9a83a93d51fd0d5e9a5eeba109","datavalue":{"value":"Burnside ai-semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q512194$7A0DBE69-3901-43A6-B4B2-8162DD1593FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49bf7148f725f44399953260cf299788bfdad40","datavalue":{"value":"Green's relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q512194$BDBD561A-776A-406C-927D-C7C115C3BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89ebfcfa2b58d9528888ec54113cf63f64f0bcb","datavalue":{"value":"regular orthocryptogroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q512194$2B8C8B66-490C-467C-82AE-0CAD6673F19C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"abed4e95f298fbf10295a7a9f9a26a3d2b59173d","datavalue":{"value":{"entity-type":"item","numeric-id":273456,"id":"Q273456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$F56E874D-534B-4781-AB67-B9BEFAF4A1E5","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":"Q512194$3A72E748-D7EE-4BAA-95FD-78B1424F6439","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff0f0bf2ca902a31c378c37b510139cea73f0293","datavalue":{"value":"https://doi.org/10.1007/s00233-016-9819-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q512194$699BC364-85E9-4273-8629-A678F2F1C6E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"638d6ac81d3186a44c5fa9619db76cdc71c41ea9","datavalue":{"value":"W2521170284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$B276AB9D-47BA-4720-870A-BD838A95292C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$70696DDE-2504-4CA9-B2D8-597AAA45D156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dca1070ce042ca982509bdc7eca0fe0a13a1898","datavalue":{"value":{"entity-type":"item","numeric-id":5881194,"id":"Q5881194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$7713CD51-D8BA-4253-800D-890B72935C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f9599a75f4ca2efba0dc5b6aae76dddaf8b20d","datavalue":{"value":{"entity-type":"item","numeric-id":4892457,"id":"Q4892457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$35CA61D7-700D-4882-8464-7494A110AA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c668a54f2fee448b14e04408f569ba74b982c78","datavalue":{"value":{"entity-type":"item","numeric-id":1047111,"id":"Q1047111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$F6DBAB8D-926F-47CA-8DD5-AFC8F5C259AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d657614776e0ec34df231f1f609c243655b93847","datavalue":{"value":{"entity-type":"item","numeric-id":2267777,"id":"Q2267777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$83DE992F-61E5-4C8F-BB93-D28FF374AFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd19c2601c8cc5cf07bbf9158403b38805896b88","datavalue":{"value":{"entity-type":"item","numeric-id":2490426,"id":"Q2490426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$691A23ED-24FF-4703-9A39-38337B5BC525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fc8077db89d38bafb9838b3acb2fe6f6af564e","datavalue":{"value":{"entity-type":"item","numeric-id":4229053,"id":"Q4229053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$9EC31308-CD68-4CBC-AB55-768D9D91A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$BBA8F299-75EA-4788-B003-5A9FD749F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493e698daf143e6559da5b3d750e0a890cd850d1","datavalue":{"value":{"entity-type":"item","numeric-id":818935,"id":"Q818935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$09ECFCCF-4050-474E-A294-E0667D4504DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d827b7e67bd2dfd993cfe1d36a3b6a425f199330","datavalue":{"value":{"entity-type":"item","numeric-id":3852235,"id":"Q3852235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$04BDF201-DA8E-4562-9239-80BD1E654CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f224a8e3c319dff9069318893b575ef470a06c3","datavalue":{"value":{"entity-type":"item","numeric-id":2490428,"id":"Q2490428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$4D41F03D-647D-489D-83E0-BD4A0C51F03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caf4c7a0ffc40368f4bde15e2087cc693eb99c0","datavalue":{"value":{"entity-type":"item","numeric-id":4814543,"id":"Q4814543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$784F4C57-BB30-4BB7-911E-1A3C8A05C77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69900c3e124aed081e1b7efddab530a635bb5288","datavalue":{"value":{"entity-type":"item","numeric-id":2577769,"id":"Q2577769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$64D51FAC-06DE-4654-9094-38E0D270180D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e39587fbb8dbb3c01c891a726dc59cb26b03db4","datavalue":{"value":{"entity-type":"item","numeric-id":4484922,"id":"Q4484922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$7D5E287B-CD87-4F3D-82C6-1EAE48D24798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b04838a6db2a48201989a7e84fc271a45116aac8","datavalue":{"value":{"entity-type":"item","numeric-id":3097925,"id":"Q3097925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$894FB424-7EAA-4F0E-AB4F-9F16B7E99BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1903d2565bc51d08c190e32d3d8e5020ba7b4b","datavalue":{"value":{"entity-type":"item","numeric-id":2346776,"id":"Q2346776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$69E15AC5-F009-4400-83C7-C77941B89990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddc3c2872e7a7f2bc72049a6802c9c46fd6616e","datavalue":{"value":{"entity-type":"item","numeric-id":896240,"id":"Q896240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$793F4F3F-EB82-41C6-84B7-3D63EE228B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b87ee722e37d986b2440292e019cd10e821303f","datavalue":{"value":{"entity-type":"item","numeric-id":1597727,"id":"Q1597727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$5FA424B4-DDBC-47A9-8832-D37B2092C084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962eca76fbc4a975e6eeeba22c2f0142439a4e75","datavalue":{"value":{"entity-type":"item","numeric-id":4537209,"id":"Q4537209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$A4AA6836-DDFA-4D46-AE0A-AD97ECD6AB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969ec45c2f499c8bb7011bb6c44eab9d438696a8","datavalue":{"value":{"entity-type":"item","numeric-id":1771860,"id":"Q1771860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q512194$E093E525-0246-4DCE-ABA8-21E480BD19C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"909253a4feb3babb649e18d212282af8eb1d0541","datavalue":{"value":"10.1007/S00233-016-9819-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q512194$4B569290-F882-42BB-934C-313FD8A689BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b129a979ab4c8b2974ec7b95c05dba04bf060b","datavalue":{"value":{"entity-type":"item","numeric-id":4997647,"id":"Q4997647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc04029904f24be07f87901268bbc896443bb45a","datavalue":{"value":{"amount":"+0.9140126705169678","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":"Q512194$31C829AE-50CB-4F4C-83AE-C472580BA4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aceef559e9d4e1c97920a4bb1c6edabc1ce93df0","datavalue":{"value":{"entity-type":"item","numeric-id":2346776,"id":"Q2346776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0302f1ed622db12bc2b7c8ff18f02330c7188a","datavalue":{"value":{"amount":"+0.8980453610420227","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":"Q512194$759FA839-1128-49B7-83CC-7D7EB622DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b92c92c4df10e42c45b1b2c2d734607a98eb4d7","datavalue":{"value":{"entity-type":"item","numeric-id":2362884,"id":"Q2362884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813030544ff72d653514a4f88d23d235287b09ef","datavalue":{"value":{"amount":"+0.8398058414459229","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":"Q512194$4E3EBF92-32B8-4CA0-95CF-6E1A379D2D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed85959360ac931e02662e02bd5d67c0f738cba","datavalue":{"value":{"entity-type":"item","numeric-id":5196064,"id":"Q5196064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0537e9e809a13c0aa1ace46c13a400f1aceefb10","datavalue":{"value":{"amount":"+0.8268024325370789","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":"Q512194$54E663DF-E0C6-4542-8E94-A3F3D40ED2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d541e757022b75f455f3e969b1dd6cf03270b118","datavalue":{"value":{"entity-type":"item","numeric-id":4584449,"id":"Q4584449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8578d2ae0d6e5295c4b58711e3f8af744a956f","datavalue":{"value":{"amount":"+0.8241443037986755","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":"Q512194$27919DED-714E-4DA3-AF35-8C0AC2CD6C33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a variety of Burnside ai-semirings satisfying \\(x^n\\approx x\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_variety_of_Burnside_ai-semirings_satisfying_%5C(x%5En%5Capprox_x%5C)"}}}}}