Two generators for an ideal in a Dedekind domain
ID: two-generators-for-an-ideal-in-a-dedekind-domain
Every ideal of a Dedekind domain is generated by at most two elements. Given a nonzero ideal and any prescribed nonzero , the Chinese remainder theorem supplies with at every prime ideal dividing . The prime-ideal valuation in a Dedekind domain then gives .
New to topics? Read the docs here!