定義
A を可換環とする。
B を次数付き A-線型環（>>158）とする。
B の任意の元 x は x = Σx_n と一意に書ける。
ここで x_n ∈ B_n、n = 0、1、．．．である。
このとき、各 x_n を x の n 次の同次成分と呼ぶ。