{"entities":{"Q861603":{"pageid":863451,"ns":120,"title":"Item:Q861603","lastrevid":64904259,"modified":"2026-04-11T23:00:20Z","type":"item","id":"Q861603","labels":{"en":{"language":"en","value":"On profinite completions and canonical extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119638"}},"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":"Q861603$189296DC-2911-42D0-9061-311A25BB78AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cc8c62dbecb838372dbf66fb474dd84512fe829","datavalue":{"value":{"text":"On profinite completions and canonical extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861603$8E8A47D9-36A8-4A07-8CC5-F0DC05CA221C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bbd1a97ce931720ea8ec11f08a739c49c9548f2","datavalue":{"value":"1134.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$3EDA3568-7E53-40F4-AA3E-DCF6C443B02C","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":"Q861603$6CE69A58-C500-4AAC-8CB2-F9778AD1D3B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba4941e2a349928a5b283a5f41bffc4e70697d62","datavalue":{"value":{"time":"+2007-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861603$8C29AD12-67BC-418C-96AF-AE5806EAFA8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6337ef39949e7cc5ed58e7a2f45582bb4289f554","datavalue":{"value":"Let \\(A\\) be a (universal) algebra. Let \\(\\Phi\\) be the set of all congruences \\(\\theta\\) on \\(A\\) with \\(A/\\theta\\) finite and let \\(\\bar A\\) denote the subalgebra of elements \\(\\alpha\\in \\prod_{\\Phi} A/\\theta\\) such that \\(\\alpha(\\theta)=a/\\theta\\) and \\(\\theta\\subseteq \\theta_1\\) implies \\(\\alpha/\\theta_1=a/\\theta_1.\\) Then \\(\\bar A\\) is called a profinite completion of \\(A.\\) In addition, a canonical extension of a bounded lattice \\(L\\) is a pair \\((e, C)\\), such that (i) \\(C\\) is a complete lattice, (ii) \\(e: L\\rightarrow C\\) is a bounded lattice embedding, (iii) each element of \\(C\\) is a join of meets and a meet of joins of elements of the image \\(e[L]\\) of \\(L\\), and (iv) if \\(F\\), \\(I\\) are a filter and an ideal of \\(L\\), then \\(\\bigwedge e(F)\\leq \\bigvee e[I]\\) implies \\(F\\cap I\\neq \\emptyset.\\) Eventually, a bounded lattice \\(L\\) with a family of monotone fundamental operations (= \\(n\\)-ary operations that in each coordinate either preserve or reverse order) is called a monotone lattice expansion. The author proves: Let \\(V\\) be a variety of monotone lattice operations which is finitely generated. Then, profinite completions coincide with canonical extensions on \\(V.\\) Examples: Boolean algebras, bounded distributive lattices, or finitely generated varieties of Heyting algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q861603$1F84241A-16AC-4E7F-B9D0-1656F1BD0439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$6FCAB63A-8FC1-439B-8541-1EAA670BF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$CE92F782-2BDC-4285-8179-B286164C3737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$E999BFB2-4831-479F-88E9-4A6A56587F97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a116b65244cc6dd5847b4aaed4e2b6d9ba4ce4ee","datavalue":{"value":"5119638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$B8470FC2-322E-440C-A91F-E032211E6EE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b4f2b50199815748f444f1f08fe6916e9c807c","datavalue":{"value":"profinite completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q861603$F5492BD7-C4F3-42EF-BFB9-92E3F3D52757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f47126f6a1175659a3d9037139060f56797a0e0","datavalue":{"value":"canonical extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q861603$D8712AA9-6F50-48A4-810C-BAC27E649452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e215ca7baf60f4fa23668d43cbe725b7b3d381ec","datavalue":{"value":"lattice expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q861603$076058D5-A301-4B3B-84E4-0FE90BF21A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e7c30c8aaa3e656e6a297185914971abed9005","datavalue":{"value":"finitely generated","type":"string"},"datatype":"string"},"type":"statement","id":"Q861603$AB4BDF99-7FB1-425E-B98F-CCFCDBF99851","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861603$DD88279A-3597-489B-AF8F-4C617C8D6202","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":"Q861603$A9B6B15C-67B7-4766-8761-4966CD807099","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":"Q861603$8CCDFFB5-F95C-45C9-9BF6-9B5D834987B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39f16c29dd3c6ae4ac02acd1dcc86a01bdb44dfd","datavalue":{"value":"https://doi.org/10.1007/s00012-006-1969-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q861603$2E9B18FD-ED15-434B-957D-979CE9F64EBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"055d74165967652a0311abb37eb720ef05761321","datavalue":{"value":"W1980659015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$26A6EED4-2E55-4306-982C-1081842F5D3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e881b42d34e9797a42f84aeb4a8918676401e48","datavalue":{"value":"10.1007/S00012-006-1969-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861603$21E6CD6F-9176-4F28-AD61-7AB6B12E96B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d998c01b976b0569ff7443551a557a3805ba6e1f","datavalue":{"value":{"entity-type":"item","numeric-id":616118,"id":"Q616118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99b8a589c59409b799325181e91452d0a1d2db8","datavalue":{"value":{"amount":"+0.9098334312438964","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":"Q861603$5CD851A2-4D58-46E1-80B9-84E2B0394364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44062079133105ae630af860652c7e610b3b605d","datavalue":{"value":{"entity-type":"item","numeric-id":5396771,"id":"Q5396771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c06a1f69152edddd7b50f26c5e619a1c4d447e","datavalue":{"value":{"amount":"+0.8491930365562439","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":"Q861603$74F3AC66-F15C-476B-A54A-9525177396D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a0b8926b4fd95ea51bd154eaa564ffc80ed770","datavalue":{"value":{"amount":"+0.8422713279724121","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":"Q861603$87A208A9-C63C-4450-80D8-2C3AD64CA315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d092a2ca5b738df20b6380475f180ba39be43652","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046d90ebb655cbd4cce7cfbde91e5a9393412837","datavalue":{"value":{"amount":"+0.8328201770782471","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":"Q861603$018CC082-30E0-4801-9752-5E214FA66959","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On profinite completions and canonical extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_profinite_completions_and_canonical_extensions"}}}}}