这个范,不理解,大概指的是一种度量。
理想的范数有绝对范和相对范,绝对范就是理想所构造商环的元素数目,相对范则是一个同态,获得的还是一个分式理想。

大致是这样的图,下面是整数环的扩张,上面是域的扩张,最上是分式理想群,绝对范就是绿圈,相对范就是红圈。
红圈是理想到理想的映射,绿圈则是商环的元素个数,是一个数。
这个图还可以拓展,毕竟域扩张可以扩张多次,对应的相对范就是映射之间的复合,绝对范应该还是不变的。不知道有什么用处。
具体的构造,是通过素理想进行的,毕竟任何理想可以分解为素理想,那么素理想映射构建好后,就可以自然扩张到所有理想上面去,简单的线性扩张手段。初等的例子就是向量空间的映射,只要定义好了基向量之间的映射关系,任意向量之间的映射就自然获得了。
可以考虑一下单群的例子,毕竟单群在某种意义下也是一种素因子。线性无关的,或者说乘积无关的。
网友评论