SECTION:  Algebra and Logic/ Abstract algebra/