At the risk of incurring the wrath of some here, I would propose the [Yoneda Lemma](https://en.wikipedia.org/wiki/Yoneda_lemma), along with the minimum of necessary category theory. Like it or not, category theory is hugely useful to algebraists, and early exposure can be very helpful. (It was to me!)