Integral Rings, Finding Two Generators

Finding Two Generators

Within a dedekind domain, every ideal can be generated by one or two generators.  When the dedekind domain is the integral ring over a pid, we can always find two such generators.

Let p be a prime element, with P the associated prime ideal, in a pid R.  (Sorry for the overuse of the letter p.)  Let S be the integral ring in the field extension E/F.  Let Q be a prime ideal in S lying over P.  (Technically, we started with Q, then contracted to P.)  Note that Q contains the element p, and this will be one of our two generators.

Localize about P, whence QP becomes one of finitely many prime ideals, and SP is a pid.  Let w generate QP.  There is no harm in clearing the denominator, so that w lies in S.  This will become the second generator.  If it also generates p, then we don't need p after all.

Since Q is the pullback of QP, the elements of Q are the numerators of the elements of QP, which are the numerators for any given denominator, such as 1.  This is the contraction of the extension of the principal ideal w*S.  Write a/1 = x/b for some x in w*S.  Thus Q consists of w*S, and any quotients thereof by elements not divisible by p.

Let w generate g*v, where g is in S and v is in R-P.  Thus g lies in Q.  If w does not generate g directly, there is more work to do.

Since R is dedekind and P is maximal, choose u in R such that u*v = 1 mod p.  That is, uv = 1+px.  Multiply u by vg, and then subtract pxg.  The result is g, hence w and p span g, and w and p generate Q.