定義
A を可換環とする。
E を A 上の線型環（過去スレpart1の97）とする。
B を E の可換な A-線型部分環（過去スレpart1の108）とする。
α を E の元で B の各元と可換とする。
>>581より A-線型環の準同型 ψ：B[X] → E で
b ∈ B のとき ψ(b) = b で ψ(X) = α となるものが一意に存在する。
ψ(B[X]) を B[α] と書く。