定義
環 A のすべての極大イデアルの共通集合を A の Jacobson根基といい、
rad(A) と書く。Jacobson根基を省略して J-根基ということもある。