ルートイデアルの定義、計算、および幾何学的意義