なんでalgebraを環と翻訳するの?