Eksplisiittinen primitiivisen alkion lause

Malline:Korjattava/Määritelmä Jos $a,b$ ovat algebrallisia yli $\mathbb{Q}$:n ja $x$ on rationaaliluku, joka ei ole muotoa $(b^{\prime }-b^{″})/(a^{\prime }-a^{″})$, missä $b^{\prime }$ ja $b^{″}$ ovat $b$:n konjugaatteja ja $a^{\prime },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 Malline:Lähde tarkemmin