{"entities":{"Q1193502":{"pageid":1204251,"ns":120,"title":"Item:Q1193502","lastrevid":66822942,"modified":"2026-04-12T13:06:11Z","type":"item","id":"Q1193502","labels":{"en":{"language":"en","value":"Sheaf representation and Chinese Remainder Theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64762"}},"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":"Q1193502$5032F2B0-8E80-4A82-AEC4-003EA801B838","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"055a47ecbc32ad458af2494de85971584c95138a","datavalue":{"value":{"text":"Sheaf representation and Chinese Remainder Theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193502$B52B54F5-1F30-4D80-B7D1-322BD82DBEC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"710119ac04a24dccfa3c04a056781f6816ec6691","datavalue":{"value":"0772.08005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$B72E37F7-C45A-45CD-9628-4D349F837BDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a949f926eac5ca012ad893fc4ce6dcaf4810abb","datavalue":{"value":"10.1007/BF01190609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$79B59DC6-391B-4780-82E0-A47CC000B7C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8dcc6157d8b3264437b5f505ceab65ec9020de","datavalue":{"value":{"entity-type":"item","numeric-id":1193501,"id":"Q1193501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$E9ADAF83-2435-4322-A1AF-9FD5AF1FF016","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":"Q1193502$58DF88F2-6B94-41DE-A3CC-7C63C7EFC89F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193502$99F94D8B-BBDA-43EA-8DC7-7F30FF11808C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fc3c39ed06bcb5e1ddf623518ff2b7e990a4f252","datavalue":{"value":"\\textit{D. M. Clark} and \\textit{P. H. Krauss} [``Global subdirect products'', Mem. Am. Math. Soc. 210 (1979; Zbl 0421.08001)] define an algebra to be globally (Boolean) representable by a class of algebras \\({\\mathcal M}\\) if it is isomorphic to the algebra of the global sections of a subdirect sheaf whose index space is compact and \\(T_ 0\\) and whose stalks belong to \\({\\mathcal M}\\) or are trivial and at most one stalk is trivial.   This paper presents general characterizations of global and Boolean representability of an algebra \\(A\\) by a class \\({\\mathcal M}\\). Such characterizations are given in terms of properties of the congruence lattice of \\(A\\). A few simple new concepts are defined (i.e. compactness of a set of congruences, projective on \\(A\\), Chinese Remainder Theorems, etc.) which are sufficient to completely express the characterizations. One of the advantages of this approach is that since the characterizations are purely structural, one can see more clearly the sheaf-representational nature of a given algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$62041B8A-C635-452F-9328-B420CFECBA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$B71BCF3F-3A8C-41B0-BBD4-1CE74BC9A1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$5505AF94-8F93-4D9B-95D1-DE40FBA21305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c648e268c28ec150fb5ed45778a818ce497d91f","datavalue":{"value":"08A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$C02B8FC3-A3ED-4E50-81C7-49FD29712502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$23FE581A-E8A0-4B94-8638-A01D20B41753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$88193251-59BB-4CFB-B211-59B42275D8B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb01219c0e16cc58fa8e08e19fcd0357ef244d05","datavalue":{"value":"64762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$6B149D5D-5E78-49FC-94AA-FA2E82FAEE08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$D8B7FFA0-443D-4A1F-871E-4B294C8694DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6657cc939c79fee7d0dac6b4f81784d2afe77c","datavalue":{"value":"sheaf representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$B558E6BC-9E8B-4C9A-8954-FCD740159AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbacd355b585cff2d1bd78bbfe3f34e884d975ae","datavalue":{"value":"Stone representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$AF0550E2-164E-4DB1-AF38-91349E98DA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab799c59f64f20a37a2c31c2414ca335e984892f","datavalue":{"value":"global sections of a subdirect sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$EF87F977-5755-4C52-8A0A-453B62B1B95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fffb7f859506c5bd22ed41f5cf17646c570a54f4","datavalue":{"value":"Boolean representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$29AF87A0-3F16-47AD-8D44-6D5A17C7DAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193502$3CEBEEC9-CBC8-4A97-B242-DF4009BC7074","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$3D87EBAF-CAD1-4BD7-AC3C-FCF79780D777","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":"Q1193502$3723D2F7-195E-40FC-9F9E-2E60A2C4196C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc888a076de43aba6ae566aed76169c6ee4074b","datavalue":{"value":{"entity-type":"item","numeric-id":5789040,"id":"Q5789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$88A26DEF-1201-4029-86EF-4352A80DF7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$6FC4DDD2-DFA1-4FF8-8379-F68888317E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5924b96e9e17eef377b5d4cb5e346ba4b38500f6","datavalue":{"value":{"entity-type":"item","numeric-id":2546890,"id":"Q2546890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$74676D62-C9C9-4BEC-80DE-A4DF2A205EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4a4e37e358f643b216491470e696d4b8d6ebb9","datavalue":{"value":{"entity-type":"item","numeric-id":5638369,"id":"Q5638369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$A4B1F240-F9D2-4E67-9307-001A6CF28CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddebecba5228c2c587db848afd240d4e169403bf","datavalue":{"value":{"entity-type":"item","numeric-id":3853700,"id":"Q3853700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$ACB9ED86-9C17-43AC-839E-68323EE52AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94f8dfac4fd9fd0049495982d16ad4ad2c85d83","datavalue":{"value":{"entity-type":"item","numeric-id":5686072,"id":"Q5686072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$858993A8-8FD2-4098-96A2-E2BE6C75F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32221554a2fde6785a329d326afa40fe5de88137","datavalue":{"value":{"entity-type":"item","numeric-id":5655397,"id":"Q5655397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$7355E178-E51F-4F29-B9CB-0CCFC150D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c5f3709e629aa243556728eb25f6bc033751a8","datavalue":{"value":{"entity-type":"item","numeric-id":5802205,"id":"Q5802205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$1EC27DAC-5D45-4A61-8FEF-025CC496C83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$49784502-EF3C-41E5-B9BC-11085A74278E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193502$ADDEFB13-11F5-4AB4-95F6-63549318364F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df897810507705460b856d7c50cade3c727498fe","datavalue":{"value":"https://doi.org/10.1007/bf01190609","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193502$177AC044-E4E1-4E35-AFB2-273EDE39F168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abefee9ff545d91f35394b28063683d211f65d73","datavalue":{"value":"W2042481904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193502$0933E6FD-61AC-456A-9F50-E85C784E8598","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951b667cc444f78ee52f636fbec517fa6a4045c7","datavalue":{"value":{"entity-type":"item","numeric-id":2546890,"id":"Q2546890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ca222552e32a9ebb11bda59996283ee3f04c69","datavalue":{"value":{"amount":"+0.8051685690879822","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":"Q1193502$AAE9B10D-0982-45D5-86ED-503F20C7EAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8196e64905d130a33ec72c002214423220f2d04","datavalue":{"value":{"entity-type":"item","numeric-id":3140378,"id":"Q3140378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ce15d2de08715c7165544091526ea31fb96db4","datavalue":{"value":{"amount":"+0.7989240884780884","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":"Q1193502$F082BD5B-008F-4529-8244-B791A884D99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0594400943c971a6d0a3049096a7c63fa06094a","datavalue":{"value":{"entity-type":"item","numeric-id":1297805,"id":"Q1297805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3526cca50e0a69c2086b3f7f1afeda4499c224a6","datavalue":{"value":{"amount":"+0.797835648059845","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":"Q1193502$C04943BF-B3E1-44A6-BC68-1D9BE416F0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3c41acabac48ebed22274baff28bd80029dc89","datavalue":{"value":{"entity-type":"item","numeric-id":3137158,"id":"Q3137158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298fd47de98727039b10c5a3404b35a0c21e185b","datavalue":{"value":{"amount":"+0.7905873656272888","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":"Q1193502$7F68D6D1-D684-4415-890F-024008ACCF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bd6649f41efaf63163fc1ac0ac2aa8f5e7ba05","datavalue":{"value":{"entity-type":"item","numeric-id":3106366,"id":"Q3106366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00746fbf8ed9aeb9c98cd15cf957ab2190740abe","datavalue":{"value":{"amount":"+0.7743959426879883","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":"Q1193502$8584E197-0A10-4C85-B973-F82FA9BF03CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sheaf representation and Chinese Remainder Theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sheaf_representation_and_Chinese_Remainder_Theorems"}}}}}