{"entities":{"Q2877062":{"pageid":2887782,"ns":120,"title":"Item:Q2877062","lastrevid":56875038,"modified":"2026-03-24T09:46:05Z","type":"item","id":"Q2877062","labels":{"en":{"language":"en","value":"Weak subgroupoid lattices."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6333336"}},"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":"Q2877062$6C6ECD74-0C0A-4E24-B66B-E30B4F473C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73a68dea29ce27b4933c58b53b871c624e6a13da","datavalue":{"value":"1338.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$337C323B-EB2E-4AAA-9EB6-437A51779C35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389939384471d0ba6dbb10ce8e6d5f0c9e4acd6c","datavalue":{"value":{"entity-type":"item","numeric-id":186115,"id":"Q186115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877062$03A3CD46-ABA1-47BD-B2F4-91F7A7DC4E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"113dfb69a39b21a62cbfab3fd07dcff57fcb310e","datavalue":{"value":{"entity-type":"item","numeric-id":494627,"id":"Q494627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877062$16E02AEA-B4AC-417E-9A80-866584F611CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9654dda326c7625386dfa5d02ed88aa11952965c","datavalue":{"value":{"entity-type":"item","numeric-id":2054591,"id":"Q2054591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877062$C999B623-6F8F-420F-97D4-162539DAF1E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbe10affe2cc92fb221314d06c46561b63446102","datavalue":{"value":{"time":"+2014-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2877062$B74CF421-2212-4ACB-A740-BAA273A36AFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$7B94DE6D-D3D7-4519-9180-69A4D3C25D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$D3813045-523A-49C5-8C2F-8F4D05E3EBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$47C7728A-6C73-4A1A-8018-213A7BE06B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd59591ac458d98e298f60df52c07d4629bab667","datavalue":{"value":"20N02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$A6FBB466-A3B3-4887-A69B-26F3D64B5024","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb6c42b91a86d23f51c0dc65eac30f522e1b242d","datavalue":{"value":"6333336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$9078A7B3-84FC-4349-B304-A22A66F93A1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538a94fdd259d2465d50a0dc5cfaf67b7749522e","datavalue":{"value":"partial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877062$4613C683-08FC-4096-AD87-CE470E530D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c279eead3433fb39ce8387d23165deab5e39b079","datavalue":{"value":"weak subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877062$B534D3AC-0BC4-4938-B677-90B35839BA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34ea7ba090b661cf03c93e5d03db17d727c8f9f","datavalue":{"value":"weak subgroupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877062$BB8B7006-4448-4F4D-B869-DF02A64B5912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f32be17dd3dcd05b38a105f7da24f3b2b94e00e","datavalue":{"value":"weak subgroupoid lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877062$47A84FF8-DAB1-4F2E-A643-6DEBFC81B62D","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":"Q2877062$492659CF-E47C-4968-A498-3CF8727CCCEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7447a60c59a657d26eed98ef3d294e53f3ac3e15","datavalue":{"value":"https://doi.org/10.2478/s12175-014-0232-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2877062$767CBA5B-E09F-4D25-9FD0-22785C8DA682","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09006e03d3fdfd8a40a6c45110b426a2fa6fe357","datavalue":{"value":"W2141554359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$69857DCD-A669-47F5-AA55-01125032B9A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4534d792f5262a1f297a74f9b43efedcc5cd94ec","datavalue":{"value":{"entity-type":"item","numeric-id":4760022,"id":"Q4760022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877062$F0F5DA65-5FAA-4D38-9CE1-5A3990D36B7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca10e0ec922e171911fdb95f299a779630f161f4","datavalue":{"value":"10.2478/S12175-014-0232-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2877062$A9C4B7D6-296B-47B4-B1B1-588863B1CC79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7bbb792780f192c183c6110cba8b84a05ba6edb","datavalue":{"value":{"text":"Weak subgroupoid lattices.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2877062$1BBAEE17-489F-444E-8499-3D5D7EA3E9D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"48c0e8f92c203c433fe6606a9481d69e6ec65ad7","datavalue":{"value":"Let \\(\\mathcal A=(A,(f^A_t)_{t\\in T})\\) and \\(\\mathcal B=(B,(f^B_t)_{t\\in T})\\) be partial algebras of the same type. Then \\(\\mathcal B\\) is called a weak subalgebra of \\(\\mathcal A\\) if \\(B\\subseteq A\\) and \\(f^B_t\\subseteq f^A_t\\) for all \\(t\\in T\\). The set \\(S_w(\\mathcal A)\\) of all weak subalgebras of \\(\\mathcal A\\) is an algebraic and distributive lattice. The complete characterization of the weak subalgebra lattices of partial algebras is given by \\textit{W. Bartol} [Commentat. Math. Univ. Carol. 31, No. 3, 405--410 (1990; Zbl 0711.08006)]. But this characterization does not yield any information about the type of algebra.NEWLINENEWLINE The first main theorem of this paper characterizes the weak subgroupoid lattices of partial groupoids. More precisely, a lattice \\(\\mathcal L\\) is isomorphic to the weak subgroupoid lattice \\(S_w(\\mathcal G)\\) for some partial groupoid \\(\\mathcal G\\) if and only if \\(\\mathcal L\\) is algebraic and distributive, each of its elements is a join of completely join-irreducible elements, every non-zero and non-atomic completely join-irreducible element covers either an atom or a join of a pair of atoms or a join of a triple of atoms and additionally, a simple combinatorial condition concerning their atoms and join-irreducible elements is satisfied.NEWLINENEWLINE The second main theorem shows that for each finite total groupoid \\(\\mathcal G\\), its weak subgroupoid lattice \\(S_w(\\mathcal G)\\) uniquely determines its subgroupoid lattice \\(S(\\mathcal G)\\). Next, a simple modification of the proof gives the following result: If \\(\\mathcal A\\) and \\(\\mathcal B\\) are finite partial algebras of the same finite type such that \\(\\mathcal A\\) is total and weak subalgebra lattices \\(S_w(\\mathcal A)\\), \\(S_w(\\mathcal B)\\) are isomorphic, then \\(\\mathcal B\\) is also total and subalgebra lattices \\(S(\\mathcal A)\\), \\(S(\\mathcal B)\\) are isomorphic (moreover, if \\(f\\) is an isomorphism from \\(S_w(\\mathcal A)\\) to \\(S_w(\\mathcal B)\\), then \\(f\\) restricted to \\(S(\\mathcal A)\\) is an isomorphism between \\(S(\\mathcal A)\\) and \\(S(\\mathcal B)\\)).NEWLINENEWLINE Particular cases of the above two results are proved by \\textit{K. Pi\u00f3ro} [Acta Math. Univ. Comen., New Ser. 72, No. 2, 147--157 (2003; Zbl 1087.08003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2877062$FF71F480-7829-4F2A-94DA-373E39E27811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5222eda08f1d4efe4cd61b71618b674536176a4","datavalue":{"value":{"entity-type":"item","numeric-id":3495405,"id":"Q3495405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328bdee786547be8df87c6a65f453ecff8a6881e","datavalue":{"value":{"amount":"+0.8931297063827515","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":"Q2877062$636DA123-4C41-4166-BFA4-3DC4E585A5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a5f6bb3d92b7eb7459be0f7b708c0accd811dd","datavalue":{"value":{"entity-type":"item","numeric-id":5290997,"id":"Q5290997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1480249fd3706c0602547f3ef2481b0f8112d4e","datavalue":{"value":{"amount":"+0.8542118668556213","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":"Q2877062$EE8812DE-2EA2-4E90-9E46-6E11E2CB0E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb15cc8e9f1649aa20315ece55a96e76ec4ab3d2","datavalue":{"value":{"entity-type":"item","numeric-id":2725232,"id":"Q2725232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20296721f74af39eb204da7e1475a50e466c8e0a","datavalue":{"value":{"amount":"+0.844836950302124","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":"Q2877062$F2217367-12BE-4CA2-96A5-A981813F2DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d2b2331b6ec3755af4028cddddf7c074f740bf","datavalue":{"value":{"entity-type":"item","numeric-id":1966167,"id":"Q1966167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20296721f74af39eb204da7e1475a50e466c8e0a","datavalue":{"value":{"amount":"+0.844836950302124","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":"Q2877062$C923B2AE-4760-4C8B-A7A5-3BE1826DE12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"391a89bd0e09b7d62610efcea18dbd49383ff6a6","datavalue":{"value":{"entity-type":"item","numeric-id":2777523,"id":"Q2777523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ee8d882fbe5c785f013c38d3efee03d33175a9","datavalue":{"value":{"amount":"+0.8295193314552307","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":"Q2877062$43EAEE3B-2A10-43B6-A273-88E237C87BEE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2877062$FFA923B4-7A21-4381-BC76-69D2E3791B6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2877062","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2877062"}}}}}