Elements of Programming by Alexander Stepanov and Paul McJones gives a very engaging introduction to applying basic abstract algebra to algorithm design.

http://elementsofprogramming.com/