Über Gruppen, die durch Matrizen über einem kommutativen Feld isomorph darstellbar sind. (Q2585958)

Satz 1: Wenn jeder Faktor \(G_{\alpha }\) eines freien Produktes eine treue Darstellung \(D_{\alpha }\) über einem festen Körper \(k\) besitzt, so hat das freie Produkt der \(G_\alpha \) eine treue Darstellung \((n + 1)\)-ten Grades über einem Oberkörper von \(k\). Die zugehörige Darstellungsgruppe wird erzeugt aus den Matrizen \(X_\alpha \begin{pmatrix}\l\,&\\ D_\alpha &0\\0&1\end{pmatrix}\,X_\alpha ^{-1}\), wobei die je \((n + 1)^2\) Koeffizienten der \(X_{\alpha }\) lauter verschiedene Polynomvariable sind. Satz 2: Wenn jede aus endlich vielen Elementen erzeugte Untergruppe einer abzählbaren Gruppe eine treue Darstellung \(n\)-ten Grades über \(k\) besitzt, so hat die ganze Gruppe eine treue Darstellung \(n\)-ten Grades über einem Oberkörper von \(k\). Beweis durch eine naheliegende algebraische Approximation.