Sebuah aljabar- adalah ruang vektor bernama yang dilengkapi struktur ring dengan perkalian yang bilinear atas . Contohnya: , , , ruang fungsi , dan sebagai aljabar-. Morfisma aljabar adalah morfisma ring yang linear; evaluasi dari ke (atau ke ) adalah contoh pusatnya, yang menggerakkan Bab 3.
Contoh
Contoh 1.34 (Morfisma evaluasi dan kernelnya)
Ambil dan evaluasi , . Karena ,
(hanya suku tetap dan suku linear yang bertahan). Karenanya : sebuah ideal utama, persis seperti diramalkan Teorema 1.26, dibangun oleh yang monik dan berderajat terkecil di dalam kernel — itulah polinomial minimal , bintang Bab 3. Petanya adalah aljabar komutatif berdimensi dua : morfisma evaluasi menciutkan yang berdimensi tak hingga menjadi aljabar kecil yang terhitungkan.