1
$\begingroup$

From Artin's Algebra:enter image description here

He says every element of $A$ is an integer combination of the lattice basis. So, does this mean every ideal generated by at most two elements?

If we have an ideal $A=(a_1,a_2, \dots, a_n)$, then we can just write this as $(\beta_1, \beta_2)$ for $\beta_1, \beta_2$ are the lattice basis?

$\endgroup$
  • $\begingroup$ In the ring of integers of a number field every ideal is two-generated, period. No additional assumptions required. $\endgroup$ – Wojowu Mar 3 '18 at 20:20
2
$\begingroup$

Other people have told you that all ideals in Dedekind domains are generated by two elements, but I think there is a still a point to be made here.

For any number field $K$, the lattice basis of an ideal is a basis as a $\mathbf{Z}$-module. Since generators of an ideal $A \subset \mathcal{O}_K$ are generators of $A$ as an $\mathcal{O}_K$-module, the lattice basis is a fortiori a generating set of $A$. The problem is that the lattice basis consists of $[K:\mathbf{Q}]$ elements, while a minimal generating set for $A$ is typically much smaller (at most 2 by the result stated above). In your case, $K$ is a quadratic extension and so you get the result that any ideal is generated by two elements "for free", while there is some additional content to this result for higher degree number fields.

$\endgroup$
  • $\begingroup$ This argument also shows that any ideal in an order $O$ of a number field $K$ is generated by at most $[K:\Bbb Q]$ elements, even when $O$ is not a Dedekind domain. $\endgroup$ – Lukas Heger Mar 4 '18 at 21:20
1
$\begingroup$

One property of Dedekind domains is that every nonzero ideal is generated by two elements.

Every ring of integers of a number field is a Dedekind domain.

$\endgroup$
  • $\begingroup$ Except principal ideals, correct? $\endgroup$ – Al Jebr Mar 3 '18 at 20:35
  • $\begingroup$ "generated by two elements" means "generated by at most two elements". $\endgroup$ – lush Mar 3 '18 at 21:20
  • 2
    $\begingroup$ Your use of the word "characterization" confuses me. It is not an equivalent property to being a Dedekind domain (see this MO post), but rather a property of Dedekind domains. $\endgroup$ – Brandon Carter Mar 4 '18 at 17:13
  • $\begingroup$ @BrandonCarter : you're right—I based that sentence on course notes I found on the internet. Editing accordingly. $\endgroup$ – K B Dave Mar 4 '18 at 20:01

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.