んじゃ、代数学があれば、群論や環論とかいらないんか？