{"entities":{"Q645834":{"pageid":647683,"ns":120,"title":"Item:Q645834","lastrevid":63259200,"modified":"2026-04-11T11:40:14Z","type":"item","id":"Q645834","labels":{"en":{"language":"en","value":"Piecewise principal comodule algebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5970193"}},"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":"Q645834$F631CFE4-5D34-45BD-A88B-60AFB8040A8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0580ed09afe3a4cfc8cd29cf764a7d757b8b32a6","datavalue":{"value":{"text":"Piecewise principal comodule algebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645834$A4E65F92-EF4E-4173-9868-4E2DDFDADD86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb33e36a8e10207d47317244203f643d3c701de9","datavalue":{"value":"1258.16036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$655F1FD4-DF42-4D64-AD63-A7E4A4006587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9b48c5897f80a91b8e7df9a7297a9cb91cc38f8","datavalue":{"value":"10.4171/JNCG/88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$65F9E8C3-1B65-494A-9BD6-E6083BBF5005","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c49758f757ad1039520188e9110060a854b58222","datavalue":{"value":{"entity-type":"item","numeric-id":225480,"id":"Q225480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$E46A3EB1-A67F-4153-8368-886E17E2ED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794ee7490e2f34a2e913c9f3d23a78c4f9887683","datavalue":{"value":{"entity-type":"item","numeric-id":402438,"id":"Q402438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$F5628A6A-C45E-41AC-8AAF-B89E41149678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d2cdbb03d1083fd33a34f47c626eedb8dcd2ac3","datavalue":{"value":{"entity-type":"item","numeric-id":595926,"id":"Q595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$D6D40526-1C90-46FA-8CFF-82EA1CBAA20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8022d3ccc4ebadc23f4fdec75389ff21ce91980","datavalue":{"value":{"entity-type":"item","numeric-id":398524,"id":"Q398524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$C14FADA8-7316-414C-A28D-2837D63C6378","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d32ecd8b996826005490457d7846f685fbe444bd","datavalue":{"value":{"entity-type":"item","numeric-id":247691,"id":"Q247691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$60E5C4C1-D4BB-4E56-8E04-C8448E1BCACD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eaa681f595e5adaa3f79c590c5e5c1e3273415a6","datavalue":{"value":{"time":"+2011-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645834$394EAD43-8034-492F-8CC5-44F99E320A3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f93d4246332c73afe5d9704ad1436fd1db5b8cd","datavalue":{"value":"https://arxiv.org/abs/0707.1344","type":"string"},"datatype":"url"},"type":"statement","id":"Q645834$B5E53868-959D-4B05-BE80-DE1A9AE8A39B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"433081abd3df2e22737930a913dd23ad12df52cb","datavalue":{"value":"Comodule algebras provide a natural noncommutative geometry generalization of spaces equipped with group actions. Principal extensions appear to be a proper analogue of principal bundles in this context. They can be considered as functors from the category of finite-dimensional corepresentations of the Hopf algebra to the category of finitely generated projective modules over the coaction-invariant subalgebra.   A comodule algebra \\(P\\) over a Hopf algebra \\(H\\) with bijective antipode is called principal if the coaction of \\(H\\) is Galois and \\(P\\) is \\(H\\)-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra~\\(P^{\\text{co\\,}H}\\).   The aim of the paper under review is to establish a viable concept of locality of comodule algebras, and to analyse its relationship with principality. The following main results are shown.   1) Let \\(\\pi_i\\colon P\\to P_i\\), \\(i\\in\\{1,\\dots,N\\}\\), be surjections of right \\(H\\)-comodule algebras such that \\(\\bigcap_{i=1}^N\\ker\\pi_i=0\\). Then \\(P\\) is principal if and only if all the \\(P_i\\)'s are principal.   2) The lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with \\(P^{\\text{co\\,}H}\\) if \\(P\\) has the principality.   Under the assumption of the above distributivity property, the authors also obtain a flabby sheaf of principal comodule algebras over a certain space that is universal for all such \\(N\\)-families of surjections \\(P\\to P_i\\) and such that the comodule algebra of global sections is \\(P\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$A28EC282-C8F9-46FF-8B7B-EBBA39F24BEE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c60da4542b8251fbc097178331467604ed54ff0e","datavalue":{"value":{"entity-type":"item","numeric-id":209620,"id":"Q209620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$A37578D8-5E9E-4472-B0BA-9284AAF1A4F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$631DF20B-5BAB-4A9F-9104-FCF203C43DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48583039d81a4a8e03f12d71989d6bbcf8ba5cb8","datavalue":{"value":"58B32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$4D29C14A-4A8A-4D99-859F-50E828C5EF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0dc77f5e2dff708cf3fe3b215485dbc9f17580","datavalue":{"value":"46L87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$185223E3-5D92-4A8C-9A6A-62A8E538BAEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db77e4a486006be1737e4dde7a6d6524bc9212cd","datavalue":{"value":"5970193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$E455204E-ACD4-48F2-AA6F-E044AC3A4241","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd0df69f9799c53761bbacf3009ea3634c1af49","datavalue":{"value":"principal actions of quantum groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$C5F7C68F-2B12-4DDB-91D1-F52E84B81FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9510ded87b3b231e677de529e2daaf1fdea1f270","datavalue":{"value":"pullback diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$70DEC003-6DAD-43FF-A6DE-FB45D2F60A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070a269a8d1a3a3f52dcd607aa1f62ca1a2e6060","datavalue":{"value":"comodule algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$89D2A79D-4519-44F5-8200-7E62E5C709AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44e949b0a1121799786dac144227671bd0e0d3e","datavalue":{"value":"noncommutative geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$C72B393C-BD00-41E2-AADD-E730A1FCAC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"695c26eccb028929c9775ca8d53036d5c75c30d4","datavalue":{"value":"corepresentations of Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$D2515852-5CC5-41BE-96F6-CD7ECFE828DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"838190c49f58140357ce08e357788efcb1f402d9","datavalue":{"value":"coaction-invariant subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q645834$692F2848-EDF1-46D5-B031-98C66184B024","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":"Q645834$ED1D1260-3178-43D1-91E2-5504A3B9A32C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cbf9f0c96617d30d7518048a47a035d6cb4e47","datavalue":{"value":{"entity-type":"item","numeric-id":3140547,"id":"Q3140547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$2B28FA4C-0540-4451-85EC-9A5EBC0B45CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6deb471cc5034f97751c588206bb907730effeb0","datavalue":{"value":{"entity-type":"item","numeric-id":2502106,"id":"Q2502106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645834$876CEB41-AFEB-4B75-AC84-8F6BFEF834E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab1c321ab377b0449d857750ae33ba4cbbe3b101","datavalue":{"value":"W2963320864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645834$077BFE9E-38E7-4CC3-9D11-C91CA206F78A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c63945da1808c93f4cb7dc4d9eaf4d5c072d8e7","datavalue":{"value":{"entity-type":"item","numeric-id":3065243,"id":"Q3065243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c56cd05d006a5b909ad93e1f683629c5270e484","datavalue":{"value":{"amount":"+0.8511784076690674","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":"Q645834$3432EF38-4EF2-4294-B91C-C5831458FD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cf86e68c7f926b4f3900c19bbe540068789c70","datavalue":{"value":{"entity-type":"item","numeric-id":401284,"id":"Q401284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0a7a279f21862e2a2a80442b3eaba2f1459f64","datavalue":{"value":{"amount":"+0.8074556589126587","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":"Q645834$8E23AB64-CBB3-4E7D-B124-9DCB046083B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09adf998e8b0de2b042a5a85b26c9d0598c862ab","datavalue":{"value":{"entity-type":"item","numeric-id":2386054,"id":"Q2386054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3301d732cc75e4cea19396c4b6cb5545d894ebd","datavalue":{"value":{"amount":"+0.7837179899215698","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":"Q645834$981276F5-577F-4C86-BB57-EA7563E6E6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"009d56011820fe165c1f94d5eb0dd06db8559312","datavalue":{"value":{"entity-type":"item","numeric-id":807731,"id":"Q807731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ac3a292370c6ab15fed9becc740552c39eee88","datavalue":{"value":{"amount":"+0.7575050592422485","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":"Q645834$C15874F6-7EB0-4A4A-A2B8-5C7A0CA3168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c65ca86985a0778922ddc2e2d37c06a600a2ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4669639,"id":"Q4669639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efc5b808ac9f69e332ce2057a91c703a188ebaa","datavalue":{"value":{"amount":"+0.743153989315033","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":"Q645834$0C8D62D2-12E2-49C9-BF88-55A1A1E23015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Piecewise principal comodule algebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Piecewise_principal_comodule_algebras."}}}}}