{"entities":{"Q2580438":{"pageid":2591181,"ns":120,"title":"Item:Q2580438","lastrevid":44397648,"modified":"2025-11-22T16:04:01Z","type":"item","id":"Q2580438","labels":{"en":{"language":"en","value":"Zur Frage des Euklidischen Algorithmus in quadratischen Zahlk\u00f6rpern."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2500194"}},"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":"Q2580438$8FDB32BC-7302-4F62-8CE7-00E17A33C1E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c479d643c9c0257d1ec32f7f2b3f6029c99d48f1","datavalue":{"value":{"text":"Zur Frage des Euklidischen Algorithmus in quadratischen Zahlk\u00f6rpern.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2580438$8C5278C8-D772-468C-AA7C-BC22CE55B051","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62169a40765edd07e28dd0480d4a5be4d1664642","datavalue":{"value":"68.0055.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580438$D3E9F126-C2D0-48F2-A667-2DADD6F5494F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb9b8cc4588fa2dbedee195e75a79c88da5c2661","datavalue":{"value":"10.1007/BF01487388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580438$9E86CA2C-E623-4846-A764-B127FC6D7C8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580438$E8BD7ECD-1BC4-42FB-B5B9-75D460E98F66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e8d5cfa941f0abf28997ed7977dfb1ee35cd2f","datavalue":{"value":{"time":"+1942-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":"Q2580438$5A387B88-2153-46B6-A380-CD0E4FA60EB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4184eb13471e57440bc6553cce34bc2b491b68c","datavalue":{"value":"https://eudml.org/doc/160107","type":"string"},"datatype":"url"},"type":"statement","id":"Q2580438$B454E4F0-8209-4512-8531-FC6641157B9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a4e10c4a98f0b86f5b08626a9b7ac1c7e2fd3960","datavalue":{"value":"Der von \\textit{O. Perron} (Math. Ann., Berlin, 107 (1932), 489-495; F. d. M. \\(58_{\\text I}\\), 181) zuerst in Angriff genommenen Frage der Existenz eines Euklidischen Algorithmus (k\u00fcnftig kurz mit E. A. bezeichnet) in einem reellquadratischen K\u00f6rper \\(k = R (\\sqrt m)\\), wo \\(R\\) der nat\u00fcrliche Zahlk\u00f6rper, \\(m\\) eine quadratfreie nat\u00fcrliche Zahl \\(>1\\) ist, widmete Verf. bereits fr\u00fchere Arbeiten, von denen wir die mit \\textit{H. Behrbohm}, J. reine angew. Math. 174 (1936), 192-205; F. d. M. \\(63_{\\text I}\\), 165 (kurz als B. R. zitiert) hervorheben wollen.  Zun\u00e4chst analysiert Verf. die fr\u00fcheren Methoden. Sei der Zahl \\(x+y\\sqrt m\\) aus \\(k\\) der Punkt \\((x,y)\\) zugeordnet. \\(G\\) sei ein Punkt \\(\\left(\\dfrac a2,\\dfrac b2\\right)\\) mit \\(a\\), \\(b\\) ganz, rational und zwar \\(a\\equiv b\\;\\text{mod}\\;2\\) f\u00fcr \\(m\\equiv 1\\;\\text{mod}\\;4\\), hingegen \\(a\\) und \\(b\\) gerade f\u00fcr \\(m = 2,3\\;\\text{mod}\\;4\\). Ein E. A. existiert genau dann, wenn die Hyperbelbereiche, die aus dem Bereich \\(|x^2 - my^2|<1\\) durch Verschiebung des Hyperbelmittelpunktes in einen Punkt \\(G\\) hervorgehen, alle rationalen Punkte der Ebene \u00fcberdecken. Nichteuklidischer Modul \\((\\mu)\\), wo \\(\\mu\\) ganz in \\(k\\) ist, ist nach Bezeichnung des Verf. ein solcher, wo die Restklassen aller ganzen Zahlen \\(\\overline\\mu\\) mit \\(|N\\overline \\mu|<|N\\mu|\\) nicht alle ganzen Zahlen von \\(k\\) erfassen. Die Existenz eines nichteuklidischen Moduls ist f\u00fcr die Nichtexistenz eines E. A. notwendig und hinreichend. Verf. verweist darauf, da\u00df alle bisherigen Beweise \u00fcber Nichtexistenz auf den Nachweis eines Teilers von \\(\\sqrt m\\) als nichteuklidischen Moduls hinauskommen. Insbesondere liegt allen bisherigen Beweisen im Falle \\(m=p\\) (nat\u00fcrliche Primzahl) \\(\\equiv 1\\;\\text{mod}\\;4\\) folgender Satz zugrunde: Gibt es eine Zerlegung \\(p=ab+cd\\) mit nat\u00fcrlichen Zahlen, \\(a\\), \\(b\\), \\(c\\), \\(d\\), die \\((a, c) = (b, d) = 1\\), weiter \\(\\left(\\dfrac ap\\right)=\\left(\\dfrac bp\\right)=\\left(\\dfrac cp\\right)=-1\\) (und damit von selbst auch \\(\\left(\\dfrac dp\\right)=-1\\)) erf\u00fcllen, so existiert kein E. A. in \\((R\\sqrt p)\\). Da\u00df dies gleichbedeutend mit der Aussage ``\\((\\sqrt p)\\) ist ein nichteuklidischer Modul'' ist, geht aus B. R., 198, 1. im Verein mit dem Hilfssatz B. R., 194 hervor.  Verf. f\u00fchrt nun als v\u00f6llig neues Moment bei Nichtexistenzbeweisen den Modul \\((1+\\varepsilon)\\) mit \\(\\varepsilon\\) als Grundeinheit des K\u00f6rpers \\(k\\) ein. Er beweist damit die Nichtexistenz eines E. A. f\u00fcr \\(m = 61, 109\\), sowie f\u00fcr alle \\(m=p\\equiv 17\\;\\text{mod}\\;24\\), \\(p>41\\). Bemerkt sei: F\u00fcr \\(p=61\\) ist \\((\\sqrt p)\\) kein nichteuklidischer Modul, und dies erkl\u00e4rt das Scheitern bisheriger Beweisversuche. Ein ferneres Ergebnis ist noch, da\u00df f\u00fcr \\(m=p=73\\), 97 (das letzte Ergebnis ist als Zusatz bei der Korrektur ohne Beweis gegeben) ein E. A. besteht. Der Beweis der Existenz f\u00fcr \\(p=73\\) ist v\u00f6llig analog dem f\u00fcr \\(p=19\\) in B. R., 195-197.  Offen bleiben von dem ganzen Problem nur F\u00e4lle mit \\(m=p\\equiv 1\\;\\text{mod}\\;24\\) und zwar \\(p = 193\\), 241, 313, 337, 457, 601 und \\(p > 3000\\). In den \u00fcbrigen erledigten F\u00e4llen gibt es einen E. A. nur f\u00fcr \\(m = 2\\), 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73, 97.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2580438$3B5340D2-7B43-4F61-9260-A6764D97E912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8553355018fda1342d50eb65e3dc7ec3ff968f01","datavalue":{"value":"2500194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2580438$722DE17F-4135-4DD8-94F6-133C5FEDDC0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a1db8f8e51cb6fba6cdeae898a51017014e7348","datavalue":{"value":{"entity-type":"item","numeric-id":774275,"id":"Q774275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580438$3C0CC873-B225-4E1B-9E73-81ADC1C8BA49","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":"Q2580438$06E6C1E9-A44B-47A5-B125-E1A78060D9C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ea9731bf3f27a79745b063bca754057c262159","datavalue":{"value":{"entity-type":"item","numeric-id":5778211,"id":"Q5778211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580438$95FB2ABE-5CFD-4C27-BA5D-2D91281E58F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76f7e5f1df9fc41d23749b70c6f391cc8691549","datavalue":{"value":{"entity-type":"item","numeric-id":1840008,"id":"Q1840008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580438$064B5EF5-DB6A-4D26-810F-FCE2EEBB0388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809b18f8344bce6a368b5943d68a8c6482a866d8","datavalue":{"value":{"entity-type":"item","numeric-id":1353301,"id":"Q1353301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580438$C9BB50FD-564E-4E72-BD23-F0F3A23B28B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f845b2a22470003f5575e406f6ad1058260504","datavalue":{"value":{"entity-type":"item","numeric-id":5771794,"id":"Q5771794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2580438$932C0BE6-29A9-4E38-B46B-F28E76454659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2580438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2580438"}}}}}