Sulla composizione degli ideali primarii assoluti in un corpo algebrico. (Q1460106): Difference between revisions

In einer vorangegangenen Abhandlung (Journ. de math. (8) 5, 1922) hat Verf. die Haupteigenschaften ``absolut primärer'' Ideale \(A\) in einem algebraischen Körper \(K(\theta)\) entwickelt, bei denen die kleinste in ihnen enthaltene rationale ganze Zahl gleich der Idealnorm ist; die Untersuchung beruhte auf der Konstruktion einer Basis für \(A\). Jetzt werden wesentliche Ergänzungen der früheren Resultate gegeben, u. a. die Basis auch direkt aufgestellt. Ein Ideal \(A\) ist dann und nur dann absolut primär, wenn jede ganze Zahl des zugehörigen Körpers \(K(\theta)\) kongruent (mod \(A\)) mit einer ganzen rationalen Zahl ausfällt. Jeder Idealteiler \(B\) eines solchen \(A\) ist selbst absolut primär. Das Produkt zweier absolut primärer Ideale \(B\), \(C\) braucht selbst nicht notwendig ebenso auszufallen, ist aber absolut primär, wenn die Normen \(N(B)\) und \(N(C)\) prim zueinander sind. Jedes absolut primäre Ideal \(A\) zerfällt in Primideale von ausschließlich erstem Grade. Ist \(P\) ein beliebiges Primideal und \(p\) die zugehörige Primzahl, so enthält \(P^r\) als kleinste ganze rationale Zahl \(p^r\), außer wenn bereits \(p\) durch \(P^2\) teilbar ist; mit Ausnahme dieses Falles sind alle Potenzen eines Primideals vom ersten Grade \(P\) absolut primär; insbesondere existieren in jedem Körper unendlich viele absolut primäre Hauptideale. Sind \(c_{ik}^{(l)}\) die charakteristischen Koeffizienten für die Produkte der Basiszahlen \(\omega_i\), \(\omega_k\) des Körpers \(K\) vom Grade \(n\), so existieren absolut primäre Ideale \(A\) mit vorgeschriebener Norm \(m\), falls die rational ganzzahligen Kongruenzen \[ \xi_i\xi_k\equiv\sum_{l=1}^nc_{ik}^{(l)}\xi_l \pmod m;\qquad \sum_{l=1}^nh^{(l)}\xi_l\equiv 1 \pmod m \] erfüllt werden können; [\(\xi_1-\omega_1,\ldots, \xi_n-\omega_n\)] liefert dann ein solches \(A\).