{"entities":{"Q633218":{"pageid":635066,"ns":120,"title":"Item:Q633218","lastrevid":63126438,"modified":"2026-04-11T10:46:11Z","type":"item","id":"Q633218","labels":{"en":{"language":"en","value":"Cancellation in skew lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872634"}},"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":"Q633218$11BDB8FF-A1A1-400C-8DA4-53A2615E33D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ad4f8211938cf0a6846dd2723c688bab49efbb1","datavalue":{"value":{"text":"Cancellation in skew lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633218$5F0C43CD-3288-4429-9AAD-194F66AD94F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086945d3982773e9e10f6c42f3276a28ac087cd4","datavalue":{"value":"1230.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633218$ECF75665-191A-4DAC-BF4D-9C66F93B0718","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":"Q633218$ED6D2D7F-E275-4B04-90DD-60A4D53EA051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef2be71a5c4c696a38e122485d5422f16667e3b","datavalue":{"value":{"entity-type":"item","numeric-id":382882,"id":"Q382882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$235F626A-66D4-4C43-8E4C-081D6EC57CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55419e6e8249787c22b9254994ee5263bfb77540","datavalue":{"value":{"entity-type":"item","numeric-id":429937,"id":"Q429937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$61572232-D557-40F2-8EB4-384E6AAA12D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"266db153a53e546844fc36f71b0b8a034829e061","datavalue":{"value":{"entity-type":"item","numeric-id":855330,"id":"Q855330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$7413445F-1E66-4AA7-8974-9CE212CA3A7B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$5B16ECF8-DFD2-48DD-95EE-AD3D78B91DD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633218$82D04643-A2F7-41B1-A328-A8A0AF517E93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ba4f64a4b29c18099bce7991e9091cc755e8f3b","datavalue":{"value":"A skew lattice is an algebra \\((L;\\vee, \\wedge)\\) of type \\((2,2)\\) such that both operations are associative, 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\\). Clearly, a lattice is a skew lattice. A skew lattice is called left cancellative whenever \\(x\\vee y=x\\vee z\\) and \\(x\\wedge y=x\\wedge z\\) imply \\(y=z.\\) Similarly, we can define right cancellative skew lattices and, eventually, (fully) cancellative skew lattices.  The aim of this paper is to study and characterize various forms of cancellation. Here are two typical results: (1) Left (right, fully) cancellative skew lattices form a variety. (2) Let \\(L\\) be a skew lattice. Then \\(L\\) is left (right, fully) cancellative if and only if \\(L\\) does not contain as subalgebras \\(M_3\\) (= diamond), \\(N_5\\) (= pentagon) and four additional special finite skew lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q633218$23311E2F-FDA5-4C63-BDC9-E337367F1070","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ffddb3a6bc59b3feb202ceccff75a2bc316d699","datavalue":{"value":"06B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633218$FF91C7A7-554C-4559-BF95-37B80CFDE305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633218$99244CF9-7CC1-4E38-93FF-7A3FF849D87F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60e96ed6d128f8358858dbfe3f6a3410ce0bd6b2","datavalue":{"value":"5872634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633218$EBA7609D-BE6B-4147-A36F-6D8ECA3169A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ec05f7d9531001a09a49812f5713229ec5428c","datavalue":{"value":"skew lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q633218$85562318-A622-4166-A6E3-DD43791F3A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab5178b5d19903e2a6ed66ba92e6a42b5774b78","datavalue":{"value":"cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q633218$036CEE79-C62B-4428-91CF-296E24D802D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q633218$F561BCE0-C5DF-428F-87B8-CFAAB9E881E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q633218$5E46D0E2-DB4E-4595-A0BE-48C520E8A56C","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":"Q633218$9B581AB0-4470-4414-BB92-9B84F0F08E1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$95D97775-6D4C-4AB3-A41F-83479CA6F5BF","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":"Q633218$EEEA4842-757F-407F-8778-20ABE56FEAAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b15f153a5ffef7e5cefad608810ed1be51cd3ab1","datavalue":{"value":"https://doi.org/10.1007/s11083-010-9151-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q633218$01E984C6-FFE8-4A05-A768-34C7CFE55CE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35130d23f419873a2ccb8e592899659003123204","datavalue":{"value":"W2038294855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633218$84CC8C83-ED60-4470-B28C-9D0BB556C5AF","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":"Q633218$74BF4F84-48D8-4FEC-AF85-3779EB54F869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3c6698d44037cb9c07991fa0a1a2161b2ad0c1","datavalue":{"value":{"entity-type":"item","numeric-id":4657796,"id":"Q4657796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$207FEE8A-799B-45AB-ABAC-7BEF85E25F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4506bd8ac227aa007e400a17d6bc779ba65059be","datavalue":{"value":{"entity-type":"item","numeric-id":5453728,"id":"Q5453728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$DD40CD7A-D5E6-4D41-8212-D5DD35777DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$8BF49AAA-7BAF-4322-923C-C5D403497FE1","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":"Q633218$4B480E67-3A4F-4234-B593-5C682086B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255f756ce1c81d6349adb09ac35a5257c3d55b1c","datavalue":{"value":{"entity-type":"item","numeric-id":863459,"id":"Q863459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$1EA634CF-A14F-41CD-9106-55F6A23B31BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a861bc8b169665836e094e7fb7d378c835f2d35a","datavalue":{"value":{"entity-type":"item","numeric-id":3430278,"id":"Q3430278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$62003ADF-9F6E-490A-A6FD-40F4EEBCCA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231bc15fb9d8df08ed5e32cfb10f7ad851d96a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2480764,"id":"Q2480764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$EB508178-ED4E-4008-BF5E-1D82A11763D3","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":"Q633218$BC975731-8CDE-4BB6-BF27-44780FBEB097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e281255931d986dca3a8e220de475e1a83ca6f","datavalue":{"value":{"entity-type":"item","numeric-id":2639883,"id":"Q2639883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$96A81B76-4FC0-4CE9-82FF-2CB0213A6F9D","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":"Q633218$3F4B8B46-9824-4198-8B61-6A02BB954309","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":"Q633218$3B73FA86-DBD3-4889-BCAB-1878D0887976","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":"Q633218$D400ACF7-8767-40B0-A8CA-8B7A52E38C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd421059dff6ce047329015b8c770cfb57c919","datavalue":{"value":{"entity-type":"item","numeric-id":934888,"id":"Q934888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$0CCD79D6-86FA-4FB9-BBE9-E6B161F68906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc34aa206f77f427629a81f111fb76e9d4498c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1590061,"id":"Q1590061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$7ADC5783-EEB1-450C-87B0-ADA7299924ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54586bebbc5fd47f4d81d0021421148b81f3de08","datavalue":{"value":{"entity-type":"item","numeric-id":877820,"id":"Q877820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633218$53EC709F-1B65-4BD3-B90E-D4E34CF043E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e97a930d8c3d57f8e79858bce9087fca32ae9fb3","datavalue":{"value":"10.1007/S11083-010-9151-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633218$10090A1F-013A-447C-BDC9-F8FCEE67BB33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a7f26b4dcc1fb9c2d5d63393684d5dd4c62527","datavalue":{"value":{"entity-type":"item","numeric-id":2428566,"id":"Q2428566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5facafd3594e428796599e4a2e486f093297f366","datavalue":{"value":{"amount":"+0.804438591003418","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":"Q633218$BE16EC7C-D13C-4A91-8A9E-2D3C3603FE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f3972e8e0e683fd8ca42763d62211073c112fc","datavalue":{"value":{"entity-type":"item","numeric-id":1118623,"id":"Q1118623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5f0d9662763157d0fe8bfdc727f97a2f11a094","datavalue":{"value":{"amount":"+0.7868313789367676","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":"Q633218$273475EC-81F2-4C38-A7CD-7E40003EE220","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":"c5714b97e1f4c64c427556c2a2aec1397a816f0a","datavalue":{"value":{"amount":"+0.7764577865600586","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":"Q633218$3A872646-0111-4D1B-9B7C-37E740B72EDA","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":"a8b76547c3bcf1267671ffe110e7c431e7b68dcf","datavalue":{"value":{"amount":"+0.7659931778907776","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":"Q633218$26CDE3E1-7A90-44E6-B089-03B083B2A773","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":"efa3ce4f20b2c88ed4ad2f6a3eca18f65b1e2670","datavalue":{"value":{"amount":"+0.761459231376648","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":"Q633218$1F585DE8-37D4-4872-A19B-120A0155AAE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cancellation in skew lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cancellation_in_skew_lattices"}}}}}