Geordnete Dreiecke/Kongruenzen/Invariantenring/Fakt
Erscheinungsbild
Invariantenring der geordneten Dreiecke
Die orthogonale Gruppe (der Drehungen und der Drehspiegelungen) operiere linear und simultan auf dem
Dann ist der Invariantenring der zugehörigen Operation auf dem Polynomring gleich
Die drei Erzeuger sind dabei algebraisch unabhängig.
Jede polynomiale Invariante eines (nummerierten) Dreieckes lässt sich polynomial in den drei Seitenquadraten ausdrücken.