{"entities":{"Q2258052":{"pageid":2268795,"ns":120,"title":"Item:Q2258052","lastrevid":71700135,"modified":"2026-04-13T23:58:36Z","type":"item","id":"Q2258052","labels":{"en":{"language":"en","value":"Ramification in cyclic extensions of degree \\(p^2\\) of complete discrete valuation fields of prime characteristic \\(p\\) with imperfect residue field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6410189"}},"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":"Q2258052$F51D0367-70E6-4D3B-AFF1-91ADF5BAA11C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a7926612868f865c0091b71f99169e0a0efce1c","datavalue":{"value":{"text":"Ramification in cyclic extensions of degree \\(p^2\\) of complete discrete valuation fields of prime characteristic \\(p\\) with imperfect residue field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2258052$C69EDB56-47D0-4C9E-9429-A2C415B0DE13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4175200f32f866d2570a028511de577c3a8e5f43","datavalue":{"value":"1339.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258052$CB43A782-DF2A-4A14-B6C5-4956A88E611A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"041846b26a07525d281424c94d348b83a54e98eb","datavalue":{"value":{"entity-type":"item","numeric-id":2258051,"id":"Q2258051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$BCECE685-DAC9-4F7A-AF51-2F4925CCD118","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$7BFE950D-7AFB-4D21-94BD-BBA272F6E964","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c1f34cd617859aff4fbe92f8216861e04e26244","datavalue":{"value":{"time":"+2015-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2258052$8D0D679D-DFAA-4C6B-A793-4049D65E5847","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4cbf7ede6ed8ddd265a150e904479801c476481a","datavalue":{"value":"Let \\(K\\) be a complete discrete valuation field of characteristic \\(p>0\\) with discrete valuation \\(v_K\\) and residue field \\(\\bar{K}\\). Let \\(\\pi\\) be a prime element. A finite extension \\(L/K\\) is said \\textit{unramified} if \\(L/K\\) is separable and \\(v_K(\\pi)=1\\); \\textit{wild} if \\(L/k\\) is a \\(p\\)-extension fully ramified and \\textit{ferocious} if \\(v_K(\\pi)=1\\) and \\(L/K\\) is purely inseparable. A cyclic extension \\(L/K\\) of degree \\(p^n\\) uniquely decomposes into a tower of cyclic extensions of degree \\(p\\): \\(L= M_n/M_{n-1}/\\cdots/M_1/M_0=K\\). The \\textit{genome} of \\(L/K\\) is the word \\(T_1\\cdots T_n\\) where  \\[ T_i=\\left\\{\\begin{matrix} \\text{W}&\\text{if}&M_i/M_{i-1}&\\text{is wild}\\cr \\text{F}&\\text{if}&M_i/M_{i-1}&\\text{is ferocious}\\cr \\text{U}&\\text{if}&M_i/M_{i-1}&\\text{is wild}. \\end{matrix}\\right. \\]   The author considers a cyclic extension \\(L/K\\) of degree \\(p^2\\) with imperfect residue field \\(\\bar{K}\\). The main result gives necessary and sufficient conditions for a pair of natural numbers \\((h_1,h_2)\\) to be the pair of lower ramification numbers of the extension \\(L/K\\). Namely, \\((h_1,h_2)\\) is such a pair iff one the following conditions holds: {\\parindent=6mm \\begin{itemize} \\item[(1)] the genome is WW, \\(p\\nmid h_1, h_2\\equiv h_1\\bmod p, h_2 \\geq (p^2-p+1)h_1\\); \\item [(2)] the genome is WF, \\(p\\nmid h_1, h_2> (p^2-p+1)\\frac{h_1}{p}\\); \\item [(3)] the genome is FW, \\(p\\nmid h_2, h_2\\geq (p^2-p+1)h_1\\); \\item [(4)] the genome is FF, \\(h_2\\geq (p^2-p+1)\\frac{h_1}{p}\\) and either \\([\\bar{K}:\\bar{K}^p]>p\\) or \\([\\bar{K}:\\bar{K}^p]=p, p\\mid h_1\\).  \\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258052$212EAC55-8014-4A4A-B975-A7AD574FBB36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"866b7ca9ccd1c17f5aab066afe52bfd6de41926d","datavalue":{"value":"12J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258052$47094DB5-BF4E-4899-8BA2-EFBE6A4DEF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c81671e5be6090a702f855c20ca0c3c06f2c979d","datavalue":{"value":"11S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258052$CE1C2015-0E23-4C27-BE5E-A22F72ED467B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de076515139ffed32655a93bcf1a6f117461e33e","datavalue":{"value":"6410189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258052$B6CD7089-B22B-4E33-A1D0-C1A14E07345A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4abdfd65e1d996ab21e86eb9bfdedbb972ed98","datavalue":{"value":"complete discrete valuation fields lower ramification numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258052$71D6F732-8232-447C-A75B-3506D6836A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f764d731a87f9b00a87363e363efb3719a73e76","datavalue":{"value":"cyclic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258052$77236E5B-CCB9-4E69-A427-342484AD8981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d173579cefd70b4a39b144a76794069c0925cebf","datavalue":{"value":"imperfect residue fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258052$322DA557-27EB-47CF-85E7-7F7E9B35C93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ab567f269c9062e88baade757e7164342249c5","datavalue":{"value":"Artin-Schreier-Witt theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258052$9D138AAB-4475-4C69-A294-F5C03568A3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a333fb3ef3c6ac736e8e4a20f4d3c9ca434bf7","datavalue":{"value":"Witt vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2258052$96CD0561-A411-4B1A-BC4A-A6889085565D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$222186B7-1036-42EC-8F05-984DE7D7B54F","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":"Q2258052$3F1F9F9C-1A41-4777-8374-1B431381F6BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8836fa6854c0e90e8a31fc7002bb4db6b270508","datavalue":{"value":"https://doi.org/10.1007/s10958-014-2053-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2258052$5D801B89-31E2-4588-A654-B5505805CF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3728903995fa175cc1724ad57e5f9d3655a152e","datavalue":{"value":"W2080937873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258052$A65E6486-5C4C-4228-969B-067E9B986475","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a733cde12b4331878316be2177731ca359f787","datavalue":{"value":{"entity-type":"item","numeric-id":847142,"id":"Q847142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$CB64A008-BBDC-4AD0-B184-6816EC4A31FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c778f4dfe457a56cd70352a1e2990818fb438e","datavalue":{"value":{"entity-type":"item","numeric-id":2248949,"id":"Q2248949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$17F10CEB-5E46-411D-9DED-C6E9EFB6D0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79789401ec378e86106821ef803ddfba81cbdeec","datavalue":{"value":{"entity-type":"item","numeric-id":5765298,"id":"Q5765298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$B9D37C3E-1CCB-4B12-8870-2032CA88C15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fa2aea38b81f5a2bbb205fa6ff0ad8a93b7c75","datavalue":{"value":{"entity-type":"item","numeric-id":819871,"id":"Q819871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2258052$9863983F-ADBD-403B-BFAC-DEC5910552EC","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":"Q2258052$883E781A-9EE2-4430-8145-E62BB3CE372A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ef8baabb63fe7a01496e918aacffe4905dc1d3d","datavalue":{"value":"10.1007/S10958-014-2053-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2258052$B80F7BE3-034E-4820-A442-0BF3137F8977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c7650db44dfdae54981ce5cd6a2b8532df17a1","datavalue":{"value":{"entity-type":"item","numeric-id":2248949,"id":"Q2248949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c968fa98f9e9672755267071101fb8f9e7da19","datavalue":{"value":{"amount":"+0.8153725862503052","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":"Q2258052$E2F4E627-5ECA-4143-8356-364C28634783","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":"faab085b4cedd302f7e349f929a44d1095c087d7","datavalue":{"value":{"amount":"+0.7872990965843201","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":"Q2258052$EFDE62F5-DA2E-44C7-9E93-9A18EB91069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43d71d2e6c5042ec769883ca9882c034a14a4ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4161779,"id":"Q4161779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c134b1e9650641adcb8ec1b0e49ef45090853f","datavalue":{"value":{"amount":"+0.7659666538238525","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":"Q2258052$6EA1A1C4-FEE0-49A9-A904-03603D93CC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf29a84754904c2bddb7c0ad67fd0f27ab1a647","datavalue":{"value":{"entity-type":"item","numeric-id":847142,"id":"Q847142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be240d7beb9bad6b36f49107bad8273c3977254","datavalue":{"value":{"amount":"+0.7609575986862183","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":"Q2258052$D5056D59-0995-4D2A-AB3A-C3DD3541C382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d6e8165fc58da23eef231d942c076bedae5bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3794282,"id":"Q3794282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b2871429a2fa3cbffc333991bcce7ac996c040","datavalue":{"value":{"amount":"+0.7599467039108276","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":"Q2258052$163866F3-991B-4419-A0F6-7BC65FB54D63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramification in cyclic extensions of degree \\(p^2\\) of complete discrete valuation fields of prime characteristic \\(p\\) with imperfect residue field","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ramification_in_cyclic_extensions_of_degree_%5C(p%5E2%5C)_of_complete_discrete_valuation_fields_of_prime_characteristic_%5C(p%5C)_with_imperfect_residue_field"}}}}}