formula_129，使得formula_258。formula_74是特征为0的主理想整环。formula_74的非零理想只有主理想formula_261，其中formula_129是任意自然数。它唯一的极大理想是formula_263。根据同构基本定理，formula_74对formula_263的商同构于有限域formula_266。类似地，formula_267同构于formula_77。实数域formula_3只有一个真代数扩张，就是复数域formula_270。formula_4不仅是