The proof-intensive, theoretic study of mathematical structures with an emphasis on rings, ideals, integral domains, fields, and vector spaces.