Beweis. Ist
ein Körper, dessen Diskriminante nur eine Primzahl
enthält, und bedeutet
die Norm eines Ideals in diesem Körper
, so ist nach dem Hilfssatze 13 stets
. Nun ist nach Satz 96 oder 97 insbesondere jede positive ungerade und in
nicht aufgehende rationale Primzahl, von welcher
quadratischer Rest ist, Norm eines Ideals in
. Die Benutzung dieses Umstandes liefert uns die nachstehende Tabelle; in derselben bedeuten
,
irgend voneinander verschiedene positive rationale und der Zahl
nach
kongruente Primzahlen, und andererseits bedeuten
,
voneinander verschiedene positive rationale und der Zahl
nach
kongruente Primzahlen, während
eine positive rationale ungerade Primzahl bezeichnet, von welcher kein bestimmter Restcharakter nach
vorausgesetzt wird.
|
|
|
|
Wenn: |
so ist:
|
|
![{\displaystyle m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc) |
![{\displaystyle l}](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac) |
![{\displaystyle n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b) |
![{\displaystyle \left({\frac {m}{n}}\right)=+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08ead8963729d0a651d9a8c422a28a8385fd68fd) |
|
1. |
![{\displaystyle -1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/704fb0427140d054dd267925495e78164fee9aac) |
![{\displaystyle 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f) |
![{\displaystyle r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538) |
![{\displaystyle \left({\frac {-1}{r}}\right)=+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0593fbb98fff578400da06ea6c7a1000a475f6de) |
|
2. |
![{\displaystyle 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f) |
![{\displaystyle 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f) |
![{\displaystyle r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538) |
![{\displaystyle \left({\frac {2}{r}}\right)=+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36808f226840ef7d8defd1f6ca82ea0f07c7df38) |
|
3. |
![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36) |
![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36) |
![{\displaystyle p'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40e623e3163571a220ed60ecb31aa78c24104b85) |
![{\displaystyle \left({\frac {p}{p'}}\right)=+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d87b32b335c8c4b147f170382484756112763180) |
|
4. |
![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36) |
![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36) |
![{\displaystyle q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d) |
![{\displaystyle \left({\frac {p}{q}}\right)=+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a928366905f107413ed646f2b3ae56002de2068) |
|
5. |
![{\displaystyle -q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0165a313dc76b84047e2aeb59b7459035ce5c61a) |
![{\displaystyle q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d) |
![{\displaystyle p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36) |
![{\displaystyle \left({\frac {-q}{p}}\right)=+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/437a1496349a36debcb51948a77f6012d9f9393b) |
|
6. |
![{\displaystyle -q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0165a313dc76b84047e2aeb59b7459035ce5c61a) |
![{\displaystyle q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06809d64fa7c817ffc7e323f85997f783dbdf71d) |
![{\displaystyle q'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/912405e5d416048908ea7978929975843d2ee4e6) |
![{\displaystyle \left({\frac {-q}{q'}}=\right)+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7fcbb9104e4a120f0ba7e977306c3e7939c93545) |
|
Nehmen wir die in einem Körper
aus
folgende Tatsache, daß
ist, zur Zeile 1 dieser Tabelle hinzu, so folgt allgemein
. Wenden wir ferner die am Eingange dieses Beweises genannte Tatsache auf die Primzahl
an, und berücksichtigen wir, daß die Zahl
stets gleich der Norm eines Ideals in
oder in
ist, sobald
, bezüglich
statthat, so folgt, daß unter der letzteren Voraussetzung stets
, bezüglich