{"entities":{"Q2646009":{"pageid":2656752,"ns":120,"title":"Item:Q2646009","lastrevid":44556057,"modified":"2025-11-23T21:37:54Z","type":"item","id":"Q2646009","labels":{"en":{"language":"en","value":"Sur les \u00e9quations diophantiennes li\u00e9es aux unit\u00e9s d'un corps de nombre alg\u00e9briques fini"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3030063"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646009$041CB958-7B09-4F8E-B0F8-9F367BB1AAC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"129643bf820b6fd10cdd836565e84eee3e7c4a84","datavalue":{"value":{"text":"Sur les \u00e9quations diophantiennes li\u00e9es aux unit\u00e9s d'un corps de nombre alg\u00e9briques fini","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2646009$1A74D929-FF4A-464C-93F0-F5070B6EF2DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2019333568046b3990d4295aca4fab41c351e0cb","datavalue":{"value":"0019.00303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646009$B4CFE0C7-F355-4BF1-94A1-AD98954D4BD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27f4b480310c03443415a518ba1580a681fa8c7f","datavalue":{"value":"10.1007/BF02410698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646009$C2D57F51-D326-4FE8-8DD5-DF220BCC2E8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c77f9c239ccea9d2907937a25e079e96e3ef239a","datavalue":{"value":{"entity-type":"item","numeric-id":251434,"id":"Q251434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646009$D5F08CF5-88DD-4E26-9CC1-B831DA7A5F73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2646009$4F10775D-F39B-4806-B566-921717D4363A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf2525a0c5bcc4d285d50462595008ba14ca247e","datavalue":{"value":"https://eudml.org/doc/192884","type":"string"},"datatype":"url"},"type":"statement","id":"Q2646009$38D3BD5C-3150-40B0-8B9C-94469977FCB4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6e76280cf07d54b212aef1e34b56fc9b50cca2bd","datavalue":{"value":"In der vorliegenden Arbeit werden Untersuchungen von Th. Skolem \u00fcber die Darstellung von Zahlen durch zerlegbare Formen im Zusammenhang mit der Theorie der algebraischen Einheiten und der \\(p\\)-adischen Zahlen verallgemeinert und weitergef\u00fchrt (s. das letzte Kapitel von \\textit{Th. Skolem} [Diophantische Gleichungen. Berlin: Springer (1938; Zbl 0018.29302)], wo auch die fr\u00fcheren Arbeiten des Verf. besprochen werden).   Unter \\(H_p\\), werde eine algebraisch abgeschlossene Erweiterung des K\u00f6rpers \\(R_p\\) der \\(p\\)-adischen Zahlen verstanden; die wie \u00fcblich durch \\([p]_p=1/p\\) normierte Bewertung \\(| x|_p\\) von \\(R_p\\) werde in \\(H_p\\) fortgesetzt. Alsdann sei \\(X^n\\) der \\(n\\)-dimensionaie Raum aller Punkte \\((x_1,\\ldots, x_n)\\), wo die Koordinaten in \\(H_p\\) liegen und wo im Raum eine Metrik etwa durch  \\(\\mathrm{Dist}(a',a'') =\\sum_{h=1}^n | a'_h -a''_h|_p\\) definiert ist.   Das erste Kapitel handelt von in einem Punkt \\(A\\): \\((a_1, \\ldots, a_n)\\) von \\(X^n\\) algebroiden Mannigfaltigkeiten (kurz A.M.), d. h. der Gesamtheit aller Nullpunkte eines Ideals von Potenzreihen  \\[ \\sum_{h_1=0}^\\infty\\cdots \\sum_{h_n=0}^\\infty c_{h_1\\cdots h_n} (x_1-a_1)^{h_1}\\cdots (x_n-a_n)^{h_n} \\]  mit Koeffizienten aus \\(H_p\\), die in einer Umgebung von \\(A\\) konvergieren. Der Verf. leitet ein \\(p\\)-adisches Analogon zur Formel und zum Lemma von Weierstra\u00df her und zeigt, da\u00df die Punkte einer irreduziblen (d. h. durch ein Primideal definierten) A.M. durch endlich viele Weierstra\u00dfelemente gegeben werden wie im komplexen Fall (s. Skolem [loc. cit.] und \\textit{W. R\u00fcckert} [Math. Ann. 107, 259--281 (1932; Zbl 0005.09802)]).   Im zweiten Kapitel wird der Begriff der \\(\\mu\\)-Mannigfaltigkeit (kurz \\(\\mu\\)-M.) der Dimension \\(r\\) eingef\u00fchrt; das ist die Gesamtheit aller Punkte \\(X\\): \\((x_1, \\ldots, x_n)\\) in \\(X^n\\) der Form  \\[ x_j=q_j a_{j1}^{\\nu 1}\\dots q_j a_{jr}^{\\nu r}, \\]   wo die \\(q_j\\neq 0\\) sind, die \\(p\\)-adischen Logarithmen \\(\\log a_{ji}\\) existieren, gen\u00fcgend klein sind und eine Matrix \\((\\log a_{ji})\\) vom Rang \\(r\\) haben, und die \\(y_i\\) alle gen\u00fcgend kleinen Zahlen aus \\(H_p\\), durchlaufen. Verf. untersucht den Durchschnitt einer \\(\\mu\\)-M. mit einer A.M. und spezieller einer algebraischen M. Diese Resultate wendet er an auf die Abelschen Gruppen \\(\\Gamma\\) von Punkten \\((x_1, \\ldots, x_n)\\) mit algebraischen Koordinaten \\(\\neq 0\\); dabei wird das Produkt definiert durch  \\[ (x_1, \\ldots, x_n)(x'_1, \\ldots, x'_n)) = (x_1x'_1, \\ldots, x_nx'_n). \\]  Sei \\(\\Gamma\\) vom Rang \\(r\\), d. h. bestehe seine Basis aus \\(r\\) Elementen unendlicher und endlich vielen endlicher Ordnung. W\u00e4hlt man dann die Primzahl \\(p\\) geeignet, so gibt es eine Untergruppe \\(\\Gamma^*\\) endlichen Indexes von \\(\\Gamma\\) und eine \\(\\mu\\)-M. \\(M\\) der Dimension \\(r\\), so da\u00df alle Elemente von \\(\\Gamma^*\\) erhalten werden, wenn man die Exponenten \\(y_1, \\ldots, y_r)\\) der Elemente von \\(X\\) die ganzen rationalen Zahlen durchlaufen l\u00e4\u00dft. Aus den Ergebnissen \u00fcber A.M. und \\(\\mu\\)-M. folgt jetzt der wichtige Satz:   ,,Die Abelsche Gruppe \\(\\Gamma\\) vom Range \\(r\\) habe mit der durch die Gleichungen  \\[ F_h(x_1, \\ldots, x_n)=0\\qquad h=1,2,\\ldots, s' \\]  mit algebraischen Koeffizienten definierten algebraischen Mannigfaltigkeit der Dimension \\(s\\) einen Durchschnitt \\(E\\) aus unendlich vielen Punkten. Zu jeder unendlichen Teilmenge \\(E'\\) von \\(E\\) gibt es dann eine Untergruppe \\(\\gamma\\) von \\(\\Gamma\\) mit folgenden Eigenschaften: 1. Wenigstens eine Restklasse \\(\\Gamma/\\gamma\\) enth\u00e4lt eine unendliche Teilmenge von \\(E'\\). 2. Sei \\(\\sigma = s + r\\). Zwischen \\(\\sigma\\) Koordinaten \\(x_{i_1},\\ldots, x_{i_\\sigma}\\) jedes Elements \\((x_1, \\ldots, x_n)\\) von \\(\\gamma\\) besteht die Gleichung  \\[ x_{q_1}^{N_1}\\cdots x_{q_\\sigma}^{N_\\sigma}=1, \\]   wo die Exponenten allein von den Indizes \\(q\\) abh\u00e4ngen, ganz rational und nicht alle Null sind.''    Im letzten Kapitel werden Systeme Diophantischer Gleichungen  \\[ \\mathrm{Norm}(X_1\\omega_1+\\ldots+X_n\\omega_n) =\\mp1,\\tag{1} \\]   \\[ F_j(X_1, \\ldots, X_n) = 0\\qquad (j=1, 2, \\ldots, m)\\tag{2} \\]   in ganzen rationalen Unbekannten \\(X_1, \\ldots, X_n\\) betrachtet; dabei ist \\(\\omega_1,\\ldots, \\omega_n\\) die Basis eines endlichen algebraischen Zahlk\u00f6rpers \\(K\\) vom Grad \\(n\\), und die \\(F_j\\) sind Polynome mit rationalen Koeffizienten. Von den Konjugierten zu \\(K\\) seien \\(r_1\\) reell, \\(2r_2\\) komplex konjugiert, und es werde \\(r=r_1 + r_2 - 1\\) gesetzt. Sei die durch (1) und (2) bestimmte algebraische M. von der Dimension \\(s\\). Jeder L\u00f6sung dieser Gleichungen entspricht eineindeutig eine Einheit  \\[ \\varepsilon=X_1\\omega_1+\\ldots+X_n\\omega_n \\]  von \\(K\\) mit ihren Konjugierten. Sei \\(E\\) die als unendlich angenommene Menge aller Einheiten \\(\\varepsilon\\) die (1) und (2) gen\u00fcgen. Aus dem obigen Satz \u00fcber Gruppen folgt dann:  ,,Zu jeder unendlichen Teilmenge \\(E'\\) von \\(E\\) gibt es eine Untergruppe \\(\\gamma\\) der Gruppe \\(\\Gamma\\) aller Einheiten von \\(K\\) mit folgenden Eigenschaften: 1. In wenigstens einer Restklasse von \\(\\Gamma/\\gamma\\) liegen unendlich viele Elemente von \\(E'\\). 2. Sei \\(\\sigma = r + s\\). Zwischen den Konjugierten \\(\\varepsilon^{(q_1)}, \\ldots, \\varepsilon^(q_\\sigma)\\) jeder Einheit aus \\(\\gamma\\) besteht dann die Relation  \\[ \\varepsilon^{(q_1)^{N_1}}\\cdots \\varepsilon^{(q_\\sigma)^{N_\\sigma}}=1, \\]  wo die Exponenten \\(N\\) allein von den Indizes \\(q\\) abh\u00e4ngen, ganz rational und nicht alle Null sind.''    Um diesen Satz anzuwenden, kann man einmal spezielle Annahmen \u00fcber die Galois gruppe \\(G\\) von \\(K\\) machen; dann ergibt sich u. a.:  ,,Ist \\(K\\) vom Primzahlgrad oder \\(G\\) die symmetrische Gruppe, so liegen h\u00f6chstens endlich viele Einheiten von \\(K\\) in einem Modul der Dimension \\(\\leq n - r\\).''   Weiter kann man die Mannigfaltigkeit spezialisieren, in der unendlich viele Einheiten liegen sollen, etwa annehmen, da\u00df \\(K\\) durch Adjunktion der linear unabh\u00e4ngigen Zahlen \\(\\alpha_1,\\ldots, \\alpha_{k-1}\\) zum K\u00f6rper der rationalen Zahlen entsteht, und dann die Einheiten im Modul \\(M = [1, \\alpha_1,\\ldots, \\alpha_{k-1}]\\) betrachten. Dann folgt z. B.:  ,,Ist \\(h=2\\), \\(K\\) nicht total-reell, so liegen in \\(M\\) h\u00f6chstens endlich viele Einheiten von \\(K\\)'' (Spezialfall des Thueschen  Satzes, s. Skolem, loc. cit.).   ,,F\u00fcr \\(h=3\\) liegen dann und nur dann unendlich viele Einheiten von \\(K\\) in \\(M = [1, \\alpha_1, \\alpha_2]\\), wenn \\(M\\) zwei Zahlen \\(\\varphi\\) und \\(\\psi\\) enth\u00e4lt, so da\u00df \\(\\varphi\\) eine Einheit von \\(K\\) und \\(\\psi/\\varphi\\) eine reell-quadratische Irrationalzahl ist.''   Hat speziell \\(K\\) zwei Paare komplex konjugierter K\u00f6rper, so trifft dies nie zu. In diesem Fall hat die Ungleichung  \\[ | X+Y\\alpha_1+Z\\alpha_2| < \\text{const.} \\cdot\\{| X|+| Y| +| Z|\\}^{-(s-1)} \\]  h\u00f6chstens endlich viele L\u00f6sungen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646009$F252C78F-5EDF-44DC-A163-030204E6A8F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed63fa723b9e928ddb8b36f4299b19cc003a504f","datavalue":{"value":"11D57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646009$D6A249E5-BB9C-40C4-AE10-787368B5E994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b7c8442bfb1333519510c69f98e5be56c75f530","datavalue":{"value":"3030063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2646009$77B0659A-688A-4AAD-98D0-FC054AA5F215","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646009$8C9D55E9-7E77-42E8-AA30-D1AF243BD35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a416f4de1b9672ebf850d8e4bbf2f0dca532518c","datavalue":{"value":"units of finite algebraic number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2646009$B3584670-8608-41C1-B4DB-0EEB4CA1723A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b53d5bbfc5869f661e56eda5487d1489b7b1d5be","datavalue":{"value":{"entity-type":"item","numeric-id":775479,"id":"Q775479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646009$47403B03-C9BB-4DDB-B425-CC896DA6E125","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2646009$0C0985F1-0FCA-43BA-9AB9-DF7D0E621DD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2646009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2646009"}}}}}