Apa itu unsur aljabar?

Misalkan $L/K$ dan $\alpha \in L$. Jika ada $P \in K[X]$ tak nol dengan $P(\alpha) = 0$, maka $\alpha$ disebut aljabar atas $K$; pembangun monik $\pi_\alpha$ dari ideal $\{P : P(\alpha) = 0\}$ di $K[X]$ disebut polinomial minimalnya, yaitu polinomial tak tereduksi (sebab $\pi = QR$ dengan $Q(\alpha) = 0$ memaksa $R$ konstan menurut keminimalan derajatnya). Jika tidak, $\alpha$ disebut transenden. Kita tulis $K(\alpha)$ untuk sublapangan terkecil $L$ yang memuat $K$ dan $\alpha$, serta $K[\alpha]$ untuk subring terkecilnya.