The related concepts of an invariant subgroup and an ideal in a ring are brought in and the reader introduced to vector spaces and Boolean algebra. The theorems behind the abstract work and the ...