Anwendung exponentieller Kongruenzen zum Beweis der Unlösbarkeit gewisser diophantischer Gleichungen. (Q2604479): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:31, 3 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Anwendung exponentieller Kongruenzen zum Beweis der Unlösbarkeit gewisser diophantischer Gleichungen. |
scientific article |
Statements
Anwendung exponentieller Kongruenzen zum Beweis der Unlösbarkeit gewisser diophantischer Gleichungen. (English)
0 references
1937
0 references
Die Unlösbarkeit einer diophantischen Gleichung kann man unter Umständen beweisen, indem man eine gleichwertige exponentielle Gleichung aufstellt, für die die zugehörige Kongruenz nach einem geeigneten Modul nicht lösbar ist. Verf. führt als Beispiel die Gleichung \[ x^3 + 2y^3 = 47 \tag{1} \] an. Die Kongruenz \[ x^3 + 2y^3 = 47 \pmod m \] ist für jeden Modul \(m\) lösbar. Mit (1) ist gleichwertig die exponentielle Gleichung \[ \alpha \varepsilon^n + \varrho \alpha^\prime \varepsilon^{\prime n} + \varrho^2 \alpha^{\prime\prime} \varepsilon^{\prime\prime n} = 0 \qquad (n \text{ ganz rational}), \tag{2} \] wobei \[ \begin{matrix} \l & \l & \quad \r \;& \l \\ \;\;\varrho^2 + & \varrho + 1 = 0, & \vartheta^3 & = 2, \\ \alpha & = 3 - \vartheta + \vartheta^2, & \varepsilon & = \vartheta - 1, \\ \alpha^\prime & = 3 - \varrho\vartheta + \varrho^2 \vartheta^2, & \varepsilon^\prime & = \varrho\vartheta - 1, \\ \alpha^{\prime\prime} & = 3 - \varrho^2\vartheta + \varrho\vartheta^2, & \varepsilon^{\prime\prime} & = \varrho^2\vartheta - 1 \end{matrix} \] ist. Nun zeigt sich, daß die Kongruenz \[ \alpha \varepsilon^n + \varrho \alpha^\prime \varepsilon^{\prime n} + \varrho^2 \alpha^{\prime\prime} \varepsilon^{\prime\prime n} \equiv 0 \;(\text{mod } 1 + \vartheta) \] nicht lösbar ist. Daher ist auch (2) nicht lösbar und folglich (1) nicht in ganzen rationalen Zahlen zu befriedigen. -- Verf. untersucht sodann die Frage, ob jede exponentielle Gleichung ganzzahlig lösbar ist, wenn die entsprechende Kongruenz für alle Moduln lösbar ist, und beweist in dieser Richtung: Sind \(a\), \(b\), \(h_1, \dots, h_n\), \(k_1, \dots, k_n\) ganze Zahlen eines Körpers mit der Idealklassenzahl 1, so ist \[ a h_1^{x_1} h_2^{x_2} \cdots h_n^{x_n} b k_1^{x_1} k_2^{x_2} \cdots k_n^{x_n} = 0 \] ganzzahlig lösbar, wenn die entsprechende Kongruenz für jeden Modul \(\mu\) im Körper lösbar ist. Allgemeiner gilt dieser Satz auch für Systeme zweigliedriger exponentieller Gleichungen. Die Frage für mehrgliedrige exponentielle Gleichungen bleibt offen.
0 references