Algebraische Zahlen/Einführung/Textabschnitt

Die über den rationalen Zahlen ${}\mathbb {Q}$ algebraischen komplexen Zahlen erhalten einen speziellen Namen.

Definition

Eine komplexe Zahl ${}z$ heißt algebraisch oder algebraische Zahl, wenn sie algebraisch über den rationalen Zahlen ${}\mathbb {Q}$ ist. Andernfalls heißt sie transzendent.

Die Menge der algebraischen Zahlen wird mit ${}{\mathbb {A} }$ bezeichnet.

Ferdinand von Lindemann (1852-1939)

Bemerkung  

Eine komplexe Zahl ${}z\in {\mathbb {C} }$ ist genau dann algebraisch, wenn es ein von ${}0$ verschiedenes Polynom ${}P$ mit rationalen Koeffizienten und mit ${}P(z)=0$ gibt. Durch Multiplikation mit einem Hauptnenner kann man für eine algebraische Zahl auch ein annullierendes Polynom mit ganzzahligen Koeffizienten finden (das allerdings nicht mehr normiert ist). Eine rationale Zahl ${}q$ ist trivialerweise algebraisch, da sie Nullstelle des linearen rationalen Polynoms ${}X-q$ ist. Weiterhin sind die reellen Zahlen ${}{\sqrt {q}}$ und ${}q^{1/n}$ für ${}q\in \mathbb {Q}$ algebraisch. Dagegen sind die Zahlen ${}e$ und ${}\pi$ nicht algebraisch. Diese Aussagen sind keineswegs selbstverständlich, die Transzendenz von ${}\pi$ wurde beispielsweise von Ferdinand von Lindemann 1882 gezeigt.