Diskussion:Invariantenring/Konjugierte Untergruppen/Isomorph/Fakt/Beweis

betrachten wir hier nicht die einschränkung auf ${}R^{H}\subseteq R$. anstatt von ${}R^{G}\subseteq R$.?

Die Einschränkung auf ${}R^{G}\subseteq R$ braucht man in der Tat nicht, bzw. nur dann, wenn man zeigen möchte, dass der Isomorphismus ein ${}R^{G}$-Algebraisomorphismus ist. Von Einschränkung auf ${}R^{H}$ zu sprechen ist auch etwas heikel, da ja das Bild nicht mehr in ${}R^{H}$ liegt.