{"entities":{"Q2259169":{"pageid":2269912,"ns":120,"title":"Item:Q2259169","lastrevid":71701053,"modified":"2026-04-13T23:59:00Z","type":"item","id":"Q2259169","labels":{"en":{"language":"en","value":"Ramification of local rings along valuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409585"}},"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":"Q2259169$C71B56D1-09C2-47B1-9D26-09AAB3A63F0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"235e7976a783b79b93d18719c40363043d444144","datavalue":{"value":{"text":"Ramification of local rings along valuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259169$30ED2EB2-54A8-415A-B47A-D0FCEE558250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ae2d8eb15407e000a306615fa0186c2c2219644","datavalue":{"value":"1315.13012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$996A97C4-ECAF-4CB9-8187-2DF212F1A575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8907512f72cdbc3972aa976fd13fd15831cbdec","datavalue":{"value":{"entity-type":"item","numeric-id":250231,"id":"Q250231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$CEB5A4DD-6F8A-4740-94E0-D66830BA540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b5db038aa7332b9bd2602a231afd117b6f483d","datavalue":{"value":{"entity-type":"item","numeric-id":217370,"id":"Q217370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$DEA3E964-EF4D-49A9-9456-E6AF14E1480C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$7FBE09D9-7F32-4749-ABCA-2C8876A86FA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2259169$54E451DD-9925-4D88-B62C-AB957FA66743","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89a97d0c952814d6bd833df9fc80bf7493106772","datavalue":{"value":"https://arxiv.org/abs/1309.0135","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259169$6D808725-8EFF-41F4-B1F5-CC888C3B3E25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b3246ca32d2241d72c8d5e9337953e17bb9245a","datavalue":{"value":"Let \\(k\\) be a field of characteristic zero, \\(K\\) be an algebraic function field over \\(k\\) and \\(R\\) be an algebraic local ring of \\(K\\), i.e. \\(R\\) is a local ring with fraction field \\(K\\) and there exists a finite family \\(Z\\subset R\\) such that every \\(f\\in R\\) can be writen as \\(f= P(Z)/Q(Z)\\), where \\(P(Z)\\) and \\(Q(Z)\\) are polynomials of \\(k[Z]\\), and \\(Q(Z)\\) is a unit in \\(R\\). Let \\(\\nu\\) be a valuation of \\(K\\) which is trivial over \\(k\\), denote by \\(V_\\nu\\) its valuation ring and by \\(m_\\nu\\) its maximal ideal. We assume that \\(\\nu\\) dominates \\(R\\), i.e. \\(R\\subset V_\\nu\\) and \\(m_\\nu\\cap R= m_R\\) (the maximal ideal of \\(R\\)). For every \\(\\gamma\\in\\Gamma_\\nu:= \\nu(K\\setminus\\{0\\}\\) let P,(R) (resp. \\({\\mathcal P}^+_\\gamma\\)) be the ideal \\(\\{f\\in R\\mid\\nu(f)\\geq\\gamma\\}\\) (resp. \\(\\{f\\in R\\mid\\nu(f)>\\gamma\\})\\) and let \\(\\text{gr}(R)\\) be the graded algebra \\(\\bigoplus_{\\gamma\\in\\Gamma_\\nu}{\\mathcal P}(R)/{\\mathcal P}^+_\\gamma\\). For every \\(f\\in R\\) the initial form \\(\\text{in}_\\nu(f)\\) of \\(f\\) in \\(\\text{gr}_\\nu(R)\\) is the element \\(f+{\\mathcal P}^+_\\gamma\\) of \\({\\mathcal P}_\\gamma/{\\mathcal P}^+_\\gamma\\), where \\(\\gamma=\\nu(f)\\). A sequence \\(\\{P_i\\}_{i\\geq 0}\\) of \\(R\\) is called a generated sequence of \\(\\nu\\) if \\(\\{\\text{inv}_\\nu(P_i)\\}_{i\\geq 0}\\) generate \\(\\text{gr}_\\nu(R)\\) as a \\((R/m_R)\\)-algebra. Let \\(K^*\\) be an algebraic function field over \\(k\\) such that \\(K^*\\) is finite separable over \\(K\\), \\(\\nu^*\\) be a valuation of \\(K^*\\) which extend \\(\\nu\\), and \\(S\\) be an algebraic local ring of \\(K^*\\) such that \\(\\nu^*\\) dominates \\(S\\) and \\(S\\) dominates \\(R\\). The extension \\(R\\to S\\) is assumed to be stable, that is it satisfies some conditions, among them \\(R\\) and \\(S\\) are \\(n\\)-dimensional regular local rings (where \\(n= \\text{tr\\,deg}_kK^*- \\text{tr\\, deg}_k(V_{\\nu^*}/m_{\\nu^*}))\\), there exist regular parameters \\(x_1,\\dots, x_n\\) in \\(R\\), \\(y_1,\\dots, y_n\\) in \\(S\\) and an \\(n\\times n\\) matrix \\(A= (a_{ij})\\) of natural numbers with \\(\\text{det}(A)\\neq 0\\) and units \\(\\delta_i\\) in \\(S\\) such that, for \\(i\\in\\{1,\\dots, n\\}\\), \\(x_i= \\delta_i \\prod^n_{j=1} y^{a_{jj}}_j\\). This implies that \\(|\\text{det}(A)|= e:= [\\Gamma_{\\nu^*}: \\Gamma_\\nu]\\) (the ramification index) and \\([S/m_S: R/m_R]= f:= [V_{\\nu^*}/m_{\\nu^*}: V_\\nu/m_\\nu]\\).   First the authors prove that if \\(\\dim_{\\mathbb{Q}}(\\Gamma_\\nu\\otimes_{\\mathbb{Z}}\\mathbb{Q})+ \\text{tr\\,deg}_k(V_\\nu/m_\\nu)= \\text{tr\\,deg}_kK\\) then \\((\\text{gr}_\\nu\\otimes _{R/m_R} S/m_S)[\\text{in}_{\\nu^*}(y_1),\\dots, \\text{in}_{\\nu^*}(y_n)]\\) and the degree of the extension of quotient fields of \\(\\text{gr}_\\nu(R)\\to\\text{gr}_{\\nu^*}(S)\\) is \\(ef\\). Next, they assume that \\(\\text{tr\\,deg}_k(V_{\\nu^*}/m_{\\nu^*})= 0\\), \\(\\text{tr\\,deg}_k K^*= 2\\) and \\(\\nu^*(K^*\\setminus\\{0\\})\\) embeds in the ordered group \\(\\mathbb{Q}\\), so they can assume that \\(x_1= \\delta_1 y^e_1\\) and \\(x_2= y_2\\). They prove that if \\(x_1,x_2,P_2,P_3,\\dots\\) is a generating sequence in \\(R\\), then \\(y_1,y_2,P_2,P_3,\\dots\\) is a generating sequence in \\(S\\), and that \\(\\text{gr}_{\\nu^*}(S)\\) is isomorphic to \\((\\text{gr}_\\nu(R)\\otimes_{R/m_R} S/m_S)[X]/(X^e- \\text{in}^{-1}_{\\nu^*}(\\gamma_1) \\text{in}_{\\nu^*}(y_1))\\). It follows that the semigroup \\(\\nu^*(S\\setminus\\{0\\})\\) is a finitely generated \\(\\nu(R\\setminus\\{0\\})\\)-module. They also discuss the failure of these results in positive characteristic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259169$E9995139-87EA-422B-A630-E95374AC5C58","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b8e50fbf4be56133fc1dd932e3a92f13bab2feb7","datavalue":{"value":{"entity-type":"item","numeric-id":590860,"id":"Q590860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$9681BF80-386E-40D0-B4A4-3C72D660C162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$21F83459-F019-47AC-9DD0-0902907049AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00b57ad4427337de71ca891b07759c4534c98423","datavalue":{"value":"13B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$20162743-E64B-488B-87F8-38EEBC264A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$C824DBFD-7528-4166-BCC8-860702FAA145","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a1beabad50129299c7a6c0730766b81830b8d3","datavalue":{"value":"6409585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$E54CAD76-6082-4129-AEC8-821A59E13406","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a106aad94c1ae35e34bef4dbeac30d330ba05d55","datavalue":{"value":"extensions of valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259169$EB5C6BF0-C219-4065-A5D0-AD839E699D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f926f26a3abb0131eb08c5d1885e14b3cf7b8c","datavalue":{"value":"ramification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259169$050B3738-5F1C-4DA4-AA23-55F0CBD3CE6A","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":"Q2259169$37AAD22B-E597-443E-AEFE-E17DDA1F5BFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a34ab7f06a670f9d7115590090bd6b8c98c9a86","datavalue":{"value":"W2041133420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$AB28791D-0C30-42EB-AAB5-DBA7F3C4C9F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a74f5ca36ae4dfa49125794ca9f872031b9b86","datavalue":{"value":{"entity-type":"item","numeric-id":3239328,"id":"Q3239328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$36BFD590-E701-4D7D-BBFC-9AA24BD65837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84cd35e20ad979b20b2c84a752fdd101dd3a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3836783,"id":"Q3836783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$0AE66432-EB99-48B9-B81D-4964D886DC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbb33904512d4653705f60f8667ad3c22f94390","datavalue":{"value":{"entity-type":"item","numeric-id":597135,"id":"Q597135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$C80FD8D1-C387-4282-9E49-CB5A6FE31898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7429c18a5c02037e67ea06aa4e84ef39fb430dca","datavalue":{"value":{"entity-type":"item","numeric-id":841526,"id":"Q841526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$B69C1E29-C3AF-441E-A239-72D674C2E284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315071b44d3f1e80b55f9ab2cef860fb65b830b4","datavalue":{"value":{"entity-type":"item","numeric-id":5404130,"id":"Q5404130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$4D56EF0C-3B91-4054-A6F3-3FA39C6F53A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dce20feff3ec7c8250337995349c108f0cbef21","datavalue":{"value":{"entity-type":"item","numeric-id":855724,"id":"Q855724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$09A43565-1886-49BC-B0D4-8C53B6BE8E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e1b33edcca412e016754a53bf76b233caf7992","datavalue":{"value":{"entity-type":"item","numeric-id":872173,"id":"Q872173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$D53FA597-F2CE-4B62-9FE8-3D7F55CBB601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe2be96829f938d46cfbd2b876d223603beab89","datavalue":{"value":{"entity-type":"item","numeric-id":3413460,"id":"Q3413460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$F0EBCD22-C65F-4592-9EAA-E1BEEA5A27D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda63e8d30423729e4b64132d563d9b1d91ab4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4440914,"id":"Q4440914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$8E2DF4ED-82BF-4C4F-91FF-5C71E8C6528C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87baa266ab1988a6c9b01dbc2cd7fe1bd96cadbc","datavalue":{"value":{"entity-type":"item","numeric-id":4982813,"id":"Q4982813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$88B59516-3872-4CCC-B0C4-D0AA4ED64A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259169$CEABBC19-513C-4AE3-A2C9-0109F836FDD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eacb1579107cb5727ffa9c0e0054969f99bbcb8d","datavalue":{"value":"10.1016/J.JPAA.2014.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259169$E15358BB-CACF-4D7D-9947-CAD7A2B5AE0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f72dcdbd1472e49b5e9a2842af7431803cf8a3","datavalue":{"value":{"entity-type":"item","numeric-id":4584334,"id":"Q4584334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70de199363280ff43acef6a275a42594807a2162","datavalue":{"value":{"amount":"+0.8240650296211243","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":"Q2259169$9AB2B41C-CDEA-4BFA-8EE2-55C34E708D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ed2705512334adfc7e437b6b974f59a29868af","datavalue":{"value":{"entity-type":"item","numeric-id":5740558,"id":"Q5740558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1d7fd331bde5348b7183492d0d83d1f36a82f0","datavalue":{"value":{"amount":"+0.8230718374252319","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":"Q2259169$6F8610E8-E7F1-49F9-AE7C-D3DD7B993FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e071797fa249a273b7434ba0763e0aaf41933f","datavalue":{"value":{"entity-type":"item","numeric-id":597135,"id":"Q597135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b914fca1c60543f90ba9e822e8fe87bc17a6b316","datavalue":{"value":{"amount":"+0.8183462023735046","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":"Q2259169$F5BF3CCA-C66F-43B1-A5BF-6784B2D7104D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b255eb661ea3207bed9a758634e89595064b89","datavalue":{"value":{"entity-type":"item","numeric-id":927338,"id":"Q927338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2bc11b9168b33327d14c0e72b93111cc69a37b","datavalue":{"value":{"amount":"+0.817814826965332","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":"Q2259169$882EC647-3104-4610-A401-5277B98A74BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87dc860ef0d1b496b8b08aa51983d20c22cc504b","datavalue":{"value":{"entity-type":"item","numeric-id":2102518,"id":"Q2102518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2b3eb6394123025bcfbee35e9d082c6182e848","datavalue":{"value":{"amount":"+0.8091470003128052","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":"Q2259169$B14FE75C-3875-4FE4-86F5-2C6FE4C173E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramification of local rings along valuations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ramification_of_local_rings_along_valuations"}}}}}