ここでは環上の多項式環に対応するものについて考えてみます。これは Prolog の実行順序の説明で必要となります。まず「群論の計算」の記事で説明した環上のモノイド代数についてもう一度説明します。
環上のモノイド代数
ここでは半環の場合も含めて考えます。半環の場合は半環上のモノイドフラクタル代数と呼ぶことにします。
を単位元を持つ自明ではない半環、 をモノイドとします。
とおきます。
に二項演算、加法 と乗法 ( を と書くこともあります)を
と定義します。乗法は 、 であるものの和として定義します。以下のように は単位元を持つ自明ではない半環となります。
加法の逆元
が環であるときは加法の逆元が存在するので、 に対して を任意の に対して であるような写像とすると は の加法の逆元となります。
以上により が環であるとき は加法に関してアーベル群となります。
乗法の単位元
を の単位元 に対して 、 以外の任意の に対して であるような写像とします。
に対して より
、
となって となります。よって は乗法の単位元となります。
以上により は乗法に関してモノイドとなります。
乗法の加法に対する分配法則
に対して
となって となります。
となって となります。
よって乗法の加法に対する分配法則が成り立ちます。
以上により は単位元を持つ半環となります。 が自明ではないならば は単位元を持つ自明ではない半環となります。 が可換ならば も可換となります。 が環ならば も環となります。
と の乗法 ( は省略することもあります)を と定義します。
が環であるとき、 を 上のモノイド代数と呼びます。 が可換のときは環上の結合代数となります。
が環で、 が で生成された自由可換モノイドであるとき は多項式環 となります。
を とおくと は単射の半環の準同型となります。 を とおくと は単射のモノイドの準同型となります( は乗法に関するモノイド)。任意の と に対して となります。