On the extension of the notion of congruence for algebraic number fields of finite degree (Q1439318)

Sei \(\mathfrak P\) eine Menge von Primidealen eines endlichen algebraischen Zahlkörpers \(K\). Man kann die in bezug auf \(\mathfrak P\) ganzen Zahlen und Ideale des Körpers \(K\) definieren. Sind \(\alpha\) und \(\beta\) zwei in bezug auf \(\mathfrak P\) ganze Zahlen und \(\mathfrak m\) ein in bezug auf \(\mathfrak P\) ganzes Ideal, so soll \(\alpha\equiv\beta\) (mod \(\mathfrak m; \mathfrak P)\) bedeuten, daß \(\dfrac{\alpha-\beta}{\mathfrak m}\) in bezug auf \(\mathfrak P\) ganz ist. Man kann sich auf den Fall beschränken, daß \(\mathfrak m\) durch die Primideale aus \(\mathfrak P\) darstellbar ist. Die Klassen mod (\(\mathfrak m; \mathfrak P\)) bilden einen Ring \(\mathfrak D (\mathfrak m; \mathfrak P)\), der mit dem Ring \(\mathfrak D(\mathfrak m)\) der Klassen (mod \(\mathfrak m\)) isomorph ist.