L. Mauren Ueher die Endlichkeit der Invariantensysteme. 
175 
Da diese ausgezeichneten Functionen Zähler und Nenner 
der rationalen Invarianten der Gruppe (J- bilden, so steht von 
vornherein die Existenz von n — r' -f- 1 unter einander unab- 
hängigen derartigen Functionen fest. 
Es gelten für sie die beiden Sätze: 
1. Alle ausgezeichneten Functionen lassen sich als ganze 
Functionen einer endlichen Anzahl derselben darstellen und 
2. Ist das Product von mehreren ganzen Functionen aus- 
gezeichnete Function, so gilt dasselbe für jeden der lactoren. 
