{"entities":{"Q797614":{"pageid":799462,"ns":120,"title":"Item:Q797614","lastrevid":48731479,"modified":"2026-01-05T17:54:57Z","type":"item","id":"Q797614","labels":{"en":{"language":"en","value":"Basic questions for general algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867405"}},"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":"Q797614$90B7866E-5E70-423D-951D-B3BFEDE48D03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f304c8e4afe3f52adbb8d8f5208c0ebe5df321b","datavalue":{"value":{"text":"Basic questions for general algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797614$FA518E63-3F93-4E33-8C27-AD5A92676530","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2125ecfa275579b1769f652145775f55bb608ea5","datavalue":{"value":"0545.08008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$D272B79C-E96E-452A-A2B6-A5955EE8B134","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ede2e842c9a03aae242d168e3ad1e9752eaac6a9","datavalue":{"value":"10.1007/BF01191487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$DC20DD77-4EAF-48F6-B1AD-898528BEDA60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab69999d1677173b00c184b4dadcf584d0210f78","datavalue":{"value":{"entity-type":"item","numeric-id":774694,"id":"Q774694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$E756C1D9-8A4F-4BC1-A3AE-B313613F56D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$464873E5-316B-404E-81B2-BE6686249E9E","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":"Q797614$52E7B8FC-5512-45C2-B500-92040ACD7AD4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1500b93f999f6786a17ec00b537be470c72f705","datavalue":{"value":"This paper gives a simple method of generating inherently non-finitely based finite algebras, that is, finite algebras with the property that any locally finite variety which contains such an algebra does not have a finite basis for its laws. The algebras in question are groupoids so the laws are of the form \\(t=u\\) where the terms t and u are monomials. With each such term can be associated a binary tree with labelled leaves. A set P of terms is said to be closed under subtree free labelling if it contains every term obtained from one of its terms by taking a subtree and labelling the leaves arbitrarily with distinct variables. A term is basic if every subterm is a variable or of the form (v.s) or (s.v) where v is a variable. It is linear if no variable occurs more than once.    The main result is: Theorem: Let A be a groupoid which generates a locally finite variety. Let P be a set of linear basic terms with unbounded lengths which is closed under subtree free labelling. If \\(t\\in P\\) and \\(t=u\\) a law of A imply \\(u\\in P\\) and \\(\\{xy=yx\\}\\vdash t=u\\) then A is not contained in any finitely based, locally finite variety.- Some examples of such sets of terms and small groupoids with the required properties are given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797614$861C84DA-247C-400C-8987-08A0580E6B08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$8991F818-5FAC-41F1-8014-93AB27D432E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$68B43241-4158-4A2B-BDE2-4C77B1F79BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$57460284-8BA8-410E-9AAA-3B712B78D910","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce6a44bd2ccd24767cbf23ea96178fd8b9cc21c","datavalue":{"value":"3867405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$2DAD6B66-2D7D-4852-AD4A-772514F8310B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1b368ea0d7a9f67db4c20194c95e23999ec0b7","datavalue":{"value":"non-finitely based finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q797614$864CC640-E240-4137-A1BC-BBD9E97C2572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872ca90e3cce02e4c73948f094653cd7ea34e3f","datavalue":{"value":"locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q797614$9AE3C0F7-81E9-4D30-93CB-D475BCB8F1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5995e018a24e69f6e12809f6df5dcb39f0eca2","datavalue":{"value":"groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q797614$2D29F43B-2110-4D3F-B0D4-FC3390F0D080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"582076f8d6fba30c658bf4f5dc8b38c09ebdfa72","datavalue":{"value":"binary tree with labelled leaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q797614$AA21D693-C071-4542-BBC5-F4EDF83D0500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1752b81fe48c4bbfc72a3f6579bb78b868a4250","datavalue":{"value":"set of linear basic terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q797614$C45F1CA2-3DF0-4572-8406-E10FB2F49B98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8414a3f118214cb0e61ac619ce4c188ec75d9e3","datavalue":{"value":{"entity-type":"item","numeric-id":587989,"id":"Q587989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$C85EA897-FA30-43B5-814C-D841625145F5","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":"Q797614$67118223-35F1-4CF5-9E4D-A9CC87977281","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ade71cde6302e6081be515c3214871b81e058a","datavalue":{"value":{"entity-type":"item","numeric-id":5510792,"id":"Q5510792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$8CE92790-EA13-45BD-AEF6-F313A643FDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$57F78E21-2A8C-4C96-ACA5-70787BABB13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbfaa5b37c212b78484bcb29e71b7a4ff9df44f","datavalue":{"value":{"entity-type":"item","numeric-id":5825749,"id":"Q5825749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$DA09C3F0-0E2B-401B-A281-E7DC14FAB393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8327a1f8cf5ab487b7b5f984d0680a85a81ed1cc","datavalue":{"value":{"entity-type":"item","numeric-id":1846449,"id":"Q1846449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$808987E8-E67D-432E-B9C1-BC55D4FCAB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219efca1161f8e71b6a787834052c138e4af0832","datavalue":{"value":{"entity-type":"item","numeric-id":4063199,"id":"Q4063199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$8453669B-EED1-465C-9026-A6E11294FB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$FC68B5B4-C6FA-4E9F-944C-EF3B4902BB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9a46ed9bf5c6ec583f9a4ecd685ba249a2a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1248637,"id":"Q1248637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$A8CE10B6-08A3-4374-A342-E90E6AFA4563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91df823051d6f240757d3083a9ca982996b7e41a","datavalue":{"value":{"entity-type":"item","numeric-id":795856,"id":"Q795856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$EA3176DD-7F5D-4BEA-9428-4E7A69FDD16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda6ca295a7952e23408a32e3a37d165e1fac94d","datavalue":{"value":{"entity-type":"item","numeric-id":2539862,"id":"Q2539862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$D3578F04-8AF2-46E1-BF78-54FC50244C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$34127C37-E34C-4D33-9BE9-F88947551913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24024661422db70de3f7b37997a1e42ac471f85","datavalue":{"value":{"entity-type":"item","numeric-id":1159702,"id":"Q1159702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$5AB7FD1A-E7EC-4C8A-9EA8-87D62FA5EEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8204fe90761053503a97cb7776b7a7222ebda465","datavalue":{"value":{"entity-type":"item","numeric-id":1246551,"id":"Q1246551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797614$107DF89D-8CAA-4379-B14E-D781559A97BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beb705ca4423368466450d3e4c5765c37f61894a","datavalue":{"value":"https://doi.org/10.1007/bf01191487","type":"string"},"datatype":"url"},"type":"statement","id":"Q797614$28BEF75A-E79D-4054-B0C9-C8EDBA585A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"876d1c23fe68df457e98060b6d1338d51ab2a7d2","datavalue":{"value":"W1990386459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797614$F0B40ED6-6F10-40DE-BD9F-F55265005D6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac83670863cd82f8ed9780cf092c8b1bd721887b","datavalue":{"value":{"entity-type":"item","numeric-id":3695317,"id":"Q3695317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097cc37c306171f8e1d20aa8ccc95e18375ce610","datavalue":{"value":{"amount":"+0.8881198763847351","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":"Q797614$461C451E-34FE-4885-B9E2-E032A9DD9993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3f068884d6ccb6cae8db1e0c74eb4b6cc2d913","datavalue":{"value":{"entity-type":"item","numeric-id":1265546,"id":"Q1265546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75753e9acc35662499f13953cec268a4858ecf1a","datavalue":{"value":{"amount":"+0.814255952835083","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":"Q797614$CC804A48-59F7-4D5F-B71C-E7B815D9908B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6444840ddc4be9b8d1af9646d8d192d56b587824","datavalue":{"value":{"entity-type":"item","numeric-id":4283158,"id":"Q4283158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49ffc56a2fef73d102b9ea0a86cc2bab73f19ad","datavalue":{"value":{"amount":"+0.8130554556846619","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":"Q797614$0E74A1A1-1C63-4E08-B8DF-A373ADF099B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d0b65075693303dd873ad717dc85b97f2d8543","datavalue":{"value":{"entity-type":"item","numeric-id":915755,"id":"Q915755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c49aa8425c57780629ba1c01515dc41a7da3fe","datavalue":{"value":{"amount":"+0.8129177093505859","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":"Q797614$7C3CB4AE-2770-40BF-9BF3-995E2E5CD51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877790e47128a72ee25fb57d281a2b957d590bbf","datavalue":{"value":{"entity-type":"item","numeric-id":687646,"id":"Q687646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d969501e5a658701cc5c8aa9860db67f5c82978","datavalue":{"value":{"amount":"+0.8123549818992615","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":"Q797614$BFADC31D-0908-4B20-9E50-E2A2419BAC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:797614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:797614"}}}}}