が1つ固定されているとき、 は 代数という。定義 係数拡大 を 加群 の への係数拡大という。 2つの 代数 、 に対して を考えることができる。 乗法を と定義することで再び環になる。命題 が可換とする。 このとき が存在する。 このようなものは同型を除い…