{"entities":{"Q1544928":{"pageid":1555668,"ns":120,"title":"Item:Q1544928","lastrevid":74018028,"modified":"2026-04-14T18:04:31Z","type":"item","id":"Q1544928","labels":{"en":{"language":"en","value":"Sur les unit\u00e9s complexes."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2703270"}},"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":"Q1544928$0A19D62D-0344-4AEC-A5F9-8F9138927A06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"861a86a9f6a76797a7894b52a903ad318a90497c","datavalue":{"value":{"text":"Sur les unit\u00e9s complexes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1544928$5A53EC7D-45CA-4B63-8BDC-471477AF34F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eefb2051ef590661399350dc2221a41414af75e5","datavalue":{"value":"15.0048.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1544928$66B40CDD-3077-4A14-B098-A691860D250C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3564fffbea34e6cdc8d4dfaafa1f98a44041b0cc","datavalue":{"value":{"entity-type":"item","numeric-id":558939,"id":"Q558939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1544928$BDB1F248-C33E-4A78-91AB-27F487963C13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96ccbcdb216404924e6dd99ce2acf09660599fb1","datavalue":{"value":{"time":"+1883-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":"Q1544928$B1F4964A-7210-4D56-BE20-D4B5746D147E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd24f190a65d07898e69e1bee5190fd2be83b81b","datavalue":{"value":"http://gallica.bnf.fr/ark:/12148/bpt6k3052k.f93","type":"string"},"datatype":"url"},"type":"statement","id":"Q1544928$DD6CEB71-2AD6-45A4-853A-7740100E45BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ccb5c43deebd2e4a02ef1c0f7f6bd1fbd15d40b","datavalue":{"value":"Dirichlet hat die Hauptresultate seiner fundamentalen Untersuchungen \u00fcber die complexen Zahlen mit Andeutungen der Beweise in den Berl. Ber. (1841; 1842; 1846) gegeben. Als Hauptpunkt der Theorie hebt er hervor, dass, wenn die verschiedenen absoluten Werte der Wurzeln der Fundamentalgleichung die Anzahl \\(h\\) aufweisen, \\((h-1)\\) unabh\u00e4ngige complexe Einheiten gefunden werden k\u00f6nnen. Dieser Hauptpunkt erf\u00e4hrt in der vorliegenden Arbeit eine wesentlich neue Beleuchtung; sein Beweis stellt sich auf Grund allgemeiner Gr\u00f6ssenbetrachtungen, deren Tragweite \u00fcber die hier gemachten Anwendungen hinausgeht, in einfachster Weise dar. Wir geben, m\u00f6glichst gedr\u00e4ngt, eine Uebersicht des Inhalts dieser fundamentalen Arbeit.  In  \\[  (w,\\; z_{\\alpha})=w'z_{\\alpha}'+w''z_{\\alpha}''+\\dotsm +w^{(n)}z_{\\alpha}^{(n)} \\quad (\\alpha = 1,\\; 2,\\ldots ,\\nu )  \\]  m\u00f6gen die \\(w\\) ganze Zahlen und die \\(z\\) reelle oder complexe Gr\u00f6ssen bedeuten, die so beschaffen sind, dass f\u00fcr ganze \\(w\\) eine Relation \\((w,\\; z_{\\alpha})=0\\) unm\u00f6glich ist. Den \\(w\\) geben wir \\(m\\) Wertsysteme und verteilen die f\u00fcr jedes \\(\\alpha =1,\\; 2,\\ldots ,\\;\\nu\\) entstandenen \\(m\\) Ausdr\u00fccke \\((w,\\; z_{\\alpha})\\) in \\(t_{\\alpha}\\) Gruppen \\(G_{\\alpha}\\). Dann giebt es (wenn \\(E(x)\\) die gr\u00f6sste in \\(x\\) enthaltene ganze Zahl ist) \\(m_{\\nu} \\geqq E\\left( \\frac m{t_1\\; t_2\\ldots t_{\\nu}} \\right)\\) Systeme \\(w_{\\varrho}',\\; w_{\\varrho}'',\\ldots ,\\; w_{\\varrho}^{(m)}\\) f\u00fcr \\(\\varrho =1,\\; 2,\\ldots ,\\; m_{\\nu}\\), deren entsprechende \\((w_{\\varrho},\\; z_{\\alpha})\\) f\u00fcr jedes \\(\\alpha\\) derselben Gruppe \\(G_{\\alpha}\\) angeh\u00f6ren. Deutet man \\((w,\\; z_{\\alpha})\\) geometrisch als einen Punkt in der Ebene der complexen Gr\u00f6ssen \\(z_{\\alpha}\\), dann m\u00f6ge \\(T_{\\alpha}\\) die Maximalentfernung zweier Punkte \\((w,\\; z_{\\alpha})\\) f\u00fcr die gegebenen \\(m\\) Systeme \\(w\\) darstellen. Es ist der absolute Wert \\(|(w_{\\varrho}-w_1,\\; z_{\\alpha})| \\leqq T_{\\alpha}\\), und da \\(\\varrho =2,\\; 3,\\ldots ,\\; m_{\\nu}\\) sein kann, so giebt es  \\[  m_{\\nu}-1 \\geqq E \\left( \\frac {m-1}{t_1\\; t_2\\ldots t_{\\nu}} \\right) \\]  Systeme \\((c_{\\varrho},\\; z_{\\alpha})=(w_{\\varrho}-w_1,\\; z_{\\alpha})\\), f\u00fcr welche \\(|(c_{\\varrho},\\; z_{\\alpha})| \\leqq T_{\\alpha}\\) wird. Giebt man den \\(|c_{\\varrho}|\\) die Werte \\(1,\\; 2,\\ldots ,\\; rt,\\) dann folgt, dass mindestens \\(E\\left( \\frac {r^nt^n-1}{t_1\\; t_2\\ldots t_{\\nu}} \\right)\\) Ausdr\u00fccke \\((c_{\\varrho},\\; z_{\\alpha})\\) bestehen, f\u00fcr welche gleichzeitig  \\[  |c_{\\varrho}^{(k)}|<rt \\quad \\text{und} \\quad |(c_{\\varrho},\\; z_{\\alpha})|\\leqq T_{\\alpha}  \\]  wird.  Bedeuten die \\(c^{(k)}\\) beliebige ganze Zahlen, und ist f\u00fcr jedes von Null vorschiedene System der \\(c\\)  \\[  (\\mu)\\quad \\varPi_{\\alpha} |(c,\\; z_{\\alpha})|\\geqq \\mu \\quad (\\alpha =1,\\; 2,\\ldots ,\\nu ),  \\]  dann gelingt es durch die so eben erhaltenen Resultate untere und obere Grenzen f\u00fcr die Producte  \\[ \\text{(I)}\\quad \\varPi_{\\alpha} |(c,\\; z_{\\alpha})|,\\quad \\text{(II)}\\quad \\varPi_{\\alpha} |(c_{\\varrho},\\; z_{\\alpha})| \\quad (\\alpha =1,\\; 2,\\ldots ,\\;\\lambda\\leqq\\nu ;\\; \\varrho =1,\\; 2,\\ldots ,m_{\\nu}) \\]  festzustellen. Hierdurch wird die L\u00f6sung der principiell wichtigen Aufgabe erm\u00f6glicht, ``rationale Zahlen \\(\\gamma'',\\; \\gamma''',\\ldots ,\\;\\gamma ^{(n)}\\) zu finden, welche die Gleichungen  \\[  z_{\\alpha}'+\\gamma ''z_{\\alpha}''+\\dotsm +\\gamma^{(n)}z_{\\alpha}^{(n)}=0 \\quad (\\alpha=1,\\; 2,\\ldots ,\\; \\lambda )  \\]  ann\u00e4hernd befriedigen''. Nimmt man das oben eingef\u00fchrte \\(t\\) zum Maasse f\u00fcr \\(t_1,\\; t_2,\\ldots ,\\; t_{\\nu},\\) sowie f\u00fcr den Grad der Ann\u00e4herung, dann folgt f\u00fcr diesen letzteren als Ordnung \\(t^{-\\frac n{\\lambda}}\\), und aus der Betrachtung der unteren Grenze als Ordnung der Maximalann\u00e4herung \\(t^{-\\frac {\\nu}{\\lambda}}\\).  Sind \\(z_1,\\; z_2,\\ldots ,\\; z_{\\nu}\\) Wurzeln einer irreductiblen Gleichung \\(F(x)=0\\) mit rationalen Coefficienten, dann ist die Bedingung \\((\\mu)\\) erf\u00fcllt. F\u00fcr \\(z_{\\alpha}^{(k)}=z_{\\alpha}^{n-k}\\) l\u00e4sst sich eine angen\u00e4herte Reduction von \\(F=0\\) in der Weise durchf\u00fchren, dass man eine Gleichung \\(\\varPhi (x)=0\\) vom Grade \\(n-1\\) bestimmt, deren \\(n-1\\) Wurzeln ebenso vielen der Gleichung \\(F=0\\) ann\u00e4hernd gleich sind; die Ordnung der Ann\u00e4herung wird \\(t^{-\\frac n{\\lambda}}\\). Setzt man \\(n=\\nu\\), dann wird diese Ordnung zugleich die h\u00f6chste \u00fcberhaupt erreichbare.  F\u00fcr \\(n=\\nu =\\lambda\\) ergeben sich die auf complexe Einheiten bez\u00fcglichen Resultate. Man kann hier die Ann\u00e4herung so durchf\u00fchren, dass f\u00fcr jedes \\(|(c_{\\varrho},\\; z_{\\alpha})|\\) die Ordnung \\(t^{-\\sigma_{\\alpha}}\\) willk\u00fcrlich bestimmt ist. Daraus folgt, wenn wir mit \\(h\\) die Zahl der verschiedenen \\(|z_{\\alpha}|\\) bezeichnen, dass es \\((h-2)\\) Ausdr\u00fccke \\(|(c_{\\varrho},\\; z_{\\alpha})|\\) giebt, deren Grenzen in gewisser Weise von \\(t\\) unabh\u00e4ngig sind, und daraus: ``dass es in jeder Art algebraischer Zahlen unendlich viele Einheiten derart giebt, dass alle ihre Conjugirten bis auf zwei, den absoluten Werten nach, zwischen festen Grenzen sich befinden.'' Auf Grund von Entwickelungen, die Herr Kronecker in seiner Dissertation gegeben hat (De unitatibus complexis \\(\\S\\S\\) 10--12), l\u00e4sst sich dann schliessen:  1) Es giebt eine endliche Zahl von Einheiten, von denen mehr als \\((h-2)\\) Conjugirte den absoluten Werten nach zwischen festen Grenzen sich befinden.  2) Es giebt unter diesen complexen Einheiten \\((h-1)\\), welche unabh\u00e4ngig sind (Dirichlet, 1846).  3) Unter den unabh\u00e4ngigen Systemen giebt es eine unendliche Anzahl von Fundamentalsystemen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1544928$1D7BB1BB-C45E-4B87-9C6C-E4C918924600","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56c7f76923b29a06e5df502ec9e72c901e9849fe","datavalue":{"value":"12E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1544928$44F33983-B9B4-4E09-8479-4F4591935E1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be37593ce9f95ad240fd091bf5e49e9b7196f654","datavalue":{"value":"2703270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1544928$589CDFFE-653E-414E-BA09-304816E9A770","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":"Q1544928$9FAA671C-C52F-44FD-A9A7-5DB19A1357BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97f93f957f9cfc9d3b8e5ad8963519c042a8e93a","datavalue":{"value":{"entity-type":"item","numeric-id":6481250,"id":"Q6481250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1544928$34A87CA9-C611-415E-AEE6-48B6ACBE8976","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sur les unit\u00e9s complexes.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sur_les_unit%C3%A9s_complexes."}}}}}