{"entities":{"Q403277":{"pageid":405044,"ns":120,"title":"Item:Q403277","lastrevid":56871282,"modified":"2026-03-24T09:31:01Z","type":"item","id":"Q403277","labels":{"en":{"language":"en","value":"Indices of inseparability and refined ramification breaks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335910"}},"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":"Q403277$31369995-CBFB-473B-B1CC-0317428D76F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a342f111356aaf7ec8e492b62ef6cfcad5c755e1","datavalue":{"value":{"text":"Indices of inseparability and refined ramification breaks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q403277$9E552226-3CCD-44F6-BB2D-3F2AD8AF6B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f0874269783ab0df97723e01e43ec746f82a75d","datavalue":{"value":"1317.11122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403277$D87A8A70-35D2-491A-9302-16EAB2C4B0A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"add6594eb689700a413dc99630bd04e9f3523129","datavalue":{"value":{"entity-type":"item","numeric-id":403276,"id":"Q403276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$194A152B-F579-4F72-BA18-1309BAD381DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$7BCCD16D-67A6-4927-8645-E6DE86C9F013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q403277$4EA28CCC-7CB8-47DD-8793-0F010EAA379F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd3a2de66228621c0fa590c7f94f6f6e7962f42f","datavalue":{"value":"https://arxiv.org/abs/1306.5422","type":"string"},"datatype":"url"},"type":"statement","id":"Q403277$5F1BE2E8-7C46-46BF-9D09-76F654E6A940","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cae2130ecc41e73a19471ab0da1fd5dba9e06370","datavalue":{"value":{"entity-type":"item","numeric-id":241613,"id":"Q241613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$D93CDA64-9919-4225-898B-106A449E6693","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c81671e5be6090a702f855c20ca0c3c06f2c979d","datavalue":{"value":"11S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403277$D6F4814D-E0AE-4485-8B3A-859EFE2B276E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"927be37c039040f8ceeada7985a7f70c0cbbb782","datavalue":{"value":"11S31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403277$E9190B01-F0DF-498B-BAB6-9799C432DC85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb9700e824e33fd5edd9e66969a0ca015cfe133e","datavalue":{"value":"6335910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403277$0D0B8F1C-4EE4-4F7A-874C-1416ADC8ABD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a0a024567fdc5533cd7e52365d063836f9f52","datavalue":{"value":"local fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$CA0D6132-10BD-46C4-9B3F-ED334689A2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$032C20E2-0A44-4FCE-B9B6-65F912B65B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"085f976444d3634d8bb450c66e02dd01c8ff0c12","datavalue":{"value":"index of inseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$D1900D44-C719-4521-9E7C-E89629DA0C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a725872061418edbc7b3009c8d9db8ccd822e180","datavalue":{"value":"Kummer theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$8127275C-CC35-4871-A6A3-DFA926E759D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59805577b3466d17b5d80d29f9f22b92a01f896","datavalue":{"value":"refined ramification breaks","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$2792F2A6-2342-4D99-821E-A57DB04A9559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ae23bec792dde86d0a12152291bc240dc3aa52","datavalue":{"value":"Artin-Hasse exponential series","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$204E993D-A991-45C5-B508-FE0C5E5C04C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51556aced19a49a8a57c41e1e31cc4ff474166ae","datavalue":{"value":"class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$2465696E-7241-4688-90EC-C5C3C8C81C89","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":"Q403277$8DCDD9CD-5AC4-4F6B-B8ED-80D0F5FEE7CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bebdc99e7eba966036990ec37b6e23d751a14dc0","datavalue":{"value":"W2962897766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403277$01678ED1-3A75-42FF-99E2-6054E6B45292","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd483bb8d7b23398a47f549a0e2fbbcbd7da033","datavalue":{"value":{"entity-type":"item","numeric-id":2388610,"id":"Q2388610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$00927BAD-14DD-453F-8C7F-45B74216127C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7aebdca57aee4ce8716020ddfe9fba1f71a4da","datavalue":{"value":{"entity-type":"item","numeric-id":2378046,"id":"Q2378046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$51839B29-B5B2-49A3-A4AD-F28B2E6573F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b955740dcd5bda3a8fc157da39457ff99346ce79","datavalue":{"value":{"entity-type":"item","numeric-id":3000089,"id":"Q3000089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$E851AE46-2558-42E8-B2FC-C626E9CF4C58","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":"Q403277$6BB5EC08-362B-4A53-9A91-FBFCE04F52AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ebcffbf4fa951c4de4841a78f6b969212c6af5","datavalue":{"value":{"entity-type":"item","numeric-id":4552286,"id":"Q4552286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$E4D161B7-7204-4534-A75D-590C2C978945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599660dd73087a0f93d1f3b12e3fdf323d5c1975","datavalue":{"value":{"entity-type":"item","numeric-id":5636993,"id":"Q5636993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$A4BF8267-8357-45E6-A362-AEAE473CEA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcdf0d24e0a418682f4055bb446058d33cf9aa9c","datavalue":{"value":{"entity-type":"item","numeric-id":1920902,"id":"Q1920902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$B52FC5B3-1642-4FE1-BB1F-5A32A4AFDCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f67e9b4bc5742e6dfb4fb6c5ad8cf3d391be6a","datavalue":{"value":{"entity-type":"item","numeric-id":2637187,"id":"Q2637187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$BA3F614F-78F0-4FBA-BB1B-FC6ECEED79EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"966bdaf0b2596606db5f5f66fb71d88d4a9bfe84","datavalue":{"value":{"entity-type":"item","numeric-id":4175651,"id":"Q4175651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403277$E8DF714D-6AED-4F7C-B7B0-B6815DD428E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ab7f92aae295baef6b631951565e99fe8652628","datavalue":{"value":"10.1016/J.JNT.2014.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403277$6237DA4F-CBF1-4358-95AB-F7DD47777E6D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb3e638d89dc2f8867ecb6e4dbe0efa09ffdbfa7","datavalue":{"value":"The paper under review studies a totally ramified \\(({\\mathbb Z}/p{\\mathbb Z})^2\\)-extension \\(L/K\\) which has a single ramification break \\(b\\), where \\(K\\) is a finite extension of \\({\\mathbb Q}_p\\). Especially, two invariants of such an extension are considered; one is the refined ramification break \\(b_*\\) defined by \\textit{N. P. Byott} and \\textit{G. G. Elder} [J. Number Theory 129, No. 1, 84--101 (2009; Zbl 1196.11156)] and the other is the index of inseparability \\(i_1\\) defined by \\textit{V. Heiermann} [J. Number Theory 59, No. 1, 159--202 (1996; Zbl 0876.11053)]. Here \\(b_*\\) is defined by NEWLINE\\[NEWLINEb_*=\\min\\{v_L(\\sigma_1\\circ \\sigma_2^{[-\\delta]}(\\alpha)-\\alpha)-v_L(\\alpha)\\,|\\,\\alpha\\in O_L\\;, \\alpha\\neq 0\\,\\},NEWLINE\\]NEWLINE where for any finite extension \\(F\\) of \\({\\mathbb Q}_p\\), \\(O_F\\), \\(M_F\\), \\(\\pi_F\\) and \\(v_F\\) denote the ring of integers of \\(F\\), the maximal ideal of \\(O_F\\), a prime element of \\(F\\) and the valuation on \\(F\\) with \\(v_F(\\pi_F)=1\\), respectively, \\(\\sigma_1\\) and \\(\\sigma_2\\) are generators for the Galois group \\(\\mathrm{Gal}(L/K)\\) of \\(L/K\\), \\(\\delta\\in \\mu_{q-1}\\)~(the set of \\((q-1)\\)th roots of unity in \\(K\\)) satisfying \\(\\beta_1/\\beta_2\\equiv \\delta\\) (mod \\(M_L\\)) with \\(\\beta_i=\\sigma_i(\\pi_L)-\\pi_L\\) for \\(i=1,2\\) and \\(q\\) the order of the residue field of \\(K\\), and NEWLINE\\[NEWLINE\\sigma^{[\\zeta]}=\\sum_{n=0}^{p-1}{{\\zeta}\\choose {n}}(\\sigma-1)^nNEWLINE\\]NEWLINE is an element of the group ring \\(O_{K_0}[\\mathrm{Gal}(L/K)]\\) for \\(\\sigma \\in \\mathrm{Gal}(L/K)\\) and \\(\\zeta\\in \\mu_{q-1}\\) with the maximal unramified subextension \\(K_0\\) of \\(K/{\\mathbb Q}_p\\). On the other hand, \\(i_1\\) is defined by NEWLINE\\[NEWLINEi_1=\\min\\{i_1^{*},\\,i_2^{*}+p^2e\\,\\}\\;\\;\\text{with}\\;\\; i_j^{*}=\\min\\{h\\geq 0\\,|\\,c_h\\neq 0, v_p(h+p^2)\\leq j\\}\\,,NEWLINE\\]NEWLINE where \\(e\\) is the absolute ramification index of \\(K\\) and \\(c_h\\) are given by \\(\\pi_K=\\sum_{h=0}^{\\infty}c_h\\pi_L^{h+p^2}\\) with \\(c_h\\in \\mu_{q-1}\\cup\\{0\\}\\).NEWLINENEWLINEAfter giving properties of the inverse \\(\\Lambda_p\\) of the bijection from \\(M_K\\) to \\(U_K^1\\) induced by the Artin-Hasse exponential series \\(E_p(X)\\) where \\(U_K^s=1+M_K^s\\) for a positive integer \\(s\\), the following theorem is obtained for such an extension \\(L/K\\):NEWLINENEWLINE{ Theorem 3.1.} Let \\(p>2\\) and \\(H=\\text{N}_{L/K}(L^{\\times})\\). If \\(\\mu_{p^2-1} \\not\\subset K\\), let \\(k=b\\); otherwise let \\(k\\) be the smallest nonnegative integer such that \\(\\Lambda_p(H\\cap U_K^{k+1})\\) is a \\({\\mathbb Z}_{p^2}\\)-module, where \\({\\mathbb Z}_{p^2}\\) is the ring of integers of \\({\\mathbb Q}_p(\\zeta_{p^2-1})\\) with a primitive \\(p^2-1\\)th root of unity \\(\\zeta_{p^2-1}\\). Then NEWLINE\\[NEWLINEi_1=\\min\\{p^2b-pk,\\,p^2e,\\,p^2b-b\\}\\;.NEWLINE\\]NEWLINENEWLINENEWLINENext by using \\textit{S. V. Vostokov}'s formula of the Kummer pairing [Sov. Math., Dokl. 19, 198--201 (1978); translation from Dokl. Akad. Nauk SSSR 238, 1276--1278 (1978; Zbl 0393.12001)] and giving the reformulation of the Byott-Elder formula for \\(b_*\\) in terms of \\(\\Lambda_p(R_0)\\), where \\(R=(L^{\\times})^p\\cap K^{\\times}\\) is the subgroup of \\(K^{\\times}\\) corresponding to \\(L/K\\) under Kummer theory and \\(R_0=R\\cap U_K^{\\frac{pe}{p-1}-b}\\) , the relation between \\(b_*\\) and \\(i_1\\) is obtained as follows:NEWLINENEWLINE{ Theorem 4.6.} Let \\(p>2\\) and \\(L/K\\) be as above. Assume also that \\(K\\) contains a primitive \\(p\\)th root of unity and \\(i_1\\neq p^2b-pb\\). Then NEWLINE\\[NEWLINEb_*=i_1-p^2b+pb+b\\;.NEWLINE\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q403277$63923084-07DA-4CCE-9CE0-0DE6BC348C4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55303a5ed3424afe361b4742320c6a74e6a6d515","datavalue":{"value":{"entity-type":"item","numeric-id":2637187,"id":"Q2637187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0171fc7af10bff47665e39c89da2a4d4cd9f08c","datavalue":{"value":{"amount":"+0.8377245664596558","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":"Q403277$C5234E70-5FD9-49EB-99B1-FB250EDA2C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf5530da65924f781d76299910239d0eaa82165","datavalue":{"value":{"entity-type":"item","numeric-id":753863,"id":"Q753863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc2546528c2436f9d9fc938fb442239582282ec","datavalue":{"value":{"amount":"+0.8317663073539734","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":"Q403277$9D1C0367-542C-418E-8AE9-DBCCCAA74A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb65a60f467e7cc8acffff327f8c8dfa888f9aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5220100,"id":"Q5220100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0623c47104da0a1029959214f2d161679e576bc8","datavalue":{"value":{"amount":"+0.8070322871208191","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":"Q403277$71AC283D-9CB2-4675-8D2D-328AF349A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6844d0cfb3680da22536ba72a5c7843ddf197a27","datavalue":{"value":{"entity-type":"item","numeric-id":2636367,"id":"Q2636367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8606183f23759b29ff0c505b12bbbc51d12c0635","datavalue":{"value":{"amount":"+0.7868360877037048","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":"Q403277$7749D89A-8138-4990-9855-6E72B79A47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c551951e0005477ddf8521fa01bea69d528c6979","datavalue":{"value":{"entity-type":"item","numeric-id":2378046,"id":"Q2378046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32247cff09d94acbe31f83f86b64e5cd6fc7b0af","datavalue":{"value":{"amount":"+0.7789832949638367","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":"Q403277$60EDF336-8409-4874-A4CC-D25DBF50D37B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:403277","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:403277"}}}}}