Teorema. Ako je

raširenje polja, tada svi elementi u

koji su algebarski na

formiraju polje.
(a) Prvi način. Neka je

. Imamo da je

, odnosno posle kvadriranja

. Sada sređivanjem dobijamo

. Posle kvadriranja, dobijamo:

, odnosno

. Da li je

minimalni polinom za

, da li je

algebarski stepena

na

, odnosno
![[\mathbb Q(\alpha):\mathbb Q]=4](https://static.elitesecurity.org/tex/389bc2173907953bf4c876637147135c.png)
? Zaista, jasno je da je

nula ovog polinoma, jer je konstruisan tako da je

. Takođe, on je i nerastavljiv na
![\mathbb Q[X]](https://static.elitesecurity.org/tex/391be1598402a6b9f2992cef3510a815.png)
što se dokazuje posle ne tako malo računa, pa je odgovor na prethodna pitanja potvrdan.
Drugi način. Pošto su

i

algebarski na

, kao rešenja jednačina

i

, to je i

algebarski na

.
(b) Prvi način. Neka je
![\alpha=\sqrt3+\sqrt[4]3](https://static.elitesecurity.org/tex/24b1ddf01130e4878d686ce9248e0d96.png)
. Neka je
![\beta=\sqrt3, \gamma=\sqrt[4]3](https://static.elitesecurity.org/tex/0eb8dc48e04009272cfc28ab46ccbf6a.png)
, tada imamo da važi:

.
Posmatrajmo polinom

. Lako se uočava po Ejzenštajnovom kriterijumu da je ovaj polinom nerastavljiv na
![\mathbb Q[X]](https://static.elitesecurity.org/tex/391be1598402a6b9f2992cef3510a815.png)
. Pošto je moničan i nerastavljiv, on je i minimalni polinom za

. Imamo da je

algebarski na

stepena

, a da je njegov minimalni polinom

, odnosno da je stepen generisanog raširenja
![[\mathbb Q(\alpha):\mathbb Q]=4](https://static.elitesecurity.org/tex/389bc2173907953bf4c876637147135c.png)
.
Drugi način. Pošto su

i
![\sqrt[4]3](https://static.elitesecurity.org/tex/b975d48ec39c55831a06c7b3298d6910.png)
algebarski na

, kao rešenja jednačina

i

, to je i
![\sqrt3+\sqrt[4]3](https://static.elitesecurity.org/tex/44a536cc8bab3f4c62bc45e0ddedbd0d.png)
algebarski na

.
(g) Neka je

algebarski na

, tada je i

takođe algebarski. Po teoremi, tada je i

takođe algebarski, što je kontradikcija. Ovde se pozivamo na činjenicu da je

transcendentan.
(đ) Neka je
![\alpha=\sqrt[3]{1+\sqrt {\mathrm e}}](https://static.elitesecurity.org/tex/76fd2add9fb0184150b453735bd30a59.png)
algebarski. Očigledno je

, odnosno

takođe algebarski, što je naravno kontradikcija.
Potpis
Kada budemo vešali kapitaliste oni će nam prodati uže koje ćemo koristiti za vešanje.
Josif Visarionovič Džugašvili