{"entities":{"Q1340984":{"pageid":1351723,"ns":120,"title":"Item:Q1340984","lastrevid":68506815,"modified":"2026-04-13T00:10:14Z","type":"item","id":"Q1340984","labels":{"en":{"language":"en","value":"Congruence-torsion subgroups of dimension one formal groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 705011"}},"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":"Q1340984$A860E0E3-ED47-480F-BE28-C81CF739BC1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfdc11c34d5863683a9b6caf05b0e9b0aa11ea22","datavalue":{"value":{"text":"Congruence-torsion subgroups of dimension one formal groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340984$E2962939-D50D-4550-9B19-A58EB7FA2122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41f7a236da718e7c15a4df633d3c2dcebaf73206","datavalue":{"value":"0841.14039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340984$BC6EC878-0FA3-463A-8F0E-6871441F8822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf4e92e3b2d236ef27918b5977cf6e6adc9f7ce0","datavalue":{"value":{"entity-type":"item","numeric-id":911676,"id":"Q911676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340984$B8C62BE7-F770-4969-956A-8FC1F95D7F6F","rank":"normal"},{"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":"Q1340984$81441653-4E6F-4C58-9593-F986771F4078","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":"Q1340984$E2A07F99-A9FB-48CE-BCCF-E8DC49A27EDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16e7f627e6e9c247fb919d03f47eda62eaa793e8","datavalue":{"value":{"time":"+1996-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340984$95ED8661-EE54-48C1-8C8A-4E73C4A585D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2da61db93482a8d61a2627b74e2d08c4c199822","datavalue":{"value":"Let \\(K\\) be a finite extension of \\(\\mathbb{Q}_p\\), with valuation ring \\(R = {\\mathfrak o}_K\\) and let \\(\\overline K\\) be an algebraic closure of \\(K\\), with valuation ring \\({\\mathfrak o}_{\\overline K}\\). Denote by \\(e_0\\) the ramification index of \\(K\\) over \\(\\mathbb{Q}_p\\) and suppose that the valuation of \\(K\\) is normalized by setting \\(v(p) = e_0\\). Let \\(G = \\text{Spf} R [[X]]\\) be a one-dimensional (commutative) formal group of height \\(h\\) and let \\(\\Gamma\\) be an (abstract) finite abelian group with exponent dividing \\(p^m\\) and with \\(p\\)-rank less than or equal to \\(h\\). For such a group \\(\\Gamma\\), define the Weyr invariants as the integers \\(\\gamma_i : = \\dim_{\\mathbb{F}_p} {p^{i - 1} \\Gamma \\over p^i \\Gamma}\\) for \\(i = 1, \\dots, m\\). Under the above hypotheses, \\(\\Gamma \\subset G ({\\mathfrak o}_{\\overline K})_{\\text{tors}} \\cong (\\mathbb{Q}_p/ \\mathbb{Z}_p)^h\\), and a theorem of \\textit{J. Lubin} says that there is a \\({\\mathfrak o}_{\\overline K}\\)-bialgebra \\(B\\), isomorphic to a quotient of \\({\\mathfrak o}_{\\overline K} [[X]]\\), such that \\(\\text{Spf} B ({\\mathfrak o}_{\\overline K}) = \\Gamma\\). A natural problem is to determine a finite extension of \\(\\mathbb{Q}_p\\) and a bialgebra over the integers of such extension having \\(\\Gamma\\) as group of \\({\\mathfrak o}_{\\overline K}\\)-points. The authors look for a lower bound for the ramification \\(e_0\\) in order to realize \\(\\Gamma\\) as a congruence subgroup of a given one-dimensional formal \\(R\\)-group \\(G\\), where a congruence subgroup of \\(G\\) is the subset of \\(\\ker [p^m]_G\\) consisting of the points of valuation \\(\\geq C\\), for some \\(C\\). A result of \\textit{J. Lubin} [Trans. Am. Math. Soc. 251, 103-127 (1979; Zbl 0431.14014)] describes the bialgebras of the subgroups in terms of the Newton polygon of the series \\([p^m] (X)\\).   The authors prove that, for a given \\(\\Gamma\\), there exists a congruence subgroup \\(H = \\text{Spf} B\\) of a one-dimensional formal group \\(G\\), both defined over \\(R\\), such that \\(H(K)\\) has the same Weyr invariants as \\(\\Gamma\\), if the ramification index \\(e_0\\) satisfies the inequality \\(e_0 \\geq 2 p^{\\mu_e - \\gamma_1} \\left( 1 + {2 \\over p} \\right)^w\\), where \\(\\mu_e = \\text{rank} B\\) and \\(w\\) is the number of distinct \\(\\gamma_i \\). Moreover, they prove that the number of isomorphism classes of congruence subgroups over \\(R\\), having the same Weyr invariants as \\(\\Gamma\\), is greater than or equal to \\(ke^z_0\\), where the rational number \\(k > 0\\) and the integer \\(z \\geq 1\\) depend only on \\(\\Gamma\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340984$4FEF4AA4-EDCE-4E77-A260-A33C4716F0E5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"61cd0c1b5a228859f41979b83c459eb2811b35f6","datavalue":{"value":{"entity-type":"item","numeric-id":1332501,"id":"Q1332501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340984$72363D8E-D4D1-4985-8A20-0D7E679E84DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340984$A168FFE8-032D-4D7E-A37E-8AAEA4880E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"615e117af2f49ba5569f8a88ee769a3c402ad5cc","datavalue":{"value":"14L17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340984$393E4062-AE32-44EE-8D3B-4032109527E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e5ad5ffdbc06ae21c486bc664bbb1aec19b267","datavalue":{"value":"705011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340984$D9DB422F-2616-4B85-9C9B-6EBAF243CEBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f584b27936f3417488e3ca4936fe10c3f0129dab","datavalue":{"value":"formal group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340984$10EF5369-A254-4569-A70A-8F329CC30019","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":"Q1340984$72735014-8496-4EB7-A277-375245ABB640","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77bb29d245e541b4b8362f4a540ef449b0ca5cc8","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1371","type":"string"},"datatype":"url"},"type":"statement","id":"Q1340984$BB57816D-575F-48DD-8ACA-C3F4F6D0F634","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d9f0c8cb39ef96af10bf8e5ecdf21838dcc1860","datavalue":{"value":"W2002328135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340984$1845DD3D-5811-41A9-9ADB-793419CBD4FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e2be5106399d41cee8e437c204ec545f469006","datavalue":{"value":"10.1006/JABR.1994.1371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340984$D30A8EBA-605C-4884-9604-78669CA4749A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ceb2cba9090cd1ac39cc79b5c1259cfaf4359b","datavalue":{"value":{"entity-type":"item","numeric-id":1066223,"id":"Q1066223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3247ef938e60109d8006087cd6961d53bb18e6eb","datavalue":{"value":{"amount":"+0.9057151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$001D2959-4C8B-4150-8FB1-BEC9A64BD825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3223e1006b8aa793f558515033cb8bfc99ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4735778,"id":"Q4735778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c44535f7ddb804b2f1b21032d8cc5f6262a861","datavalue":{"value":{"amount":"+0.90407383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$A7D557B3-E101-45F4-93AE-FB81C8D51D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6000ef60d0cbe7f622ac27cd5f1a5744198e956","datavalue":{"value":{"entity-type":"item","numeric-id":1080950,"id":"Q1080950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d9f3fb6062f57e890b4ae478cf0a2c59d64e82","datavalue":{"value":{"amount":"+0.9011897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$2D5805EE-0EED-4464-ABE6-F00D80F3ED7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164a4d51ef7858333da8e128f39c4389c7758b60","datavalue":{"value":{"entity-type":"item","numeric-id":2848315,"id":"Q2848315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130947002d24b2551349766f38caaa2a3db61a6a","datavalue":{"value":{"amount":"+0.8995722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$7E7F82E1-E83A-4462-B8BC-54003404B48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2b1b47f75e4f9bb9026ddc566504e8440d24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5063212,"id":"Q5063212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc2537f03094031e266cc11870f332aac53aa0d","datavalue":{"value":{"amount":"+0.89568913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$D3845833-03AE-4245-A26E-EB51364B14D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df82d23c4f7c2086547cf8ead27ef2e060eb7737","datavalue":{"value":{"entity-type":"item","numeric-id":4561820,"id":"Q4561820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebded0cefac37633a78708b5631c250817d0557","datavalue":{"value":{"amount":"+0.8956083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$E486CADE-C4F5-4EFE-B4AA-9AD89AA46633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4384d36b19af54e6f797a4e72158c45490f48b5","datavalue":{"value":{"entity-type":"item","numeric-id":1083495,"id":"Q1083495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24afc3f3f4ba0be10758e4f28744a44c5c69a37d","datavalue":{"value":{"amount":"+0.8914322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$B8908702-A3A3-4649-A218-2DDFAE86AF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e1ac6801319360d292f99ccea649c6d612eb58","datavalue":{"value":{"entity-type":"item","numeric-id":1358284,"id":"Q1358284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c166f9e6dc40c86bb7db9a4c16566521c5ffba","datavalue":{"value":{"amount":"+0.89120555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$D5076A2D-3AB3-4BF3-BCB5-01C70009AFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b541aa83b23b4b51dc1e0fc412f2025a9def2302","datavalue":{"value":{"entity-type":"item","numeric-id":3475396,"id":"Q3475396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b7f1a52a87f717a2fdd2bfd46592fe884584601","datavalue":{"value":{"amount":"+0.8905683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$C6502BB4-599E-42D2-8CD8-5B31BC1E20FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fce917e9f556ce30dc78887936c83a4e9fc7e8","datavalue":{"value":{"entity-type":"item","numeric-id":2458824,"id":"Q2458824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0069b71830c3644eb7692fe394d660224ccb91c8","datavalue":{"value":{"amount":"+0.8903154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1340984$5AE7A09F-41E1-462D-88AA-35A85F41602A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence-torsion subgroups of dimension one formal groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence-torsion_subgroups_of_dimension_one_formal_groups"}}}}}