{"entities":{"Q6982192":{"pageid":21396183,"ns":120,"title":"Item:Q6982192","lastrevid":84025721,"modified":"2026-05-08T05:50:44Z","type":"item","id":"Q6982192","labels":{"en":{"language":"en","value":"A shape lemma for ideals of differential operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8042416"}},"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":"Q6982192$B79ECAAF-29FC-4A8D-9689-6DE29826157C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bac96785a086ead7f3f9a2c748ff46d3f48c6058","datavalue":{"value":{"text":"A shape lemma for ideals of differential operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6982192$25321B1A-00AE-49E7-A5BC-899852987702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ae01d72d87e278f2d33de0d4cc771060340aaef","datavalue":{"value":"1567.13026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982192$F3FD50AC-B57D-4621-9B51-00D31FE979BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb1d6338aa96a82993fd6bcc3608bc5e9bae1e43","datavalue":{"value":"10.1016/J.JALGEBRA.2025.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982192$4119F383-16C1-4E35-8008-EBBE822B7AC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e34375b1d44004fc65a252d19b9e51bf0f0a020","datavalue":{"value":{"entity-type":"item","numeric-id":392146,"id":"Q392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$C2B1429E-672E-4DB8-A48D-40F5C0750507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15182dd96e194d21d03d9594e12ea940c530eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":308965,"id":"Q308965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$A1ECB25D-9A24-4A7A-BE09-9169A622A78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c8429069b2694c4b145e7db4acb8e09d4dae744","datavalue":{"value":{"entity-type":"item","numeric-id":247237,"id":"Q247237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$90D40DBF-4D62-494E-93AA-1F5C24171863","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":"Q6982192$394DEC93-AC2A-4670-80CE-974FD49EBDF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5001d2156f45c22f1a7be6ce40efb7dc1c24421d","datavalue":{"value":{"time":"+2025-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6982192$0706976F-0F30-4B11-A070-8247CA4E882E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31ace7a8106095b8d4543670bbbe5f4461d936aa","datavalue":{"value":"Let \\(C\\) be a field of characteristic zero and \\(K=C(x, \\mathbf{y}) = C(x, y_{1},\\dots, y_{n})\\) the field of rational functions in \\(x\\) and \\(y_{1},\\dots, y_{n}\\) (the set of the last \\(n\\) indeterminates is abbreviated as \\(\\mathbf{y}\\)) treated as a differential field with partial derivations \\(D_{x}=\\partial/\\partial x\\), \\(D_{y_{i}}=\\partial/\\partial y_{i}\\) (\\(1\\leq i\\leq n\\)). Let \\(K[D_{x}, \\mathbf{D}_{y}] = K[D_{x}, D_{y_{1}},\\dots, D_{y_{n}}]\\) denote the ring of linear differential operators with rational function coefficients, \\(K[D_{x}, \\mathbf{D}_{y}] = \\{\\sum_{i, j_{1},\\dots,j_{n}=0}^{d}a_{i, j_{1},\\dots,j_{n}}(x,\\mathbf{y})D_{x}^{i}D_{y_{1}}^{j_{1}}\\dots D_{y_{n}}^{j_{n}}\\,|\\,d\\in\\mathbb{N}, a_{i, j_{1},\\dots,j_{n}}\\in K\\}\\) (in this ring \\(D_{x}\\cdot x = x\\cdot D_{x} + 1\\) and \\(D_{y_{i}}\\cdot y_{i} = y_{i}\\cdot D_{y_{i}} + 1\\) for \\(i=1,\\dots, n\\)). If \\(I\\) is an ideal of dimension zero in \\(K[D_{x}, \\mathbf{D}_{y}]\\) such that \\(r = \\dim_{K}K[D_{x}, \\mathbf{D}_{y}]/I\\) is finite, then \\(I\\) is said to be in \\textit{normal position} (w.r.t. \\(D_{x}\\)) if for every choice of \\(C\\)-linearly independent solutions \\(f_{1},\\dots, f_{r}\\) (elements of the solution space of \\(I\\)), \\(\\mathrm{Wr}_{x}(f_{1},\\dots, f_{r})\\neq 0\\). (\\(\\mathrm{Wr}_{x}(f_{1},\\dots, f_{r})\\) denotes the Wronskian of \\(f_{1},\\dots, f_{r}\\) w.r.t. \\(x\\).)\\N\\NThe main result of the paper under review is the following generalization of the shape lemma for zero-dimensional polynomial ideals (see Theorem 3.7.25 in [\\textit{M. Kreuzer} and \\textit{L. Robbiano}, Computational commutative algebra. I. Berlin: Springer (2000; Zbl 0956.13008)]). Let \\(I\\subseteq K[D_{x}, \\mathbf{D}_{y}]\\) be an ideal of dimension zero. Let \\(P\\) be a generator of \\(I\\bigcap K[D_{x}]\\). Then the following conditions are equivalent: (1) I is in normal position w.r.t. \\(D_{x}\\); (2) \\(\\mathrm{ord}(P) = \\dim_{K}K[D_{x}, \\mathbf{D}_{y}]/I\\); (3) \\(K[D_{x}]/\\langle P\\rangle\\) and \\(K[D_{x}, \\mathbf{D}_{y}]/I\\) are isomorphic as \\(K[D_{x}]\\)-modules; (4) There are \\(Q_{1},\\dots, Q_{n}\\in K[D_{x}]\\) with \\(\\mathrm{ord}(Q_{i}) <\\mathrm{ord}(P)\\) (\\(1\\leq i\\leq n\\)) such that \\(\\{D_{y_{1}} - Q_{1},\\dots, D_{y_{n}} - Q_{n}, P\\}\\) is a basis of \\(I\\). \\, Another serious result obtained in the paper concerns \\(D\\)-radical ideals in \\(K[D_{x}, \\mathbf{D}_{y}]\\). (A zero-dimensional ideal \\(I\\subseteq K[D_{x}, \\mathbf{D}_{y}]\\) is called \\textit{\\(D\\)-radical} if its solution space \\(V(I)\\) is linearly disjoint (over \\(C\\)) with \\(K\\), that is, any \\(C\\)-basis of \\(V(I)\\) is \\(K\\)-linearly independent). The authors prove that if \\(I\\subseteq K[D_{x}, \\mathbf{D}_{y}]\\) is a zero-dimensional \\(D\\)-radical ideal, then there exist constants \\(c_{1},\\dots, c_{n}\\in C\\) such that the ideal \\(J\\) obtained from \\(I\\) by applying the linear change of variables \\(\\mathbf{y} \\leftarrow \\mathbf{y} +\\mathbf{c}x\\) (where \\(\\mathbf{c} = (c_{1},\\dots, c_{n})\\)) is in normal position w.r.t. \\(D_{x}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982192$716E41E8-7385-408E-9A5B-28FE022DF8F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"100aaa2fd0f9708702c5bfbb00416f92df66e458","datavalue":{"value":{"entity-type":"item","numeric-id":233260,"id":"Q233260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$E986D60D-0020-40DA-B51B-2AC9E10DD650","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982192$A83B99D6-825E-47E7-8E54-75D99F7D8370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982192$FA0736F3-FF99-4F96-B993-36E8BC0F3AC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5407d4c996483db1f710eb0667a1fc4356122d6","datavalue":{"value":"8042416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6982192$74DAE56F-6D77-42B6-A181-947B2C5C7678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982192$FD8B813A-DCC7-41D9-9F00-F5DD9731FFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ac62346ae1e1fa8b4f2d6d5a9d6627e91967620","datavalue":{"value":"Ore algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982192$99AF1692-05AB-432D-B127-594667BE8B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f5d66b8c02c63ad076c96253138c129fea24f1","datavalue":{"value":"D-finite functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6982192$AFC92407-6023-4E4A-ADDB-0CB1526E6674","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":"Q6982192$87EB843F-03C2-4498-A1F9-963F13A8CF62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$DA4A55B1-F7B0-4E42-8487-68C9766FD254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe1fb7bc80afa9be89c6ff759dc875109f2e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":1509592,"id":"Q1509592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$1D08E843-FB58-4B87-88BE-E5B427C5C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$B7336922-8934-40CC-A808-C9CEA6213734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f839d93552f6aa0cfa358b73664ce02b5dfee1d6","datavalue":{"value":{"entity-type":"item","numeric-id":2000276,"id":"Q2000276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$D8506C30-9398-4EF3-A8DA-91F6E344BAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$B8D49492-BAA0-42C4-8D07-552EC4B56DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"256ba42ec934067ca6b3b59f0277c4be621b1d39","datavalue":{"value":{"entity-type":"item","numeric-id":4672512,"id":"Q4672512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$123E6D40-7523-42D7-92D9-6CA86CF311C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"560ef6361c899dfff47cfc477dc149ee19c2b0be","datavalue":{"value":{"entity-type":"item","numeric-id":3033872,"id":"Q3033872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$9F377511-38AB-4A3A-81AE-D3D4ED6533C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2458f50d3afdcdfd8f7203e2c6188957a19408","datavalue":{"value":{"entity-type":"item","numeric-id":6055594,"id":"Q6055594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$5935AAD5-E472-41D9-B98C-84BBDF8E1EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20058ce72ddad0d9fb908dd806430ecde949839c","datavalue":{"value":{"entity-type":"item","numeric-id":5244921,"id":"Q5244921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$4AB2AC5E-57A3-4F31-9186-83787147965E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eeaa7dfd1d5aa46fe4ef30cb5d8e2f1a04648ae","datavalue":{"value":{"entity-type":"item","numeric-id":4507801,"id":"Q4507801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$C495E79A-1600-4EE3-9C3B-81EBF027551D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdaf33460fc6366a23271d9367bfad822953a0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4790565,"id":"Q4790565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$F1EFB008-DCA7-4286-813B-108FBCB516C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308ca7e27e9265917f99011a3430b23c9ab063af","datavalue":{"value":{"entity-type":"item","numeric-id":1173698,"id":"Q1173698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$6D9C22FF-7E7A-4F17-ABA4-C076C2E35C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce15a5923a5f5ce099b52f8f5d9db30864cbbae2","datavalue":{"value":{"entity-type":"item","numeric-id":1176785,"id":"Q1176785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6982192$80ECCDF2-017D-4505-8988-AE07A6B2CD85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shape lemma for ideals of differential operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_shape_lemma_for_ideals_of_differential_operators"}}}}}