{"entities":{"Q788077":{"pageid":789925,"ns":120,"title":"Item:Q788077","lastrevid":64382994,"modified":"2026-04-11T19:29:47Z","type":"item","id":"Q788077","labels":{"en":{"language":"en","value":"On the antipode of a cosemisimple Hopf algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3842069"}},"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":"Q788077$1598AB31-C00B-4010-BDFF-0DF61E4E7F54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6180ec245b04498b16055f5498ee40a222fe34e","datavalue":{"value":{"text":"On the antipode of a cosemisimple Hopf algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q788077$829480A6-2ADD-4ED2-A36E-D7A6872A0B72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82fea9229b9c0c43ac4d39ffd1d73d759cb840e9","datavalue":{"value":"0531.16005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788077$6001FA2E-B988-45F3-B8AC-53E51C18E990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350e21be705439995f59aeef7d6fc6851d839c48","datavalue":{"value":"10.1016/0021-8693(84)90091-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788077$807D9E53-57D9-4ECF-843C-ED0BAA219C36","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":"Q788077$C5C6B16A-F2CC-4373-AAC0-6C355D926663","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":"Q788077$024FE42B-895D-4591-B11A-EDA3B09E8434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q788077$875249CF-5C94-49E3-8141-7F6F561ECAC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12db44b9389da4950baf62c1986a323d992e458d","datavalue":{"value":"Let H be a Hopf algebra over a field k which is cosemisimple (direct sum of simple subcoalgebras). When H is finite-dimensional over k, it is an open question whether or not the antipode s of H satisfies \\(s^ 2=I\\). \\textit{R. G. Larson} showed [Commun. Algebra 11, 1175-1186 (1983; Zbl 0514.16005)] that if each simple subcoalgebra C of H has dimension \\(\\leq 8\\), and if k has characteristic 0 or \\(p>4 \\dim H\\), then \\(s^ 2=I\\). By extending to the algebraic closure of k, this means C is a full matrix coalgebra of degree \\(\\leq 2\\) and that \\(s^ 2\\) is diagonalizable. In the paper under review, the author generalizes this result to show that if H is a cosemisimple Hopf algebra over k (possibly infinite-dimensional) with antipode s, such that \\(s^ 2\\) is diagonalizable and H is generated by its subcoalgebras of dimension \\(\\leq 8\\), then s has order 1, 2 or \\(\\infty\\). The proof involves the study of certain free Hopf algebras H(C,T) where C is a coalgebra and T a coalgebra endomorphism of C. There is a canonical map i:\\(C\\to H(C,T)\\) such that \\(iT=S^ 2i\\), where S is the antipode of H(C,T), and the construction is universal. The author obtains an explicit basis for H(C,T) when C is a full matrix coalgebra, and T an endomorphism relevant to his proof of the above theorem. When k contains an element transcendental over the prime field, the author constructs an automorphism T of the full 2 by 2 matrix coalgebra C such that H(C,T) is cosemisimple, \\(S^ 2\\) is diagonalizable and S has infinite order. Thus the possibility of order \\(\\infty\\) in the above theorem can in fact be realized (in a necessarily infinite-dimensional example).","type":"string"},"datatype":"string"},"type":"statement","id":"Q788077$EEA7DA9A-6A75-45D3-AAB8-E4BA6F760E4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788077$AA144D69-E4F6-4128-A65E-F32D31B564CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52844e03482963730d81e9c38887aca86019fa5b","datavalue":{"value":"3842069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788077$620956EE-D59C-4D29-91F0-E20BAE86ADA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5886b59f98d9ac61f26ca2592833f4882399b9b","datavalue":{"value":"order of antipode","type":"string"},"datatype":"string"},"type":"statement","id":"Q788077$FBEFFEE9-3E9A-4F3D-8E4E-68F3A48F4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f21926b64ff9e5f6a4b731d688743af863d676b","datavalue":{"value":"direct sum of simple subcoalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q788077$8E851FDB-4EB0-4F43-ACCB-54CA4ED833DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5c4075fbd9781e190a6eb660ffd66a4f3b12076","datavalue":{"value":"matrix coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q788077$9301EB10-76E0-4C4C-A21A-1B492349C954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a5f0b24a1d476393c9852950757d27c401023c","datavalue":{"value":"cosemisimple Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q788077$A36E146F-FE10-4173-8205-6D172C2FDA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be215693b99bca7059289cb0622a5717f2861cf","datavalue":{"value":"free Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q788077$9A4BB951-1B84-45D5-A182-E3D0DBE7C89F","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":"Q788077$6C8EBF93-8B3F-44BB-A327-1465222C3BF6","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":"Q788077$E73650E5-59D8-48F5-8641-52AD26688CF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26a6b4241e41b60817809b42aef45a054bd7bca2","datavalue":{"value":"https://doi.org/10.1016/0021-8693(84)90091-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q788077$EE0F4B22-EF76-4183-8237-211B59CC31B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63a1b4ea5dc07646984b27b4783c6e9452ba3133","datavalue":{"value":"W2015126767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788077$CA3E422B-3925-401F-A9CE-3927929DB7D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788077$CF0456E5-4231-4ED4-97ED-087DE672DC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd51cbfd126e5ce8b424152bc94e2831fb35716","datavalue":{"value":{"entity-type":"item","numeric-id":3922829,"id":"Q3922829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788077$AC040ADC-E89F-4839-8937-459D8EEFF263","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":"Q788077$FF8ACAD3-EE5F-49E2-8411-B9E10CA19660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b20f438dec2607d4c7e708d4884a802ce03f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5902591,"id":"Q5902591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788077$F088EA23-DF72-4E8F-948A-9950AA4F6030","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":"Q788077$ABC8560F-8F78-42E7-B871-5D1F43F48FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26e668728894635e76e76e0b5a11cd6a403b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":1866415,"id":"Q1866415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5826b7f050eb368479f2d4888dad8923d9f64655","datavalue":{"value":{"amount":"+0.8567606806755066","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":"Q788077$D49A42A4-3456-4E82-A843-5B1455CFD77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ae4ef556caaa048cbb034155f1df44e02f86a7","datavalue":{"value":{"entity-type":"item","numeric-id":1105662,"id":"Q1105662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5c3d804eb55eaa688628fadb73110e11515a15","datavalue":{"value":{"amount":"+0.8331797122955322","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":"Q788077$87A77D43-7415-410B-AA2D-EE367D6E00BB","rank":"normal"},{"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":"a1525ef1947af67699eddb17356e03e4228cde72","datavalue":{"value":{"amount":"+0.822623074054718","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":"Q788077$AE7C6FE9-7212-4CE7-845B-BE5FC36BC756","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":"b8b853cb02746baca2638cb3f1cf674336edf344","datavalue":{"value":{"amount":"+0.8216999769210815","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":"Q788077$EF2C3A77-84C4-4755-B8DD-861623374AFC","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":"0cd2dc601a6aab192a97a1d2e9cdc2e89e8ee95a","datavalue":{"value":{"amount":"+0.8142619132995605","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":"Q788077$8F11C355-58F2-4FB5-8523-B6A60D327AA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the antipode of a cosemisimple Hopf algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_antipode_of_a_cosemisimple_Hopf_algebra"}}}}}