“with optional introduction to groups, rings, and fields”