{"entities":{"Q1105662":{"pageid":1116411,"ns":120,"title":"Item:Q1105662","lastrevid":67001718,"modified":"2026-04-12T14:15:54Z","type":"item","id":"Q1105662","labels":{"en":{"language":"en","value":"Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059603"}},"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":"Q1105662$3504AE03-D928-450D-AF9F-ED9E8C661809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac10ec43b3ef9266c6f641b075c1b4adf4c14f09","datavalue":{"value":{"text":"Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105662$94C6044F-0AA4-4B0C-AC03-537E7240D380","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e70ee035ff6d08141ecce64c7a59aee1be97607","datavalue":{"value":"0649.16005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105662$D3B98A18-6B1E-461E-9251-715F897E65B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1b57df70039910380fa40eb1d77046d5339a021","datavalue":{"value":"10.1016/0021-8693(88)90107-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105662$0F4C3B92-CFD1-435F-9836-0CECD1522146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"659d40243bb4d35ad9cc5e82a602960db4c20946","datavalue":{"value":{"entity-type":"item","numeric-id":231127,"id":"Q231127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$A6214C3C-C1A3-4D93-9AEA-74EF4582B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b981afe8da9d6f1d5735dae6ff1c2527e96c1c81","datavalue":{"value":{"entity-type":"item","numeric-id":1257962,"id":"Q1257962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$76DAEBD5-BDB1-46E6-9D98-898AF848557B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$E05C2C2B-5BD3-4519-AAEB-E6B697AF4AE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1105662$4236D4D7-09C3-4901-BD34-BCB21C48E640","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44caeaeaf52a872c7d21477206724d8ef99ab5da","datavalue":{"value":"Let A be a finite-dimensional Hopf algebra over a field k. Kaplansky conjectured that if A is cosemisimple, then its antipode S has square \\(S^ 2=I\\) (i.e. S is an involution). The authors show that if A is cosemisimple and k has characteristic zero, then A is semisimple, from which it follows that \\(S^ 4=I\\). In a subsequent paper which was published before the one under review [Am. J. Math. 110, No.1, 187-195 (1988; Zbl 0637.16006)], the authors sharpened this to \\(S^ 2=I\\), thus verifying Kaplansky's conjecture when k has characteristic zero.    The main tool of this paper is to associate an element \\(\\Lambda_ f\\) of A (a finite-dimensional Hopf algebra) to each linear endomorphism f of A via \\(p(\\Lambda_ f)= \\text{Trace}(L(p)\\circ f^*)\\) for all p in the dual (Hopf) algebra \\(A^*\\), where L is left multiplication in \\(A^*\\). Set \\(x=\\Lambda_ I\\) and \\({\\tilde \\Lambda}=\\Lambda_{S^ 2}\\). Then \\({\\tilde\\Lambda}\\) is a left integral of A (i.e., \\(a{\\tilde \\Lambda}= \\epsilon(a){\\tilde\\Lambda}\\) for a in A, \\(\\epsilon\\) the counit of A), and \\({\\tilde \\Lambda}\\neq 0\\) iff A is cosemisimple. This is used to prove that A cosemisimple implies A semisimple at characteristic zero.    The authors also study the relation between \\({\\tilde\\Lambda}\\) and x carefully. If \\((\\dim A)1\\neq 0\\), then \\(S^ 2=I\\) iff x is a non-zero left integral of A (and then \\(x={\\tilde\\Lambda}\\) and A is both semisimple and cosemisimple). x is studied relative to the structure of A. Finally, when A is cosemisimple over an algebraically closed field of characteristic 0, the authors compute x and \\({\\tilde\\Lambda}\\) with respect to a basis of matrix counits of A.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105662$38028685-9EBE-4577-96B1-08B9458200CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105662$CDA98AF8-88E3-48BC-9DB9-0CF0F699D5C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93b3dc691b4f7b01bd8073596fa0e04007cc9b55","datavalue":{"value":"4059603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105662$A9AE9911-90A2-458A-9B9D-F78B647FB90B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7b9215fa5c70819353dbad69b90c175923a3ec","datavalue":{"value":"finite-dimensional Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105662$4CE6CF79-63BE-4AAB-B73F-3847DBF87828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9bfc96d359da9287577d121a92f7bab4b2225c1","datavalue":{"value":"cosemisimple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105662$C4D18C17-2042-44D9-A6FB-87A0150869E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a80b0848a73b621b1f3e088b4b6f440b325117c","datavalue":{"value":"antipode","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105662$D3EB9164-C10F-4396-A878-821050BD37DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c741970f55ed98aaed23fc8164c617f9d1cc10","datavalue":{"value":"Kaplansky's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105662$B3729FBF-B68C-4DD0-A657-2E6371489AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b4ea35d09fbbe62ec324faa065b03a290e3b9b","datavalue":{"value":"endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105662$B11CD7F2-7984-488C-AB4D-AD882F43EB91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4124e83285f963fc5c2f908aeffe32658a3781a6","datavalue":{"value":{"entity-type":"item","numeric-id":590872,"id":"Q590872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$680B1501-AF0E-4B66-A355-04D68B1708EB","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":"Q1105662$C0D2F550-9390-4F7F-AC84-A69B728D1E40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32719232d1756bb44520a3c160c06376bfcfced0","datavalue":{"value":{"entity-type":"item","numeric-id":5250139,"id":"Q5250139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$BFB75D26-EEEB-4298-AE95-8DE631876284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231e61e4ff67e6f049cadc453cb6b029e093a132","datavalue":{"value":{"entity-type":"item","numeric-id":2546368,"id":"Q2546368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$09D66076-C6D1-4E57-AC3E-7BCACDC5E92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff79e3df4d3060d5e65093a276c2fd3f778e99f","datavalue":{"value":{"entity-type":"item","numeric-id":5569552,"id":"Q5569552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$E16FAC6E-F5B3-4DFC-ABE3-9A0D9FAB7B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894684db50ed93ff2ed0a0201f90ff22ccbf9604","datavalue":{"value":{"entity-type":"item","numeric-id":788077,"id":"Q788077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$DD2398D1-2E17-4935-B750-D61BA8A9C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa5836fcae4df23cbdac0ce91bd08d7b321d5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4097055,"id":"Q4097055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$A82452EF-C018-4C0C-A65B-9E59EE0070C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d238b948fa3480604f0b49e6425b92e2b10c325","datavalue":{"value":{"entity-type":"item","numeric-id":5590089,"id":"Q5590089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105662$50441704-E93E-4C5B-BF87-CD57B6304C93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e160a09879832b19632e45d7c3f61b84063191","datavalue":{"value":{"entity-type":"item","numeric-id":3778126,"id":"Q3778126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc1bacf0ef559f3896326376bc46173f205787b","datavalue":{"value":{"amount":"+0.924183428287506","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":"Q1105662$4B3CD0B8-74B7-4452-9760-15C778D8CB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56bd09b4a3a896bdf0ead5c110f165ab2826efe","datavalue":{"value":{"entity-type":"item","numeric-id":4315520,"id":"Q4315520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0ea2475b36446f62a5121ad96843ba0f403f5c","datavalue":{"value":{"amount":"+0.8783920407295227","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":"Q1105662$6417FF08-86F9-49EC-AF26-4C20469E3FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f698a362225ca1ce542af3b0d7fff6e3778d4404","datavalue":{"value":{"entity-type":"item","numeric-id":5453002,"id":"Q5453002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3903e4bd51b77b7cbd174ceac9dbe54decbb1faa","datavalue":{"value":{"amount":"+0.8767502903938293","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":"Q1105662$25DB2236-E8A3-43D7-AC15-2854C5C069FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61280cf6aa9d3d1475fe18dfd8eded72a6b49c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4322667,"id":"Q4322667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa85d0eb7f52eaa005a7540e2891d841bdde2d8","datavalue":{"value":{"amount":"+0.8656861186027527","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":"Q1105662$C7431D7B-22F9-4169-BC1F-538E6088D265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9029548ee5d997a443f33f5085bb4ddfb8fdb9","datavalue":{"value":{"entity-type":"item","numeric-id":3152337,"id":"Q3152337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8be3c65c1926cf4c01a17035f8454afc417245e","datavalue":{"value":{"amount":"+0.8617151379585266","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":"Q1105662$93FC8127-864E-41F1-8309-FE9B56D90AD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_dimensional_cosemisimple_Hopf_algebras_in_characteristic_0_are_semisimple"}}}}}