{"entities":{"Q5937513":{"pageid":8114315,"ns":120,"title":"Item:Q5937513","lastrevid":93436763,"modified":"2026-06-05T04:23:54Z","type":"item","id":"Q5937513","labels":{"en":{"language":"en","value":"Varieties of algebras with nontrivial identities on subalgebra lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1619374"}},"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":"Q5937513$3C8291DA-6ACA-4A5B-AA50-952E1EB522B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"496e822604d797bfa979d6dd9d11554a38ffbb04","datavalue":{"value":{"text":"Varieties of algebras with nontrivial identities on subalgebra lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937513$CD79D4F2-10E8-4CD2-9878-C35B6887D250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"691c386311e4595b546bea75b5bdfb879398f658","datavalue":{"value":"0976.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$0E35AB82-5CE8-4A93-9041-304F2489C01B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3472bd951578a35585afc4036e0eb857b3a4fe","datavalue":{"value":{"entity-type":"item","numeric-id":783291,"id":"Q783291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937513$90E3B196-ABD4-4159-A58E-F14E4DA7F071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937513$66856663-933C-4C1C-BD9C-CA06F457F08E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c1d27f90c5efc0baf8dad41a96c8a8197323785","datavalue":{"value":{"time":"+2001-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937513$0945D18A-3EE8-43AF-B742-2FB594F58B67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec543445b72c30188500ef61e95fcd466500f033","datavalue":{"value":"For a variety \\textbf{V}, let \\(\\text{Sub }{\\mathbf V}\\) be the class of subalgebra lattices of all members of \\textbf{V}. The author examines varieties of groups, semigroups, associative or Lie rings \\textbf{V} such that \\(\\text{Sub }{\\mathbf V}\\) satisfies some non-trivial lattice identity. The main results of the article are Theorems 1-4. Theorem 1 says that for a semigroup variety \\textbf{V} the following are equivalent: (i) the lattices of \\(\\text{Sub }{\\mathbf V}\\) satisfy the same non-trivial identity; (ii) the subsemigroup lattice of any member of \\textbf{V} satisfies a non-trivial identity; (iii) \\textbf{V} is a periodic variety and consists of nilpotent extensions of completely simple semigroups, and the subgroup lattice of any group from \\textbf{V} satisfies a non-trivial identity. Theorem 2 states that if \\textbf{V} is a group variety and the lattices of \\(\\text{Sub }{\\mathbf V}\\) satisfy a non-trivial identity then \\textbf{V} is solvable. In Theorem 3 the author gives a countable series of lattice identities \\(u_n\\leq v_n\\) with the following property: if \\textbf{V} is a variety of semigroups with a distinguished zero, groups, associative or Lie rings, then, for any \\(n\\), \\(\\text{Sub }{\\mathbf V}\\) satisfies the identity \\(u_n\\leq v_n\\) if and only if \\textbf{V} satisfies the identity \\([x_1,\\dots,x_{n+1}]=1\\) in the case of groups and \\(x_1 \\cdots x_{n+1}=0\\) in the other cases. Theorem 4 is inverse, in a sense, to Theorem 3 in the case of associative ring varieties. Namely, Theorem 4 states that, for a variety of associative rings \\textbf{V}, the following are equivalent: (i) the lattices of \\(\\text{Sub }{\\mathbf V}\\) satisfy a non-trivial identity; (ii) the lattices of \\(\\text{Sub }{\\mathbf V}\\) satisfy the identity \\(u_n\\leq v_n\\) for a suitable \\(n\\); (iii) \\textbf{V} is a nilpotent variety. No proofs are included.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$52E753CB-04C6-42E7-9E49-4D26500612AA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937513$FB6E1A29-273E-4CCE-828B-0A30CC0A8EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$E58F7A07-699E-428A-A38D-F9C5D5CE62A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$70A6C6FC-D763-4126-81A2-0AE0B6CFC77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$20A3B87E-FC10-42C8-9513-CCCA252ABDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$DCC9EEFE-B5FB-4B2A-825B-14A47FD36972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$146F49D0-09E9-40FB-83A0-9FD5DEBBDDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$E7CB3E2B-4866-4D99-9E9C-45FD8CF7F1CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38734ea7abd9b45bbe63d0216ac40e258f5f21a3","datavalue":{"value":"1619374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937513$C2A49D87-8357-448E-B6A3-F45C90740AC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$BE334E15-CB1B-40E9-8F33-A1C73AD5EFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c2c990981f9c9594b70bf6086c9fd5e77cc4ca","datavalue":{"value":"group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$98048526-2394-4ACE-B561-FD287D6D85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$5464A59E-040B-4FDF-B38F-C8416F90E3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb826e1c048196824662267c365cbd2f11be1d0","datavalue":{"value":"associative ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$F7A40CA9-EC62-4438-9366-7DF9F8532129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d205c2bfb1dfe052d9974fcf797fac7542718e","datavalue":{"value":"Lie ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$56B03DE7-1ECE-4E96-9E5D-5AD6B5EF965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c405fe3ed9b110ddfad9eef8f1d5b7f9b4f4e62","datavalue":{"value":"subalgebra lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$A9DCE347-9575-469A-A880-660C6DB71397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66484e8f03a31bbbf5c55ab5ac0ae656df5f4be9","datavalue":{"value":"lattice identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937513$F08B193F-ECA6-4EE9-A06A-D12A30CE1089","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":"Q5937513$05C7706F-5E0F-42E5-B187-154BC8F0BE2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e304d48df58d16d9266d9f92266637817780e10b","datavalue":{"value":{"entity-type":"item","numeric-id":1771859,"id":"Q1771859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096b4ca24b029201e880e1883b2f0b718e889d15","datavalue":{"value":{"amount":"+0.892689049243927","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":"Q5937513$13B65A23-4283-44EB-9B62-32A4743F9B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d449af0c3fd76f9a8a90b57e4bd28d8f58992b","datavalue":{"value":{"entity-type":"item","numeric-id":3487648,"id":"Q3487648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9936f26c536e3944fc1cb7e294dbc3d0adf98064","datavalue":{"value":{"amount":"+0.8749997615814209","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":"Q5937513$45E2F8D8-E7D6-406B-A352-ED1B68C9FD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e702ce3d02f4591885074bf93c3eb57093ea26","datavalue":{"value":{"entity-type":"item","numeric-id":4508463,"id":"Q4508463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"797101ed9eafc54c93ade168ae3de596ebc7fd27","datavalue":{"value":{"amount":"+0.858826220035553","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":"Q5937513$4749E184-CA00-4CD4-8AD1-E4637838C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c6c595be77a7994ea61c80b7a578f3fe3eb4b1","datavalue":{"value":{"entity-type":"item","numeric-id":1317569,"id":"Q1317569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f8144533fc00e2ad2a86fa5dafa42c46aa57b7","datavalue":{"value":{"amount":"+0.8499183058738708","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":"Q5937513$E35FEA66-814D-4035-A66F-5268A770BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f42fd546397c280cf92b244cb1a0098c30876ee","datavalue":{"value":{"entity-type":"item","numeric-id":4391162,"id":"Q4391162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d0bd15352e7c2a187532b24240847e76287612","datavalue":{"value":{"amount":"+0.8450467586517334","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":"Q5937513$91C4601C-1A87-4E91-8157-48F598B6B9E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of algebras with nontrivial identities on subalgebra lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_algebras_with_nontrivial_identities_on_subalgebra_lattices"}}}}}