After reading this I am thoroughly convinced that this is standard material for introductory graduate algebra. And they do it in far less space and with far less philosophy.