{"entities":{"Q1270403":{"pageid":1281153,"ns":120,"title":"Item:Q1270403","lastrevid":70041645,"modified":"2026-04-13T12:02:50Z","type":"item","id":"Q1270403","labels":{"en":{"language":"en","value":"Discrete valuation rings and modules of differentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1214147"}},"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":"Q1270403$E652E410-20B3-4BED-8374-A1A649E955E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"156fa892a844f3943734279fa37ba50e7dfad69c","datavalue":{"value":{"text":"Discrete valuation rings and modules of differentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1270403$A847433B-B21E-4FD9-8E60-1A7B266581F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ef096f6e43dae88aaece53b58f5d2bc886826bf","datavalue":{"value":"0932.13018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270403$142CA95B-C393-4955-8D9E-F94F6BE0CBA7","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":"Q1270403$65218E0A-8BBF-41AE-91F5-ACBE69E7E697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24d012b4d2eb40b423e72a323fc2c97c1fe46635","datavalue":{"value":{"time":"+1999-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1270403$F8B200C8-1A55-464C-90FE-A07C0D09926D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2c72f1dd75a3a2f9b4450c21e2c76f1f40cf5d1c","datavalue":{"value":"Let \\(X\\) be a discrete valuation ring, and let \\(G\\) be a local subring of \\(X\\) such that the inclusion map \\( G \\hookrightarrow X \\) is a local homomorphism. The author gives a structure theorem for the \\(X\\)-module \\( H_0(G, X, X)\\), the module of K\u00e4hler differentials of \\(X\\) over \\(G\\), under the following hypotheses: Let \\(S\\) be the residue field of \\( G\\), and let \\(C\\) be the residue field of \\( X\\); then \\( H_0(S, C, C)\\) and \\(H_1(S, C, C) \\) are finite-dimensional \\(C\\)-vector spaces. The first condition implies that \\( H_0(G, X, X) \\) is a quasifinite \\(X\\)-module.    In the first introductory part the author gives a structure theorem for quasifinite \\(X\\)-modules. Let \\(K\\) be the field of quotients of \\(X\\), and let \\( \\xi \\) be a uniformizing parameter for \\(X\\). Let \\(W\\) be a quasifinite \\(X\\)-module; then we have a decomposition  \\[  W = K^{a'} \\oplus (K/X)^b \\oplus \\sum_{k \\geq 1} (X / \\xi^k X)^{d_k} \\oplus V  \\]  where \\(V\\) is a separated torsion-free \\(X\\)-module, and there is an exact sequence of \\(X\\)-modules  \\[  0 \\to X^c \\to V \\to K^{a''} \\to 0.  \\]  Here \\( a' \\), \\( a'' \\) and \\(b\\) are cardinal numbers, \\(c\\) and \\( d_k\\) are integers and only finitely many of the integers \\( d_k\\) are different from zero; they are determined uniquely by \\(W\\). Let \\( a = a' + a'' \\), \\( d = \\sum d_k\\). Then one has \\( a + c = \\dim_K(W \\otimes_X K) \\), \\( c + d = \\dim_C(W \\otimes_X C) \\), \\( b - c = \\dim_C(\\text{Ann}_W(\\xi)) - \\dim_C(W \\otimes_X C) \\). Let \\( L:= \\widehat{X} \\otimes_X K \\) where \\( \\widehat{X} \\) is the completion of \\(X\\), and let \\( T(W) = \\Hom_{\\widehat{X}}(\\Hom_X(W, L/\\widehat{X}), L)\\). Then one has \\( \\dim_L(T(W)) = a + b\\). Now let \\( W:= H_0(G, X, X) \\), the module of K\u00e4hler differentials of \\(X\\) over \\(G\\), and let \\( a, b, c, d \\) be the numbers defined by \\(W\\).   In the second part the author determines these numbers. He shows that  \\[ a + c = \\dim_K(H_0(E, K, K))\\text{ and } c + d = \\dim_C(H_0(S, C, C)) + \\lambda \\]  with \\( \\lambda \\in \\{ 0,1 \\} \\) , and that \\(b\\) is finite if \\( \\dim_C(H_1(S, C, C)) < \\infty \\). Therefore one knows \\(a\\) and \\(d\\) if one knows \\(c\\). Put \\( \\mu:= \\dim_C(H_0(S, C, C)) \\) and let \\( \\tau \\) be the degree of transcendency of \\(C\\) over \\(S\\). One has \\( \\nu = 0 \\) and \\( \\mu = \\tau \\) if \\(C\\) has characteristic \\(0\\); in the general case one has \\( \\mu \\leq \\nu + \\tau \\). The extension \\(C\\) of \\(S\\) is called a Cartier extension if \\( \\nu\\) and \\( \\tau \\) are finite and we have \\( \\mu = \\nu + \\tau \\). For the rest of the paper the author assumes that \\(C\\) is a Cartier extension of \\(S\\), hence, in particular, that \\(b\\) is finite. The five main results of this paper now are:    (1) If \\(G\\) and \\(X\\) are complete, then one has \\( b - c = \\dim(G) - 1 - \\tau - \\dim_K(H_1(E, K, K))\\).    (2) If \\(X\\) has characteristic zero, then one has \\( b - c = \\dim(G) - 1 - \\tau + \\Delta_P\\); here the prime ideal \\(P\\) of \\(\\widehat G\\) is the kernel of the homomorphism \\( \\widehat{G} \\to \\widehat{X} \\) and \\( \\Delta_P:= \\dim(\\widehat{G}_P) + \\dim(\\widehat{G} / P) - \\dim(\\widehat G)\\).    (3) If \\(X\\) has characteristic zero, then \\(c\\) is equal to the degree of transcendency of \\(C\\) over \\( \\overline{C} \\); here \\( \\overline{C}\\) is the residue ring of the discrete valuation ring \\( E \\cap X \\).    (4) If \\(X\\) has positive characteristic \\(p\\) then one has \\( c = \\dim_C(H_0(\\widetilde{C}, C, C)) + \\mu \\) where \\( \\mu \\in \\{ 0,1 \\} \\); here \\( \\widetilde{C} \\) is the residue class ring of the discrete valuation ring \\( E [K^p] \\cap X \\).    (5) If \\(X\\) has positive characteristic, then one has \\( b - c = \\dim(G) - 1 - \\tau - \\dim_L(\\overline{H}_1(E, K, L)) + \\Delta_P \\); here \\( \\overline{H}_1(E, K, L) \\) is the image of the canonical homomorphism \\( H_1(E, K, L) \\to H_1(\\widehat{G}_P, L, L)\\) [note that \\( H_1(\\widehat{G}_P, L, L) \\) is a finitely generated \\( \\widehat{X}\\)-module].    Result 4 is Satz 8 and result 3 is Satz 12 in a paper by \\textit{R. Berger} and \\textit{E. Kunz} [Math. Z. 77, 314-338 (1961; Zbl 0115.03501)]. Therefore the important new result of of this paper is the determination of \\( b\\); this implies that now all the invariants \\( a, b, c, d \\) are known.    A reader of this paper should be acquainted with the author's book: [\\textit{M. Andr\u00e9}, ``Homologie des alg\u00e8bres commutatives'' (Berlin 1974; Zbl 0284.18009).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270403$A0588615-4EEE-47FD-A6C0-839C24CBBA36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f9ef5afec6c5b57dc4f2388ca0bfb9b4eb626668","datavalue":{"value":"13N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270403$55702B88-AD3F-412E-94C8-ACD76AA1718D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270403$B3DCD8A0-4765-4874-9730-4CFF513A16A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6876b185e1a240209003b7e71b5bf380b1fb6bbe","datavalue":{"value":"1214147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270403$49E13919-9612-4190-A206-0116615E6495","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34969d269ffa52878116e7cffc69869418f04a3","datavalue":{"value":"discrete valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270403$5FD10311-9E1C-423F-9919-448A9077699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b5e0091adf3ea2b7be120e526f9adca3db9dc34","datavalue":{"value":"module of K\u00e4hler differentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1270403$FC9B7E11-7CFB-4312-B1E2-FF2F11D3F32D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57d2e849fcce49e1039cd81c825a44ae58fd3320","datavalue":{"value":{"entity-type":"item","numeric-id":699750,"id":"Q699750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$ED3AF1E9-71F8-428F-AED5-6EB9AD9468DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2bdc1c2a7df50b4341b295b5dafcdf14ad91bf86","datavalue":{"value":{"entity-type":"item","numeric-id":590410,"id":"Q590410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$FCC47ED0-E99E-46A1-8917-1E95E01AF8F8","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":"Q1270403$FEC401B6-89DF-4D75-B23D-2914CB3687F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c2dde348ca7aff095d20417dd870a56af88c175","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7415","type":"string"},"datatype":"url"},"type":"statement","id":"Q1270403$ED3D342F-A7A6-46EE-811C-F1221EECB4C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"344d41755f86d7d1832b9a68753f7714c66307b8","datavalue":{"value":"W2029428820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270403$FE3CDAB5-3B96-45E1-BAC4-4AAA7031E9F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2965b9bf540680fda3134b19cb06a184741812","datavalue":{"value":{"entity-type":"item","numeric-id":4771408,"id":"Q4771408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$BC62B2BD-79F6-4417-8C47-C886B528A900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4d1ea482ecd41bbe11997cb3f39d2f35da2979","datavalue":{"value":{"entity-type":"item","numeric-id":2277028,"id":"Q2277028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$887D0DD9-20CE-4CDF-805F-76643F5B864D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b2ba703798376e934aed23dee19b716e207881","datavalue":{"value":{"entity-type":"item","numeric-id":1845805,"id":"Q1845805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$8CA815AB-D3A4-48DE-8C40-0CC79849044B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51b2e2d052c3c0320f842ee262179be9a45b4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1325187,"id":"Q1325187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$EAA7A0BA-514C-4A86-881D-CD5F70266468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a632d86d430032a452f875ded4871afd3dbc6fae","datavalue":{"value":{"entity-type":"item","numeric-id":2625488,"id":"Q2625488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$EC81C274-6DC5-4734-95A9-FFA4C4E71387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b7780c70ca044c62c886c4fabfe429c52551f","datavalue":{"value":{"entity-type":"item","numeric-id":5602063,"id":"Q5602063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$E5DF9946-0C21-41E3-8658-EF8C74E44157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f033301cd9439a5efa4ac9952db64a565fb3e964","datavalue":{"value":{"entity-type":"item","numeric-id":2521161,"id":"Q2521161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$0240FB52-7DF8-479F-9AC1-50EEA95B02D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$9BD4D1D0-7FF8-4156-8F62-58956D75CF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef471d934bc5fec13990115b6706f3824323e87","datavalue":{"value":{"entity-type":"item","numeric-id":4013102,"id":"Q4013102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$0540BA07-E87E-4592-96AF-AEB5F45616CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d244589ada1b2d6f6ba6b5ff5c05ab48ef518b2","datavalue":{"value":{"entity-type":"item","numeric-id":1228636,"id":"Q1228636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$D3B8F44C-8258-4750-9581-F76FF4BCD89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a48f82a53c582d3340b42b6f1c0f1f7d1cd206b","datavalue":{"value":{"entity-type":"item","numeric-id":5656860,"id":"Q5656860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1270403$5FCF36AB-3710-42D0-B938-02236DEEC636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b17758103aa461b2436eab8e8f91b1d7c84b47f","datavalue":{"value":"10.1006/JABR.1997.7415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1270403$64B1F4D7-87A8-4088-86B8-27A1430C686B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7658ffa58888830a54750ca66bd1c75b8ad55e","datavalue":{"value":{"entity-type":"item","numeric-id":3689275,"id":"Q3689275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de406db8e0c6db6261c25bd09c80773f569955fc","datavalue":{"value":{"amount":"+0.838993489742279","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":"Q1270403$CC86BD13-C688-4091-B3FE-7367458B40FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01d186631d355d374dcdf1b97528e4e3d4ad804","datavalue":{"value":{"entity-type":"item","numeric-id":4406240,"id":"Q4406240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48d619b8f6460e7860569fb0deea3ebbb978e9c","datavalue":{"value":{"amount":"+0.7796102166175842","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":"Q1270403$EF6FE39B-6F0E-4176-91A5-FB74E53E38C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cae9544793f599337e79379243b0a48494f09fd","datavalue":{"value":{"entity-type":"item","numeric-id":4032048,"id":"Q4032048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe5ff721cae448230de9c7eae24733c76d4770b","datavalue":{"value":{"amount":"+0.7679057121276855","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":"Q1270403$756D4028-CCE2-416D-A8E9-0519FFEB7E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a296a75287d66b14a3bbfc7a2006ba5c703c59","datavalue":{"value":{"entity-type":"item","numeric-id":3676244,"id":"Q3676244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805a9a444f6cf90d8494b09fc675a2c1dcb58f0f","datavalue":{"value":{"amount":"+0.7634539604187012","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":"Q1270403$5488A1CA-40B3-4BB1-9624-F3B86042837F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Discrete valuation rings and modules of differentials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Discrete_valuation_rings_and_modules_of_differentials"}}}}}