{"entities":{"Q987188":{"pageid":989036,"ns":120,"title":"Item:Q987188","lastrevid":65919162,"modified":"2026-04-12T06:15:48Z","type":"item","id":"Q987188","labels":{"en":{"language":"en","value":"A natural equivalence for the category of coherent frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5770092"}},"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":"Q987188$51340964-1B4A-438E-9C83-EABD4311E984","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37eb29c38785d8838db9f38a4f2a937f0a0ad8f9","datavalue":{"value":{"text":"A natural equivalence for the category of coherent frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987188$CEAEC5B6-F1E2-49D3-AE87-D968878A13C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9391b8ff2602d6561d79cfaf8a9b91e9ec5d7525","datavalue":{"value":"1211.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987188$4E1BF453-D07B-4002-BA59-0F2B4BE242E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c226af3fe3b9591f8d1536a903a8a85db516c7","datavalue":{"value":{"entity-type":"item","numeric-id":639720,"id":"Q639720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$FDBE8453-DE88-48C9-B8DD-B08962A3D949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db38f322e003950bb8bfe768011455a68be2e7a0","datavalue":{"value":{"entity-type":"item","numeric-id":189528,"id":"Q189528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$CC081BD0-4573-429B-93FB-39F938521B25","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":"Q987188$F8424222-5442-4011-AF9C-C8E8E5646B57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"829d55f1ec544e7d684ffd95ef09a9fd350e7c82","datavalue":{"value":{"time":"+2010-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987188$AD1DE923-2F4F-4291-8397-CD568FE6DBB8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2a8000c95aee62e8a782f734f4c1e8b92695d601","datavalue":{"value":"Given a complete lattice \\(L\\), let \\(\\mathfrak{K}(L)\\) denote the set of all compact elements of \\(L\\). This is a join-semilattice with bottom. Further, let \\(\\mathfrak{F}\\) be the functor between the category of meet-semilattices with top element and the category of complete algebraic lattices assigning to each \\(L\\) the set \\(\\mathfrak{F}(L)\\) of all filters of \\(L\\) and to each meet-semilattice homomorphism \\(g:L\\rightarrow M\\) the map \\(\\mathfrak{F}(L)\\rightarrow \\mathfrak{F}(M)\\) defined by   \\[ \\mathfrak{F}(g)(F)=\\{y\\in M\\mid \\mathrm{ there is an }x\\in F\\mathrm{ such that }g(x)\\leq y\\}. \\]  This functor establishes a natural equivalence between the two categories. Whenever \\(L\\) is a coherent frame, \\(\\mathfrak{K}(L)\\) is a sublattice of \\(L\\) and then \\(\\mathfrak{F}\\) applies to it. In this paper, the authors relate properties of the coherent frame \\(L\\) to the coherent frame \\(\\mathfrak{F}(\\mathfrak{K}(L))\\) (referred to as the \\textit{prime} of \\(L\\)). They consider several interesting properties of coherent frames like regularity, zero-dimensionality and normality, and provide some applications to the coherent frame \\(\\mathrm{Rad}(A)\\) of all radical ideals of a commutative ring with identity \\(A\\) and to the study of the prime spectra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$511C4DAC-7E0D-435F-BA8C-2DE3EFD13F92","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b7a94eb553ebb471d21cd9342e2b92f55c9f564","datavalue":{"value":{"entity-type":"item","numeric-id":283254,"id":"Q283254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$815E449A-9D92-4911-B372-5DC49F21AEE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987188$6029E35A-DD4F-46EB-9E9B-399301DAE6CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"299d03fe973514d53c1cf554d2380a67bc48c95b","datavalue":{"value":"5770092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987188$23FB3B35-F3EF-4C87-A884-3A624BBCD696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1b961bb31cbd9f7ecc4ee4ca345e5b3006216e","datavalue":{"value":"coherent frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$1B818C93-5AAB-471D-98F0-D395100A8D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc576839b1aabf7fddb24d487cee09b2b920bdf","datavalue":{"value":"algebraic frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$54699981-4DCA-4502-9D59-929D6CB5852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df05e191ba21c4c1ed57f74913b9daee6d2be429","datavalue":{"value":"compact element","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$2C011281-7383-4F51-822C-819C4C38DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$CB25FAA2-E2BB-4BDC-9676-402B90B20AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$C9839374-CE46-41BC-81CD-3F2C25864E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d63656b79f613b08a0ff49a14f25af588cbd258","datavalue":{"value":"radical ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$62C0B9E1-2A3E-47AE-AA7A-5DC3EA5F333F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fbfc9cf04029cde566092d06a1c3a391b76d4ae","datavalue":{"value":"prime spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q987188$171005A3-8C89-49E1-AC63-15D3A3F683A2","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":"Q987188$7E17AF31-7222-47A2-8532-C856603A749D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc7750602c5b706aaf8ddaf367f5d4502e201447","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0058-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q987188$C752E250-6F29-48E7-B5C4-8689FC6028D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5b7952cc2989602c6c05ba0b515edf6f7181fcd","datavalue":{"value":"W2019122806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987188$36E78F92-3A7A-4FA4-B85D-E276510F44E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac26499e0fde5c9c829c3579527e12a18f4a2f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1426502,"id":"Q1426502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$809A56E4-E8FA-469C-8291-2C5B092FEF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a693970e4df55030e09d1f1943febc7c20486e","datavalue":{"value":{"entity-type":"item","numeric-id":2847611,"id":"Q2847611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$24072F82-8C33-4E35-B910-69C515E933F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40b01796be11355618d6f00c717e3411423a74b","datavalue":{"value":{"entity-type":"item","numeric-id":4884914,"id":"Q4884914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$4E377E5D-73EF-4408-BB6B-FE8CFB077BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1746bcb33de11897d7b70ae6e2a9c1836446414e","datavalue":{"value":{"entity-type":"item","numeric-id":976748,"id":"Q976748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$C43E86AB-683F-43C1-9EC6-7400A8FA643D","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":"Q987188$7B954A51-13A2-4A98-836B-CD0EBC1A6004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$F5D10ED3-E506-4171-88FB-BCE4D08F7FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09418463a7a5cd68e274a9da22b798309caa2653","datavalue":{"value":{"entity-type":"item","numeric-id":1959927,"id":"Q1959927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$81BD18A1-57F1-41F4-8BEC-E810B4621016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f690e3545f03a09191ac7cb87efa67ef523d228","datavalue":{"value":{"entity-type":"item","numeric-id":1042415,"id":"Q1042415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$4B8C9F71-CB85-4B7C-95C1-7C292E66FC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$F2C81672-F747-4746-B554-6DC913646009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f346ff7afec12fe83d3cafa2aae555e262534fc2","datavalue":{"value":{"entity-type":"item","numeric-id":2642568,"id":"Q2642568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$49FC752D-1F03-4E5E-AEAF-A246CA6D1E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddafba25bce5ec92dc8107e44f5f41c4d3ead159","datavalue":{"value":{"entity-type":"item","numeric-id":759049,"id":"Q759049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$104AF9BE-F9BF-4CEB-B8ED-00EFE182FD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db115f35704ba0a95709f4a7614aa0f78ac69a72","datavalue":{"value":{"entity-type":"item","numeric-id":2496171,"id":"Q2496171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$241C27DD-5A9D-4201-8194-90C528D32CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf313a8a0a1fd095cedd4b19478f62717609d38","datavalue":{"value":{"entity-type":"item","numeric-id":819791,"id":"Q819791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987188$90D7B066-AFA8-4CC9-B717-CDB3B5EDC8B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24531a98b473dbfe92862d4aad3d8c2a8f33100a","datavalue":{"value":"10.1007/S00012-010-0058-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987188$98254BD6-C580-4D21-94EB-666C60C1F4BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a16c0799fc1caff7fa67c4561ce481b6ddfe0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3831708,"id":"Q3831708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4b95c245dd2d6390ef36603cda8c723df3b8b9","datavalue":{"value":{"amount":"+0.7289124131202698","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":"Q987188$B14DB197-1603-4895-B16D-EA5927CBD2DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3549e3ed9acead03bce22e0bae99a31aadb0a657","datavalue":{"value":{"entity-type":"item","numeric-id":4304538,"id":"Q4304538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a7b593fb43fc0f1a76e1aa1aa69dd68467de2a","datavalue":{"value":{"amount":"+0.7180436253547668","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":"Q987188$C0A2378C-39C6-4BF3-BEE4-6CFF91A4AB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ab40a5c81ac580ca29196de69283045435196b","datavalue":{"value":{"entity-type":"item","numeric-id":5455790,"id":"Q5455790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a7b593fb43fc0f1a76e1aa1aa69dd68467de2a","datavalue":{"value":{"amount":"+0.7180436253547668","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":"Q987188$E79920D3-20E4-4FF3-A630-7BFCCD748121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe28f4db153b3e71796faf1470ff4925f0445c68","datavalue":{"value":{"entity-type":"item","numeric-id":1174821,"id":"Q1174821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30df323193bcef39cb47fd25f3cb753ebc07ba00","datavalue":{"value":{"amount":"+0.7088328003883362","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":"Q987188$E23CA326-84E4-4A40-B178-7A4430FBDD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e295a1dfe9f98a8570554e9dcc051deab25711","datavalue":{"value":{"entity-type":"item","numeric-id":742930,"id":"Q742930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d818923850a03096fa708f8135c8c68ebfa99338","datavalue":{"value":{"amount":"+0.7064021825790405","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":"Q987188$227C2129-D184-41A9-ABC2-8B0B5B274630","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A natural equivalence for the category of coherent frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_natural_equivalence_for_the_category_of_coherent_frames"}}}}}