{"entities":{"Q1570867":{"pageid":1581607,"ns":120,"title":"Item:Q1570867","lastrevid":71320668,"modified":"2026-04-13T21:26:10Z","type":"item","id":"Q1570867","labels":{"en":{"language":"en","value":"Normal subgroups in substitution groups of formal power series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1475239"}},"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":"Q1570867$5E24EEE5-8D04-4EF3-990A-A1EA81426103","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3dc049a0390d59915a8fbbdba717b524e867323","datavalue":{"value":{"text":"Normal subgroups in substitution groups of formal power series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1570867$5E1FE9E1-5C29-47D6-9769-829992734009","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c884e1258f25a19593755dfa2dac913227c978d1","datavalue":{"value":"0964.20016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$0D1179B3-43B0-411B-A167-B47D7501F7F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55eff32936150af489510a3a759a007141b501f","datavalue":{"value":{"entity-type":"item","numeric-id":295838,"id":"Q295838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$E256EE73-4C74-418A-975B-F9CF9F8F2BA4","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":"Q1570867$6FB9AD21-70E9-42F6-9516-E2F846E9E3BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556c4e4b674dd920462d68ed6e6a84d50b63710e","datavalue":{"value":{"time":"+2001-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1570867$518B66E3-92C5-4557-BA16-DC0CC07D0F65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d3b9e590945e86f20d44bb7ca31836f52b9d2156","datavalue":{"value":"Let \\(R\\) be a commutative ring with 1. This paper is concerned with the group \\(N(R):=t+t^2R[[t]]\\) of normalized formal power series over \\(R\\) under substitution. If \\(K\\) is a finite field, \\(N(K)\\) is known as a Nottingham group that possesses a list of peculiar properties. The author studies the normal structure of \\(N(R)\\) in general for a commutative ring \\(R\\) with unity. If \\(2\\) is invertible in \\(R\\), the author proves that every normal subgroup of \\(N(R)\\) is closed. He gives even more precise information on the normal structure that looks especially nice if \\(R=K\\) is a field of characteristic \\(p>2\\). Put \\(N_k(R):=t+t^{k+1}R[[t]]\\), \\(k\\in\\mathbb{N}\\). Then the following theorem is proved.   Theorem 1.3. Let \\(K\\) be a field of characteristic \\(p\\neq 2\\). Then every (abstract) closed normal subgroup of \\(N(K)\\) is closed. Moreover, for every non-trivial normal subgroup \\(H\\triangleleft N(K)\\) there exists \\(k\\in\\mathbb{N}\\) such that one of the following holds   (i) \\(N_{k+1}(K)\\subseteq HN_k(K)\\) where \\(k\\not\\equiv 1\\pmod p\\);   (ii) \\(N_{k+2}(K)\\subseteq HN_k(K)\\) where \\(k\\equiv 1\\pmod p\\).   Further, a type of the congruence subgroup problem is studied, i.e., the relation between the groups \\(\\widehat{N(R)}\\) and \\(N(\\widehat R)\\). First the author shows that a subgroup of finite index of \\(N(R)\\) is open in the topology given by \\(N_k(R)\\). Using this the author deduces that \\(\\widehat{N(R)}=N(\\widehat R)\\) for a saturated ring \\(R\\), i.e., a ring \\(R\\) in which every Abelian subgroup of finite index contains an ideal of finite index. Finally, it is shown that for \\(R=\\mathbb{F}_p[[t]]\\) the groups \\(\\widehat{N(R)}\\) and \\(N(\\widehat R)\\) are not isomorphic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$340B5568-75B6-4537-A61F-16E2FA50351C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$00C1696E-B5FD-4969-BE38-557BB013069E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$43519702-31BA-4958-AD6C-CF65EF75A025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$63CCF7B4-DD56-43DA-B61B-A7031F809213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$68FF7A53-405A-444E-9A21-0952DCBB1351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df12212576c7691d9fa66076fe3227d5753e4d34","datavalue":{"value":"1475239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$F9DDFAAE-6355-4C97-8173-789242574958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29918f72c296c734869d5d948a63605953b5f9af","datavalue":{"value":"profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$205B8648-F56F-4258-ADAA-427A75DD7B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a6b0d9d9d5510ec6bae3b8ec9cc887cbda786b","datavalue":{"value":"pro-\\(p\\) groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$54325A09-A17B-44B3-AFC1-9D5812AE7DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af33a597a65926a3d0326d53dc3eaa9351d830d7","datavalue":{"value":"Nottingham group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$97BDC77C-D46B-40A3-8196-3507FEF6D7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85324fb1047df444bb8002d1f54e63570ef6240d","datavalue":{"value":"normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$217BD9E7-1FEC-4085-9BBD-0560AC608F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$789218F7-313D-46F3-9C8C-A2FCEE598D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887020b8185a9d5888e92356c129fa0dbe9373c2","datavalue":{"value":"congruence subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$D12B4369-3503-4C08-A1B0-E7A9A123C845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1570867$CFC5B936-56FF-47B1-A644-DAB80A5EBC05","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e4b8386fca35dd298ba4bf5b360c2a39f03880a9","datavalue":{"value":{"entity-type":"item","numeric-id":403152,"id":"Q403152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$8A175FC1-F514-4086-8C2A-5F3F144B66D4","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":"Q1570867$A61AAE90-B2B8-4FFA-AF56-00853E9CC7D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47932d803972e80bf4273a8ff1d865a377e1bbde","datavalue":{"value":"https://doi.org/10.1006/jabr.1999.8219","type":"string"},"datatype":"url"},"type":"statement","id":"Q1570867$BBEEB849-2F20-4EF4-BA60-44115EB1EC00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a8664ca2425bcb9827eac43120205d757bfdf01","datavalue":{"value":"W2023799861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$CD58901F-90A5-467A-B409-F7FEDB5521E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f0617b26e661ad07f00368479c6a1aa45b3f61","datavalue":{"value":{"entity-type":"item","numeric-id":1373204,"id":"Q1373204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$FB0FD59C-D96D-4BEE-9EA5-C584DEDCFD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd8424da40b61387bad4b67503e3543ef455543","datavalue":{"value":{"entity-type":"item","numeric-id":5831370,"id":"Q5831370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$E9EDD788-D249-434B-A5EA-3CE4A05BCA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2495625f3fca70d55a9c8a97433883fb1fecd3","datavalue":{"value":{"entity-type":"item","numeric-id":3818488,"id":"Q3818488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$4976E6F9-CE92-459C-BB41-8858F572E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5104a7a1f167239adba50939f6d684c2e2d32bd","datavalue":{"value":{"entity-type":"item","numeric-id":1374001,"id":"Q1374001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$EF5830BB-969D-40BC-B082-B1E7563E7FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6ea025e546512e3aeff6cdee38a0ee5cc2170d","datavalue":{"value":{"entity-type":"item","numeric-id":4891344,"id":"Q4891344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$A42FE8A1-6324-4007-9B44-06F5336111AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6719a00804bfa75828a1588a5a1b4f54becce338","datavalue":{"value":{"entity-type":"item","numeric-id":4217279,"id":"Q4217279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1570867$88DADE3B-DA3E-4D05-8E1D-5EBCD3D14685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f6f1ed254c9cb3d73fd9d70fac4bb5992d037dc","datavalue":{"value":"10.1006/JABR.1999.8219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1570867$4A09015A-A554-4EF4-80CA-6E1C5DD29589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bced5bc9b6e7c21178a0d7c637d2a723c003a2","datavalue":{"value":{"entity-type":"item","numeric-id":556963,"id":"Q556963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf2dccef16077e4a96cc53497938bef6a306798","datavalue":{"value":{"amount":"+0.8020913004875183","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":"Q1570867$32CE4CA6-D88E-4EFE-A867-BF936FD02274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a509e135353bcaf9821c5f12d2d22b242e43da4","datavalue":{"value":{"entity-type":"item","numeric-id":4267532,"id":"Q4267532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6188e54441dfd9d3b1a9b06ff2f6c91149c182b9","datavalue":{"value":{"amount":"+0.7872850298881531","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":"Q1570867$8A3F373F-5A06-42E8-A51C-FCF0ECF348EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd064c7bc0dc82daaad55ae39203e0821859bc3d","datavalue":{"value":{"entity-type":"item","numeric-id":5963955,"id":"Q5963955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6188e54441dfd9d3b1a9b06ff2f6c91149c182b9","datavalue":{"value":{"amount":"+0.7872850298881531","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":"Q1570867$4A8CF6B0-2A2A-416A-B550-E85C0E256CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba1967b59a96dc4f72033eb953dc9d76fd8bd608","datavalue":{"value":{"entity-type":"item","numeric-id":4923019,"id":"Q4923019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634801cf2c1691aad25e504a2d20d13d80ce1c4b","datavalue":{"value":{"amount":"+0.7853370308876038","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":"Q1570867$74F90514-FF65-43D1-A847-858251B66447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b29b77543e5cc5d8a36cc6c9420eb352a186e064","datavalue":{"value":{"entity-type":"item","numeric-id":3520107,"id":"Q3520107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1dba8adcf031e466fa9eace1e83b7084adaf336","datavalue":{"value":{"amount":"+0.7847735285758972","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":"Q1570867$F22600BE-6708-4D51-9DA3-D37D03B1F9FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal subgroups in substitution groups of formal power series","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_subgroups_in_substitution_groups_of_formal_power_series"}}}}}