2008-05-16 スター有理性 形式言語理論 ホッピングボール その他代数 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次代数方程式の対応物で、有理性の概念を定める。このスター有理性は正規性に他ならない。