Let $R$ be a commutative ring. We say that an $R$-algebra $A$ is separable if it is projective as an $A\otimes_R A^{\rm op}$-module. Examples include full matrix rings over $R$, finite separable field extensions, and $\Z[\tfrac 12,i]$ as a $\Z[\tfrac 12]$-algebra.

The 1970 classic *Separable Algebras* by deMeyer and Ingraham acquaints the reader with this important class of algebras from two viewpoints: the noncommutative one through structure theory and the Brauer group, and the commutative one through Galois theory.

This book accomplished the rare feat of keeping me interested; throughout its pages I found I could apply its results to familiar situations: Why are the only automorphisms of full matrix rings over fields inner? Why are such rings simple? What makes Galois theory tick? *Separable Algebras* explains with clarity how familiar algebra works through the lens of separable algebras.

More »