{"entities":{"Q2579794":{"pageid":2590537,"ns":120,"title":"Item:Q2579794","lastrevid":44401728,"modified":"2025-11-22T16:56:05Z","type":"item","id":"Q2579794","labels":{"en":{"language":"en","value":"Zur Theorie der hermitischen Formen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2502303"}},"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":"Q2579794$27B21C8B-7E96-45C9-8310-FBA61A4FF926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc99e7ddb0e290309ee15fc54f4c8989fbd47fac","datavalue":{"value":{"text":"Zur Theorie der hermitischen Formen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2579794$0DD513B0-073A-4D82-8961-4A05A2BEB29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23edf7c0d94f82f6631b289b9d61c36505b74eb6","datavalue":{"value":"67.0101.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579794$CE37B506-D03D-4FBC-9FE1-4FA8805C1B4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6da94a0af5b29029350eaa85aef06618546b5bc0","datavalue":{"value":"10.1007/BF02940742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579794$CEA0B91D-249F-4FEC-BB48-4B49650F408B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579794$08DA8E44-25D7-4C0D-82CA-02B92173317A","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":"Q2579794$58EE2446-E937-4D87-A787-25714A3C42B5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"63613ddcf2d93b2aa67472de3b6c59c2c5984be1","datavalue":{"value":"Ist \\(\\mathfrak x\\) eine Spaltenmatrix mit \\(n\\) ver\u00e4nderlichen Elementen, \\(\\mathfrak H\\) eine quadratische Matrix mit ganzen Elementen aus einem beliebigen quadratischen Zahlk\u00f6rper \\(K\\) (Diskriminante \\(m\\)), die mit der bzgl. \\(K\\) konjugierten transponierten Matrix \\(\\bar{\\mathfrak H}^\\prime\\) \u00fcbereinstimmt, so hei\u00dfe die Form \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) eine Hermitesche Form aus \\(K\\) in \\(n\\) Ver\u00e4nderlichen. Realisierungen von \\({\\mathfrak x}\\) in \\(K\\) liefern stets einen rationalen Wert. Ist dieser Wert f\u00fcr eine feste Matrix \\(\\mathfrak H\\) positiv, so hei\u00dfe \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) positiv.  Analog der Theorie von \\textit{C. L. Siegel} \u00fcber quadratische Formen in \\(n\\) Variablen (Ann. Math., Princeton, (2) 36 (1935), 527-606; F. d. M. \\(61_{\\text{I}}\\), 140) wird hier eine analytische Theorie der Hermiteschen Formen in \\(n\\) Variablen geliefert.  Bei Anwendung einer ganzzahlig-linearen Transformation \\({\\mathfrak C}^{-1} \\mathfrak x = \\mathfrak y\\) erh\u00e4lt man aus \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) die Form \\(\\bar{\\mathfrak y}^\\prime \\mathfrak K \\mathfrak y\\) mit \\(\\mathfrak K = \\bar{\\mathfrak C}^\\prime \\mathfrak H \\mathfrak C\\). Gefragt wird daher nach den ganzen rechteckigen Matrizen \\(\\mathfrak C\\), die bei gegebenen Formen \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) und \\(\\bar{\\mathfrak y}^\\prime \\mathfrak K \\mathfrak y\\) die Gleichung \\(\\bar{\\mathfrak C}^\\prime \\mathfrak H \\mathfrak C = \\mathfrak K\\) erf\u00fcllen. Zwei Formen \\(\\bar{\\mathfrak x}_1^\\prime \\mathfrak H_1 \\mathfrak x\\) und \\(\\bar{\\mathfrak x}_2^\\prime \\mathfrak H_2 \\mathfrak x_2\\) hei\u00dfen \u00e4quivalent (geh\u00f6ren zur gleichen Klasse), wenn zwei ganze Matrizen \\(\\mathfrak B\\) und \\(\\mathfrak C\\) mit \\(\\bar{\\mathfrak C}^\\prime \\mathfrak H_1 \\mathfrak C = \\mathfrak H_2\\), \\(\\bar{\\mathfrak B}^\\prime \\mathfrak H_2 \\mathfrak B = \\mathfrak H_1\\) existieren; entsprechend wird die \u00c4quivalenz mod \\(q\\) (nat\u00fcrliche Zahl) erkl\u00e4rt. Sind zwei Formen nach jedem nat\u00fcrlichen Modul \u00e4quivalent, und besitzen die zugeh\u00f6rigen Matrizen gleichen Rang und gleichen Index, so geh\u00f6ren sie demselben Geschlecht an. Der Index ist dabei die Anzahl der Diagonalelemente \\(-1\\) nach komplexer Transformation der Matrix auf Diagonalgestalt mit den Diagonalelementen \\(\\pm1\\) oder 0.  Besitzen zwei Matrizen von gleichem Index und gleichem Rang \\(r\\) die gleiche Diskriminante \\(d\\) (gr\u00f6\u00dften gemeinsamen Idealteiler aller \\(r\\)-reihigen Unterdeterminanten), so gen\u00fcgt es, allein die \u00c4quivalenz mod \\(4 | m | d^3\\) zu pr\u00fcfen, um zu entscheiden, ob die beiden zugeh\u00f6rigen Formen zum gleichen Geschlecht geh\u00f6ren (Hilfssatz 16). Sind \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) und \\(\\bar{\\mathfrak y}^\\prime \\mathfrak H \\mathfrak y\\) positiv, und ist \\(|\\mathfrak H |\\cdot | \\mathfrak K| \\not = 0\\), so ist die Anzahl \\(A(\\mathfrak H, \\mathfrak K)\\) der ganzen \\(\\mathfrak C\\) aus \\(K\\) mit \\(\\bar{\\mathfrak C}^\\prime \\mathfrak H \\mathfrak C =\\mathfrak K\\) endlich. Da sie trivialerweise null ist, wenn der Rang \\(s\\) von \\(\\mathfrak K\\) gr\u00f6\u00dfer als der Rang \\(r\\) von \\(\\mathfrak H\\) ist, sei \\(r \\geqq s\\). \\(A(\\mathfrak H, \\mathfrak K)\\) ist eine Klasseninvariante, und man kann, wenn jedes Ideal in \\(K\\) Hauptideal ist, in jeder Klasse eine Form mit nicht verschwindender Determinante ausw\u00e4hlen. Da nun gezeigt wird, da\u00df die Anzahl der Klassen bei festem Rang und fester Diskriminante endlich ist, kann man im Geschlecht von \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) die Klassenrepr\u00e4sentanten \\(\\bar{\\mathfrak x}^\\prime_\\nu \\mathfrak H_\\nu \\mathfrak x_\\nu\\) (\\(\\nu = 1, \\dots, g\\)) ausw\u00e4hlen. \\(\\sum\\limits_{\\nu = 1}^q (A(\\mathfrak H, \\mathfrak K))^{-1} = M (\\mathfrak H)\\) wird als Ma\u00df des Geschlechtes bezeichnet, und der Ausdruck \\(\\sum\\limits_{\\nu = 1}^q A(\\mathfrak H, \\mathfrak K) (A(\\mathfrak H, \\mathfrak K))^{-1} = M(\\mathfrak H, \\mathfrak K)\\) ritt in einem dem Siegeischen Hauptsatz entsprechenden Satz auf:  \\[  M(\\mathfrak H, \\mathfrak K) \\cdot \\left(M(\\mathfrak H)\\right)^{-1}  \\]   \\[  = (1 \\frac 12 \\delta_{rs})|\\mathfrak H|^{-s} |\\mathfrak K|^{r-s} \\prod_{j=r-s+1}^r (2\\pi)^j \\left( (j-1)!\\right)^{-1} |m|^{-\\tfrac j2} \\lim_{q \\to \\infty} q^{s(s-2r)}A_q (\\mathfrak H, \\mathfrak K).  \\]  \\(A_q (\\mathfrak H, \\mathfrak K)\\) ist die Anzahl der Kongruenzl\u00f6sungen. Geh\u00f6ren \\(\\bar{\\mathfrak x}^\\prime \\mathfrak H \\mathfrak x\\) und \\(\\bar{\\mathfrak y}^\\prime \\mathfrak K \\mathfrak y\\) zur gleichen Klasse, so erh\u00e4lt man insbesondere die Ma\u00dfformel  \\[  \\left(M(\\mathfrak H)\\right)^{-1} = \\frac 12 |\\mathfrak H|^{-r} \\prod_{j=1}^r (2\\pi)^j \\left( (j-1)!\\right)^{-1} |m|^{-\\tfrac j2} \\cdot \\lim_{q \\to \\infty} q^{-r^2}A_q (\\mathfrak H, \\mathfrak K).  \\]   Die Arbeit stellt eine sorgf\u00e4ltig durchgef\u00fchrte Theorie der Hermiteschen Formen dar, die \u00fcberall dort, wo es m\u00f6glich ist, den zur Siegeischen Arbeit parallelen Gedankengang aufweist und daher h\u00e4ufig Siegeische Ergebnisse direkt benutzen kann. Kapitel I, Hermitesche Formen, bringt in \\S\\,1 die Klassen mit einer Reihe von f\u00fcr das folgende wichtigen Hilfs\u00e4tzen, in \\S\\, 2 Kongruenzklassen, in \\S\\, 3 Geschlechter mit dem wichtigen Hilfsatz 16, in \\S\\, 4 eine Zusammenstellung bekannter S\u00e4tze \u00fcber Rechts- und Linkseinheiten bei Matrizen, insbesondere den Begriff des Strahls (Klasse linksseitig assoziierter Matrizen), in \\S\\, 5 Rechtseinheiten Hermitescher Matrizen, die in \\S\\, 6 f\u00fcr die Darstellungen wichtig werden. Kapitel II, Darstellung positiver Hermitescher Formen, bringt in \\S\\, 7 primitive Darstellungen, in \\S\\, 8 primitive Darstellungen mod \\(q\\), in \\S\\, 9 imprimitive Darstellungen. Mit \\S\\, 10, analytische Hilfss\u00e4tze, sind insgesamt 4 S\u00e4tze und 53 Hilfss\u00e4tze aufgestellt und bewiesen, bzw. es ist auf den Beweis bei Siegel verwiesen worden. \\S\\, 11 liefert dann das Analogon des Siegelschen Hauptsatzes (Satz V) und insbesondere die Ma\u00dfformel (Satz VI), und zwar nach geeigneter Definition der auftretenden Gr\u00f6\u00dfen auch f\u00fcr K\u00f6rper \\(K\\), in denen nicht jedes Ideal Hauptideal ist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2579794$0A97CD72-6606-44A1-B869-1FDBDC16B5E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04ba739fefb65d1a81681ff5b75fa379e8b2bd59","datavalue":{"value":"2502303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579794$E34E63DA-CEA9-4C3B-8855-713DA2FD75A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62ac10956286ce98a9eb8501ba940b006b43e0f9","datavalue":{"value":{"entity-type":"item","numeric-id":770357,"id":"Q770357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2579794$24F433CD-3DFB-4226-B596-5ED81CC61825","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":"Q2579794$4EE9A32F-A273-4BCE-9828-B6CF515939EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d42c73bdd10eb524505000d3d8b0fb5b07644e5e","datavalue":{"value":"https://doi.org/10.1007/bf02940742","type":"string"},"datatype":"url"},"type":"statement","id":"Q2579794$DF6B2C7A-9207-4B4A-BCE5-D49A6E4E3F04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c908600de341f8604c6d4e898b3b0cc72731759e","datavalue":{"value":"W2020019320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2579794$2B21A8FB-282D-4435-8E2B-4C56FE40AEF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2579794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2579794"}}}}}