I’m relatively new to universal algebra, but it seems that lots of theorems from specific algebraic theories (groups, rings) can be stated in the context of universal algebra, perhaps I’m wrong. Examples being Jordan-Holder, Lasker-Noether, Hilbert Nullstellensatz (maybe not?) and many more, where one can talk about sobobjects, and congruences instead of “subgroups” and “ideals”.Read more