An investigation of students' understanding of abstract algebra (binary operations, groups and subgroups) and the use of abstract structures to build other structures (through cosets, normality and quotient groups)