What Is Abstract Algebra Used For