算術 初等代数学 順列と組み合わせ 線型代数学 方程式論 形式論 現代代数学．抽象代数学．群論 環と体 代数幾何学：代数多様体