An abstract mathematics course in which students learn how to prove theorems and use definitions. Topics include algebraic structures such as groups, rings, fields, their sub and quotient structures and homomorphism.