Eksplisiittinen primitiivisen alkion lause

Jos $a,b$ ovat algebrallisia yli $\mathbb {Q}$:n ja $x$ on rationaaliluku, joka ei ole muotoa $(b'-b'')/(a'-a'')$, missä $b'$ ja $b''$ ovat $b$:n konjugaatteja ja $a',a''$ ovat $a$:n konjugaatteja, on $ax+b$ $\mathbb {Q} (a,b)$:n primitiivinen alkio. Lausetta voidaan käyttää primitiivisen alkion lauseen todistamiseen.

Lähteet

• Bosch: Algebra ^{lähde tarkemmin?}