狄利克雷单位定理(Dirichlet's unit theorem)说明, 对每个数域K, K的单位群Uk都是有限生成阿贝尔群, 定理还给出了这个群的秩的一个公式
这里K的单位群Uk是指K中所有代数整数组成的整环当中, 所有单位组成的乘法群, 但是这些数组成整环这一结论应该是由戴德金(R.Dedekind)证明的, 而戴德金应该比狄利克雷晚一个时代, 他在1850年才进入哥廷根大学, 狄利克雷1859年就离世了
问题: 是不是狄利克雷定理中表述的Uk并不是这个含义 ? 还是说明狄利克雷已经了解或者在证明中用到了整环相关的结论 ??