Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

JFM 25.0297.04
Sochocki, J.
The principle of greatest common divisor in its applicability to the divisibility of algebraic numbers. (Das Princip des grössten gemeinsamen Teilers in seiner Anwendbarkeit auf die Teilbarkeit algebraischer Zahlen.) (Polish)
[J] Prace mat.-fiz. IV, 95-153 (1893).

Die Abhandlung entwickelt die Grundlagen einer elementaren Theorie der algebraischen Zahlen, der Idealzahlen und der Ideale.\par Im I. Capitel werden die gewöhnlichen Definitionen der algebraischen ganzen Zahl, des Bereiches solcher Zahlen, des Fundamentalsystems u. s. w. aufgestellt. Im II. Capitel wird die ``Aequivalenz nach einem gegebenen Modul'' behandelt. Zu diesem Zwecke werden zuerst die ``Ordnungen'' der algebraischen Zahlen eingeführt. Die Ordnung der algebraischen Zahl $\alpha$ nach dem Primzahlmodul $p$ ist der Exponent $a$ der höchsten noch in der Norm $N(\alpha)$ der gegebenen Zahl aufgehenden Potenz von $p$; sie wird also mittels der Gleichung $$N(\alpha) = p^ah$$ bestimmt, in welcher $h$ eine gewöhnliche ganze, durch $p$ nicht teilbare Zahl bedeutet. Weiter wird die Teilbarkeit der Zahl $\alpha$ durch $\beta$ modulo $p$ folgendermassen definirt: ``Ist das Verhältnis $\frac{\gamma\alpha}{\beta}$, wo $\gamma$ relativ prim zum Modul $p$ ist, eine ganze Zahl, dann heisst $\alpha$ durch $\beta$ modulo $p$ teilbar''. Aequivalent modulo $p$, in Zeichen: $$\beta \underset.\to= \alpha\quad\pmod p,$$ heissen zwei Zahlen $\alpha$ und $\beta$, wenn gleichzeitig $\alpha$ teilbar durch $\beta$ und $\beta$ teilbar durch $\alpha$ mod. $p$ ist. Es werden dann die Einteilung nach den Klassen der Aequivalenz, der Begriff des Productes der Klassen und des Teilers der Klasse eingeführt.\par Im III. Capitel begründet der Verfasser den in seiner Theorie fundamentalen Satz: ``Sind $\alpha$ und $\beta$ zwei von Null verschiedene Zahlen, $\alpha$ nicht teilbar durch $\beta$ mod. $p$, so kann man immer eine solche ganze Zahl $\omega$ bestimmen, dass die Ordnung der Differenz $\frac{\alpha}{\beta}-\omega$ kleiner ist als die Ordnung des Verhältnisses $\frac{\alpha}{\beta}$''. Auf Grund dieses Satzes darf man auf zwei Zahlen, deren keine durch die andere mod. $p$ teilbar ist, das Euklidische Verfahren des Aufsuchens des grössten gemeinsamen Teilers anwenden (Capitel IV), und man gelangt auf diesem Wege zur Definition des grössten gemeinsamen Teilers zweier Zahlen, der relativen Primzahlen u. s. w.\par Im Capitel V wird als Hauptrepräsentant einer gegebenen Klasse eine solche Zahl gewählt, deren Norm der Gleichung $\pm N(\alpha)=p^a$ Genüge leistet; $a$ ist die Ordnungszahl der Klasse. Um Ausnahmen auszuschliessen, nimmt man an, dass eine jede Klasse solche ``idealen'' Hauptrepräsentanten besitzt, indem man das Wort ``ideal'' in einer der beiden Bedeutungen: ``existirend'' oder ``nicht existirend'' auffasst. Auf diese Weise kann man die Sätze der Zahlentheorie ganz allgemein ausdrücken.\par Die Gesetze der ``absoluten'' Teilbarkeit der Zahlen (VI. Capitel) beruhen auf den folgenden zwei Theoremen: 1. Die notwendige und hinreichende Bedingung dafür, dass $\alpha$ teilbar ist durch $\beta$, ist die, dass $\alpha$ teilbar ist durch $\beta$ in Bezug auf jeden in der Norm $N(\beta)$ enthaltenen Modul. 2. Die notwendige und hinreichende Bedingung dafür, dass $\alpha$ und $\beta$ relativ prim zu einander sind, ist, dass $\alpha$ und $\beta$ relativ prim zu einander sind in Bezug auf jeden gleichzeitig in den Normen $N(\alpha)$ und $N(\beta)$ enthaltenen Modul.\par Die durch das System $$\align x &\underset.\to= \alpha\;\pmod p,\\ x &\underset.\to= \beta,\;\pmod q,\\ x &\underset.\to= \gamma,\;\pmod r,\\ .\quad&.\quad.\quad.\quad.\quad.\quad.\\ \pm N(x) &= p^aq^br^c\dots\endalign$$ definirte Idealzahl $x$ wird durch das Symbol $$x = \vmatrix \alpha&p\\ \beta&q\\ \gamma&r\\ .&.\\ .&.\endvmatrix$$ bezeichnet. Aus dieser Definition und Bezeichnung folgen dann mit Leichtigkeit alle wichtigeren Eigenschaften der Idealzahlen (Capitel VII).\par Das VIII. Capitel ist der Theorie der Dedekind'schen Ideale gewidmet. Das Ideal wird als Inbegriff aller Zahlen $$a_0\Omega_0 + a_1\Omega_1 +\cdots+ a_{n-1}\Omega_{n-1},$$ wo $a_0$, $a_1$, ... gegebene und $\Omega_0$, $\Omega_1$, ... willkürliche ganze Zahlen sind, definirt. Die Gleichheit $J_1=J_2$ zweier Ideale bestimmt man so, dass jede im ersten enthaltene Zahl auch im zweiten enthalten ist, und umgekehrt. Der Inbegriff aller durch die Idealzahl $\delta$ teilbaren Zahlen hat das Ideal $J(\delta)$. Es ist möglich, für jedes $J$ ein solches $\delta$ aufzufinden, dass $J=J(\delta)$ sei. Es wird dann nach Dedekind das Product $J_1J_2$ zweier Ideale definirt und der Satz $J(\alpha)J(\beta)=J(\alpha\beta)$ bewiesen. Ist $\alpha$ eine ``existirende'' Zahl, dann heisst $J(\alpha)$ das ``Hauptideal''. Zu jedem $J(\beta)$ kann man ein solches $J(\gamma)$ bestimmen, dass $J(\beta)J(\gamma)$ ein Hauptideal wird.\par Das letzte (IX.) Capitel enthält die Untersuchungen über die Congruenzen, deren Modul eine Idealzahl ist.
(Data of JFM: JFM 25.0297.04; Copyright 2005 Jahrbuch Database used with permission)
[Dickstein, Prof. (Warschau)]

MSC 2000:: *11R04 Algebraic numbers

Keywords: ideals; ideal numbers

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Journal

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]