Abstract Algebra package: number theory, groups, rings and fields.