{"entities":{"Q923699":{"pageid":925547,"ns":120,"title":"Item:Q923699","lastrevid":65381106,"modified":"2026-04-12T02:12:03Z","type":"item","id":"Q923699","labels":{"en":{"language":"en","value":"The finite basis property for the union of some varieties of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4171158"}},"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":"Q923699$B14A7B77-EFB4-4E87-ACB2-D237399EF3C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a29eaa0c97b406db43e041d71e9e64aeb7de92e0","datavalue":{"value":{"text":"The finite basis property for the union of some varieties of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923699$C0956546-B08C-4677-AB85-FC1DDBBEDECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bab5595c2e5557e9e745fcddd708ff7bfb267b2f","datavalue":{"value":"0712.16020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$927272B5-1D57-41F5-86FB-DE0053DA95FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"050fb804fcc27d293dc6574e4dc66d70d0239cdb","datavalue":{"value":"10.1007/BF01164274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$AAB99AD3-7CEB-4982-B310-1C5780E585BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923699$FA8A805C-8BA2-4033-8542-B9A7B2E0D920","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q923699$16603272-DE9F-43E6-9E6C-34F1F0F03DE8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4099b8a4818202d6ba86f70120dd6722b299c681","datavalue":{"value":"Let F be an associative and commutative ring with 1 and \\({\\mathfrak A}\\) be the variety of all associative algebras over F. Assume \\({\\mathfrak B}\\) is a variety (over F) with a finitely based T-ideal T(\\({\\mathfrak B})\\) and there is a multilinear polynomial in T(\\({\\mathfrak B})\\) whose sum of coefficients is an invertible element in F. The main theorem in the present note states that the union of the varieties \\({\\mathfrak A}\\) and \\({\\mathfrak B}\\) (i.e. the least variety that contains both \\({\\mathfrak A}\\) and \\({\\mathfrak B})\\) is finitely based. As a straightforward consequence of this theorem it is obtained that if \\({\\mathfrak B}\\) is a finitely based variety of Lie algebras (1/2\\(\\in F)\\) or of Mal'cev algebras then the union of \\({\\mathfrak A}\\) and \\({\\mathfrak B}\\) is finitely based as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$893624DC-063D-488B-86E7-063B31015B78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$25054C87-E5E5-4D3C-86C5-4D354117F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$2ABEBAE0-0A53-48ED-B2E2-7FA6CB83913E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ee2007c6fd18a57d9bbf0a762175a5ee8ab5c3","datavalue":{"value":"17D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$497ACCD6-C438-40FD-87E2-0DC26E02A073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$B5BBE596-8298-406B-AD0F-2B5B415A89B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c9609dff8517583f7dd93eb01b27f2fafc1c4c9","datavalue":{"value":"4171158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923699$809A76D6-DBEC-4327-B4EE-1768A4C0BD64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"565f5d3fdfb17c6559257a4803915a69b8c4f15d","datavalue":{"value":"unions of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$5622A388-7CB1-4DDF-86E1-F9598A3CCF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc23c878b4f0b7568d49c968494b86a682409f0f","datavalue":{"value":"PI algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$64EBEA17-870A-4CF0-90C2-0093DF678CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e525ae5b7a32e90481075a317b1b403f40f3d3","datavalue":{"value":"finitely based T-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$5A3E1B62-036D-45BD-9177-E86491909AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9fba1b7b6099dbddb2afb6e40096ecf0801a2e6","datavalue":{"value":"multilinear polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$969AA764-2A2E-4A52-A2AF-40962CF6408E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e285fdb4a226db51d641ea571f2188df40afe59","datavalue":{"value":"finitely based variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$324C50F6-A23D-45A8-A247-692A51F94C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5237301a90f2a064f3ee1272fdf5221480cc8304","datavalue":{"value":"Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$FF91D857-62BB-475A-A065-A4A5A85214F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20777697a92a380b0516af25fb9bf5eb02edcc12","datavalue":{"value":"Mal'cev algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q923699$B9DD3713-FDC5-49EF-BC28-9093BACEB0F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc6192dbf7778564f7b3fdb752514cd018b51849","datavalue":{"value":{"entity-type":"item","numeric-id":1707579,"id":"Q1707579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923699$14D2E7A6-9A8D-40D6-91AA-D26234DC21C3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67f2bd81fb9cb34652cde842deff4ca5a4d685f9","datavalue":{"value":{"entity-type":"item","numeric-id":185625,"id":"Q185625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923699$2C105362-DF21-46E5-8CB0-29A4A3572F31","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":"Q923699$6E5C7045-2891-428B-AA8C-10CCC05A0B83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"201bfd13769a6f1b19254d04417a066bab89e79b","datavalue":{"value":{"entity-type":"item","numeric-id":4166867,"id":"Q4166867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923699$2A77BF75-DB10-48F8-B8C6-B3B1869F86B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fb9a610b20397e1f3c1b4aaf089d91e95505e9","datavalue":{"value":{"entity-type":"item","numeric-id":4156897,"id":"Q4156897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923699$B30ADBF1-3C0D-48AB-B31D-59BED622DBAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3844e4e2c9f4776b2ac58c4fcde27b40191b60","datavalue":{"value":{"entity-type":"item","numeric-id":498247,"id":"Q498247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c31955cac5277fa0d413aa64d2b1aa5b3d08bc7","datavalue":{"value":{"amount":"+0.858481764793396","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":"Q923699$A0B66ED2-7DB5-4F04-8404-CE904ECEF699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9b943f882a3f0ed97f0be98a180feab01294cf","datavalue":{"value":{"entity-type":"item","numeric-id":799715,"id":"Q799715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c367e4f55d4be7cb3bb2cce09ed852e7a83170","datavalue":{"value":{"amount":"+0.8513914346694946","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":"Q923699$4D300799-355B-4084-98D5-BA85B6888DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889bf13f96958ad1c8e0ee65bb597c67041478f3","datavalue":{"value":{"entity-type":"item","numeric-id":4210624,"id":"Q4210624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d737c2f48b99233db01d6eb8d266b7c97dc63626","datavalue":{"value":{"amount":"+0.8424696326255798","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":"Q923699$4005A3B8-A131-4B15-9321-5D467122FC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11109eec23b3bc9baea17db1c0b4d1b83b030a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3057716,"id":"Q3057716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2184c3e330fe519e9a66bba5db2cc4d5386b28d","datavalue":{"value":{"amount":"+0.8272438049316406","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":"Q923699$75402CA1-C8E1-4330-B7D2-CEE84CCF534D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42b1e0e51399e28aca390476ef450a90a75d241","datavalue":{"value":{"entity-type":"item","numeric-id":3724512,"id":"Q3724512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4328454d25ef726f5780d08ed2a043ae95cdf343","datavalue":{"value":{"amount":"+0.8179656267166138","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":"Q923699$A85E9E76-B5D4-4386-831B-20D008AB9310","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite basis property for the union of some varieties of algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_basis_property_for_the_union_of_some_varieties_of_algebras"}}}}}