{"entities":{"Q2082385":{"pageid":2093127,"ns":120,"title":"Item:Q2082385","lastrevid":54411227,"modified":"2026-01-26T18:54:10Z","type":"item","id":"Q2082385","labels":{"en":{"language":"en","value":"Boolean algebras derived from a quotient of a distributive lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7596046"}},"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":"Q2082385$617169B5-97E3-47AA-A11D-AE3195FA4F66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0d266f7c8e72015c5578c4288a52c1daaf10e35","datavalue":{"value":{"text":"Boolean algebras derived from a quotient of a distributive lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2082385$194ECB66-660A-44A7-8FC3-EED2369EDA91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2950aee3130bce991f593bf977b5c041b0a4ddf","datavalue":{"value":"1498.03161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$9E92AB68-E42E-4CB3-91D0-3D4F0CDF0E22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$FA16ED7B-A916-4844-AB87-4DFBB22D9F11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef1198b0225f4fc027fe11094295f22660c1645a","datavalue":{"value":{"entity-type":"item","numeric-id":223548,"id":"Q223548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$F2304246-2311-45CB-AEFB-64BF91088D93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84b3b56cda3aa73a312d6c69e91029bcb2a4804d","datavalue":{"value":{"time":"+2022-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2082385$FCCF0DF6-0AC4-4218-8982-0BC730293F38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35b2827231059e123f71f3b3879dc4e161ca9c46","datavalue":{"value":"A \\textit{derivation} on a distributive lattice \\(L\\) is a function \\(d:L\\rightarrow L\\) such that \\(d(x\\wedge y)=(d(x)\\wedge y)\\vee(x\\wedge d(y))\\); \\(d(x\\vee y)=d(x)\\vee d(y)\\). If \\(I\\) is an ideal of \\(L\\), then \\(\\ker_Id=\\{x\\in L:d(x)\\in I\\}\\); \\((a)^d_L=\\{x\\in L:d(a\\wedge x)\\in I\\}\\); \\(x\\theta^d_Iy\\) if and only if \\((x)^d_I=(y)^d_I\\). \\(\\mathcal{K}^d_I=\\{a\\in L:(a)^d_L=\\ker_Id\\}\\).  \\(\\theta^d_I\\) is a congruence on \\(L\\).  Now the main theorem of the paper is as follows.  If \\(I\\) is a nontrivial ideal of \\(L\\), then \\(L/\\theta^d_L\\) is a Boolean algebra if and only if for each \\(x\\in L\\) there is a \\(y\\in(x)^d_L\\) such that \\(x\\vee y\\in\\mathcal{K}^d_I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2082385$80DD16AA-8FDD-4814-833F-DDA695A33261","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$76B732C1-7566-4042-8A81-74C6B3BC5523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$B0C151C9-D8F5-4F7C-850F-C6A877894EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$85CBF9FD-45C2-4036-9801-F419EE8ACF1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8374f018ef3cea5e244c5f01466f6b0efa5c2bb0","datavalue":{"value":"7596046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$80E737A1-26BA-4D53-9E25-3EE588A13F61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2082385$9D3C185D-4EAB-47DC-83C1-9F2C87661E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2082385$42953EA3-97D0-4731-9B59-4B0C60AC7E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2082385$1C18F130-00DC-401F-A5D3-6868DB7106EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2082385$1602A3C1-EF3A-47AC-9764-4D1D6767E222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2082385$39A08FB7-4878-4DF6-B3E0-AE8F990E3233","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8c830f25d695f823013cb7f357472e8d32ae38a","datavalue":{"value":{"entity-type":"item","numeric-id":204227,"id":"Q204227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$8EBD8D5A-45DA-46D2-928B-38D9E914204F","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":"Q2082385$2A9AA988-1364-4B84-8C44-1C4A15074BA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0a1d546b7b910dbce2a7bba2a577ea875f007c9","datavalue":{"value":"https://doi.org/10.1007/s40840-022-01344-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2082385$97273746-B595-4E2A-9B41-C844B0F55B11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09267bc90025c77936f0b9b1c58e7fd343a6f694","datavalue":{"value":"W4283740398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$ADEF4706-74B3-4A38-94A4-1B2425AF65EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d089e0af034690d854e658979048933281c83932","datavalue":{"value":{"entity-type":"item","numeric-id":1187243,"id":"Q1187243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$27E0D648-D8E7-4151-BEA1-813D8FFA6102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2f3d56a234d1f54e7b9f8056c0622409bc15b8","datavalue":{"value":{"entity-type":"item","numeric-id":3577607,"id":"Q3577607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$D1CEC167-6BB6-47E4-B052-6F29D09AE04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fccfdb3e6ec0d77673968329c3e01f6dc39b2c","datavalue":{"value":{"entity-type":"item","numeric-id":1988541,"id":"Q1988541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$BAE800F2-F036-4BA2-A03C-4E53369A815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc28a94b207c5f3a64508b3cadad56dd18c4d0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5241403,"id":"Q5241403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$37721D09-CFB7-41C1-90AA-FDBD7512720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ce3e0cf4a277d244416df6d6470da33d94fdbb","datavalue":{"value":{"entity-type":"item","numeric-id":3755607,"id":"Q3755607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$536DBAD3-7DF3-4963-BEF8-ECB8998F318C","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":"Q2082385$CD93D280-3AED-4D07-9314-AF1778255510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9bdfc46e3386f1b44fa1d972db9543edfd2a55","datavalue":{"value":{"entity-type":"item","numeric-id":4807496,"id":"Q4807496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$A1A2ADF8-BA85-4280-AA7B-75C7B5D8C029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2a64f08444b2aec169ebc6eaf4138f8d1a1271","datavalue":{"value":{"entity-type":"item","numeric-id":3254362,"id":"Q3254362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$55E43AEB-FBA4-4873-836B-1D6C5F3B6E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa8a1f7b9011614d14db22ddc745c9734734e8d","datavalue":{"value":{"entity-type":"item","numeric-id":2302021,"id":"Q2302021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$F28B228D-9AD9-4BFD-8C64-47954F160764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe2f0f241818634dd0ef85f18f71b6fae316feb","datavalue":{"value":{"entity-type":"item","numeric-id":1429844,"id":"Q1429844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$4CF6E2C5-C07C-45E1-9A66-3BBF986942FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32db4ba0d665decfb9a17b888b05f948d1abc75e","datavalue":{"value":{"entity-type":"item","numeric-id":2909075,"id":"Q2909075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$E25CA556-08A6-424C-9D4A-1D9635751588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50dba12a829f0fb8c5dc8ff385916157d0df603","datavalue":{"value":{"entity-type":"item","numeric-id":3250644,"id":"Q3250644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$72C5ECB4-2FCC-49F8-8B90-0EDF38B23444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59425f12676f403fab4d5c09f90dd3c36176390","datavalue":{"value":{"entity-type":"item","numeric-id":506201,"id":"Q506201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$106B9056-38E4-4DEA-953B-40345A787A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cba496de45ffb29eac058428cde5eca99099c68","datavalue":{"value":{"entity-type":"item","numeric-id":5413344,"id":"Q5413344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$8464874E-3C01-49F1-B58A-67D46CBED3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527fab438a2e602a728e8ed5154b0c3b2733cb91","datavalue":{"value":{"entity-type":"item","numeric-id":4770428,"id":"Q4770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$97E1D1CD-F87B-423C-9216-085D0FF11114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d491c20b04c83c33c19e46e6dbbf31f31e000e54","datavalue":{"value":{"entity-type":"item","numeric-id":383895,"id":"Q383895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$3BB55465-195B-4DCF-B579-582535B0F68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d2216f5022de4b9fce01647d9e3c4d73173747","datavalue":{"value":{"entity-type":"item","numeric-id":2466093,"id":"Q2466093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2082385$7B837132-EDE5-4C3E-8F58-25280BFBB5FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"767e90f1d588b342f527e8fc3ee907f22656fb31","datavalue":{"value":"10.1007/S40840-022-01344-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2082385$D2D786F1-5D4A-43FB-A55B-7AB82D5F7BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ced9c981f31f7713dcf76d15c9aa991312c6747","datavalue":{"value":{"entity-type":"item","numeric-id":5413344,"id":"Q5413344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce7d2f26f31427d4c15a3c083a58dd88a4be9a85","datavalue":{"value":{"amount":"+0.9076462984085084","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":"Q2082385$6FF961D6-0AD1-40C4-9F97-7F75B92524FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b450b8c975a4c39d5aefd76a9ec74e2ec5924c67","datavalue":{"value":{"entity-type":"item","numeric-id":5279038,"id":"Q5279038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24bbdb1ce0245ddf06262b8bcf785af9c36a3ca","datavalue":{"value":{"amount":"+0.8123971223831177","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":"Q2082385$3B2DC52C-8D5D-4CD4-B496-DE4C629BE91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f4ba46fbccf6a4fef090dcfeee018a9b390237","datavalue":{"value":{"entity-type":"item","numeric-id":3786510,"id":"Q3786510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9165c7b6203c6d3cf5bf57e1d423cd9f7f55d5ea","datavalue":{"value":{"amount":"+0.7946489453315735","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":"Q2082385$686A283E-50A9-407D-B9E5-EE2BBC86D082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12091fbd0cc99e9bf2998c0b3f6a7b676d3537cb","datavalue":{"value":{"entity-type":"item","numeric-id":861604,"id":"Q861604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089e13ecc8bdbfd720f8df0c22b7ba784b374abd","datavalue":{"value":{"amount":"+0.7820538878440857","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":"Q2082385$C112BC9A-D95C-4723-B565-1C5F1A644E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0bfcb5dced7b8d64ccc5f452d1e85fedb794328","datavalue":{"value":{"entity-type":"item","numeric-id":622623,"id":"Q622623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3008b73ee8b250327f2ecd7ddca54f8a06d4d53","datavalue":{"value":{"amount":"+0.7749772667884827","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":"Q2082385$7BE094A2-7E8D-43DD-A87B-C393A99B226F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2082385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2082385"}}}}}