Ueber die Fundamentalteiler algebraischer Gattungsbereiche. (Q1516601)

Sei \(\Gamma(\xi;\mathfrak R',\,\dots,\,\mathfrak R^{(\nu)})\) ein Rationalitätsbereich, \(\mathfrak G(x;\mathfrak R',\,\dots,\,\mathfrak R^{(\nu)})\) ein in ihm enthaltener Gattungsbereich \(n^{\text{ter}}\) Ordnung. Eine in \((\mathfrak R',\,\dots,\,\mathfrak R^{(\nu)})\) irreductible ganze Function zerfalle in \(\mathfrak G\) in verschiedene Primfactoren; dann ist die Gattungsdiscriminante genau durch \(P^{n-k}\) teilbar, wenn \(k\) die Summe der Ordnungen aller ungleichen unter jenen Primfactoren bedeutet. Ausnahmen können nur eintreten, wenn \(P\) eine Primzahl \(p\) ist, und auch dann nur in ganz speciellen Fällen. --- Die Elementarteiler der aus \(n\) conjugirten Fundamentalsystemen gebildeten Matrix sind ganze Wurzelfunctionen; das Quadrat ihres Products ist die Gattungsdiscriminante. Sind \(P=P_1^{d_1}P_2^{d_2}\dots P_h^{d_h}\) die Zerlegung von \(P\) innerhalb \(\mathfrak G\), \(k_1,\,\dots,\,k_h\) die Ordnungszahlen von \(P_1,\,\dots,\,P_h\), so lassen sich die Exponenten der in den Elementarteilern enthaltenen Potenzen von \(P\) in die Sequenzen: \[ \left[\frac1{d_1}\right] = \left(\frac0{d_1},\,\frac1{d_1},\,\cdots,\,\frac{d_1-1}{d_1}\right),\;\left[\frac1{d_2}\right],\,\cdots,\,\left[\frac1{d_h}\right] \] anordnen, welche bezw. \(k_1-,\,k_2-,\,\dots,\,k_h-\)mal auftreten. --- Man kann das Fundamentalsystem so wählen, dass die Elementarteiler zugleich ,,Colonnenteiler'' werden; ein solches System heisst kanonisch.