{"entities":{"Q2717023":{"pageid":2727762,"ns":120,"title":"Item:Q2717023","lastrevid":83012894,"modified":"2026-05-06T22:42:43Z","type":"item","id":"Q2717023","labels":{"en":{"language":"en","value":"Classification systems and the decompositions of a lattice into direct products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1604359"}},"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":"Q2717023$09A41DCF-A012-4EE4-A8E7-AF47D3B5B3B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52c91868a4a4655c51c425e3a50a48f7899e6683","datavalue":{"value":"1062.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717023$5FE72482-5B9E-44B3-ABC3-1725F73B1BDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a415faf8a5f610a3108e7fd472916d58928f6763","datavalue":{"value":{"time":"+2005-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2717023$92097B2C-EE96-4381-BDD0-85AA425B2E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717023$D2C7574B-4B85-466C-9888-8B5AF6E197D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717023$A0F8952F-27A1-4249-B703-1366F33754E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e3cde0d78bec2e37e83a2fab521254720b73e6e","datavalue":{"value":"1604359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2717023$968C3E63-0187-4732-83E7-D37590E9E899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c7dfd1ab67fbce273f865d4ce0edc484c69f9f","datavalue":{"value":"complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717023$6C7BC042-3CFE-40CA-9633-13834372C27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198aab7837b7b47af2df3b54c87c4be495598b35","datavalue":{"value":"pseudocomplemented lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717023$0E50D718-5E59-430C-9C7D-EB0DB4D64566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c1e1fb5850c712a742c85984070bc8957c8870","datavalue":{"value":"classification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717023$6425B415-A81D-430A-91D3-682388998D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36f1f661169e98576879579295ecf0220457b9c","datavalue":{"value":"independent set","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717023$BE54AAEE-8956-489B-AB52-EBD974FD47EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04700f11cc9275e8eca0cc28c6faa1ad364161f1","datavalue":{"value":"semicentral element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717023$8464B279-D1D0-4BD8-818D-1B98CE87A106","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1367dc3da2f1ba94f7ab2527296a62996ecf23f7","datavalue":{"value":{"entity-type":"item","numeric-id":271694,"id":"Q271694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717023$B55F770F-E1E4-4F8F-88D5-FE71893DD036","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":"Q2717023$5F5299EF-1269-48FB-BC8B-C123607FA96A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1efee961c096892d4e9b1e3def70072ca9d89337","datavalue":{"value":{"text":"Classification systems and the decompositions of a lattice into direct products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2717023$CA1039A6-BF8B-4540-92AF-B539BDBAF566","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e8a7315c09e86fd6282a7affb52d99465b186d7","datavalue":{"value":{"entity-type":"item","numeric-id":6768167,"id":"Q6768167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717023$4394EC76-DDE8-4EF3-B037-8649FD55B66B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ed0853035995ad9dea9f446fbab019c0192bd7b","datavalue":{"value":"In the paper, the author introduces the notion of a classification system for an arbitrary complete lattice, which has its origin in the formal concept analysis of formal contexts. Namely, a classification system of a complete lattice \\(L\\) is a non-empty set \\(S=\\{\\,a_i\\,|\\,i\\in I\\,\\}\\) of nonzero elements of \\(L\\) such that \\(a_i\\wedge a_j=0\\) for all \\(i\\neq j\\) and \\(x=\\bigvee_{i\\in I}(x\\wedge a_i)\\) for all \\(x\\in L\\). After listing some basic properties of classification systems, the author presents a characterization of complete pseudocomplemented lattices such that any of their classification systems gives a decomposition of the lattice into a direct product (Theorem 3.7). Finally, these results are used to obtain a description of direct product decompositions of certain pseudocomplemented lattices (Theorem 4.4) and a generalization of G. Gr\u00e4tzer's and E. T. Schmidt's characterization of finite distributive Stone lattices as direct products of finite distributive lattices having a least nonzero element (Theorem 4.7).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2717023$AE13B640-BB99-4159-9C74-06BE120FE320","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3cc696accff5676a401fb80bd47e3364bc7d537b","datavalue":{"value":{"entity-type":"item","numeric-id":1157413,"id":"Q1157413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2717023$71D0870E-2135-496F-A5A3-24A1B8E5C15D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c0ada06c8f78375b085d973a060499d4557190","datavalue":{"value":{"entity-type":"item","numeric-id":4693561,"id":"Q4693561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4af1aac2dbfa6ec46e299b74ca575735ed2df2e6","datavalue":{"value":{"amount":"+0.7581818103790283","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":"Q2717023$C18BE587-D39A-4125-9A9C-41F4FC3A9E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14af86b90de481e12e182c19eca61a93194a3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":4430925,"id":"Q4430925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a4c689a33d30221875c967d16cc4485324d3ff","datavalue":{"value":{"amount":"+0.7548586130142212","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":"Q2717023$DF396A55-A02F-41F3-B349-356C38209BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24892ee811309dd4646d2344ecfb3fe97c0d4795","datavalue":{"value":{"entity-type":"item","numeric-id":1272100,"id":"Q1272100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7dd06be66281142b39d0126db988c0d18f63ce","datavalue":{"value":{"amount":"+0.7370231747627258","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":"Q2717023$0AA20B66-CD05-40CD-943C-7ACC9C953E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d8a2a7055869bbc1b3e54c48d285153226253d9","datavalue":{"value":{"entity-type":"item","numeric-id":1869223,"id":"Q1869223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269ecaa37b40d0de7fe411374a6c3d851f744761","datavalue":{"value":{"amount":"+0.7213408946990967","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":"Q2717023$7AF20063-4A3A-4FBD-809D-D2E731A8730E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9baefdd8425a62422853608463c574e6b4b28fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2713699,"id":"Q2713699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c00cf5f94aec06a67561c40ecf29e1d3a83d277","datavalue":{"value":{"amount":"+0.7197687029838562","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":"Q2717023$995B4273-C66E-4101-8701-FAE141F4A321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classification systems and the decompositions of a lattice into direct products","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classification_systems_and_the_decompositions_of_a_lattice_into_direct_products"}}}}}