m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 形式言語理論 ホッピングボール その他代数 Tを項だとして、ρx.T を、方程式 T = 0 を満たす解の1つだとする。 代数的有理性 スター有理性 1次方程式 ax + b = 0 一次不動点方程式 ax + b = x ax - 1 = 0 の解 ax + 1 = x の解 a-1 a* b/a = ba-1 ba*, a*b ρx.(ax - b) μx.(ax + b) 再帰代数、あるいは不動点代数とでも呼べる構造があって、それがμ半環、さまざまなスター半環として定式化されている。アフィン1次不動点方程式は、まさにアフィン1次代数方程式の対応物で、有理性の概念を定める。このスター有理性は正規性に他ならない。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20080516%2F1210893628" title="スター有理性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-05-16 08:20:28 rich https://m-hiyama-memo.hatenablog.jp/entry/20080516/1210893628 1.0 100%