Associated forms in the general theory of modular covariants.
type: Item
instance of: scholarly article
title: Associated forms in the general theory of modular covariants.
zbMATH Open document ID: 48.0103.01
DOI: 10.2307/2370326
author: Olive C. Hazlett
published in: American Journal of Mathematics
publication date: 1921-01-01T00:00:00Z
review text: In der Theorie der Komitanten eines Formensystems ist es eine Hauptfrage, ob man dieselben durch eine endliche Anzahl ganzrational bzw. rational ausdrücken kann; letzteres führt zu den ``assoziierten'' Formen. Beidemal entstehen wiederum zwei verschiedene Theorien, je nachdem die Koeffizienten der Transformationsgruppe einem Felde von der Charakteristik Null oder aber einem endlichen Felde \(GF [p^n]\) von der Charakteristik \(p\) angehören. Der letztere Fall ist noch wenig untersucht worden; die Schwierigkeit liegt hier darin, daß zwar eine Funktion, die ihre Form nicht ändert, auch ihren Wert nicht ändert, aber nicht immer auch umgekehrt. Man hat daher zwei Arten von Kovarianten eines Formensystems unter einer Gruppe im Felde \(GF [p^n]\) zu unterscheiden, ``formale'' und ``modulare'', je nachdem die Formenkoeffizienten als unabhängige Variable betrachtet werden oder aber als ''Marken'' des Feldes. Es wird hier das Problem der Syzygien behandelt. Die zwei fundamentalen Sätze von Hermite über assoziierte Formen werden auf Modularkovarianten beider Arten ausgedehnt. Nach Hermite gilt: Sind \(g\) und \(h\) zwei algebraische Kovarianten einer binären Form \(f(a_i; x, y)\) der Ordnung \(m\), und setzt man: \[ g\Bigl[a_i, xX-\frac {\partial h}{\partial y}Y,\;yX+\frac {\partial h}{\partial x}Y\Bigr]=\vartheta,\tag{1} \] so wird vermöge einer linearen Substitution mit der Determinante \(\varDelta \), die \(x\), \(y\) in \(x'\), \(y'\) überführt, identisch: \[ \vartheta \bigl[a_i';x',y';X,Y\bigr]\equiv \varDelta ^s\vartheta \bigl[a_i;x,y;X,\varDelta ^{t+1}Y\bigr],\tag{2} \] wo \(s\), \(t\) ganzzahlig sind. Danach sind die Koeffizienten der verschiedenen Glieder von \(X\), \(Y\) in \(\vartheta \) Kovarianten von \(f\). In dem besonderen Falle \(f = g\) erhält man so die mit \(f\) assoziierten Kovarianten. Jede algebraische Kovariante von \(f\) wird, bis auf eine Potenz von \(f\) als Nenner, eine ganzrationale Funktion der assoziierten Kovarianten. Seien nunmehr \(g\) und \(…
zbMATH DE Number: 2600553
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.2307/2370326
OpenAlex ID: W2334384964
description: scientific article; zbMATH DE number 2600553