環上の代数
を環とします。環
に対して環の準同型
があるとき
を
上の結合代数と呼びます(
を
と書きます)。
の加法だけを考えると
は
上の加群となります。
が体のとき
上のベクトル空間となります。
環上の多項式環
を環とします。
の元の有限個の列全体の集合を
とおきます。
に二項演算、加法
と乗法
(
を
と書くこともあります)を
と定義します。ここで とします。
の元
をある文字
を使って
のように書きます。 のところを係数と呼びます。係数が
のところは書かなくても良いとすると有限の列で書くことができます。これを
に係数を持つ不定元
に関する多項式と呼びます。この形に書いた多項式全体の集合を
と書きます。通常
は大文字で書きますが
を他の用途で使うこともあるので小文字で書くこともあります。
の加法と乗法は文字を使った式の加法と乗法と同じなので
は環となります。
[証明] 実際に計算してみると、加法の定義は
であったので加法に関してアーベル群になっていることがわかります。加法の単位元は 、加法の
の逆元は
となります。
乗法の定義は
であったので積が と
に関して対称であることから乗法について可換であることがわかります。乗法の単位元は
となります。
、
、
とおくと
の
の係数は
、
の
の係数は
となって
が成り立つので乗法の結合法則が成り立ちます。
の
の係数は
、
の
の係数は
となって
が成り立つので分配法則が成り立ちます。[証明終わり]
を
上の多項式環と呼びます。
と
の乗法
(
は省略することもあります)を
と定義します。
を
と定義すると
は環の単射準同型となります。
によって
は
上の結合代数となります。
が体のとき
上のベクトル空間となります。
環上のモノイド代数
を環
をモノイドとします。
が可換のときは環上の(可換)結合代数となりますが、ここでは直接作る方法で定義します。
とおきます。
に二項演算、加法
と乗法
(
を
と書くこともあります)を
と定義します。多項式環と同様に は環となります。
と
の乗法
(
は省略することもあります)を
と定義します。
を
上のモノイド代数と呼びます。
が可換のときは環上の(可換)結合代数と同じものになります。
が
で自由生成されたモノイド
であるとき
は多項式環
となります。
を
とおくと
環の単射準同型となります。
を
とおくと
モノイド(
は乗法に関するモノイド)の単射準同型となります。任意の
と
に対して
となります。
環 、環の準同型
、モノイドの準同型
を任意の
と
に対して
であるものとします。
は
と一意的に書くことができるので
を
と定義することができて
が成り立ちます。
となるので は加法を保存します。
となるので は乗法を保存します(
であるから積はこのように書けます)。
したがって環の準同型 で
かつ
を満たすものが一意的に存在します。
以下の図式は可換図式となります。