都是同构。此空间 formula_2 称作 formula_1 的有理化，同时也是 formula_1 对于有理数的局部化，并称作 formula_1 的有理同伦型。通俗的说， formula_1 的有理化是由消除 formula_1 的所有同伦群中的挠子群而得到的。
苏利文代数.苏利文代数是有理数域 formula_5 上的可交换微分分次代数；其底代数是由某一分次向量空间生成的自由可交换分次代数 formula_14，并且要求导子 formula_15 满足以下“幂零”条件：f