{"entities":{"Q1766860":{"pageid":1777602,"ns":120,"title":"Item:Q1766860","lastrevid":48426130,"modified":"2026-01-04T17:06:37Z","type":"item","id":"Q1766860","labels":{"en":{"language":"en","value":"Duals of formal group Hopf orders in cyclic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2140256"}},"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":"Q1766860$604F454D-76CC-4B2A-932E-DDA0A87E439B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02f22f7e580cd0c558dfb5f9629d91107534015e","datavalue":{"value":{"text":"Duals of formal group Hopf orders in cyclic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1766860$4654507D-9658-4FFA-A175-70393891A187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b508ef88f32e0a2e456b54cdca610b2fcddad688","datavalue":{"value":"1113.11071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766860$F9A8FC6B-4269-419C-BC9E-740D54453C6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6adfde590b84dc54d9819689dae822fe026fce0","datavalue":{"value":{"entity-type":"item","numeric-id":439068,"id":"Q439068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766860$D3F4D61D-05FC-44B7-900C-E47FFCB3361D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d9f1f512df135fbc64cee132f8ad0f835e7cfc","datavalue":{"value":{"entity-type":"item","numeric-id":398522,"id":"Q398522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766860$BEF7E035-3310-41A6-918A-0818D22FA490","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766860$4EBD3B0E-9273-4EC1-AC98-860B0AF37147","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98babedc0aaf742c2c52517bbf9b1598ad1f8c08","datavalue":{"value":{"time":"+2005-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1766860$9DF0CD51-C7F2-4E8B-8821-0C1F73CDFC32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8cc9b47f09da5355610a11c310b639d917c94540","datavalue":{"value":"This paper is concerned with finding Hopf orders in group rings \\(K[G]\\), where \\(G\\) is cyclic of order \\(p^n\\) and \\(K\\) is a \\(p\\)-adic field. A very good overview of what is known is given at the beginning of the paper, and we will not repeat it. The main point is the following: If \\(G\\) is elementary abelian of order \\(p^n\\), one knows how to construct Hopf orders in \\(K[G]\\) which depend on \\(n(n+1)/2\\) parameters. The Hopf orders constructed to this purpose are called triangular; they arise as iterated extensions of Hopf orders of rank \\(p\\), which are well understood. The first \\(n\\) parameters come from valuation criteria, and the rest (which one might call ``continuous'' parameters) come from certain units of \\(O_K\\) which go into the construction of the Hopf order. For cyclic \\(G\\) of order \\(p^n\\) and general \\(n\\), such families apparently had not yet been given. This is done in the present paper.   The desired families are obtained as Cartier duals of so-called formal group Hopf orders, which are available from previous work of the same authors. (They are obtained by conjugating the multiplicative formal group and then taking a Hopf kernel.) It appears that these formal group Hopf orders already seem to involve the required number of parameters, but they are constructed in a way which is essentially different from triangular Hopf algebras. The main result states: Under suitable valuative conditions, the dual of a formal group Hopf order is a triangular Hopf order. The proof is fairly involved; it rests on explicit calculations. The link established in this paper is new (apart from the \\(n=3\\) case treated in the predecessor paper [Trans. Am. Math. Soc. 358, No. 3, 1117--1163 (2006; Zbl 1084.16013)]) and quite interesting.  A minor remark: It might be argued that the condition \\(i_{s-1}\\geq 2npi_s\\) in the main result (Thm.~2.2) is rather strict. If we assume \\(n\\geq 4\\) (since the cases \\(n\\leq 3\\) have been treated before) and also assume that \\(i_1>0\\) (the case \\(i_1=0\\) is in some sense degenerate, and less interesting), then even for \\(p=2\\), Theorem 2.2 only applies to Hopf orders \\(H\\) in \\(K[G]\\) for fields \\(K\\) that have very high ramification degree \\(e_K\\) over the rationals (\\(e_K\\geq 16^3=4092\\) for \\(n=4\\), and the lower bound explodes with \\(n\\) faster than \\(n!\\)). It would be interesting to investigate whether a somewhat less strict hypothesis would suffice.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766860$5FE6DE0E-ED1D-4BB1-842B-266DF8261EE0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a1052697d1bfdf0e3b4590cb7d303e0f09b1f3e5","datavalue":{"value":{"entity-type":"item","numeric-id":351771,"id":"Q351771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1766860$D054B365-DB07-440F-A9CF-3F9EDD115C5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"927be37c039040f8ceeada7985a7f70c0cbbb782","datavalue":{"value":"11S31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766860$B234C6ED-9BCA-495A-95C3-045ED906C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766860$EA2EB25E-8D96-43B2-A2F9-CD04B9DC26BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2afd869fb1902b4707c3a3bf12c721ca175c3bf4","datavalue":{"value":"16W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766860$EDAA2F86-FFC4-40DB-9756-1856E5982917","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16a2f06b13ae9d8b1fc936f87845e98214eb3704","datavalue":{"value":"2140256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1766860$EB612A03-EC51-4C81-BF13-FA0376025BB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbcddbe4e21a12e04e8f259d2df5b3404894234","datavalue":{"value":"Hopf orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766860$8DF77B97-8B8F-4CB8-A9A9-2C7C762AA806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57abbe45df97623466451dfcaea3ae51c3cd46ea","datavalue":{"value":"extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766860$548A1E9A-140B-4DA4-B28B-DE84F2783127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1766860$05C2285B-F587-429F-B8B6-D521A3F87834","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":"Q1766860$0E6B781D-5B8A-4F38-96F1-AE53C9DF760B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8908ef02ffc84effcc64798fc0a87b92d8f63b8a","datavalue":{"value":{"entity-type":"item","numeric-id":5713169,"id":"Q5713169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9645a9b00fafd8c5899dd475b352ad7f384293a4","datavalue":{"value":{"amount":"+0.8777999877929688","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":"Q1766860$AB1E56DE-035E-4C88-A79D-13FAB3A75316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87dfb6ae3385a99d6960170e1e47d0f33e88365e","datavalue":{"value":{"entity-type":"item","numeric-id":4456265,"id":"Q4456265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f65e42fcf872d14a14672cce9c3ab8552bcc17f","datavalue":{"value":{"amount":"+0.8767397999763489","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":"Q1766860$953AE3B0-9B0D-4C65-8360-25ACFA662D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d7c365d5d031e0b33aa2506c62f1ef1066777ea","datavalue":{"value":{"entity-type":"item","numeric-id":2583031,"id":"Q2583031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b9c109ff88b9b03bc22e46446d806642b5edab","datavalue":{"value":{"amount":"+0.8300084471702576","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":"Q1766860$5467F047-6EBD-47A3-B619-B459C526D08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a833bfcfb629dab211ee98932e5fac6fc13fad","datavalue":{"value":{"entity-type":"item","numeric-id":1337437,"id":"Q1337437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4c73c80396216f0a39767154f23e371182610d","datavalue":{"value":{"amount":"+0.8267205953598022","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":"Q1766860$C1A99A13-A06E-4838-A510-6F2F2C464CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a30be238b34e0ba5804f52d08b5c050ea4a55a","datavalue":{"value":{"entity-type":"item","numeric-id":4220949,"id":"Q4220949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7a1b914ce0abeee917b0e55ca71e0a3b6bbfe02","datavalue":{"value":{"amount":"+0.8090514540672302","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":"Q1766860$CF47E4F9-8DC3-44C1-AF12-77F9597C337E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1766860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1766860"}}}}}