「Muller-Schuppの定理」のpdfの第III部,6章・7章を公開しました!
http://iso.2022.jp/math/muller-schupp-theorem.pdf
6章では(Bourbaki流の)グラフの概念を導入し,木を始めとする基本的な用語を整理します.7章では群のCayleyグラフを定義し,「自由群の部分群は自由群である」というNielsen-Schreierの定理を証明します.
「Muller-Schuppの定理」のpdfの第II部を公開しました!
http://iso.2022.jp/math/muller-schupp-theorem.pdf
第II部では群の種々の構成法(自由群,自由積,融合積,半直積,HNN拡大)を普遍性と書き換え系という2つの観点から取り扱い,さらに本稿の主役である群の語の問題を定義します.
「Muller-Schuppの定理」のpdf (第I部のみ)を公開しました!
http://iso.2022.jp/math/muller-schupp-theorem.pdf
Muller-Schuppの定理は「群Gの語の問題が文脈自由言語であることと,Gが実質的自由群であることは同値」という主張で,第I部では形式言語理論を解説しています.第II部以降は書き上がり次第随時公開する予定です.
https://twitter.com/waidotto
http://iso.2022.jp/
数学をやっています.
決定不能問題/計算可能性理論/数理論理学(数学基礎論)/モデル理論/数論