{"entities":{"Q1177930":{"pageid":1188679,"ns":120,"title":"Item:Q1177930","lastrevid":66508806,"modified":"2026-04-12T10:32:08Z","type":"item","id":"Q1177930","labels":{"en":{"language":"en","value":"Complete systems of \\(\\mathcal B\\)-rational identities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22501"}},"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":"Q1177930$3CA5B38A-4DFC-41C7-AAFA-68CD04D67020","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6c5eeabe5f28894e2477bb8990f072d37178270","datavalue":{"value":{"text":"Complete systems of \\(\\mathcal B\\)-rational identities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177930$DF5E3673-ABBA-48A8-A2F2-15DEB7AE5482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ce6f8fa89c8f90328f22ef09e119cfd0255e479","datavalue":{"value":"0737.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177930$5696312B-E087-4D68-AD98-A5FB9714EFBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a37bd3f93ccb01127315bea9e7ce54b3c7ba8529","datavalue":{"value":"10.1016/0304-3975(91)90395-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177930$6EBDFEAF-2590-4B18-B6B4-2652A3E271D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"735ee5984b9b62ee30fa6c117eb197a65dd5cb17","datavalue":{"value":{"entity-type":"item","numeric-id":216237,"id":"Q216237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$ED7FBE6E-B753-4D13-B388-FBBAB6EDB34B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$26DF7D57-80C8-44E6-9B2A-84D3F0F9129E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177930$69650A00-27A4-477B-9D68-EE0F4A54A141","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b8f93ece7992cb0fb156672acf22ffca90a8df74","datavalue":{"value":"Two conjectures of Conway on rational expressions of languages are proved: the two following systems of identities are complete systems of identities (i.e. each rational identity is a consequence of the system):   1. The identities \\((M)\\), \\((S)\\) and \\(P(M)\\) for each finite monoid \\(M\\).   2. The identities \\((M)\\), \\((S)\\) and \\(P(G)\\) for each finite group \\(G\\).   There special identities are: \\((M)\\) \\((ab)^*=1+a(ba)^*b\\); \\((S)\\) \\((a+b)^*=(a^*b)^*a^*\\); \\(P(M)\\) \\(A^*_ M=\\sum_{m\\in M}\\varphi^{-1}_ M(m)\\), where \\(A_ M\\) is an alphabet in bijection with \\(M\\), \\(\\varphi_ M: A^*_ M\\to M\\) the natural monoid homomorphism, and \\(\\varphi^{-1}_ M(m)\\) represents a rational expression naturally associated to this language.   The considerable work done by the author in order to solve these conjectures has many byproducts: completeness of certain meta-rule systems; characterization fo aperiodic semigroups by deductibility of their rational expression from \\((M)\\) and \\((S)\\); formal proof of Sch\u00fctzenberger's star-free theorem; deduction of the matrix semigroup identity from the semigroup identity; stability of identities under operations (subsemigroup, quotient, semidirect product), which allows to use the theorem of Krohn-Rhodes; completeness of \\((M)\\), \\((S)\\) together with the symmetric group identities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177930$54BBDD04-FE80-46EB-B3F8-7171DD1447AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cdb5d51a2bda6cf4c2922285188fc67ca4b14abc","datavalue":{"value":{"entity-type":"item","numeric-id":213124,"id":"Q213124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$B02C166D-E558-4C89-AD12-7A47F1F550CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177930$983A15EE-EA59-4710-8E9B-A17258EF0717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e1270224a7afbee6a5ce993fc4d016e5e9003de","datavalue":{"value":"22501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177930$6B3A4FCE-9522-4681-B940-2FBAFB82586B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4c331361468e9b3ef0a19d087b2d3a9d0e209b","datavalue":{"value":"\\(\\mathcal B\\)-rational expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177930$7BACAFDA-DA91-4DAA-A28E-5C9E19D9BDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cba3f39f381f601a116f6e9f4bbdee49c6a455c","datavalue":{"value":"matrix identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177930$FD47CF20-DAF1-43EA-8303-9314836A35E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cd613ff64e4981e603b5a95656e997339343b91","datavalue":{"value":"+ operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177930$9F17F434-F67F-4F2F-A495-2234A1F72865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099d88a1bdba7f5ed07906fd85469d283df7b257","datavalue":{"value":"maximal ideals of a semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177930$A858D9F7-4753-438E-8F6B-AB8F1D105D7F","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":"Q1177930$8E22AA4E-BE4D-4A93-AE51-5131057630D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69094de10a4adace17c337f42fc95786cce9146","datavalue":{"value":{"entity-type":"item","numeric-id":1144008,"id":"Q1144008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$DD8B5C18-7B3D-4768-87A3-0036D6662FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9df9fd51b529b6aa5d75918488673c4fa854e398","datavalue":{"value":{"entity-type":"item","numeric-id":3691074,"id":"Q3691074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$2ED8221B-B5EC-49C9-B94A-03841A350345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$C771B215-0093-4682-A32A-479F1BF31137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cee8e5832ff952171c98ff2d29fd55d42814f9d","datavalue":{"value":{"entity-type":"item","numeric-id":4195117,"id":"Q4195117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$9A86272F-6939-4C05-937E-173A96F92722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$DF3F9864-152B-4488-8C41-4EC8FB458F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$1094EF25-39B5-4B23-A7C5-4C1D1E02554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$794F1E48-C7C5-4A78-BD83-ADA474448626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$223C7079-B8ED-4C21-B11A-5A253994F685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4acb9423d306d0bd0ffa64b987d2982e9421b4","datavalue":{"value":{"entity-type":"item","numeric-id":4038681,"id":"Q4038681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$7EB3211E-637B-4BCA-A4EC-81ABE5B69AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293e49440a0c74c2b0d953395a5c86a374790cfb","datavalue":{"value":{"entity-type":"item","numeric-id":1137135,"id":"Q1137135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$810C10C0-D2C2-4791-BD2A-F96722BA812E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$4202285E-7A3A-40AC-A72F-DC627055EB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e41e727256a841004087d7e7c7c1a89c7aa839","datavalue":{"value":{"entity-type":"item","numeric-id":5596827,"id":"Q5596827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$B35177F7-413D-465A-A277-9C163F5930B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e569cbd0aa88abfa65efb3ad9c0e05079a73d4e","datavalue":{"value":{"entity-type":"item","numeric-id":4063290,"id":"Q4063290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$6F4669D7-5151-4F15-978A-67223A4052F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$0A6D06CD-045E-41C7-AB21-46B6535679F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7bcfb0947c2563410b6e446d7a09c4fe2f3ff4","datavalue":{"value":{"entity-type":"item","numeric-id":5569116,"id":"Q5569116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$4FB927D4-8BC0-4BED-B815-347F6F99075D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177930$97124C2F-B81F-474F-BA1F-8E174AA501EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a6b58f80ad73e26d8ef29cdffb87172e236d99","datavalue":{"value":{"entity-type":"item","numeric-id":4038681,"id":"Q4038681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d865d6f09005a0a4e6c245d7c33210e2defc32c5","datavalue":{"value":{"amount":"+0.9563719034194946","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":"Q1177930$AE318B2C-871D-499C-9C41-15385D7B0395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a5037c4c9041878f33b4ef2bf6ff417d287c3","datavalue":{"value":{"entity-type":"item","numeric-id":1201883,"id":"Q1201883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0229c9a970cfe9b55c4174a5b48bb56ed9c262","datavalue":{"value":{"amount":"+0.7795842289924622","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":"Q1177930$A5604392-C478-477D-A678-99C66ECCA594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2557ffceff260b2d20eb93bf603d49b693862f4","datavalue":{"value":{"entity-type":"item","numeric-id":4892457,"id":"Q4892457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acdb4148807a156dc2e30b2c6171674761140734","datavalue":{"value":{"amount":"+0.7658396363258362","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":"Q1177930$8F812F31-A99C-4254-B6C0-A42B1412867C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete systems of \\(\\mathcal B\\)-rational identities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_systems_of_%5C(%5Cmathcal_B%5C)-rational_identities"}}}}}