{"entities":{"Q932298":{"pageid":934146,"ns":120,"title":"Item:Q932298","lastrevid":65502603,"modified":"2026-04-12T03:02:55Z","type":"item","id":"Q932298","labels":{"en":{"language":"en","value":"An algorithm for computing the kernel of a locally finite iterative higher derivation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299444"}},"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":"Q932298$2C5D5DC2-F52C-4811-BEB4-E68896C7478E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71d18ea047c2a644e19c8d3a5f8920e430746b41","datavalue":{"value":{"text":"An algorithm for computing the kernel of a locally finite iterative higher derivation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q932298$4DB8A78C-23E6-4143-93B1-9BB0A008A22F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28530b00a264121d33551ba203425bb0ac4530b6","datavalue":{"value":"1157.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932298$F84A8D5E-0A5D-47AF-B636-3E6CBEABB53C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce773bd45ad703236383c4ab3c195215762d5b91","datavalue":{"value":{"entity-type":"item","numeric-id":855968,"id":"Q855968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$6A10FA8D-E504-4672-8147-66FC446BE465","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":"Q932298$53AFAA3D-E111-4473-929D-73069A5FE4BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b588045ffddb7ab41c71713eb6e9655fe759644","datavalue":{"value":{"time":"+2008-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q932298$3E0BBF99-17C8-41D5-A586-48BAA0ECBDA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bfb775e66fe43ec74fe020755b7abea46cf2f04","datavalue":{"value":"Let \\(R\\) be a principal ideal domain (abbreviated as PID) and \\(A\\) an \\(R\\)-algebra finitely generated. Let \\(D=\\{D_n\\}_{n\\geq 0}\\) be a locally finite iterative higher derivation (abbreviated as lfihd) of \\(A\\) and \\(A^D=\\{a\\in A : D_n(a)=0\\) for all \\(n\\geq 1\\}\\) the kernel of \\(D\\). Tanimoto gives an algorithm for computing \\(A^D\\). \\textit{A. van den Essen} [Polynomial Automorphisms and the Jacobian Conjecture. Progress in Mathematics (Boston, Mass.). 190. (Basel): Birkh\u00e4user. (2000; Zbl 0962.14037)] solved the problem to determine the kernel \\(A^D\\) of \\(D\\), when \\(R\\) is a field of characteristic \\(0\\), \\textit{S.-I. Okuda} in [Hiroshima Math. J. 34, No. 1, 1--19 (2004; Zbl 1057.13016)] solved the analogue problem when \\(R\\) is a field of positive characteristic and there exists an element \\(s\\in A\\) such that \\(D_1(s)=1\\) and \\textit{C. Sancho de Salas} [Proc. Lond. Math. Soc. (3) 81 (2), 387--404 (2000; Zbl 1024.14021)] solved it when \\(R\\) is an algebraically closed field of arbitrary characteristic. Tanimoto in the present paper describes the Diximier operator over a commutative ring, gives an algorithm for computing a local slice of a given non-trivial lfihd and following the technique of Van den Essen gives an algorithm for computing the kernel of a lfihd of a finitely generated \\(R\\)-domain, where \\(R\\) is a PID. As an application the author studies the kernel of a linear lfihd of the polynomial ring in three variables over an algebraically closed field of positive characteristic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q932298$190D1007-DF30-4450-A6FC-1EB39DF60DA8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"950e0d8f6adaf61c39cece7b162a00a2bfa52659","datavalue":{"value":{"entity-type":"item","numeric-id":705808,"id":"Q705808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$7F17DA9F-E777-45A6-950A-FE43AB547C5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932298$CB939490-6EFD-489D-A7B4-DE36FD8153F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c635c2c6434a00b8195e1d45192cc46e8e4949b3","datavalue":{"value":"13N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932298$28E82569-6BA0-4FAC-87EC-8559AA7F7ADD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe0d8629ce822eafe29d89259444dc5b894816c","datavalue":{"value":"5299444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932298$7F202977-B4A7-4AFC-AAB3-3E4CE892F83C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adb683cf0242ec4de6075b159e4eda87fcc8d67d","datavalue":{"value":"derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q932298$F363B2F2-84C2-4E9A-B6FA-A5F63956E706","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":"Q932298$58774054-FD98-4FFC-953E-2F870CEC6114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d602587270944b060d8729443d521e4dbfb392e0","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2008.03.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q932298$3F8B6257-4E24-4366-97E4-0CAE5E139341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b03b76e903107325d8d293f99e7081895f84cdb","datavalue":{"value":"W2043375403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932298$A1F60C82-CF1E-433E-981B-8E106B87F4AB","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":"Q932298$526AEFB9-5512-491A-BB88-7C55E5F9136F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc740d44f5046380a222caffedb134da05cfd93","datavalue":{"value":{"entity-type":"item","numeric-id":1581472,"id":"Q1581472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$6AEA69C3-2E5B-4A1A-88E8-9EBC971B5BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c552a89d609f6f538d04e78f7736fabde77063a2","datavalue":{"value":{"entity-type":"item","numeric-id":5639812,"id":"Q5639812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$E1178927-9E98-4F5B-9CDB-204A855FB024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5f754e2de43e428fa7280b4df10acd47876467","datavalue":{"value":{"entity-type":"item","numeric-id":1135325,"id":"Q1135325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$8230F6F1-59A2-4EEE-AF56-50372E80BE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bff2983dcfa226337623342fd45792e260c37dc","datavalue":{"value":{"entity-type":"item","numeric-id":3855379,"id":"Q3855379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$C0BA9CF9-739A-4A48-B304-B5D4F09C2E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412ea52209ea4a91fb7d50b385bcb9118df7f91d","datavalue":{"value":{"entity-type":"item","numeric-id":1150658,"id":"Q1150658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$1AE1109D-1E2C-4F4B-BB3A-7A21CC5EE714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5341874422e0374d8a3016ea72e44c47b6702696","datavalue":{"value":{"entity-type":"item","numeric-id":1885290,"id":"Q1885290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$4E732DBC-8724-4465-96F4-255FCB12BF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da0817f771a94ea2b8f163cf21924b3ca1b88da","datavalue":{"value":{"entity-type":"item","numeric-id":2766370,"id":"Q2766370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$231415C8-F699-4AAF-85E6-8DF32CCA754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"221ea2abedc8b04a0079873683800af7aac0868d","datavalue":{"value":{"entity-type":"item","numeric-id":855969,"id":"Q855969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932298$056AB6FC-2F84-480A-AAA9-70D278F037A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8af6c40ba60c46eb697d187815b0e36c9853cc8","datavalue":{"value":"10.1016/J.JPAA.2008.03.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932298$8AE788CF-234A-451A-850F-9C5AA8E6EEBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262f815ee11f44cdf3787ffb0b85bb2a35ff1c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3068437,"id":"Q3068437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6b510b21ec6f1261b75bc902a6ff9a4c1edac1","datavalue":{"value":{"amount":"+0.8812623023986816","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":"Q932298$7E7B3527-08D9-4F63-A32A-D7E8E613FFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a159c2b7d81fbece9d1ccb4c6677e8724f82c33f","datavalue":{"value":{"entity-type":"item","numeric-id":1885290,"id":"Q1885290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584126fc5673be90f4a805c23e0af8ee4c771696","datavalue":{"value":{"amount":"+0.8245779275894165","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":"Q932298$D56F475A-E924-4B2B-B520-00EEC7F7FAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a405589f2e720d46d9609dc30a8d4a8007e99957","datavalue":{"value":{"entity-type":"item","numeric-id":5890234,"id":"Q5890234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d024b4a10539146ff3e833e8735cbc0377fc8f","datavalue":{"value":{"amount":"+0.8107911944389343","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":"Q932298$AA536047-9D7B-4814-BA5A-44172328B106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b74c2e13669eb6eafa650bed973e73fda6aa6ab7","datavalue":{"value":{"entity-type":"item","numeric-id":635466,"id":"Q635466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d024b4a10539146ff3e833e8735cbc0377fc8f","datavalue":{"value":{"amount":"+0.8107911944389343","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":"Q932298$9513E2B7-E612-45AC-B887-F7B28684A271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd11b229ab45b2df333db7e7a44db1b9a3d69700","datavalue":{"value":{"entity-type":"item","numeric-id":5915422,"id":"Q5915422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0b7ff0f82a688f2519c521f73ba7e125bf69f3","datavalue":{"value":{"amount":"+0.7971749901771545","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":"Q932298$7A41AC25-5CBA-44EF-A68F-5C1274AE6961","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for computing the kernel of a locally finite iterative higher derivation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_computing_the_kernel_of_a_locally_finite_iterative_higher_derivation"}}}}}