{"entities":{"Q2597488":{"pageid":2608231,"ns":120,"title":"Item:Q2597488","lastrevid":44445084,"modified":"2025-11-22T23:47:37Z","type":"item","id":"Q2597488","labels":{"en":{"language":"en","value":"\u00dcber eine neue idealtheoretische Grundlegung der algebraischen Geometrie."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2516649"}},"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":"Q2597488$A28CC0DF-D700-4602-B864-917CF378C9EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f38d415cfc56be57884fbdc5e97fb2c5962445d1","datavalue":{"value":{"text":"\u00dcber eine neue idealtheoretische Grundlegung der algebraischen Geometrie.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2597488$BCFED7A3-1AE6-4DF7-A2C4-682FC6827B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c456551ac432fe358fc21f050ea8410e00a065b","datavalue":{"value":"64.0653.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2597488$6905A4D1-B7EE-40A7-88C4-40E1FE9DDE1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"627a3e478017041c2dee3dd03388f33691404d93","datavalue":{"value":"10.1007/BF01448946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2597488$3621D425-D878-4A20-B169-D4F910F224EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"637b76cf28bf216e62a0e6a707981897d4598ed7","datavalue":{"value":{"entity-type":"item","numeric-id":770936,"id":"Q770936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2597488$50561C60-B0B7-404B-9CB2-02E552501191","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2597488$70861D2A-CB67-47BA-BF5E-DBAC7F8AAC00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2597488$E6C120C4-7FC2-4CC3-959C-92555E613945","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36572af705841916b987041b25e8eacca460a701","datavalue":{"value":"https://eudml.org/doc/159969","type":"string"},"datatype":"url"},"type":"statement","id":"Q2597488$D298B542-5E2A-46D0-885D-0B0FA85F1B87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3976ed3a18930ee9df18f96bb6338ac4f141e5ce","datavalue":{"value":"Bei Zugrundelegung eines festen K\u00f6rpers \\(K\\) werden zun\u00e4chst im Polynomring \\(\\mathfrak P_n = K[x_1,\\dots, x_n]\\) der \\(n\\) Ver\u00e4nderlichen \\(x_i\\) die homogenen Polynombereiche \\(\\mathfrak H_n = K[x_1,\\dots, x_n]_H\\) und in diesen homogene Ideale \\(\\mathfrak a\\) definiert. Die Unbestimmten \\(x_{i_1}\\),\\dots, \\(x_{i_d}\\) hei\u00dfen unabh\u00e4ngig in bezug auf \\(\\mathfrak a\\), wenn \\(\\mathfrak a\\) keine Form enth\u00e4lt, die von diesen Unbestimmten allein abh\u00e4ngt. Das Maximum von \\(d\\) gibt die ``Dimension'' \\(d - 1\\) und den ``Rang'' \\(n - d\\) des homogenen Ideals \\(\\mathfrak a\\).  Mit Hilfe dieser Begriffe wird dann f\u00fcr Primideale \\(\\mathfrak p\\) vom Range \\(r\\) eine im wesent\\-lichen eindeutig festlegbare Basis, die sog. ``Primbasis'' \\(\\pi_1\\),\\dots, \\(\\pi_r\\) definiert und gezeigt, da\u00df zu jedem Primideal  \\[  \\mathfrak p=(\\varphi_1,\\dots,\\varphi_s)  \\]  vom Range \\(r\\) ein System von \\(d = n - r\\) linearen, homogenen Differentialkongruenzen geh\u00f6rt:  \\[  \\varPsi_jf=\\psi_{j1}\\dfrac{\\partial f}{\\partial x_1}+ \\psi_{j2}\\dfrac{\\partial f}{\\partial x_2}+\\cdots+ \\psi_{jn}\\dfrac{\\partial f}{\\partial x_n}\\equiv0\\;(\\text{mod}\\,\\mathfrak p). \\quad (j = 1, 2,\\dots, d). \\tag{1}  \\]  Die \\(\\psi_{ji}\\) ergeben sich aus den \\(d\\) unabh\u00e4ngigen L\u00f6sungssystemen von  \\[  {\\sum\\limits_{k=1}^{n}}\\psi_{jk} \\dfrac{\\partial \\varphi_i}{\\partial x_k}\\equiv0\\;(\\text{mod}\\,\\mathfrak p).  \\]   Nach einigen allgemeinen Betrachtungen \u00fcber solche Differentialkongruenzen (1) wird das Studium der Idealtransformation  \\[  \\mathfrak a=\\mathfrak a_x\\to\\mathfrak a_y  \\]  in Angriff genommen, wobei die \\(m\\leqq n\\) neuen Ver\u00e4nderlichen \\(y_i\\) durch \\(m\\) Formen \\(\\varphi_i\\) gleichen Grades in den \\(x_k\\) definiert sind:  \\[  y_1=\\varphi_1(x),\\dots,y_m=\\varphi_m(x), \\tag{2}  \\]  und \\(\\mathfrak a_y\\) das homogene Ideal aller Formen \\(f(y)\\) bedeutet, f\u00fcr die  \\[  f \\big(\\varphi (x)\\big)\\equiv0\\;(\\text{mod}\\,\\mathfrak a)  \\]  ist. Mit \\(\\mathfrak a_x\\) ist auch \\(\\mathfrak a_y\\) Primideal.  Als Hauptsatz der Transformationstheorie wird dann bewiesen: Ist  \\[  \\mathfrak p_x=(p_1,\\dots,p_s)  \\]  ein Primideal vom Range \\(r\\), \\(\\mathfrak p_y\\) das nach (2) transformierte Primideal vom Range \\(\\varrho\\) und bedeutet \\(\\sigma\\) den Rang (\\(\\text{mod}\\, \\mathfrak p\\)) der Matrix  \\[  \\left({{\\dfrac{\\partial p_l}{\\partial x_k}}\\atop{\\dfrac{\\partial \\varphi_i} {\\partial x_k}}}\\right) \\qquad\\begin{aligned} (l&=1,2,\\dots,s)\\\\ (i&=1,2,\\dots,m)\\\\ (k&=1,2,\\dots,n) \\end{aligned},  \\]  so gilt  \\[  \\varrho+\\sigma=m+r.  \\]   Beim Beweise wird von den obengenannten Differentialkongruenzen Gebrauch gemacht.  Im letzten Paragraphen werden noch birationale, und im besonderen Cremona\\-transformationen (\\(m = n\\)) behandelt. Hier wird der Satz bewiesen, da\u00df f\u00fcr die Grad\\-zahlen \\(\\mu\\), und \\(\\nu\\) einer solchen Transformation die Ungleichungen  \\[  \\mu\\leqq\\nu^{n-2}, \\nu\\leqq\\mu^{n-2}  \\]  gelten. (V 5 C.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2597488$34675A6B-59E1-4675-998B-1C11081FADF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64810028a63e2ab9a60abf7dee30331c422e2f72","datavalue":{"value":"2516649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2597488$02B5FDD5-0FB6-4FB0-BDE2-BE27518D41AD","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":"Q2597488$F7DEA0BE-E835-44B3-8DD4-50E38755EDE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2597488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2597488"}}}}}