{"entities":{"Q2428566":{"pageid":2439309,"ns":120,"title":"Item:Q2428566","lastrevid":51454337,"modified":"2026-01-18T07:52:38Z","type":"item","id":"Q2428566","labels":{"en":{"language":"en","value":"On the coset laws for skew lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6028227"}},"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":"Q2428566$716D8F7C-5092-4605-BEC9-5A63CBD479D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f209295771660d0d3b0039b51e1b7746ea8782b9","datavalue":{"value":{"text":"On the coset laws for skew lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2428566$0367A114-FA0E-4C68-BFF0-C3F1210925FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f62a57ac2af4ab346feee093d652b5a24958d3a","datavalue":{"value":"1270.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428566$19FBD4B6-49E9-4E12-845D-951CFDC034DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24ab5360b070b659bc6ae190b54455dd03802bb","datavalue":{"value":{"entity-type":"item","numeric-id":283330,"id":"Q283330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$005EBDC2-5442-49E3-A748-6CA886F65BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38cb1dc2a346a85d43d9991de983acba5e550d5d","datavalue":{"value":{"entity-type":"item","numeric-id":283329,"id":"Q283329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$11446C70-645D-4207-BB60-4444D3420B65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$B210B6D0-AA44-44FF-9573-3C7EC79CE9BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52b04daa1d703ea977748e4d42defef3819c2dd9","datavalue":{"value":{"time":"+2012-04-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":"Q2428566$E1893241-E74D-499E-9473-6AE36CBD7CC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"271796472b0545c707bcd228199cd1439cb37f4b","datavalue":{"value":"Skew lattices are a noncommutative generalization of lattices. More precisely, a skew lattice is an algebra \\((S;\\vee, \\wedge)\\) of type \\((2,2)\\) such that both operations are associative and idempotent and satisfy the absorbtion identities \\(x\\wedge(x\\vee y)=x=(y\\vee x)\\wedge x\\) and \\(x\\vee(x\\wedge y)=x=(y\\wedge x)\\vee x\\). The author investigates varieties of symmetric, strongly symmetric and cancellative skew lattices.     A skew lattice \\(S\\) is called symmetric if it satisfies the statement \\(x\\wedge y=y\\wedge x\\) iff \\(x\\vee y=y\\vee x\\) for any \\(x, y\\in S.\\) Similarly, \\(S\\) is called strongly symmetric if it satisfies the identity \\(x\\vee (y\\wedge x)=(x\\vee y)\\wedge x\\) and the dual identity. Eventually, \\(S\\) is called cancellative if \\(x\\vee y=x\\vee z\\) and \\(x\\wedge y=x\\wedge z\\) imply \\(y=z.\\) It is known that the corresponding classes Can, SSym and Sym are varieties for which \\(\\mathrm{Can} \\subset \\mathrm{SSym} \\subset \\mathrm{Sym}\\).     In order to say more, we need additional notions. A relation \\(\\mathcal{D}\\) on \\(S\\) is called a natural equivalence if: \\(x\\mathcal{D}y\\) iff \\(x\\vee y\\vee x=x\\) and \\(y\\vee x\\vee y=y\\), or a dual statement is true. \\textit{J. Leech} [Algebra Univers. 26, No. 1, 48--72 (1989; Zbl 0669.06006)] proved that \\(\\mathcal{D}\\) is the smallest congruence relation on \\(S\\) such that \\(S/\\mathcal{D}\\) is a lattice. (Note that elements of \\(S/\\mathcal{D}\\) are called cosets.)     In the paper under review the respective characterizations of cancellative, symmetric and strongly symmetric skew lattices are given. The author uses properties of the lattice \\(S/\\mathcal{D}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$314F1C3F-8FE4-43A7-AD51-92C7D4F35B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ffddb3a6bc59b3feb202ceccff75a2bc316d699","datavalue":{"value":"06B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428566$3ACA3D54-1408-47AE-A024-7CF41E344269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428566$94F93161-4C43-45BC-B259-EEC6C5AD9DDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6f34cf1719078cfe6380970b482be24e7dd782d","datavalue":{"value":"6028227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428566$02D7EC77-3BEF-4B07-9A07-9EEFE0618BCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ec05f7d9531001a09a49812f5713229ec5428c","datavalue":{"value":"skew lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$9CA4124F-E674-4A87-8C7E-D564D05DEC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc506eeaddfe66f356e632d3727fb9c2e228e3e4","datavalue":{"value":"noncommutative lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$640E124B-C1EC-422A-B97C-782FFB1EF160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab5178b5d19903e2a6ed66ba92e6a42b5774b78","datavalue":{"value":"cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$749D40F4-822E-4565-89C2-80C573395792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$607631B7-3E2E-4A68-B747-3C349EA973BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$4D043830-34C4-47B9-9415-365814135F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$C54EB54D-A772-49E3-9FB8-D96F1DB76E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f0772b7736e068420ecbe75c706a7e650e4f555","datavalue":{"value":"coset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428566$F630E05C-3BB5-4964-AADA-232ABA2BDC61","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$F4E9A562-AA38-47BA-91A0-5C7744FF702B","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":"Q2428566$3A393004-D334-48BE-8E57-565DF78124EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c3449975fb48423141ba773e0b75bcfecc7991a","datavalue":{"value":"https://doi.org/10.1007/s00233-011-9325-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2428566$A5B7E038-DCBC-4DCD-BC6B-53E35A5C6DC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8eecf6b5dc186dd0613cecef2b37656dbd4869f3","datavalue":{"value":"W2041319879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428566$F4F8FD38-8606-4750-A539-4205578DCA6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e0a746a21efd4152a179d33db2e502aff5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":1891275,"id":"Q1891275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$15DFCFAD-1D07-4BF2-B631-9CF1BFCEFC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da206ef6f3a20e02b9880061df0d8bfdd76f8162","datavalue":{"value":{"entity-type":"item","numeric-id":3916614,"id":"Q3916614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$9CC211C9-54BE-4A77-B126-8ECF63225366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d563166018107f143570bea9a24855e7f60dd0f7","datavalue":{"value":{"entity-type":"item","numeric-id":2577742,"id":"Q2577742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$DA697750-F479-4E77-92F1-4F263889606C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f99f56524f74f6c58c20d611af84159dc5b330e","datavalue":{"value":{"entity-type":"item","numeric-id":3144301,"id":"Q3144301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$648BE7AB-AD9C-4BD9-8209-BA87943F5B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0408d610dbe5850e708646796ee80d4508ac7de0","datavalue":{"value":{"entity-type":"item","numeric-id":633218,"id":"Q633218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$508B875E-2162-4021-87A1-6A69791FD664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49d6e4cf4e74876410f9811ae7d851866096f6f","datavalue":{"value":{"entity-type":"item","numeric-id":647310,"id":"Q647310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$962C2CFA-B91E-49E3-8D37-E20182A07C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22412f5c93140cd19d89a3234841287ff135100","datavalue":{"value":{"entity-type":"item","numeric-id":2648455,"id":"Q2648455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$A4C38B02-800D-4FB6-9785-0C150A4B21E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b64c8734b94f74924c0b0ac4419105b2f5aec6","datavalue":{"value":{"entity-type":"item","numeric-id":1118623,"id":"Q1118623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$7AD09B15-C388-466D-8FD7-0FDDE13FFAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b88fba70c0ddfebb62144ca6c7ab18536b62d27","datavalue":{"value":{"entity-type":"item","numeric-id":4038500,"id":"Q4038500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$05E1FF96-6562-41D4-AB6A-540A5D036774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47724ce31f1408404f2b60f202ca6cd1a6eca842","datavalue":{"value":{"entity-type":"item","numeric-id":1905969,"id":"Q1905969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$2436E4C5-460B-475A-88C6-BADAB2C6EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906e4ca161dae6a140475fc6b216dbd9b2c21c26","datavalue":{"value":{"entity-type":"item","numeric-id":1184165,"id":"Q1184165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$5E07A0E2-88B9-4D3B-9DDA-2D5A4A0493D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b915d7f7a41a8e8f4cf3722c6acb8763b79b9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5676250,"id":"Q5676250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$825B464A-0FFA-4CAE-AD5F-DF2FA76DEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90f5c4743846bf6941d6f1af945c2413c2114e5","datavalue":{"value":{"entity-type":"item","numeric-id":4094901,"id":"Q4094901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$854E4775-0CF7-4BB2-8DD7-0563DEA0F1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428566$330AEEDD-515C-44A0-B956-AB4E787A7964","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f7589da8a8cdad2236396c619673e25a0726ec","datavalue":{"value":"10.1007/S00233-011-9325-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428566$8360E4BC-CCB5-4E8E-BF26-DCFDBCE32D4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4551b30d68223c84f0f948d2f6d598ea1330261","datavalue":{"value":{"entity-type":"item","numeric-id":633218,"id":"Q633218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec01d840fee2e87a7b9c064db7762caf95503263","datavalue":{"value":{"amount":"+0.8532673120498657","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":"Q2428566$D8DE1EBC-F97F-4431-B67F-6D7315D4D27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbe4b6e78af382b3cdd9aba50c3a89a41045248","datavalue":{"value":{"entity-type":"item","numeric-id":283331,"id":"Q283331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9442501cc118fa0df07519b6dcddca11eb35ce14","datavalue":{"value":{"amount":"+0.8359578847885132","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":"Q2428566$5052199C-A245-4A20-ADF4-5B7317724B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3efb5ea60230f653b39e196b2b2e40cb256e1ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4038500,"id":"Q4038500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2c35477fede7cdb185ae856634b53054f815bf","datavalue":{"value":{"amount":"+0.8277267217636108","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":"Q2428566$868C8BB9-BC9F-4BCF-A47B-8816335ED6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9fa2efdfc2b88f14ca1b8464977e885522bb35","datavalue":{"value":{"entity-type":"item","numeric-id":2634958,"id":"Q2634958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da49429ea39f0aae88073dac502140525982ede6","datavalue":{"value":{"amount":"+0.8268808126449585","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":"Q2428566$3AC4B82A-2E85-4B85-8D84-F7E6B6251F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133f04671458de4debad35a66bb67d76e1c0220a","datavalue":{"value":{"entity-type":"item","numeric-id":1762481,"id":"Q1762481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c218b3c29321f9d8008e070a1bad44c929ae99a3","datavalue":{"value":{"amount":"+0.8201385140419006","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":"Q2428566$44D39CDF-3E0C-4E09-8678-5B7361B32A87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2428566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2428566"}}}}}