変数集合を \(V=\{v_1, \ldots, v_n\}\) とする。 適当な環 \(R\) をとり、多項式環 \(R[V]\) を考える。 この中の2次斉次多項式、つまり2次形式をグラフということにする。 \[g = \sum a_{ij}v_i v_j\] \(V\) はもちろん頂点集合と考える。 \(a_{ij} \neq 0\) のとき、積 \(v_i v_j\) をグラフ \(g\) の辺といい、頂点 \(v_i\) と \(v_j\) は隣接するという。 辺 \(v_i^2\) をループと呼ぶ。 \(g\) が \(V\) の真部分集合 \(V'\) 上の多項式環 \(R[V']\) に含まれないとき、\(|V|\) を \(g\) の位数という。 ここで一つ注意として、\(a_{ij}\) は一番簡単な設定では \({0, 1}\) にしか値をとらないので整数と考えればいいが、 辺に何らかの値を持たせる (「2本ある」とか「容量が2.5」とか)必要があるときに \(a_{ij}\) の値としてコード化する役割を担うため、 係数環 \(R\) の選択の余地を残してある。 これは係数 2 を重複した辺の本数と思うか、割り振られた容量が 2 と思うかは解釈次第だし、 両方の情報を盛り込みたいと思ったら、係数も多項式環みたいなものを使って分けて考えるようにするのは自分の責任ですよ、という割り切りを意味している。 手始めに彩色数を考えてみる。 頂点に色を塗るのだが、隣接する頂点には別の色を塗らなければいけないという制約を付けるとき最低限必要な色数のこと。 係数環は \(\mathbb{Z}\) で良い。 色の集合 \(C_m\) を \(\{c_1, \ldots, c_m\}\) という集合とする(\(m\) はパラメータ)。 \(g\) の各頂点 \(v_i\) に色 \(c_j\) を対応させると、自然に多項式環の準同型 \(\phi: \mathbb{Z}[V] \rightarrow \mathbb{Z}[C_m]\) が定まる。 気付けば像もグラフになっている。 先程の「隣接する頂点には別の色」というのは、辺の像がループにならないということだ。 実は彩色数とは"グラフの準同型写像"でループができない最小...