定義
A を可換環とする。
E を A 上の線型環（過去スレpart1の97）とする。
E が A-加群として有限生成のとき、E を A 上有限な線型環という。