论域的相对同构与域的简约次数

从域的同构出发,可以进一步讨论域的相对同构,由此得到关于可分的传递性,从而可以利用最大可分域得到域的简约次数。本文通过具体实例,将这一部分内容系统地总结概括,从另一角度得到了关于域的自同构的个数问题。定义设△是域∑与域∑~1的子域,∑与∑~1是域Ω的子域,若∑与∑~1的同构映射φ使域△的每一个元素都不动,则映射φ叫做∑对于域△的相对同构。