群論、環論、体論:抽象代数における三大分野と核心概念