毕达哥拉斯域

毕达哥拉斯域[1](Pythagorean field)是一类重要的实域。毕达哥拉斯域的一个重要刻画是：域F为毕达哥拉斯域，当且仅当-1∈F，且F没有4次循环扩张。毕达哥拉斯域具有所谓的“下降”性质：毕达哥拉斯域F的任何一个满足[F∶E]<∞的子域E也是毕达哥拉斯域。