Let T be a domain, M a maximal ideal of T, φ:T → k = T/M the canonical projection, D a subring of the field k, and R = φ~(-1)(D). We prove that if I ≠ M is an ideal of R for which φ(I) can be generated by n elements of D and IT can be generated by m elements of T, then I can be generated by max{2,n,m} elements of R.
展开▼
机译：设T为一个域，M为T的最大理想值，φ：T→k = T / M为正则投影，D a为场k的子环，R =φ〜（-1）（D）。我们证明如果I≠M是R的理想，对于D的n个元素可以生成φ（I），并且可以通过T的m个元素生成IT（IT），那么可以通过max {2，n，m生成I }的元素。
展开▼
