{"entities":{"Q2622652":{"pageid":2633395,"ns":120,"title":"Item:Q2622652","lastrevid":44503569,"modified":"2025-11-23T09:41:36Z","type":"item","id":"Q2622652","labels":{"en":{"language":"en","value":"\u00dcber die Endlichkeit der Invarianten bin\u00e4rer Formen."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2542929"}},"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":"Q2622652$7A42FEB0-2F06-4BE3-869B-48FE7879004B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4919facbb5ad2f169177d69f446b6b80f4f1a791","datavalue":{"value":{"text":"\u00dcber die Endlichkeit der Invarianten bin\u00e4rer Formen.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2622652$192B2B7E-27BC-4FA1-929D-651A7ECF1800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39214008d0c166bf77fd3ce95bd95deac3764e7d","datavalue":{"value":"59.0130.06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2622652$9D932EEB-C58D-4F31-BB4A-9382FE598FB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"572917c56027a5c99c90b3e80d2073bfc9d51fab","datavalue":{"value":"10.1017/S0013091500007963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2622652$4AC269E3-1E83-4A1B-A916-D4940188AA8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffee312d0ee597e0715fde155f716d7c78570ca4","datavalue":{"value":{"entity-type":"item","numeric-id":567688,"id":"Q567688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2622652$FCAB0901-0471-49E1-A20C-E6F112C67678","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9eb3ffba3972c0939723139973e105da44bf3641","datavalue":{"value":{"entity-type":"item","numeric-id":563165,"id":"Q563165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2622652$A5C932FA-1180-497F-81DA-23225B322EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2622652$09E8B85C-6F75-4820-B3AB-CB46E7EA04C5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fa8ef47b391513b54655969a426698485568833","datavalue":{"value":"Die projektiven Komitanten eines vollen Systems bin\u00e4rer Formen lassen sich durch fortgesetztes \u00dcberschieben berechnen.  Zur Vollst\u00e4ndigkeit ist es aber n\u00f6tig, f\u00fcr den Grad der Komitanten eines vollen Systems in den Koeffizienten der Grundformen eine obere Grenze \\(N\\) anzugeben. In der vorliegenden Arbeit wird eine solche nat\u00fcrliche Zahl \\(N\\) in Anlehnung an einen Endlichkeitsbeweis von \\textit{Mertens} (1887; F. d. M. 19, 131 (JFM 19.0131.*)) aufgestellt. Da sich die Ermittlung der Invarianten von \\(n\\)-\u00e4renFormen bez\u00fcglich \\(r\\)-gliedriger linearer Gruppen auf die Berechnung der projektiven Invarianten bin\u00e4rer Formen zur\u00fcckf\u00fchren l\u00e4\u00dft, ist auch f\u00fcr jene Komitanten eine obere Gradschranke angebbar.  Sei \\((F)\\) ein System bin\u00e4rer Urformen, das die Form \\(f_n = a_x^n\\) enth\u00e4lt, und  \\[  K(F) = A_1,A_2,\\ldots ;\\;B_1(x),B_2(x),\\ldots \\tag{1} \\]  sei ein kleinstes volles System von \\(N(F)=N\\) Individuen; hierbei bedeuten die \\(A\\) Invarianten und die \\(B\\) Kovarianten. Ferner bedeute \\(N_c(F) = N_c\\) den H\u00f6chstgrad der Komitanten (1) in allen \\((F)\\)-Koeffizienten, und \\(N_x(f) = N_x\\) den H\u00f6chstgrad in \\(x = \\frac {x_1}{x_2}\\) bei den Kovarianten \\(B\\). Dem Systeme \\((F)\\) werde eine Linearform  \\[  P \\equiv (px) = p_1x_2 - p_2x_1  \\]  hinzugef\u00fcgt, so da\u00df ein erweitertes System \\({F,P}\\) entsteht mit dem vollen System  \\[  K(F,P) = A_1,A_2,\\ldots ;P;Q_2,\\ldots,\\tag{1'} \\]  wo die \\(Q\\) aus den \\(B\\) durch Polarisieren mit \\(p_1,p_2\\) erhalten werden.  Zwischen den Graden \\(N(F,P),\\;N_c(F,P),\\;N_x(F,P)\\) und den fr\u00fcheren \\(N,N_c,N_x\\) bestehen einfache Ungleichheiten bzw. Gleichheiten.  Nunmehr betrachte man allen Komitanten \\(G\\) in \\((F,P)\\), die in den \\(p\\) und den Koeffizienten von \\(f_n\\) gleichen Grades sind; es l\u00e4\u00dft sich zeigen, da\u00df diese \\(G\\) einen endlichen Integrit\u00e4tsbereich \\(G_1,G_2,\\ldots,G_\\gamma \\) besitzen.  Ersetzt man \\(f_n = a_x^n\\) durch eine Form \\(f_{n+1} = A_x^{n+1}\\), so gehe \\((F)\\) \u00fcber in \\((F')\\). Ist \\(H\\) eine Komitante von \\((F')\\), so ersetze man in ihr die Koeffizienten von \\(f_{n+1}\\) durch die des Produktes \\(f_nP\\); dann geht \\(H\\) \u00fcber in eine Komitante \\(G''\\) von \\((F,P)\\), die in den Koeffizienten von \\(f_n\\) und den \\(\\frac {p_1}{p_2}\\) von gleichem ist. Somit ist \\(G''\\) ganz rational durch die \\(G_1,\\ldots,G_\\gamma \\) ausdr\u00fcckbar und wird eine Summe \\(\\Theta \\) von Potenzprodukten der \\(G_i\\).  Bedeuten weiter \\(Q,\\,R,\\ldots,\\,S\\;n\\) Linearformen, so ersetze man in jedem \\(G_i\\) die Koeffizienten von \\(f_n\\) durch die des Produkts \\(QR \\ldots S\\). Damit gehen die \\(G_i\\) \u00fcber in Formen \\(G_{i1},\\;\\Theta \\) in ein \\(\\Theta _1\\), und \\(G''\\) in eine Form \\(G''_1\\), die in allen \\(n + 1\\) Koeffizientenreihen \\(p,q,\\ldots,s\\) symmetrisch ist. Umgekehrt gelangt man eindeutig von \\(G''_1\\) zu \\(H\\) zur\u00fcck, wenn man in \\(G''_1\\) jedes Produkt \\(p_iq_kr_l \\ldots \\) durch den entsprechenden Koeffizienten \\(A_{ikl} \\ldots \\) von \\(f_{n+1}\\) ersetzt.  Damit gelangt man f\u00fcr die Anzahl \\(N(F')\\) der Basiskomitanten von \\((F')\\) zu der Beziehung:  \\[  N(F') \\leqq \\binom {\\gamma + n + 1}{n + 1}+ N(F,P),  \\]  und analogen f\u00fcr \\(N_c(F'),\\;N_x(F').\\)  Auf diese Weise hat man f\u00fcr \\(N(F'),N_c(F'),N_x(F')\\) obere Schranken gefunden, die nur von \\(n\\) und \\(N,N_c,N_x\\) abh\u00e4ngen. Diese Ausdr\u00fccke f\u00fcr die Schranken lassen sich noch vereinfachenm wenn man die letzteren nach oben erh\u00f6ht.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2622652$9127B91B-DAF2-4935-8794-BD992C8774FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01edfc39c7e207d987ef46e9a09218322e8cb76c","datavalue":{"value":"2542929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2622652$0D56589D-842E-47AD-A1CA-3724FB20BED1","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":"Q2622652$B5DCBAF7-2C3A-4D9B-99D4-57C4D286E011","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2622652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2622652"}}}}}