{"entities":{"Q2636367":{"pageid":2647110,"ns":120,"title":"Item:Q2636367","lastrevid":57966993,"modified":"2026-04-03T06:49:40Z","type":"item","id":"Q2636367","labels":{"en":{"language":"en","value":"Ramification theory for degree \\(p\\) extensions of arbitrary valuation rings in mixed characteristic \\((0,p)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6880677"}},"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":"Q2636367$1174086A-B4CD-474A-9D93-73E340F8BC83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d47bad866f28e4276477a771cfc7b5eefe41b19","datavalue":{"value":{"text":"Ramification theory for degree \\(p\\) extensions of arbitrary valuation rings in mixed characteristic \\((0,p)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2636367$3A2D44A0-7E4D-4F5D-A8E5-B08ED1C2F15F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b79bd9b161de200b016a2d6fd4c30982a3206a1","datavalue":{"value":"1435.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$16458891-1D91-48A3-8120-3ADE42DCB7F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"717d2f66f76b7479c9c44c0493149ea1a5ad3d52","datavalue":{"value":{"entity-type":"item","numeric-id":286564,"id":"Q286564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$B44ED67F-CE9E-4643-A448-5201E7302B85","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":"Q2636367$87A07BB6-D3A7-4577-A0F4-49F2765A334E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0db8ec9d38e6d67bc3486bdc04d499c4b9f9925","datavalue":{"value":{"time":"+2018-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2636367$D4D9962B-447B-4E06-93D2-FD838DA78E1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9599be1a0457d4343eaaddc292c7c9da6e65277e","datavalue":{"value":"https://arxiv.org/abs/1707.01692","type":"string"},"datatype":"url"},"type":"statement","id":"Q2636367$7B1ED851-BAFA-4259-A17C-52F529E4B44F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c3ec08cb65a4b42b24a850dec2283883a7f9c01","datavalue":{"value":"Let \\(K\\) be a Henselian valued field of characteristic 0 whose residue field has characteristic \\(p>0\\).  It is not assumed that \\(K\\) is complete, that the value group of \\(K\\) is \\(\\mathbb Z\\), or that the residue field of \\(K\\) is perfect. This paper considers the ramification theory of cyclic extensions \\(L/K\\) of degree \\(p\\). The case char\\((K)=p\\) was studied in [\\textit{V. Thatte}, J. Algebra 456, 355--389 (2016; Zbl 1339.11096)].  When \\(K\\) is a complete discretely valued field with perfect residue field the results in this paper reduce to well-known facts from local field theory.  Suppose \\(K\\) contains a primitive \\(p\\)th root of unity \\(\\zeta\\), so that \\(L/K\\) is a Kummer extension.  Let \\(A\\) be the valuation ring of \\(K\\), let \\(B\\) be the integral closure of \\(A\\) in \\(L\\), and let \\(\\sigma\\) be a generator of Gal\\((L/K)\\).  Define \\(\\mathcal{I}_{\\sigma}\\) to be the ideal in \\(B\\) generated by all elements of the form \\(\\sigma(b)-b\\) for \\(b\\in B\\).  Define \\(\\mathcal{J}_{\\sigma}\\) to be the ideal in \\(B\\) generated by all elements of the form \\(\\sigma(l)l^{-1}-1\\) for \\(l\\in L^{\\times}\\).  The ideals \\(\\mathcal{I}_{\\sigma}\\) and \\(\\mathcal{J}_{\\sigma}\\) may be viewed as substitutes for the ramification number \\(i(\\sigma)\\) of classical ramification theory.  Let \\(\\mathfrak{A}\\) be the set of all \\(h\\in K\\) such that \\(L\\) is generated over \\(K\\) by a root of \\(X^p-h\\). Let \\(\\mathcal{H}\\) be the ideal in \\(A\\) generated by the elements \\((\\zeta-1)^p/(h-1)\\) for \\(h\\in\\mathfrak{A}\\); it is shown here that these elements all lie in \\(A\\). Let \\(\\mathcal{N}_{\\sigma}\\) denote the ideal of \\(A\\) generated by all \\(N_{L/K}(c)\\) for \\(c\\in\\mathcal{I}_{\\sigma}\\). Let \\(\\omega_A^1\\) denote the \\(A\\)-module of logarithmic differentials of \\(A\\), and let \\(\\omega_{B/A}^1\\) denote the \\(B\\)-module of logarithmic differentials of \\(B\\) over \\(A\\).  This paper proves the following: \\begin{itemize} \\item[1.] \\(\\mathcal{H}={\\mathcal N}_{\\sigma}\\) \\item[2.] \\(\\omega_{B/A}^1/{\\mathcal J}_{\\sigma}\\omega_{B/A}^1 \\cong{\\mathcal J}_{\\sigma}/{\\mathcal J}_{\\sigma}^2\\) \\item[3.] \\(\\mathcal{H}/\\mathcal{H}^2\\cong\\omega_A^1/ ({\\mathcal I}_{\\sigma}\\cap A)\\omega_A^1\\) \\end{itemize} The isomorphism in (c) may be interpreted as giving a generalization of Kato's refined Swan conductor.  It is also proved here that by applying isomorphisms (b) and (c) we get a commutative diagram  \\[\\begin{array}{ccc} \\omega_{B/A}^1/{\\mathcal J}_{\\sigma}\\omega_{B/A}^1 &\\longrightarrow &{\\mathcal J}_{\\sigma}/{\\mathcal J}_{\\sigma}^2 \\\\[2mm] \\big\\downarrow&&\\big\\downarrow \\\\[2mm] \\omega_A^1/({\\mathcal I}_{\\sigma}\\cap A)\\omega_A^1 &\\longleftarrow&\\mathcal{H}/\\mathcal{H}^2 \\end{array}\\] where the vertical maps are induced by the norm from \\(L\\) to \\(K\\).  The author then states and proves versions of these theorems which apply to the case where \\(L/K\\) is a cyclic extension of degree \\(p\\) which is not assumed to be Kummer.  She also points out that the arguments in this paper can be used to extend the results of [loc. cit.].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636367$81362FCD-1F17-4AFB-A4D3-C641300364D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"47ac1f7840090cf79067db990cca701271cab3e1","datavalue":{"value":{"entity-type":"item","numeric-id":403276,"id":"Q403276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$F79B12F6-FACC-458C-AE19-C320364B42E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$6CC4B806-EA80-4071-ACFF-1A4684A278B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c81671e5be6090a702f855c20ca0c3c06f2c979d","datavalue":{"value":"11S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$F418CC98-BEEE-46CA-9E46-D1A1A622ADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$1B2F4EDB-2B04-4D4D-A744-E4F7C4A125BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$8A3539BC-0E70-4BE6-AD48-88196E91EFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f9ef5afec6c5b57dc4f2388ca0bfb9b4eb626668","datavalue":{"value":"13N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$5A025CBB-7139-42AD-A433-F83F46852AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d67a4131a98d31a20748b3bb895c9f3c6bd64f8d","datavalue":{"value":"12J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$2EC977D9-6266-4B50-AADC-93BA78E95DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$37418477-E201-4030-AE70-085F8BF94B6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e0a6356a255ee1dda772e423694e118272964ec","datavalue":{"value":"6880677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$A886E140-1E55-45A2-B984-9D40CAC7A2B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f7a9bd859c2bc2fcbf8f67517107b9c69ace38","datavalue":{"value":"ramification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636367$A03AAC44-ED1B-47C8-BDB0-17FF06A3E026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62054b9893df2de96a5975ed6e3ed2bcd144191b","datavalue":{"value":"valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636367$033D4139-37F4-42D9-8B3B-EDB4B61C3AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8d2af286da9f65bcce5717747befd7637362b7","datavalue":{"value":"Henselian valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636367$8D0B3C82-23C7-429F-B6E5-22A04DC3F6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f127d45a980854c5f039296a37b2b445f211d1","datavalue":{"value":"defect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636367$423BE253-2691-42FA-BAE2-ECEA8901F647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"398fc562637392373eeec3200f813d4e2a1d6dba","datavalue":{"value":"refined Swan conductor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2636367$667155E4-AEA0-42B4-96BF-08F9011CB261","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":"Q2636367$69365EDB-8706-461F-8F09-97B00A028526","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14bec3a10ebcf992701b1225f8236649f5cae668","datavalue":{"value":"W2963890171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$9B73ECDA-C63D-4E3C-9C3A-CD6018C20EE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be43ba1f98a4a1cbaffdfc8f76698f108d6f8b8","datavalue":{"value":{"entity-type":"item","numeric-id":3794282,"id":"Q3794282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$B816FEA3-5D2D-4FF2-ABDB-2591C34C88DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebc9e6fffbc271b9b040981f379e5904e585622","datavalue":{"value":{"entity-type":"item","numeric-id":3203116,"id":"Q3203116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$302A6E6D-BF1F-45BE-B0E3-BC43AEC6948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7884e9d9a025644240d2a5ceb2e5476cbd58244c","datavalue":{"value":{"entity-type":"item","numeric-id":4306389,"id":"Q4306389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$19A45DBF-35E9-49FC-8BFB-688C5D849D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5da8c67a2998217f1faa82437b9ea87878bd0a9","datavalue":{"value":{"entity-type":"item","numeric-id":5901137,"id":"Q5901137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$196E31F2-217F-42C2-8FAA-962B7C91BE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a782efc33fa3c3ae9078bb4a6c40ea79eac0f110","datavalue":{"value":{"entity-type":"item","numeric-id":286565,"id":"Q286565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$D6ADB238-767E-4467-B7ED-F013283C17DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9740bfc629d62e9e5ec1a07f738f24138d083868","datavalue":{"value":{"entity-type":"item","numeric-id":5501088,"id":"Q5501088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$5D1CFACC-320A-4532-AE56-85A24C81C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bd22fdd540d1abe95ffee5bca2be550642a19d","datavalue":{"value":{"entity-type":"item","numeric-id":3856855,"id":"Q3856855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2636367$BDC3F36F-24B8-4F82-AD2C-5C96B4E4340E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58ab9fa451843e738829f2c5ddea05a557ab0092","datavalue":{"value":"Q129972471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$4F6EBF81-0BBB-409D-8FD9-3CA595CFED92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ff42f4296f131a27ab83f4a778c4973b169928f","datavalue":{"value":"10.1016/J.JALGEBRA.2018.04.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2636367$7DFAC27B-594D-4887-A316-D049CB2D8831","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253b986814318aebca2d73193e512e6597a1ec67","datavalue":{"value":{"entity-type":"item","numeric-id":286565,"id":"Q286565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a7dd1e976d9fd3132076691c21758aeff4b0eb9","datavalue":{"value":{"amount":"+0.8656272292137146","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":"Q2636367$F125BF90-A7D9-4551-A27C-0256D6C1C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b243a5d68c8edb890dcbe2f5bb5d9bf7115a5602","datavalue":{"value":{"entity-type":"item","numeric-id":5881747,"id":"Q5881747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b6c2e1e4595122bc9943db6ae7b79f9059ae29","datavalue":{"value":{"amount":"+0.7988795042037964","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":"Q2636367$E6421188-29F6-491C-B9CD-FCB7D1129361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bf03470888aeae4a7653a8b6d1eddbed8bc4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4524719,"id":"Q4524719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620be1c2f6a5533effa47e0b1372cb18d55e04d0","datavalue":{"value":{"amount":"+0.7957034707069397","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":"Q2636367$543A6891-7AB4-4FC7-9C8D-174DAD457DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b260388dcdff5daf0cb06e51a78273b54db4e28b","datavalue":{"value":{"entity-type":"item","numeric-id":2258052,"id":"Q2258052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb1bc68690bd7022488b3c9b7777a81805750fb","datavalue":{"value":{"amount":"+0.7931960821151733","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":"Q2636367$3956463F-3731-460A-B194-F92D955E9619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4245cf7f1c32106c5e49e27fb563c354af653e9","datavalue":{"value":{"entity-type":"item","numeric-id":4761340,"id":"Q4761340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ae1dd521028cda79d85a121052f923e8927ffa","datavalue":{"value":{"amount":"+0.7762503623962402","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":"Q2636367$B474C608-2153-44E3-90F4-E1462AF93CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2636367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2636367"}}}}}