Paley グラフ

定義 5.4（「極値グラフ理論と Ramsey 理論」§5）

$p$ を $p\equiv1\pmod4$ である素数とする。頂点集合を $\mathbb{Z}/p\mathbb{Z}$ とし、 $x-y$ が $p$ を法として $0$ でない平方剰余であるとき $x$ と $y$ を結んだグラフを Paley グラフ $P_p$ という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。