{"entities":{"Q605327":{"pageid":607103,"ns":120,"title":"Item:Q605327","lastrevid":63176184,"modified":"2026-04-11T11:06:25Z","type":"item","id":"Q605327","labels":{"en":{"language":"en","value":"Dieudonn\u00e9 module structures for ungraded and periodically graded Hopf rings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5818577"}},"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":"Q605327$7B92497C-5EF9-420A-9E14-4443B3674029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3865747ad4c8da7b758350f0970acc5c67bcf152","datavalue":{"value":{"text":"Dieudonn\u00e9 module structures for ungraded and periodically graded Hopf rings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q605327$EE81E841-36CB-4ED3-9B53-3D1909CEFDA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afee1d59111902161b2f9c47d40b137a0b7e3b1c","datavalue":{"value":"1210.16031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$687FEE8D-2151-4953-A6C7-E7FF5DBC1768","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff2d8674a1a4777aecfdfe877c2494959b90f6","datavalue":{"value":{"entity-type":"item","numeric-id":590623,"id":"Q590623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$E831891C-1334-42A7-A174-3D8792DD0065","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1c396e0531011346401ad35f2c901bcca4ddc7a","datavalue":{"value":{"entity-type":"item","numeric-id":163566,"id":"Q163566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$CB35A6AE-8B8B-4923-9E50-9408F5F61E66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37607774c313de8998ebe283e26fe8d98792cfc3","datavalue":{"value":{"time":"+2010-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q605327$8D5C2F76-99B5-45ED-85C2-1357781C5362","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71a70450cfda26e33f257af097882531d978db11","datavalue":{"value":"There are several different theories of Dieudonn\u00e9 modules, used to classify different classes of group schemes over perfect fields of positive characteristic. Hence, there are different types of Dieudonn\u00e9 modules for different classes of Hopf algebras. In the work under review, the author discusses many of the different categorical equivalences between Dieudonn\u00e9 modules and Hopf algebras. Additionally, the study is extended to Hopf rings and their equivalence to Dieudonn\u00e9 rings (which, as one might imagine, are Dieudonn\u00e9 modules with additional structure).   Let \\(H\\) be a graded, connected, bicommutative (a.k.a. commutative and cocommutative, or Abelian) Hopf algebra over the finite field \\(\\mathbb{F} _p\\). Then its corresponding Dieudonn\u00e9 module is \\(D_*H=\\{\\Hom(H(n),H)\\} _{n\\geq 1}\\), where \\(H(n)=\\mathbb{F}_p[x_0,\\dots,x_k]\\) where \\(n\\) strongly divides \\(p^k\\), with comultiplication defined in such a way as to make all Witt polynomials primitive. The Frobenius and Verschiebung on \\(H(n)\\) induce maps \\(F\\) and \\(V\\) on \\(D_*H\\) with the properties that \\(FV=VF=p\\) and for each \\(x\\in D_*H\\) there is an \\(n\\geq 0\\) such that \\(V^nx=0\\). Thus \\(D_*H\\) is a graded module over \\(R:=\\mathbb{F}_p[F,V]/(FV-p)\\), and one can view \\(D_*\\) as a covariant functor between these Hopf algebras and graded \\(R\\)-modules which induces an equivalence of categories. Let \\(U_*\\) be the inverse correspondence.   By generalizing to the category of Hopf rings \\(\\{H_n\\}_{n\\in\\mathbb{Z}}\\) where each \\(H_n\\) is a Hopf algebra of the type above the equivalence generalizes to Dieudonn\u00e9 rings by putting additional structure on the \\(R\\)-modules. Indeed, the necessary multiplications \\(\\circ_{ij}\\colon H_i\\otimes H_j\\to H_{i+j}\\) induce products \\(D_*(H_i)\\otimes D_*(H_j)\\to D_*(H_{i+j})\\) in Hopf algebras, and it is shown that \\(U_*D_*H=\\{U_*D_*H_n\\}_{n\\in\\mathbb{Z}}\\) is a Hopf ring equivalent to \\(H\\). Similarly, given a Dieudonn\u00e9 ring \\(\\{M_n\\}_{n\\in\\mathbb{Z}}\\) the maps \\(\\circ_{ij}'\\colon M_i\\otimes M_j\\to M_{i+j}\\) induce maps \\(U_*(M_i)\\otimes U_*(M_j)\\to U_*(M_{i+j})\\) and \\(D_*U_*M=D_*U_*M_n\\) is equivalent to \\(M\\). (As a side note, the reader should note that the results above are misstated in paragraphs 6 and 7 of the introduction, where the author uses \\(H\\) instead of \\(M\\) in several easy-to-identify places.)   When restricting to graded Hopf algebras which are group like in degree zero one has an equivalence with \\(\\mathbb{Z}_p\\)-modules \\(M=M_0\\oplus M_c\\) with maps \\(V,F\\colon M\\to M\\) such that \\(M_c\\) is a Dieudonn\u00e9 module as above, \\(FV=VF=p\\), and \\(V\\) is the identity on \\(M_0\\). This is extended to a correspondence on Hopf rings.   Now suppose \\(H\\) is an ungraded bicommutative \\(\\mathbb{F}_p\\)-Hopf algebra. Then \\(DH:=\\text{colim}_n\\Hom(H(n),H)\\) has the structure of an \\(\\mathbb{F}_p\\)-module with actions \\(F,V\\) induced from the Frobenius and Verschiebung, respectively, giving \\(DH\\) a Dieudonn\u00e9 module structure. The category of ungraded bicommutative \\(\\mathbb{F}_p\\)-Hopf algebras is shown to be equivalent to the category of \\(\\mathbb{F}_p\\)-modules with endomorphisms \\(F,V\\) such that \\(FV=VF=p\\) and that for all \\(x\\in M\\) we have \\(V^nx=0\\) for some \\(n\\geq 0\\). This association also holds in the category of periodically graded Hopf algebras.   Finally, suppose \\(H\\) is a bicommutative Hopf algebra over a commutative ring \\(k\\) such that \\(H\\cong H_0\\otimes H_c\\), where \\(H_0\\) is a group ring over \\(k\\) and \\(H_c\\) is an ungraded connected Hopf algebra. These Hopf algebras are shown to be equivalent to modules \\(M_0\\oplus M_c\\) where \\(V\\) is the identity on \\(M_0\\).   Overall, this paper does an effective job at describing the Dieudonn\u00e9 module / Dieudonn\u00e9 ring theories where \\(H\\mapsto M\\) is a covariant functor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$9BFF9924-6C1B-43CB-AA22-356D75410769","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae8ac771025753cf4e7a4f37cda1a7ad2012f998","datavalue":{"value":{"entity-type":"item","numeric-id":210546,"id":"Q210546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$CE0779BF-09E7-4103-B3D5-2E4D32F89E10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46d228144203299b76ed9fda9973fb3a3d18987c","datavalue":{"value":"16T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$7F07C5F2-62EB-4599-A0E3-C509CED9E140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ee94a41237e3dbb5bd6d94ba0bdde798ee22428","datavalue":{"value":"16W70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$190B8F87-0653-4BB8-928C-D396C8E6571C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25260c9cfda46159a5fd46b446ae314fcfe990fc","datavalue":{"value":"57T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$14D1CCBE-29AB-4E3C-BBCB-E9A87F2688AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$36F9D1EB-27D0-4525-9072-0941AF0CC284","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81b6db089ff503c3620c2dbcb3309be0dc24cb55","datavalue":{"value":"5818577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$2D2A0161-6175-48AB-B310-D910F94E3588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c69b6741ec5fec5a9b898ba8ed79b21a95b9d09","datavalue":{"value":"Hopf algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$039DE83E-636C-4234-BC77-59D939BB356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3abf630698975d9913bae121de5230796a8560","datavalue":{"value":"Dieudonn\u00e9 modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$37088759-09BF-49D9-A72C-26C253CC9C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85aacbe04cf03cd117135dd0543dc3f0a970374","datavalue":{"value":"Hopf rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$8A40A9CF-D941-4840-A8E4-E86A30D75311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5303ce521355822c9ebf4ce65f73f2c3792ce90b","datavalue":{"value":"Dieudonn\u00e9 rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$5EBF8515-5A54-4581-9691-0AEBEFB3A585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2fc1de89a0f1f093d95511bb56896e59bc22468","datavalue":{"value":"group schemes over perfect fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$A8914CA2-0CC0-4166-95B5-E48E0E71495E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a282571249c21922fc0f9ee7172d8f7d4b65bb","datavalue":{"value":"equivalences of categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q605327$1C0A9934-FECD-49C8-ABB5-01D0D89E49D6","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":"Q605327$8740EE01-9CBA-405E-9061-04E1968F5051","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f3843476b6ade61dc7fedd4837d35356f30e508","datavalue":{"value":"https://doi.org/10.1007/s10468-009-9135-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q605327$F7F7F787-3D96-4756-96B0-2446E30D0CA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c429435f3bb35db769011fe23db7c41a51c07640","datavalue":{"value":"W2052373582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$DB03408F-6A49-4490-8E14-60D93EE2891B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d492c8b4d5d6397eded92b89500a82ac513a0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908231,"id":"Q1908231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$6C20C625-F0B8-4F55-8AF7-17F0C7AA8B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890b88debd1b15cfec7d1643448af47989a98dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5961419,"id":"Q5961419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$E92E676A-341C-4387-86AE-ED43EB8EC451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb02b041696904caa8bb645bb6934ddd1dfec3","datavalue":{"value":{"entity-type":"item","numeric-id":2555899,"id":"Q2555899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$5CF82F9B-2D5A-4346-B38F-901095C76A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d309ff6a436d66485ad3022cab65110f7f3af5b2","datavalue":{"value":{"entity-type":"item","numeric-id":4278108,"id":"Q4278108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$C4D5EE6A-348F-4B7B-8C18-41D80FAC8449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0339ab271bbeab5cf073e40940cc99c653a1c77b","datavalue":{"value":{"entity-type":"item","numeric-id":4400709,"id":"Q4400709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$F6A37456-7018-4A59-8D83-5EEB33CC74FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51667c8cb791a7e6c912727f1897ba2b9db45e9b","datavalue":{"value":{"entity-type":"item","numeric-id":1295554,"id":"Q1295554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$30E9357B-6378-4821-AD52-AF809D496E2D","rank":"normal"},{"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":"Q605327$68B84A71-AF41-4C4F-B16E-34FF58C72B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce895c0e789ec8ac616d34ff9f9945c9b5d6302","datavalue":{"value":{"entity-type":"item","numeric-id":2529098,"id":"Q2529098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$2B2527F0-B136-4803-8C14-5DF6B2F2B99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e681c688d413ea3e92b7b8c473d7d27da6bfc3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1244729,"id":"Q1244729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$5D38C568-38DE-4C26-8DBC-3547A6627868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500bf8ddbef7d12fe7d3c6f33163eeff255542ca","datavalue":{"value":{"entity-type":"item","numeric-id":4218782,"id":"Q4218782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$5AD0A7EE-C3F3-420A-BEAE-294F7D97CB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7321b9bc7991cc41af219bd503a37c0108314f","datavalue":{"value":{"entity-type":"item","numeric-id":2547613,"id":"Q2547613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q605327$EB18A84C-0240-477D-A6FD-BD285542FA56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44595c6250816fd289e7ed4755cf6b11b42fffc1","datavalue":{"value":"10.1007/S10468-009-9135-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q605327$16D09CAE-0FDE-4B8E-89CA-9BD4FFBEDADB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea0833ff7ee599588ac1bd173de6b8292fe3a826","datavalue":{"value":{"entity-type":"item","numeric-id":4934304,"id":"Q4934304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac15d66c0f9647a62fe47f36ee7f68d0e2de5bb","datavalue":{"value":{"amount":"+0.8478268384933472","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":"Q605327$77304B0C-6BE8-4343-ACF5-6E23D9245403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7c26866cca50b8fe687fff4414fb05d6b50687","datavalue":{"value":{"entity-type":"item","numeric-id":3518224,"id":"Q3518224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac15d66c0f9647a62fe47f36ee7f68d0e2de5bb","datavalue":{"value":{"amount":"+0.8478268384933472","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":"Q605327$07A92EEA-501E-4F55-86CA-FB96E513001F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf1b5f3cd97f2849255281885188dc544089d60","datavalue":{"value":{"entity-type":"item","numeric-id":2254925,"id":"Q2254925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f439fd9f47f72d75665b9cab66524359511bb236","datavalue":{"value":{"amount":"+0.837878942489624","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":"Q605327$E9C4BDE4-B3B5-4FBA-8E35-4FF934AAA0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eec2ae8dbf7b56756cb906ab071dd32c00eb6b2","datavalue":{"value":{"entity-type":"item","numeric-id":2352970,"id":"Q2352970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8b9e6922e3594cb66afc7aa4ad39f1f387e4e2","datavalue":{"value":{"amount":"+0.8353302478790283","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":"Q605327$267A7AC5-0A03-4973-93BF-F08C0DB411F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb17be8c1ebf57adb83d72044b7a42be69b9830","datavalue":{"value":{"entity-type":"item","numeric-id":4218782,"id":"Q4218782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429a230bd16e53d7f61e660f95f461f738c31773","datavalue":{"value":{"amount":"+0.8121262788772583","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":"Q605327$72E789E1-374E-485C-A6BF-3EC602DF7A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dieudonn\u00e9 module structures for ungraded and periodically graded Hopf rings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dieudonn%C3%A9_module_structures_for_ungraded_and_periodically_graded_Hopf_rings."}}}}}