{"entities":{"Q457329":{"pageid":459096,"ns":120,"title":"Item:Q457329","lastrevid":61980132,"modified":"2026-04-11T02:58:18Z","type":"item","id":"Q457329","labels":{"en":{"language":"en","value":"Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348603"}},"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":"Q457329$095E1089-7930-4630-A805-27002E7F1CBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a548faa9142a5c008cdce23a2e833b11177f7492","datavalue":{"value":{"text":"Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q457329$CE1E4F84-7A35-411F-9890-82FF9CCFECA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb275137aaf1e83f089f404db631ae3cb1a0e93","datavalue":{"value":"1346.16026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$6175B3FB-0100-4829-886A-40FDAF1853C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24f15e4a68183b60cc3f7738346ab59e66ae1df9","datavalue":{"value":{"entity-type":"item","numeric-id":293047,"id":"Q293047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457329$CEF9F48F-A2A2-4A0D-9FA5-8902B860CB4A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457329$120A34F5-CF1A-4443-A098-182C7912F0BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q457329$C93D0112-256B-4142-8C1D-6C855BCBC49F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"750ed1da8359fad95a68ad9d98f8b509e0858b7b","datavalue":{"value":"https://arxiv.org/abs/1110.6701","type":"string"},"datatype":"url"},"type":"statement","id":"Q457329$CCC7881E-509C-4DE3-8CF4-86B81617E372","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d1f9201036f68d12a69478f4e91574a7398a8e4","datavalue":{"value":{"entity-type":"item","numeric-id":427777,"id":"Q427777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q457329$07E9007B-C3AC-42A8-B10C-F76930196D6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46d228144203299b76ed9fda9973fb3a3d18987c","datavalue":{"value":"16T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$8807322B-5367-451E-9C0D-046704A43788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$1DC97B9B-80F1-43F5-AE2D-26741CB0699C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff6175042c2a6f0379415d18e7500b49e5f268af","datavalue":{"value":"16T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$1432BA36-61CE-413B-A658-A2118FD91737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2feab095e571d74f47af02f2cae691340e37e0c","datavalue":{"value":"17B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$DA0602FD-2BC4-4E97-A385-49E329E6315C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6b37053ac73d90a170cc19a91a2564f9a1086eb","datavalue":{"value":"6348603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$11ED61D0-E303-4423-B124-0231EF92A985","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b5739a00bf62ac13084159e21df5d49e5322463","datavalue":{"value":"cosemisimple Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q457329$494C68E4-DAF3-479D-ABC3-80E455C20F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1108b428c5522d75683228b1723574a43f6ded8","datavalue":{"value":"faithfully flat Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q457329$0B10ECA4-0119-44F9-A106-6E8E83B94730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3bff3b96283fddfa69e48c8a5c96a4aa55b8f4","datavalue":{"value":"cosemisimple Hopf subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q457329$0742D8D0-A980-4730-8703-2DF0F62B6116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ab5edfcecbfb01e7f53ed2bb9a9926bc2134c4","datavalue":{"value":"module coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q457329$2F7E5547-0583-434B-BE2B-DF95D37B9FCD","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":"Q457329$50A06954-B2D4-449B-AC1E-3717991432E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b057a8d9bd121277d91d2da7c47dfb995a889b17","datavalue":{"value":"W2008565461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$6F515124-2726-4CC4-9805-3166B7C8D077","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"661060c3431a639f5c33beb4a841e006355c187d","datavalue":{"value":"10.2140/ANT.2014.8.1179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q457329$F4C2304B-70E0-41FE-B3DE-FDF76332E447","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b611c027960430dd31543b662435687d60620f13","datavalue":{"value":"The authors study the following question, asked by \\textit{S. Montgomery} [Hopf algebras and their actions on rings. Providence: AMS (1993; Zbl 0793.16029)]: let \\(A\\) be a Hopf subalgebra of a Hopf algebra \\(H\\) over a field; is \\(H\\) faithfully flat over \\(A\\)? The question goes back to one of Kaplansky's conjectures, and has a rich history, documented well in the introduction of the paper.NEWLINENEWLINE The main result is the following: if \\(H\\) is cosemisimple, then \\(H\\) is faithfully flat over every Hopf subalgebra \\(A\\). Moreover, the left \\(H\\)-module coalgebra \\(C=H/HA^+\\) is cosemisimple. A second result is the following: if the coradical of \\(H\\) is a Hopf algebra, then \\(H\\) is faithfully flat over its cosemisimple Hopf subalgebras. In the final Section 3, the left inverse of the inclusion \\(A\\to H\\) is studied, in the case where \\(A\\) and \\(H\\) are CQG algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q457329$34C73150-1620-48FD-B7A1-F9E229FC6CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ac96af8bb6c2b089027b6505fea9e0cdf81e97","datavalue":{"value":{"entity-type":"item","numeric-id":1340006,"id":"Q1340006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c2508f3b859f7cf83f3f3b2504487656877a0d","datavalue":{"value":{"amount":"+0.8613994717597961","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":"Q457329$CC4E1E49-0CA2-4F9A-AC81-4320DFCCD5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c69fbd42a9dc59a4e9b72c5770019fc1c7c6b74","datavalue":{"value":{"entity-type":"item","numeric-id":2042291,"id":"Q2042291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee958f6f41419c4e313ffa4eda7e742a870340b","datavalue":{"value":{"amount":"+0.850122332572937","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":"Q457329$5CB4334D-D15E-4195-95F8-78E103B3A4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51a53ed00ec3ae6d471ef8f26f2129dbe13c0cb","datavalue":{"value":{"entity-type":"item","numeric-id":4762689,"id":"Q4762689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dc274448da62603149f275b4bfc8785c79c218","datavalue":{"value":{"amount":"+0.8142938017845154","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":"Q457329$50F437CB-EC61-446C-932B-7EF730435D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b32a6340849143e49d9be455c76d8b631a75732e","datavalue":{"value":{"entity-type":"item","numeric-id":4210570,"id":"Q4210570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564102384822c004704e057952e1cad598b362b4","datavalue":{"value":{"amount":"+0.8026720285415649","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":"Q457329$E5DF95FF-E424-4E23-B2A0-A933546F33FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab827d35763469340fbbbce527710d59023699b0","datavalue":{"value":{"entity-type":"item","numeric-id":515601,"id":"Q515601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23db0fd4806e0acdbf834e0c95e874794182748","datavalue":{"value":{"amount":"+0.796704888343811","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":"Q457329$757636EB-E084-4B42-87F9-C65E764E94CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cosemisimple_Hopf_algebras_are_faithfully_flat_over_Hopf_subalgebras."}}}}}