Coba jelasin Generalisasi dari Ekstensi aljabar dong

Teori model menggeneralisasi gagasan perluasan aljabar menjadi teori arbitrer: embedding dari M menjadi N disebut ekstensi aljabar jika untuk setiap x di N ada rumus p dengan parameter di M, misalnya p(x) benar dan himpunannya

terbatas. Ternyata menerapkan definisi ini pada teori medan memberikan definisi yang biasa tentang perluasan aljabar. Grup Galois dari N di atas M dapat lagi didefinisikan sebagai grup dari automorfisme, dan ternyata sebagian besar teori kelompok Galois dapat dikembangkan untuk.