{"entities":{"Q5906583":{"pageid":8019277,"ns":120,"title":"Item:Q5906583","lastrevid":46279362,"modified":"2025-12-24T11:36:28Z","type":"item","id":"Q5906583","labels":{"en":{"language":"en","value":"Maximally differential ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 645075"}},"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":"Q5906583$491B3A20-D20C-4E50-B18E-4E51513C96A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16f15ac742f7be90fbde39cf216e1c9969751700","datavalue":{"value":{"text":"Maximally differential ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5906583$BFFF10F5-D9F6-4717-9CF2-C8FC877EB0FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2a24f3dadb9caf8e3e7aa83fd3dc68132ec9132","datavalue":{"value":"0840.13014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$E41AA994-1A97-4296-ACD9-EE7D890953D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7773bc257e4d4a235a3275acb1a4c00155c24a","datavalue":{"value":{"entity-type":"item","numeric-id":792396,"id":"Q792396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906583$B26C02BC-C273-4E24-954D-1D5552ECA6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62a4e0af7cda945099836d2de95c73c0d8f89a7a","datavalue":{"value":{"entity-type":"item","numeric-id":236955,"id":"Q236955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906583$C52B67AD-8380-41B4-8D4A-50774B785A91","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":"Q5906583$06859A43-26CD-4AE8-8AF0-156B5C98E2BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9e4c93221b65868a4d2090be3649841672715","datavalue":{"value":{"time":"+1994-09-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":"Q5906583$ACF9E7EB-9D9B-49AF-B418-B50F83C31703","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d7e10d0f5bbd3e7e22d9712484d8bed8105182f1","datavalue":{"value":"Let \\((R,M)\\) be a complete local ring containing the field of rational numbers, \\(d\\) a derivation of \\(R\\) such that \\(d(M) \\not \\subseteq M\\) and let \\(I_M (d)\\) be the biggest \\(d\\)-ideal contained in \\(M\\). Zariski has shown that:   (A) There exist a subring \\(R_0\\) and an element \\(u \\in M\\) analytically independent over \\(R_0\\) such that \\(R = R_0 [[u]]\\).   (B) The ring \\(R/I_M (d)\\) is isomorphic to the ring of formal power series \\((R/M) [[X]]\\). In particular, \\(I_M (d)\\) is a prime ideal of dimension one.   In order to generalize these results to the case of characteristic \\(p \\neq 0\\), instead of a derivation \\(d\\) one need to consider an iterative differentiation \\(D : = \\{d_i\\}_{i \\geq 0}\\). In this setting, Singh has generalized part (A) of Zariski's result. -- The authors generalize part (B), showing that \\(R/I_M (D)\\) is also isomorphic to the ring of formal power series \\((R/M) [[X]]\\). The method of proof is different from Zariski's one and uses deep results of Chevalley and Nagata on complete local rings.   In the second section of the paper, the authors consider a local ring \\((R,M)\\) with completion \\((\\widehat R, \\widehat M)\\) together with an iterative differentiation \\(D : = \\{d_i \\}_{i \\geq 0}\\) and study the filtration defined by \\(M_D^{(j)} : = \\{x \\in R \\mid d_i (x) \\in M\\) for every \\(i \\leq j - 1\\}\\). They prove that the filtration is completely determined by the ideal \\(I_{\\widehat M} (D)\\). Examples are given to show that the filtration is not determined by \\(I_M (D)\\) in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906583$A0D252CE-1B9D-4F4A-8D2F-75093C7768B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f9ef5afec6c5b57dc4f2388ca0bfb9b4eb626668","datavalue":{"value":"13N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$A9DE3AE3-25DC-4C57-9ED9-F7F4A0996101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e60bc2db4afa42b59916c01f920d658b244bf8fc","datavalue":{"value":"13J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$651ECAEA-F87D-4489-8580-1F5A717E948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$B588E359-A163-4095-AFA5-B9888742608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"948aa1fb9c132b8af64a8a1ee35d1e52801f0e0a","datavalue":{"value":"13H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$DDBF920C-B107-40AE-86EB-248B6059DA9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"587ede574b641f49d09fa8c23268c5860dd54af3","datavalue":{"value":"645075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$0A43745E-825B-47AB-ADFF-BD04C9F9704F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdc3a199fa12dce17aac66c893d916ff03de56a","datavalue":{"value":"characteristic \\(p\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906583$2ED20E35-FA83-4E5D-99B5-3E305C423D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adaa82da6875cd74c28f23046e444d7aed0d3db9","datavalue":{"value":"complete local ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906583$CB275F2B-6A4B-4209-AA50-164DD1B99B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd33e563f43dd423eca8e1cb265e1801fddbf4f","datavalue":{"value":"iterative differentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906583$01F2D091-E9F3-4526-9FD8-A11012798516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c398d92063a3260d418825ce3a656dd926f5e9f","datavalue":{"value":"ring of formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q5906583$758F347B-C720-47AF-AF68-FDFA7BCB5305","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"19bc192d38eed5f082cb6b1ecf44b756dfcb689e","datavalue":{"value":{"entity-type":"item","numeric-id":1110588,"id":"Q1110588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5906583$2FB64732-0F14-47F5-B8B8-74BD1F758B8D","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":"Q5906583$72F95094-0AE5-4437-B505-442762FD7627","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a4f570a55ff6c321c67833ab447a2c751201870","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1225","type":"string"},"datatype":"url"},"type":"statement","id":"Q5906583$20464B23-FD0E-4332-BED5-F709B14FAE9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92a2230a5c0786b4b9eedf7c3053a8300f916672","datavalue":{"value":"W2092262000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$5728212D-3692-4EC9-B7A4-5B181D2660BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fd39f6cd0356cb5ab70a4c36352508a05d28998","datavalue":{"value":"10.1006/JABR.1994.1225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5906583$3E9C1556-989D-447F-8D5A-DB125BB8128B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22be814c802f57b0c91c9f9e838517c5def6e8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5917720,"id":"Q5917720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f2c77fef2786449bb6dd39606ad0a4289d981e1","datavalue":{"value":{"amount":"+0.8194748759269714","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":"Q5906583$B5650DEA-28E8-466E-B5B6-330147AD65A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4231ac5b6a0c56665caeced75c24083492b2ba13","datavalue":{"value":{"entity-type":"item","numeric-id":2220334,"id":"Q2220334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649938edc82b456a109751a0a97edf8158c5d131","datavalue":{"value":{"amount":"+0.8082348108291626","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":"Q5906583$355C4EA7-1A89-435C-ADCC-B4C56E4879AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b64154861b2065ff3876de870dec126e5af4acf","datavalue":{"value":{"entity-type":"item","numeric-id":1074670,"id":"Q1074670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea2ca5867cb1e31c9b05832b6fdf920e02a668c8","datavalue":{"value":{"amount":"+0.7983241677284241","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":"Q5906583$C34554A2-4C97-428C-A210-14D3C6CEE156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a93c6a6d77ba5ca9e9e0f6efe40521696b484d4","datavalue":{"value":{"entity-type":"item","numeric-id":4306074,"id":"Q4306074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca20a67bab7190ea2d5324fa278a0dd49425ec0","datavalue":{"value":{"amount":"+0.7829959392547607","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":"Q5906583$B5E3B8E6-C58E-4D53-95F4-E1ACB288D8F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5906583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5906583"}}}}}