{"entities":{"Q796662":{"pageid":798510,"ns":120,"title":"Item:Q796662","lastrevid":64404696,"modified":"2026-04-11T19:38:19Z","type":"item","id":"Q796662","labels":{"en":{"language":"en","value":"Minimal noncommutative varieties and power varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3865588"}},"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":"Q796662$6AF41D6A-430B-4B7A-AE01-1782248CFE98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66af4510048f3b60a5e86555cc63916368f538b8","datavalue":{"value":{"text":"Minimal noncommutative varieties and power varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796662$3FD2EA22-1D8B-4631-92E7-63621F62DB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33b0ddaf30834dd84ecca9ca476b89eb829f72d","datavalue":{"value":"0544.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796662$D8E82897-ABF1-415D-B009-3EDD6A6E5A39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49765b9386a0e4b33959826d4b969fa5873a565a","datavalue":{"value":{"entity-type":"item","numeric-id":700387,"id":"Q700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796662$D6318DA5-348A-4964-8C7F-AC014EE3D5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6749bcdead989847e012c6d63fa055fe98296ad","datavalue":{"value":{"entity-type":"item","numeric-id":230066,"id":"Q230066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796662$A5D81F81-9C56-4DED-9156-4EA909620B76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796662$D569A80D-C34A-471A-8082-78C2EBF25483","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q796662$8AACCCDD-AFBE-4D1E-B408-B1124A6880DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b2a2d5c91890e2615f49bfce09761f25d5259eb","datavalue":{"value":"A variety of finite monoids is a class of finite monoids closed under taking submonoids, quotients and \\textit{finite} direct products. A language L is a subset of a finitely generated free monoid. The variety theorem of Eilenberg sets up a one to one correspondence between varieties of finite monoids and classes of languages called, appropriately, varieties of languages. If V is a variety of monoids, let PV denote the variety generated by the power set monoids PM, \\(M\\in V\\). The authors show that for any variety, one has \\(P^ 3V=P^ 4V\\). In fact, if V contains a noncommutative monoid, then \\(P^ 3V\\) is the variety of all finite monoids; and if V is commutative, then \\(P^ 2V=P^ 3V\\), a result obtained already by Perrot and Straubing. The proof of the above theorem uses the following result, which the authors also prove: if V is a minimal noncommutative variety, then V is generated either by a noncommutative metabelian group or by the syntactic monoid of one of the languages \\(\\{a,b\\}^*a\\), \\(a\\{a,b\\}^*\\) or \\(\\{\\) a\\(b\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q796662$804E0B36-EE71-4146-A25A-D796C279D093","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796662$555DDA88-B26E-464D-B1C7-304B7E3E8A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796662$3FA646D0-70ED-4497-9FB6-16CAE70C2EFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6858248796fb86b1e8f40cab526cc91e2c540ec","datavalue":{"value":"3865588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796662$C8C9CE75-C342-4333-905B-1F301152E709","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94951c6000ceec4d01f5ffe5164b2b0d745345fd","datavalue":{"value":"variety of finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q796662$77B3EB7D-AC36-46E8-9297-A42390803BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d62d6341e1fbaeb4bdb795d85fa5163962980b","datavalue":{"value":"finitely generated free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q796662$C7DB99D0-6A0A-4BC6-843C-BB8964142D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9300744953c3b83d68a5068f79da54350ee1e8ce","datavalue":{"value":"variety theorem of Eilenberg","type":"string"},"datatype":"string"},"type":"statement","id":"Q796662$B68D3254-EC84-4DAC-B676-6F39E8352637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b053c5e30545ab25ce34f57763d2b7573c55756e","datavalue":{"value":"varieties of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q796662$EF752A97-9682-4507-B533-117918F683E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063dd21250b1658578e3b56f6ffbc4b319ec53fe","datavalue":{"value":"minimal noncommutative variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q796662$89A60932-39A9-458B-9825-BCA7C1E080B4","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":"Q796662$8E4DCA9A-FBBE-4781-B1A7-ADD147D3AE0F","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":"Q796662$EDAF245E-A898-4925-B1F1-9644E798FD44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28fcf547e13bfd2f54319bde50d5d4b4c45d7720","datavalue":{"value":"https://doi.org/10.2140/pjm.1984.111.125","type":"string"},"datatype":"url"},"type":"statement","id":"Q796662$0049CF57-0696-42D0-8C75-3A4A58B82945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fb91e4e1b2a84ed392c8aa6d8bad1963371a6e2","datavalue":{"value":"W2043288907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796662$C78FD77C-781E-4E89-9B06-DAF1C75B4E63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f410e406d3ce2f3f2f3b10edb472ca5caee5ff9e","datavalue":{"value":"10.2140/PJM.1984.111.125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796662$19BA08E9-A678-4DFA-9451-37B8E570C0DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0334d319f914c8a3e85403086d259376d002ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":796663,"id":"Q796663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2280b234b4b31868b7592bce40ea36ce390b5351","datavalue":{"value":{"amount":"+0.8394728302955627","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":"Q796662$0AB2334B-A41F-4E28-BE84-904D56DD5904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2471cd7c0d4092635ac032dadd4326bd9773051","datavalue":{"value":{"entity-type":"item","numeric-id":3758116,"id":"Q3758116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3960293d8b141fa58a0230d865a219e8531d48f8","datavalue":{"value":{"amount":"+0.8370335102081299","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":"Q796662$B731C1A3-9408-42D5-A494-6BB4474B4389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4781883a2c4cdca5f30b9a31e6e63ecb5858aba7","datavalue":{"value":{"entity-type":"item","numeric-id":913522,"id":"Q913522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5eae5fe45a2f727b8e5e05f373a1a1d3300706","datavalue":{"value":{"amount":"+0.8020371198654175","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":"Q796662$71B4BE7F-49C2-4B60-BDD0-FA2C8449F9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"265dfa6aa3e205e52be550ce54f88bcc56e11407","datavalue":{"value":{"entity-type":"item","numeric-id":3689384,"id":"Q3689384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c427e02b795cca8f039dc11430e7b63bf015f1cd","datavalue":{"value":{"amount":"+0.8002672791481018","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":"Q796662$49414374-94A0-459F-80A8-6AAD7FAB85BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6a1f53f54f547fe8b72bc1ed5382d82fdba607","datavalue":{"value":{"entity-type":"item","numeric-id":4407423,"id":"Q4407423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98e17f26a252cd949352d144839a13ec8bbe7ae","datavalue":{"value":{"amount":"+0.7750906348228455","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":"Q796662$7B19A657-E73D-4408-9A5A-CB906F163DD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal noncommutative varieties and power varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_noncommutative_varieties_and_power_varieties"}}}}}