{"entities":{"Q2579756":{"pageid":2590499,"ns":120,"title":"Item:Q2579756","lastrevid":44401638,"modified":"2025-11-22T16:55:19Z","type":"item","id":"Q2579756","labels":{"en":{"language":"en","value":"On the exponents of differential ideals."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502273"}},"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":"Q2579756$8A23682A-8568-4DD5-9CB3-515205946779","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"592a7acb4b1a17e63dede5b7609e45d9e2675243","datavalue":{"value":{"text":"On the exponents of differential ideals.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579756$8FDE80C7-EDBD-4A45-A977-9DAD148E6A4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62990d237376f71bc297ee05eb5864ec2e1908b4","datavalue":{"value":"67.0090.05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579756$CC160CD8-2311-4D3F-94EB-96F233CB36C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44e03704c5c38f0556e6e02fca74c20c0c4d1129","datavalue":{"value":"10.2307/1969260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579756$2811578D-0DC6-4F89-B385-83C7E6A45356","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579756$9235B65B-A21B-40E5-B518-3F95DF76717E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4a7e675c2dec11049f636d98b38ed898375cacb","datavalue":{"value":{"time":"+1941-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2579756$F2D7EB4D-A4D2-4262-BAEB-53D7B24779E7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8bcdd9bc5b9b226eae7225494b348e39f31915e2","datavalue":{"value":"Verf. kn\u00fcpft an die Begriffsbildungen von \\textit{Raudenbush} an (Trans. Amer. math. Soc. 36 (1934), 361-368; F.~d.~M. 60\\(_{\\text{I}}\\), 100) und definiert als Exponent \\(p\\) eines Differentialideals \\(\\sigma\\) die kleinste aller Zahlen \\(q\\), f\u00fcr welche die \\(q\\)-te Potenz des zu \\(\\sigma\\) geh\u00f6rigen perfekten Ideals \\(\\{\\sigma\\}\\) in \\(\\sigma\\) enthalten ist. Im Gegensatz zu gew\u00f6hnlichen Polynomidealen kann es aber auch sein, da\u00df es keine solche Zahl \\(q\\) gibt; dann wird \\(p = \\infty\\) gesetzt. Bei Erweiterung des Koeffizientenk\u00f6rpers bleibt \\(p\\) invariant. Verf. bem\u00fcht sich mm speziell um die Bestimmung des Exponenten eines Ideals \\([A]\\), wobei \\(A\\) eine Differentialform erster Ordnung mit nur einer Unbekannten \\(y\\) ist. Hat \\(A\\) einen quadratischen Teiler, so ist der Exponent von \\([A]\\) gleich \\(\\infty\\). Hat \\(A\\) keinen quadratischen Teiler, so kommt es auf die singul\u00e4ren L\u00f6sungen und ihre Vielfachheit an. Singular hei\u00dft eine L\u00f6sung \\(\\eta\\) von \\(A\\), wenn sie auch den Separanten \\(S\\) zu 0 macht \\(\\Biggl (\\) \\(S=\\dfrac{\\partial A}{\\partial y_1}\\) wobei der Index 1 die Ableitung nach der unabh\u00e4ngigen Variablen \\(x\\) andeutet. \\(\\Biggr )\\) Stellt man dann \\(A\\) als Polynom von \\(z=y-\\eta\\) und der Ableitung \\(z_1=y_1-\\eta_1\\) dar:  \\[  A=\\sum P_{\\nu \\mu}(x) \\,z^{\\nu} \\,z_1^{\\mu}, \\quad P_{00}(x)=0, \\; P_{01}(x)=0,  \\]  so wird als Vielfachheit von \\(\\eta\\) die kleinste der Zahlen \\(\\nu+\\mu\\) bezeichnet, f\u00fcr die \\(P_{\\nu \\mu}(x) \\neq 0\\) ist. Hat \\(A\\) eine singul\u00e4re L\u00f6sung, deren Vielfachheit gr\u00f6\u00dfer als 1 ist, so wird gezeigt, da\u00df der Exponent von \\([A]\\) gleich \\(\\infty\\) ist. Hat \\(A\\) nur singul\u00e4re L\u00f6sungen der Vielfachheit 1, so ist in der obigen Darstellung \\(P_{10}(x) \\neq 0\\). Die L\u00f6sung hei\u00dft erster oder zweiter Klasse, je nachdem \\(P_{02}(x) = 0\\) oder \\(P_{02}(x) \\neq 0\\) ist. Dann wird bewiesen, da\u00df beim ``regul\u00e4ren Typus'', der dann vorliegt, wenn ein mit \\(A\\) in gewisser hier nicht n\u00e4her zu beschreibender Weise verkn\u00fcpftes Ideal die Zahl 1 enth\u00e4lt, der Exponent von \\([A]\\) gleich 1 oder 2 ist, je nachdem alle singul\u00e4ren L\u00f6sungen von erster Klasse sind oder nicht. Sind gar keine singul\u00e4ren L\u00f6sungen vorhanden, so ist notwendig  \\[  1 \\equiv 0(A, \\,A_1, \\ldots \\!, A_m, \\,S, \\,S_1, \\ldots \\!, S_n)  \\]  f\u00fcr gewisse \\(m\\), \\(n\\) (die Indizes bedeuten totale Ableitung der betreffenden Ordnung nach \\(x\\)). Im allgemeinen besteht eine solche Kongruenz schon mit \\(n = 0\\); Verf. beschr\u00e4nkt sich auf diesen Fall und beweist, da\u00df dann \\([A]\\) den Exponenten 1 hat. Der Rest der Arbeit besch\u00e4ftigt sich mit Ketten von Idealen:  \\[  \\sigma_0 \\subset \\sigma_1 \\subset \\cdots \\subset \\sigma_{n-1} \\subset \\{\\sigma_0\\}  \\]  und gibt eine obere Schranke f\u00fcr den Exponenten von \\(\\sigma_0\\). Mehrere Beispiele illustrieren die S\u00e4tze.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579756$D2918902-9CAA-45D0-9D0E-263BA4574BFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fca769676852e1755d0af59b22a5b1073f59d41","datavalue":{"value":"2502273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579756$2FBA107E-87B1-4373-A0A5-5D1AF7BC523E","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":"Q2579756$12F4F5DD-F1B6-4C0E-A68E-33CBDBC573D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee3de14fcd550325223b2b56ba91ec8959c12cd5","datavalue":{"value":"https://doi.org/10.2307/1969260","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579756$55173152-4F61-4C5B-A13F-5775BFD8EA5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a20d0ec61a3bf13b8eaed61009d8de5cd26094e","datavalue":{"value":"W2327502033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579756$7DDCD50B-5559-4446-9883-E53215D1E900","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8f3d1e60652f81253300b0e7bfec20a7d46e149","datavalue":{"value":"Q114238280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579756$BAEBF2E5-03CB-4010-A2A9-2330F60A8AD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"353ead8cc093d56ef31a2369ff8d600fcdd52b84","datavalue":{"value":{"entity-type":"item","numeric-id":6481734,"id":"Q6481734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579756$ED88C172-D0A8-4500-A418-142C7702DCBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579756"}}}}}