当代数学两大分支之一，主要是对数学结构的研究。