{"entities":{"Q1472714":{"pageid":1483454,"ns":120,"title":"Item:Q1472714","lastrevid":43139370,"modified":"2025-07-21T19:48:03Z","type":"item","id":"Q1472714","labels":{"en":{"language":"en","value":"The finiteness theorem for invariants of finite groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2615555"}},"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":"Q1472714$C6995A52-B1D3-43BD-ADD1-22A9884D72D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9c4d34bfbbe0f90e8f6b39394a8f11867bd662f","datavalue":{"value":{"text":"The finiteness theorem for invariants of finite groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1472714$C2137878-23C0-4284-A047-185434FEA959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b08af5c1e9ed9d35aa0b26373deef46b01c1b903","datavalue":{"value":"45.0198.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1472714$82219E13-60D4-4F9E-A220-6791467A43CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57eab4cb90e16cc6da9b8eb94b4d0da691540218","datavalue":{"value":"10.1007/BF01456821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1472714$3902B2B1-38E8-4522-A1AA-85518B03C5EF","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":"Q1472714$B56EE512-0BE0-48E5-B0FB-630D1D5BD703","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"992428e8b1c916b0afb4c72dfb03ba64e75c14bb","datavalue":{"value":{"time":"+1915-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":"Q1472714$D60A1082-1BE7-4CD8-8AB8-5EFF38D94E2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec81ffb19114014f7aeb00104ac99f7d69bdac1e","datavalue":{"value":"https://eudml.org/doc/158716","type":"string"},"datatype":"url"},"type":"statement","id":"Q1472714$5436B3EF-F964-4D3E-8C07-F4735AD270F7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61cf069b4d00a08b3adeb8064c0922fa773fcee0","datavalue":{"value":"Es wird ein elementarer, nur auf der Theorie der symmetrischen Funktionen beruhender Endlichkeitsbeweis f\u00fcr die Invarianten endlicher Gruppen erbracht, der zuglich eine wirkliche Angabe des vollen Systems erm\u00f6glicht.   Es bestehe \\(\\mathfrak H\\) aus den \\(h\\), die Identit\u00e4t enthaltenden, linearen Transformationen \\(A_k\\) in den Variabeln \\((x)\\): verm\u00f6ge \\(A_k\\) gehe die Reihe \\((x)\\) \u00fcber in die Reihe \\((x^k)\\). Sei \\(f\\) eine ganzrationale absolute Invariante von \\(\\mathfrak H\\) die also bei Anwendung der \\(A_k\\) identisch unge\u00e4ndert bleibt, so da\u00df  \\[ (1)\\quad f(x)=\\frac{1}{h}\\sum_kf(x^{(k)}). \\]  Dadurch ist \\(f(x)\\) als einf\u00f6rmige symmetrische Funktion der \\(x^(k)\\) dargestellt; also auch ganzrational durch die Koeffizienten \\(G_{\\alpha \\alpha_1-\\alpha_n}(x)\\), der \\textit{Galois}schen Resolvente:  \\[ \\Phi(z, u)=\\prod^{h}_{k=1}(z+u_1x^{(k)}_1+\\cdots +u_nx^{(k)}_n= z^h+\\sum G_{aa_1\\dots a_n}(x)z^au^{a_1}_1\\dots u^{a_n}_n(\\alpha+\\alpha_1+c\\dots +\\alpha_n=h), \\]  wo die \\(G\\) Invarianten in den \\(x\\) sind. Somit bilden die Koeffizienten \\(G\\) der \\textit{Galois}schen Resolvente ein volles Invariantensystem der Gruppe.   Eine noch elementarere Betrachtung f\u00fchrt auf Grund von (1) zu einem zweiten vollen System. Sei \\(f(x)=a+bx_1^{\\mu_1}\\dots x_n^{\\mu_n}+\\cdots +cx^{\\nu_1}_1\\dots x^{\\nu_n}_n\\), so liefert \\((1)\\) die invariante Entwicklung:    \\[ hf(x)=ha+bJ_{\\mu_1\\dots \\mu_n}+\\cdots +cJ_{\\nu_1\\dots \\nu_n}. \\]  Jede Invariante l\u00e4\u00dft sich also aus den \\(J_{\\mu_2\\dots \\mu_n\\dots}\\) ganzlinear zusammensetzen; es ist nur noch zu zeigen, da\u00df jene speziellen \\(J\\) ein volles System besitzen. Man bilde die \\(h\\) Linearformen \\(\\xi=u_1x_1+\\dots +u_nx^{(i)}_n\\), und aus ihnen die \\(\\mu^{\\text{ten}}\\) Potenzsummen \\(S_\\mu\\). Diese sind aber ganzrational in den \\(h\\) ersten \\((\\mu=1\\dots, h\\), deren Koeffizienten durch die \\(J_{\\mu_1\\dots \\mu_n}(\\sum \\mu\\leqq h)\\) gegeben sind. Daher ist ein volles Invariantensystem der Gruppe von der Ordnung \\(h\\) auch gegeben durch alle Invarianten \\(J_{\\mu_1\\dots \\mu_n}\\) mit \\(\\sum \\mu\\leqq h\\).   Beide Ergebnisse haben gemein, da\u00df die Invarianten des vollen Systems einen Grad in den \\(x\\) besitzen, der die Ordnung \\(h\\) der Gruppe nicht \u00fcbersteigt.   Es folgt noch, da\u00df sich jede \\textit{rationale} absolute Invariante \\textit{rational} durch die Koeffizienten \\(G\\) der \\textit{Galois}schen Resolvente ausdr\u00fccken l\u00e4\u00dft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1472714$0393F712-C435-4F4E-9F2E-31C2058FAA14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b35a4dd6b69af6318a3999cc38fddaa4478871c5","datavalue":{"value":"13A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1472714$39A6F528-2D6D-4356-952C-4010129E4CA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e571682f331c699c9783c23818c30f26e1dbb4b2","datavalue":{"value":"2615555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1472714$A248100A-57C8-424E-9F74-A0ACADDC0492","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6a2d9e531229ac0b02675cb30b40fe4786abc3d3","datavalue":{"value":"Q56138516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1472714$BE0ED8DD-92B6-4935-B4DC-9B6937477C25","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":"Q1472714$E02FD0BB-124F-4827-8F9E-90E6879EF9BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61e9f35526d85b49006ed6c1811a617fee5ceddb","datavalue":{"value":"W2045023532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1472714$A7E8C2C6-CDE0-429A-B75C-45D9EC241210","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6de892fc95829d5168467bfba704c6f6dcae446","datavalue":{"value":{"entity-type":"item","numeric-id":6480424,"id":"Q6480424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1472714$295A964A-EF77-4D74-92C9-D7DAAA201DFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1472714","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1472714"}}}}}