Tolong jelaskan mengenai Beberapa teorema dasar dari Aljabar universal

Teorema isomorfisme, yang mencakup teorema isomorfisme grup, gelanggang, modul, dll.

Teorema HSP Birkhoff, yang menyatakan bahwa kelas aljabar adalah ragam jika dan hanya jika ditutup di bawah gambar homomorfik, subaljabar, dan produk langsung sembarang.