{"entities":{"Q2600635":{"pageid":2611378,"ns":120,"title":"Item:Q2600635","lastrevid":44450286,"modified":"2025-11-23T00:49:18Z","type":"item","id":"Q2600635","labels":{"en":{"language":"en","value":"\u00dcber Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Produktentwicklung. I, II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2520805"}},"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":"Q2600635$C6025B48-11AB-49CE-A79E-2684A4AADADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e95d33a5cc010a03ffbc4f1f31d8f2f5dbad4855","datavalue":{"value":{"text":"\u00dcber Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Produktentwicklung. I, II.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2600635$1E78FAED-E4E2-468F-86F8-BC9033430801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80684ff9c73942d221605424f5af4b6b59e01050","datavalue":{"value":"63.0339.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2600635$CA8E5BA1-FA72-4E3B-9225-0CD250097EDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1b6ed1f0b8ca3bcea5150822d7af18282f57c91","datavalue":{"value":"10.1007/BF01594160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2600635$0573B1BD-06ED-444F-ABBA-D3CA51B5E84E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef4b7d5a9df057827c761a7559dd261dc44774e","datavalue":{"value":{"entity-type":"item","numeric-id":566041,"id":"Q566041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600635$D35BED14-55DD-4DE0-86D8-142BA1BC9A72","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":"Q2600635$CBCA8507-F1E5-45DB-850D-8FC30BE6BBED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2600635$1186ADBA-0231-47FA-A653-47C10FA64F02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a7b5c152e3efe5662dfcaf719b6148bb659eee9","datavalue":{"value":"https://eudml.org/doc/159919","type":"string"},"datatype":"url"},"type":"statement","id":"Q2600635$EAFB7609-BD4D-4941-BFAB-95182CE42378","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6f73c84d232d1035303060370a7b1f3f4b72ed8d","datavalue":{"value":"I. Eine Transformation \\(n\\)-ter Ordnung ist eine Matrix \\(\\begin{pmatrix} a&b\\\\c&d\\end{pmatrix}\\) mit ganzen \\(a\\), \\(b\\), \\(c\\), \\(d\\) und der Determinante \\(n\\) (nat\u00fcrliche Zahl). Zwei solche hei\u00dfen \u00e4quivalent, wenn sie sich um einen vorderen Faktor aus der Modulgruppe (\\(n = 1\\)) unterscheiden. Die \\(\\sigma_1(n)\\) Matrizen  \\[  M_h=\\begin{pmatrix} a_h&b_h\\\\0&d_h\\end{pmatrix}\\qquad\\big(1\\leqq h\\leqq\\sigma_1(n)\\big)  \\]  mit \\(a_hd_h = n\\), \\(d_h > 0\\), \\(b_h \\bmod d_h\\) bilden ein volles System nicht-\u00e4quivalenter Trans\\-formationen \\(n\\)-ter Ordnung. Sei \\(F(\\tau)\\) eine ganze Modulform von der Dimension -- \\(k\\). \\(T_n = T (n)\\) der Operator, der \\(F\\) in  \\[  F\\,|\\,T_n=n^{k-1}{\\sum\\limits_{1\\leqq h\\leqq\\sigma_1(n)}}F(M_h\\tau)d_h^{-k} \\qquad\\left(M_h\\tau=\\dfrac{a_h\\tau+b_h}{d_h}\\right) \\tag{1}  \\]  \u00fcberf\u00fchrt,  \\[  F\\,|\\,(\\alpha T_n + \\beta T_m) = \\alpha\\cdot F\\,|\\,T_n + \\beta\\cdot F\\,|\\,T_m.  \\]  \u00dcber den damit erkl\u00e4rten Operatorenring \\(\\mathfrak R\\) wird bewiesen:  \\[  T(n)T(m)={\\sum\\limits_{t|n,t|m,t>0}}T\\left(\\dfrac{nm}{t^2}\\right)\\cdot t^{k-1}= T (m) T (n).  \\]  Mit \\(F\\) ist jedes \\(F\\mid T_n\\) eine ganze Modulform von der Dimension -- \\(k\\). Bilden die \\(F^\\varrho(\\tau)\\) (\\(1\\leqq\\varrho\\leqq\\varkappa\\)) eine Basis der Schar \\(\\mathfrak S\\) dieser Formen, so erh\u00e4lt man eine treue Darstellung \\(\\mathfrak D\\) von \\(\\mathfrak R\\) durch die Matrizen \\(\\lambda(n) = \\big(\\lambda_{\\varrho,\\sigma}(n)\\big)\\) aus  \\[  F^\\varrho\\mid T_n={\\sum\\limits_{\\sigma=1}^{\\varkappa}}\\lambda_{\\varrho\\sigma} (n)F^\\sigma. \\tag{3}  \\]  Die \\(\\lambda(n)\\) erf\u00fcllen (2). Sind \\(F^\\varrho(\\tau) = a^\\varrho(0) + {\\sum\\limits_{m=1}^{\\infty}} a^\\varrho(m) e^{2\\pi im\\tau}\\) die \\textit{Fourier}entwicklungen der \\(F^\\varrho\\), so ergeben sich durch Koeffizientenvergleich f\u00fcr nat\u00fcrliche \\(m\\), \\(n\\) die Grund\\-gleichungen  \\[  {\\sum\\limits_{t|m,t|n,t>0}}a^\\varrho\\left(\\dfrac{mn}{t^2}\\right)t^{k-1}= {\\sum\\limits_{\\sigma=1}^{\\varkappa}}\\lambda_{\\varrho\\sigma}(n)a^\\sigma(m). \\tag{4}  \\]  Diese Gleichungen zeigen, da\u00df nach geeigneter Erkl\u00e4rung von \\(\\lambda(0)\\) die Formenmatris  \\[  B(\\tau)\\equiv{\\sum\\limits_{n=0}^{\\infty}}\\lambda(n)e^{2\\pi in\\tau}\\equiv \\big(f_{\\varrho\\sigma}(\\tau)\\big)={\\sum\\limits_{\\nu=1}^{\\varkappa}} F^\\nu(\\tau)B^\\nu \\tag{5}  \\]  ist, mit konstanten Matrizen \\(B^\\nu\\), die von \\(n\\) unabh\u00e4ngig sind. Diese \\(B^\\nu\\) bilden eine Basis von \\(\\mathfrak D\\), sind also untereinander und mit allen \\(\\lambda(n)\\) vertauschbar. Hieraus folgt das eine Hauptresultat: Die \\textit{Dirichlet}reihen-Matrix  \\[  \\varPhi(s)\\equiv\\big(\\varphi_{\\varrho\\sigma}(s)\\big)= {\\sum\\limits_{n=1}^{\\infty}}\\lambda(n)n^{-s}= \\left({\\sum\\limits_{n=1}^{\\infty}}\\lambda_{\\varrho\\sigma}(n)n^{-s}\\right) \\tag{6}  \\]  besitzt eine \\textit{Euler}sche Produktdarstellung. Da\u00df die \\(B^\\nu\\) das ``algebraische Skelett'' der ganzen Transformationstheorie darstellen, geht aus einem Satz hervor, der ungef\u00e4hr folgendes besagt: Sind irgendwelche Matrizen \\(B^\\nu\\), aber mit gewissen algebraischen Eigenschaften, wie sie die \\(B^\\nu\\) der skizzierten Theorie aufweisen, vorgelegt, so gibt es \\(\\varkappa\\) linear unabh\u00e4ngige f\u00fcr \\(\\mathfrak I(\\tau) > 0\\) regul\u00e4re Funktionen \\(F^\\varrho (\\tau)\\), f\u00fcr die eine solche Trans\\-formationstheorie besteht, in der die \\(B^\\nu\\) die ``richtige'' Rolle spielen. Diese \\(F^\\varrho(\\tau)\\) sind i. a. keine Modulformen. Genauere Aussagen \u00fcber Modulformen erh\u00e4lt man durch Heranziehung algebraischer S\u00e4tze \u00fcber Matrizen. Z. B. zeigt sich, da\u00df die charak\\-teristischen Wurzeln von \\(\\boldsymbol B(\\tau)\\) in \\(\\mathfrak S\\) liegen und mit den Eigenfunktionen von \\(\\mathfrak R\\) \u00fcber\\-einstimmen; diese lassen sich auch dadurch kennzeichnen, da\u00df die zugeordneten \\textit{Di\\-richlet}reihen (nicht immer konvergente) \\textit{Euler}produkte bestimmter Bauart besitzen. Die \\textit{Eisenstein}reihen \\(G_k\\) von der Dimension -- \\(k\\) sind im wesentlichen eindeutig als diejenigen Eigenfunktionen von \\(\\mathfrak R\\) bestimmt, welche bei \\(\\infty\\) nicht verschwinden. Wenn es \u00fcberhaupt eine ganze, in den Spitzen verschwindende Modulform (ganze Spitzen\\-form) von der Dimension -- \\(k\\) gibt, so auch eine Eigenfunktion von \\(\\mathfrak R\\) mit dieser Eigen\\-schaft. Daraus erh\u00e4lt man insbesondere f\u00fcr die \\(\\varDelta(\\tau)G_k(\\tau)\\) zugeordneten \\textit{Dirichlet}\\-reihen (\\(k = 12\\), 26, \\(16\\leqq k\\leqq22\\), \\(\\varDelta(\\tau)\\) die Diskriminante der elliptischen Funktionen) ein \\textit{Euler}produkt der genannten Bauart, denn diese Formen sind im wesentlichen die einzigen ganzen Spitzenformen ihrer Dimension -- \\(k\\). Hat die Schar der ganzen Spitzen\\-formen mehr als ein Basiselement, so entsteht die Frage nach einer Normalform der Basis. Hier\u00fcber erf\u00e4hrt man u. a.: Damit \\(\\boldsymbol B(\\tau)\\) auf reine Diagonalform reduzierbar sei, ist notwendig und hinreichend, da\u00df die Diskriminante der charakteristischen Gleichung der Matrix \\({\\sum\\limits_{\\nu=1}^{\\varkappa}} x_\\nu \\boldsymbol B_\\nu\\) nicht identisch in den \\(x_\\nu\\) verschwinde.  II. Um die Wirkung der Transformationen \\(n\\)-ter Ordnung auf die Modulformen der Stufe \\(Q\\) zu untersuchen, wird zun\u00e4chst der Operator \\(T_n\\) f\u00fcr \\((n, Q) = 1\\) definiert. Hierzu werden die speziellen Transformationen  \\[  S_n=\\begin{pmatrix} 1&0\\\\ 0&n\\end{pmatrix},\\;U=\\begin{pmatrix} 1&1\\\\ 0&1\\end{pmatrix},\\;R_n=\\begin{pmatrix} n'&b\\\\ c&n\\end{pmatrix},\\qquad (nn'-1\\equiv b\\equiv c\\equiv0\\;(\\bmod Q)\\big)  \\]  eingef\u00fchrt (die Wirkung von \\(R_n\\) auf eine Form der Stufe \\(Q\\) h\u00e4ngt nur von \\(n\\) ab), und es wird gezeigt, da\u00df das System \\(\\mathfrak R\\) der Matrizen  \\[  M = R_a\\begin{pmatrix} a&bQ\\\\0&d\\end{pmatrix}\\text{ mit }ad = n,\\;d > 0,\\;b \\bmod d; a, b, d\\text{ ganz}  \\]  ein volles System nicht links\u00e4quivalenter ganzzahliger Transformationen von der Determinante \\(n\\) bildet. Der Operator  \\[  T_n = T (n) = n^{k-1}{\\sum\\limits_{M\\subset\\mathfrak R}}M\\qquad \\big(k\\;\\text{ eine feste nat\u00fcrliche Zahl}, (n, Q) = 1\\big)  \\]  f\u00fchrt jede Modulform zu \\((- k, Q)\\) (d. h. von der Dimension -- \\(k\\) und der Stufe \\(Q\\)) wieder in eine solche Form \u00fcber. \u00dcberdies gilt: Sind \\(L\\), \\(L'\\) aus der homogenen Modul\\-gruppe \\(\\overline{\\varGamma}(1)\\) und ist  \\[  L'\\equiv S_n\\, LS_n^{-1} (\\bmod Q), \\tag{\\(*\\)}  \\]  so hat \\(T_nL\\) dieselbe Wirkung wie \\(L'T_n\\). Zwischen \\(T_n\\), \\(R_a\\), \\(U\\) bestehen gewisse Be\\-ziehungen; insbesondere ergibt sich analog zu (2) in I.  \\[  T(n)T(m)={\\sum\\limits_{d|n,d|m,d>0}}T\\left(\\dfrac{nm}{d^2}\\right)d^{k-1}R_d,  \\]  wenn \\((n, Q) = (m, Q) = 1\\). Im folgenden wird \u00fcber \\(n\\) stets (\\(n, Q) = 1\\) vorausgesetzt.  Die weiteren Entwicklungen beruhen auf dem Umstand, da\u00df der Operator \\(T_q\\), wenn \\(q\\) einen Primteiler von \\(Q\\) bezeichnet, f\u00fcr verschiedene Modulformen verschieden definiert werden mu\u00df, und zwar zeigt sich, da\u00df man die Gesamtschar \\(\\mathfrak S\\) der ganzen Modulformen zu \\((-k, Q)\\) in gewisse Teilscharen aufspalten mu\u00df, f\u00fcr deren jede \\(T_q\\) besonders, aber einheitlich erkl\u00e4rt wird. F\u00fcr diese Aufspaltung ist wesentlich, da\u00df man eine Basis von \\(\\mathfrak S\\) finden kann, deren Formen Entwicklungen nach Potenzen von \\(z_Q = e^{2\\pi i\\tfrac\\tau Q}\\) (\\(\\tau\\) die Variable der Modulfigur, \\(\\mathfrak I\\tau > 0\\)) besitzen, deren Exponenten s\u00e4mtlich je einer Restklasse mod~\\(Q\\) angeh\u00f6ren. Man ben\u00f6tigt nun nicht die hierdurch gegebene, sondern eine etwas weniger feine Einteilung nach den Restklassen dieser Exponenten: Es sei \\(t\\) ein Teiler von \\(Q\\); eine ganze Form ist vom Teiler \\(t\\), wenn ihre Exponenten mit \\(Q\\) den gr\u00f6\u00dften gemeinsamen Teiler \\(t\\) aufweisen. Sie hei\u00dft normiert, wenn sie Eigenfunktion f\u00fcr alle \\(R_n\\) ist. Beide Formentypen sind invariant gegen alle \\(T_n\\), \\(R_n\\). Der Eigenwert einer normierten Form bei \\(R_n\\) ist ein Restcharakter \\(\\varepsilon(n)\\) mod~\\(Q\\), der bei allen \\(T_n\\), \\(R_n\\) erhalten bleibt. Ist jetzt \\(Q = tt_1\\), \\(q\\) ein Primteiler von \\(t\\), so wird  \\[  T_q=T_q^t=q^{k-1}{\\sum\\limits_{l\\bmod q}}W_qU^{lt_1}\\quad \\left(W_q=\\begin{pmatrix}1&0\\\\0&q\\end{pmatrix}\\right)  \\]  gesetzt, und es ergibt sich, da\u00df eine normierte Form vom Teiler \\(t\\) durch \\(T_q^t\\) in eine eben\\-solche Form vom gleichen Teiler und Charakter \u00fcbergef\u00fchrt wird (die entstehende Form ist \u00fcbrigens null, wenn \\(q\\) in \\(t_1\\) aufgeht). Ausgehend von dieser Definition wird f\u00fcr nat\u00fcrliche \\(m\\), deren s\u00e4mtliche Primteiler \\(q\\) in \\(t\\) aufgehen, \\(T_m = T_m^t\\) rekursiv definiert und schlie\u00dflich auch \\(T_m^t\\) f\u00fcr alle nat\u00fcrlichen \\(m\\), die zu \\(t_1\\) prim sind, erkl\u00e4rt. Die Aussagen \u00fcber die nun aufgestellten Operatoren erm\u00f6glichen jetzt die \u00dcbertragung der Haupt\\-ergebnisse des ersten Teils auf die Stufe \\(Q\\): Aufstellung des \\textit{Euler}-Produkts f\u00fcr die Formen von festem Teiler und Charakter. Hinsichtlich des Wortlauts mu\u00df auf \\S~8 der Darstellung des Verf. verwiesen werden. -- Die h\u00e4ufig erw\u00e4hnte Matrix \\(B(\\tau)\\) ist dort nicht angegeben. Nat\u00fcrlich ist \\(B(\\tau)=\\big(f_{\\varrho\\sigma}(\\tau)\\big)\\).  F\u00fcr diese \\(B(\\tau)\\) l\u00e4\u00dft sich die M\u00f6glichkeit der Reduktion auf Dreiecksgestalt leicht nachweisen. Man erkennt ferner: Die charakteristischen Nullstellen jeder Matrix \\(B(\\tau)\\) geh\u00f6ren der betreffenden Formenschar vom gegebenen Teiler und Charakter an, sind Eigenfunktionen des betreffenden Operatorenringes, und die zugeh\u00f6rigen \\textit{Dirichlet}reihen besitzen ein \\textit{Euler}-Produkt von eindeutig bestimmter Bauart. Die Diskussion der Um\\-kehrbarkeit dieser Aussagen f\u00fchrt auf die folgenden bemerkenswerten S\u00e4tze:  (1) Wenn eine ganze Modulform \\(F\\) zu \\((- k, Q)\\) durch eine ganzzahlige Trans\\-formation \\(L = \\begin{pmatrix} a&b\\\\c&d\\end{pmatrix}\\) von der Ordnung \\(n > 1\\) mit \\((a, b, c, d) = (n, Q) = 1\\) wieder in eine Modulform \\((- k, Q)\\) \u00fcbergeht, so ist \\(F\\) identisch null.  (2) Wenn in der Entwicklung \\(F (\\tau) ={\\sum\\limits_{m=0}^{\\infty}}a(m) z^m_Q\\) f\u00fcr eine feste Primzahl \\(p\\), die nicht in \\(Q\\) aufgeht, \\(a (m) = 0\\) f\u00fcr alle nicht durch \\(p\\) teilbaren \\(m\\), so ist \\(F\\) identisch null;  (3) Eine \\textit{Dirichlet}reihe \\({\\sum\\limits_{m=1}^{\\infty}}a(m)m^{-s}\\) hei\u00dfe ein \\textit{Euler}-Produkt bez\u00fcglich der festen Primzahl \\(p\\), wenn  \\[  a (mp^r) = a (m) c (p^r) \\text{ f\u00fcr } (m, p) = 1 \\text{ und alle nat\u00fcrlichen } r.  \\]  Die \\textit{Dirichlet}reihe der Modulform \\(F\\) zu \\((- k, Q)\\) ist dann und nur dann ein \\textit{Euler}-Produkt bez\u00fcglich der festen, zu \\(Q\\) primen Primzahl \\(p\\), wenn \\(F\\) Eigenfunktion f\u00fcr die Operatoren \\(R_p\\) und \\(T_p\\) ist. Der ``\\(p\\)-Bestandteil'' \\({\\sum\\limits_{r=1}^{\\infty}}c(p^r) p^{-rs}\\) ist durch die Eigenwerte von \\(F\\) bei \\(R_p\\) und \\(T_p\\) eindeutig bestimmt.  Es seien weiter \\(E (t, \\varepsilon, Q)\\) die von den \\textit{Eisenstein}reihen aufgespannte Schar bzw. die Schar der ganzen Spitzenformen zu \\((- k, Q)\\), \\(t\\), \\(\\varepsilon\\). Beide Scharen gehen durch die Operatoren \\(T_m^t\\) in sich \u00fcber. Die \\textit{Dirichlet}reihen zur Schar aller \\textit{Eisenstein}\\-reihen sind im wesentlichen mit den Linearkombinationen gewisser Produkte von \\textit{Dirichlet}schen \\(L\\)-Reihen identisch. Die Schar \\(E (1, \\varepsilon, Q)\\) besitzt ein auf Diagonalform reduzierbares \\(B (\\tau)\\), wohingegen gezeigt werden kann, da\u00df die Matrix \\(B (\\tau)\\) der Schar \\(E(q^3,\\varepsilon,q^3)\\) bestimmt nicht auf Diagonalform transformierbar ist.  Die Kenntnis der Darstellungen der homogenen Modulargruppe \\(\\overline{\\mathfrak M}(Q)\\bmod Q\\) erm\u00f6glicht eine weitere Reduktion der Matrizen \\(B (\\tau)\\). Ist \\(\\lambda(n)\\) die Umsetzungsmatrix einer Basis von \\(\\mathfrak S\\) bei \\(T_n\\), \\(C (L)\\) die Umsetzungsmatrix bei Aus\u00fcbung eines \\(L\\) aus \\(\\overline{\\varGamma}(1)\\), so gilt \\(\\big(\\)vgl. (*)\\(\\big)\\):  \\[  \\lambda(n)C(L) = C(L')\\lambda(n).  \\]  Betrachtet man eine Basis einer Teilschar, die sich bei \\(\\overline{\\varGamma}(1)\\) nach einer irreduziblen Darstellung \\(\\mathfrak D\\) von \\(\\overline{\\mathfrak M}(Q)\\) umsetzt, so erf\u00e4hrt die mit \\(T_n\\) transformierte Basis eine Um\\-setzung nach einer zu \\(\\mathfrak D\\) isomorphen irreduziblen Darstellung \\(\\mathfrak D'\\), die man aus \\(\\mathfrak D\\) durch den Automorphismus \\(\\xi_n\\) erh\u00e4lt, der \\(L\\) in \\(L'\\) \u00fcberf\u00fchrt. Die Beziehung zwischen \\(\\mathfrak D\\) und \\(\\mathfrak D' = \\xi_n\\mathfrak D\\) wird als Verwandtschaft bezeichnet. Unter allen \\(\\xi_n\\mathfrak D\\) gibt es h\u00f6chstens soviele in\u00e4quivalente, wie verschiedene Arten von quadratischen Nichtresten mod~\\(Q\\). Die genauere Diskussion zeigt zun\u00e4chst im Fall, da\u00df alle \\(\\xi_n\\mathfrak D\\) untereinander \u00e4quivalent sind: Die Schar der Modulformen vom Teiler 1 enth\u00e4lt mehrere bei den \\(T_n\\) invariante Teilscharen, die den irreduziblen Darstellungen \\(\\mathfrak D\\) mit der genannten Eigenschaft entsprechen. Die Anzahl der Basisformen und also die Zeilenzahl der zugeh\u00f6rigen Matrix \\(B (\\tau)\\) ist gleich der Vielfachheit \\(\\varkappa\\), mit der \\(\\mathfrak D\\) in der durch die s\u00e4mtlichen ganzen Modulformen erzeugten Darstellung von \\(\\overline{\\mathfrak M}(Q)\\) enthalten ist. Ein analoger Satz gilt f\u00fcr Darstellungen \\(\\mathfrak D\\) von \\(r\\)-ter Art (d. h. bei denen unter \\(\\xi_n\\mathfrak D\\) genau \\(r\\) in\u00e4quivalente Dar\\-stellungen auftreten), wenn \\(t = 1\\).  Die Diskussion der entsprechenden Verh\u00e4ltnisse bei Formen vom Teiler \\(t > 1\\) scheint bei allgemeinem \\(Q\\) gegenw\u00e4rtig noch nicht m\u00f6glich zu sein; Verf. gibt eine vollst\u00e4ndige Durchf\u00fchrung f\u00fcr Primzahlstufe \\(Q = q\\), die sich wesentlich auf die Kenntnis der einfachen Charaktere der \\(\\overline{\\mathfrak M}(q)\\) st\u00fctzt. Hier existieren irreduzible Darstellungen \\(\\mathfrak D=\\mathfrak G_f\\) nur f\u00fcr die Grade  \\[  f=q,\\;q+1,\\;q-1,\\;\\frac{q+1}2,\\;\\frac{q-1}2.  \\]  \u00dcber die oben definierte Zahl \\(r\\) gilt trivialerweise \\(r\\leqq 2\\). Es zeigt sich, da\u00df \\(r = 2\\) nur f\u00fcr die \\(2\\cdot2\\) Darstellungen \\(\\mathfrak G_f\\) mit \\(f=\\dfrac{q\\pm1}2\\), sonst \\(r = 1\\) ist. Die Teiler der Formen, die sich nach \\(\\mathfrak G_f\\) umsetzen, ergeben sich aus der Kenntnis der irreduziblen Darstellungen der \\(\\mathfrak M_0(q)\\), die in \\(\\mathfrak G_f\\) enthalten sind. (\\(\\mathfrak M_0(q)\\) ist die Untergruppe der inhomogenen Modu\\-largruppe \\(\\mathfrak M(q)\\), deren Elemente sich durch die \\(L =\\begin{pmatrix} a&b\\\\c&d\\end{pmatrix}\\) mit \\(c\\equiv0\\;(\\bmod\\;q)\\) repr\u00e4sen\\-tieren lassen.) Die S\u00e4tze 54-57 in \\S~12 der Arbeit geben die \u00dcbersicht \u00fcber die Struktur der \\textit{Euler}-Produkte der Formenscharen zu den verschiedenen \\(\\mathfrak G_f\\).  Eine interessante Realisierung dieser Verh\u00e4ltnisse bei den zwei verwandten Dar\\-stellungen \\(\\mathfrak G_f\\)\\,\\(\\bigg(f=\\dfrac{q+1}2\\) f\u00fcr \\(k\\equiv0\\), \\(\\dfrac{q-1}2\\) f\u00fcr \\(k\\equiv1\\;(\\bmod\\;2)\\bigg)\\), die sich im \\textit{Euler}-Produkt nicht algebraisch trennen lassen, wird durch Heranziehung der bin\u00e4ren Theta\\-reihen aus dem imagin\u00e4r-quadratischen Zahlk\u00f6rper \\(R(\\sqrt{-q})\\) gewonnen. Wird \\(\\mathfrak G_f^{(1)}\\) den quadratischen Resten zugeordnet (\\textit{E. Hecke}, Abh. math. Sem. Univ. Hamburg 8 (1930), 271-281 (F. d. M. \\(56_{\\text{I}}\\), 327) insbes. S. 280), so lassen sich aus diesen Thetareihen \\(h\\) Systeme \\(\\bigg(\\)bzw. \\(\\dfrac{h+1}2\\) Systeme, wenn \\(k=1\\bigg)\\), wo \\(h\\) die Klassenzahl des genannten Zahlk\u00f6rpers angibt, von je \\(f\\) Eigenfunktionen des Operatorenringes der \\(T_n\\) bzw. \\(T_m^q\\) bilden. Die Bedeutung der Klassenzahl als Anzahl\u00fcberschu\u00df \\(y_1-y_2\\) (\\(k\\geqq2\\), vgl. das letzte Zitat) kommt hier dadurch zum Ausdruck, da\u00df alle diese Eigenfunktionen durch alle \\(T_n\\) (\\(n\\) quadratischer Nichtrest mod~\\(q\\)) einerseits in Funktionen zu \\(\\mathfrak G_f^2\\), andrerseits, wie bewiesen wird, in null \u00fcbergef\u00fchrt werden. Die Bestimmung der entsprechenden Anzahl-Differenz im Falle \\(k = 1\\) ist noch nicht durchgef\u00fchrt worden.  Indessen ergibt sich aus der vorliegenden Theorie wenigstens eine Kennzeichnung der \\textit{Dedekind}schen \\(\\zeta\\)-Funktion des K\u00f6rpers \\(R(\\sqrt{-q})\\). (III 6, IV 4 D.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2600635$4AACAC4D-5E4C-430F-A74C-A0108F63FAC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5d33bce87c7179edcd04c615e024ae791daeaea","datavalue":{"value":"2520805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2600635$132FFF11-A9E6-401E-B4A4-CC7816E3A8AE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"288f4f0c7c6f7dcd8566431a14217944f19365c6","datavalue":{"value":"Q56335386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2600635$21D88DFF-3489-4E56-9003-C7297A81E8FA","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":"Q2600635$2AE536BD-104B-4547-9296-944F781D07C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"765b8629e6d148e8be9585161a53be57bd7881eb","datavalue":{"value":{"entity-type":"item","numeric-id":5925295,"id":"Q5925295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600635$17DDF3F5-6993-4180-8EA4-8216C9BEE600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1007fecbe37a1ac1ed8a0d29a0cff3011e7746bc","datavalue":{"value":{"entity-type":"item","numeric-id":2645364,"id":"Q2645364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2600635$155BD666-E7B7-45D6-8944-6929C8B9589C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2600635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2600635"}}}}}