{"entities":{"Q7007213":{"pageid":21546240,"ns":120,"title":"Item:Q7007213","lastrevid":82946021,"modified":"2026-05-06T22:31:28Z","type":"item","id":"Q7007213","labels":{"en":{"language":"en","value":"Generators for extensions of valuation rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8017190"}},"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":"Q7007213$6ED2DA6F-4086-4CEA-965B-D4F522740A8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b6d0e5fed198050b9fe9780e3d938e8289dce6f","datavalue":{"value":{"text":"Generators for extensions of valuation rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007213$2541194B-5557-4C7E-9E3F-5A02233DC8C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba8ad36750c254649b6dcabf65a5e0fafdecafc2","datavalue":{"value":"1565.13005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007213$7F56C2E5-483D-4028-A780-F019BF295577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fce1986da01b3341cc331c489e54bbf5a96dcf0f","datavalue":{"value":"10.1016/J.JPAA.2025.107900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007213$25706F1A-1D9B-4434-A729-ED736462D357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"254014ea8edfec08e2aa70acb271d5897835cc17","datavalue":{"value":{"entity-type":"item","numeric-id":6081065,"id":"Q6081065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$A930D3A1-F3F4-4D4F-B05A-3CD4228E1283","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":"Q7007213$363145B6-C9E8-4147-AB83-4A5047473144","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"73717b0f7e6b2acea0ec4925c9882191b5fb6c53","datavalue":{"value":{"time":"+2025-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007213$E4B543B0-2E4E-45BB-BD5A-F73CCE148F44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6ee24e25551c09c0657fa0db9c0c8fd088958e30","datavalue":{"value":"Given a valued field \\((K,v)\\), \\(\\mathcal O_K\\) denotes its valuation ring; \\((L/K,v)\\) denotes a simple algebraic extension of valuated fields. If the ramification index is 1, then for every sequence of key polynomicals one can naturally construct a set of generators for the extension \\(\\mathcal O_L\\) over \\(\\mathcal O_K\\). The main goal of this paper is to describe possible sets of \\(\\mathcal O_L\\) as an \\(\\mathcal O_K\\)-algebra or as an \\(\\mathcal O_K\\)-module.\\N\\NThe main result generalizes a result from a joint paper of the author with \\textit{M. Spivakovsky} [``K\u00e4hler differentials, pure extensions and minimal key polynomials'', Preprint, \\url{arXiv:2311.14322}]: Theorem 1.1 Let \\((L/K, v)\\) be a simple algebraic extension of valued fields. Assuming that the initial index and the ramification index are the same, i.e. \\(\\epsilon(L/K,v)=e(L/K,v)\\), given any complete set \\(\\{Q_i(\\eta)\\}_{i\\in I}\\) for \\((L/K,v)\\), then, for each \\(\\lambda\\in \\mathbb{N}_0^I\\), there exists \\(a_\\lambda\\in K\\), such that \\(\\mathcal O_L\\) is generated by \\(\\{Q(\\eta)^\\lambda/a_\\lambda\\mid \\lambda\\in \\mathbb{N}_0^I\\}\\). The main concepts are that of key polynomials and the defect \\(d\\) (formula). Knaf proved that if \\(\\mathcal O_L\\) is essentially finitely generated over \\(\\mathcal O_K\\), then \\(e(L/K,v)=\\epsilon(L/K,v)\\) and \\(d(L/K,v)=1\\) and conjectured that the converse is also true.\\N\\NThis author uses his main result to prove Knaf's conjecture for pure extensions. The conjecture was proved by \\textit{R. Datta} [Math. Nachr. 296, No. 3, 1041--1055 (2023; Zbl 1533.13024)] in full generality (the publication year is 2023, not 2021 as referenced in the paper under review).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$34EAC5FC-C7CE-4907-82A7-5E101457C313","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a4dc55d1e339c5a861364301a78d8def8050d67","datavalue":{"value":{"entity-type":"item","numeric-id":590893,"id":"Q590893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$16CF772D-4764-464A-9275-703316C8AFF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007213$7B726385-13AF-4D42-A001-406F4781F9CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ba8fe0715510e8385598a24f0565fdc49a5f60d","datavalue":{"value":"8017190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007213$6D9F7C3F-6089-45C8-8C09-B0CD5381FA3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4149347abcf860dcd120da5239a18e32be216ba1","datavalue":{"value":"key polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$D526504E-96F8-455E-A942-5027975E6177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff6e280166f03629437a6c3b6654bf7f21850d7e","datavalue":{"value":"K\u00e4hler manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$EC626C01-D211-446B-AC30-41F878919A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a49a92ef8d36b4fd45f6e20f4b59d31b6613ead5","datavalue":{"value":"the defect","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$410E2F03-47A6-4D07-A11C-64F631C9C9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"862d95d3977508c02afdecae320b7dddb8adb525","datavalue":{"value":"Abhyankar valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$23BA63AC-4DA7-4BEA-875A-39EC94C5714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1870a1c5c5982cb37fba7e88cdb22ee525d21a47","datavalue":{"value":"initial index","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$B26ECD52-29DA-4C25-84D6-1FA85865A587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9587f71fb14a41874ac991ea983735fe8f1b0138","datavalue":{"value":"ramification index","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007213$8C1ED152-8964-4892-AD9F-8826011B180E","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":"Q7007213$D7940877-45BF-4EF8-96BA-2499073AF252","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25caf121637e778d25e27f0bd2442edd2a6f5828","datavalue":{"value":{"entity-type":"item","numeric-id":2102518,"id":"Q2102518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$F05BDF65-4AE5-4E8D-9983-42E91BD21E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47caa2e28dae815b0610555c6cbc39f3b0198502","datavalue":{"value":{"entity-type":"item","numeric-id":6081066,"id":"Q6081066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$CA88BF8F-B4BC-4CB3-9068-4093FEF2F500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73bbb2f4f4bd5418be0666dbb9a45ff366a854","datavalue":{"value":{"entity-type":"item","numeric-id":6047383,"id":"Q6047383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$3F575A68-C465-4A86-896A-AB76B04AC3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc2021d917b4d6428cb35b5789205ba6e7e285d","datavalue":{"value":{"entity-type":"item","numeric-id":406347,"id":"Q406347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$F9DC27CD-7D71-46A1-8781-DC6B2C41A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b598f68a4439b73a3e02991d8c5b254b744ef5","datavalue":{"value":{"entity-type":"item","numeric-id":6110341,"id":"Q6110341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$157EC81F-DE30-4B7F-A348-0B8789118443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314a7a78cc8078697e2f436b82ad1a652bf7b359","datavalue":{"value":{"entity-type":"item","numeric-id":2022452,"id":"Q2022452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$F9117173-5B86-4BC7-903B-7830864F0D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e985bd32bbf154c0ff42f8a4a5456db7cb324d12","datavalue":{"value":{"entity-type":"item","numeric-id":1714847,"id":"Q1714847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$44229714-401C-4F18-97F7-E3B7EEFC59E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e4161ed5da2af5cab7ce20a11da46eec02157e","datavalue":{"value":{"entity-type":"item","numeric-id":1682073,"id":"Q1682073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$559D3185-CB85-43B8-A95D-28F5B1577072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b13eb6774769c6ae5373eff9a04762e681c9f47","datavalue":{"value":{"entity-type":"item","numeric-id":3187198,"id":"Q3187198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$9E8750D4-E19D-4623-90A7-A991A37E1C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa45e5a8242a1acc30bd82a64fae27266076e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5708415,"id":"Q5708415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007213$9D979699-4818-40CB-A2E0-B5006CFE859D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generators for extensions of valuation rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generators_for_extensions_of_valuation_rings"}}}}}