{"entities":{"Q2496171":{"pageid":2506914,"ns":120,"title":"Item:Q2496171","lastrevid":78874946,"modified":"2026-05-06T12:38:16Z","type":"item","id":"Q2496171","labels":{"en":{"language":"en","value":"When an algebraic frame is regular"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5040241"}},"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":"Q2496171$205D4858-B502-4A4C-96D8-B704CFC9865B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd8614fba2ead29e468c5be8d026284f5bf8f355","datavalue":{"value":{"text":"When an algebraic frame is regular","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2496171$479C13A1-2E39-4C95-B779-122C80E828C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a469caf0d5fce5e3e18cd88a5890514f6a3e0ebe","datavalue":{"value":"1092.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$67AB75BD-93D0-4EF3-9CF2-75D9375D166C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496171$6ADFABE0-BB41-42C3-BCE5-4F977F6D83F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"695354130dab3a786d23413cb8a043a7f99b90ed","datavalue":{"value":{"time":"+2006-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2496171$D98CF421-25D3-4DB9-AA5B-0588B2448D2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9a569b1fd1500a0c7592a954e8f01fef2d3342d","datavalue":{"value":"A frame is a complete lattice \\(L\\) satisfying the distributive law \\(a\\wedge \\bigvee S=\\bigvee \\{ a\\wedge s\\: s\\in S\\}\\) for each \\(a\\in L\\), \\(S\\subseteq L\\). For each \\(a\\in L\\), let \\(a^{\\perp }=\\bigvee \\{ x\\in L; x\\wedge a=0\\}\\). An element \\(a\\in L\\) is called regular if \\(a=\\bigvee \\{x\\in L; x^{\\perp }\\vee a=1\\}\\). \\(L\\) is called regular if each \\(a\\in L\\) is regular.  The main theorem of the paper states that an algebraic frame \\(L\\) is regular iff its compact elements are complemented (i.e.\\ if \\(a\\vee a^{\\perp }=1\\) for each \\(a\\in L\\)). More generally, it is shown that each pseudocomplemented element is regular iff each \\(c^{\\perp \\perp }\\), with \\(c\\) compact, is complemented. With a mild assumption on \\(L\\), each \\(c^{\\perp }\\), with \\(c\\) compact, is regular precisely when \\(p\\vee q=1\\) for any two minimal primes \\(p,q\\in L\\). These results are then interpreted in various frames of subobjects of \\(l\\)-groups and \\(f\\)-rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496171$1FA455C3-4942-4D92-9A74-3E37A3FDE288","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496171$DF4FCB66-60AE-4FFD-9799-69FEC7754384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$FE21E5E5-B3B9-461B-8274-16DD4A644746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$0AA7AA79-B189-40EB-83B4-B1159B3CB64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$B5A78B61-5069-405E-A322-658554726CF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4275eaf1bd5c716402f69ca6d48d77f33b7f7bb5","datavalue":{"value":"5040241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$3F78E2C8-4DD2-4637-9EEB-8309FA673BC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc576839b1aabf7fddb24d487cee09b2b920bdf","datavalue":{"value":"algebraic frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496171$31729D49-D527-4E37-ABDF-9B2E7F0ACFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ae1a782dd97408ab373876e5da6af16e954b1c","datavalue":{"value":"regular frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496171$8480E080-4C5B-49B0-912E-772B974FDAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"621cc19bcd61b512f50c216280655377a7a21b64","datavalue":{"value":"compact splitting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496171$168CB733-9D12-4C19-A961-AE3C24D3ABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98379766bd5d0a8b742f85f0a935594bb236c674","datavalue":{"value":"lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496171$AFB07B20-843B-402D-96E1-3B9D423BB737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e050d12e2157fd1f768488e15962773ec76af03","datavalue":{"value":"\\(f\\)-ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2496171$4E7AC37F-7EE8-45A1-8D28-BDF31D281FDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8e02f85daf65a16c07aabba469f960ed1616b0","datavalue":{"value":{"entity-type":"item","numeric-id":214919,"id":"Q214919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496171$FFAA2572-91FA-48DA-B211-303E1BD031E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855684eef6b1f96405b4df9d424e7af0ba05ea99","datavalue":{"value":{"entity-type":"item","numeric-id":945024,"id":"Q945024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2496171$E5C3B60B-A135-458C-996F-0A257C64DF20","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":"Q2496171$43F4F766-74D2-4B06-BD07-0E2E7AE7136D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f717bf8c4001caffba92733a7ed718dfecf1628","datavalue":{"value":"https://doi.org/10.1007/s00012-003-1841-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2496171$DECFCBD9-1CC6-4362-BA1D-4A218FFF3B69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06432dcc025758a8028c24183f670695bfacc5d2","datavalue":{"value":"W1997747293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$DFE79B99-7F6D-4B39-944E-4CD78E05F7F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efcb5108eb878129b53edaa00330f689f573117f","datavalue":{"value":"10.1007/S00012-003-1841-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2496171$9E79C617-3EF3-494E-9786-26162A3E558B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78457602f3789f1f2aaac6b6384f22ed4dcef6e5","datavalue":{"value":{"entity-type":"item","numeric-id":995617,"id":"Q995617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca74d81bda703ddc44dd516ab527eb01cc19555","datavalue":{"value":{"amount":"+0.8901969194412231","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":"Q2496171$D1195F8C-039C-4ABE-A315-BB6C6B97B0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6c1848c297ad01c409f673abf3101d40a572b5","datavalue":{"value":{"entity-type":"item","numeric-id":5436318,"id":"Q5436318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b042cfb6d99a480621c88968b0946a48143eeb8","datavalue":{"value":{"amount":"+0.7958655953407288","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":"Q2496171$9410E17C-2348-40B2-96C1-81214F85B387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d84ddf8b3bcc4e393111d3e8b0cbbf5d393608","datavalue":{"value":{"entity-type":"item","numeric-id":987185,"id":"Q987185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c503bb1c8596253a8514d8655a81bd703c4384","datavalue":{"value":{"amount":"+0.781507670879364","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":"Q2496171$469FFEA6-A1D4-4B6C-A93C-EBB85F31CCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eed5ed2ce67863490062df55307c48868411ea","datavalue":{"value":{"entity-type":"item","numeric-id":3363596,"id":"Q3363596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ae5f1c5a8807c7ea5000df55c91812b3098f3f","datavalue":{"value":{"amount":"+0.7761861085891724","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":"Q2496171$1647B6CD-4C93-43CD-9CF6-8E08C86B1CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d0d7d68e6c3066008e350b8544e3970c3d5077","datavalue":{"value":{"entity-type":"item","numeric-id":2310770,"id":"Q2310770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0da9bc7d5b28f8a6af95a6f474a53f7d276cc7","datavalue":{"value":{"amount":"+0.7678374648094177","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":"Q2496171$17FEC69A-EE71-4F74-9374-0A1B63E69A1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"When an algebraic frame is regular","badges":[]}}}}}