もともと代数から生まれた概念を見ようとするのはどうかと思う。