定義
A を可換環とする。
B と C を次数付き A-線型環（>>158）とする。
f：B → C を A-線型環としての準同型とする。
各整数 n ≧ 0 n に対して f(B_n) ⊂ C_n となるとき f を次数付き A-線型環としての準同型と言う。