Conditions under which is not generated by Dennis-Stein symbols
0. Introduction. Since ℤ is a principal ideal domain, every finitely generated torsion-free ℤ-module has a finite ℤ-basis; in particular, any fractional ideal in a number field has an "integral basis". However, if K is an arbitrary number field the ring of integers, A, of K is a Dedekind domain but not necessarily a principal ideal domain. If L/K is a finite extension of number fields, then the fractional ideals of L are finitely generated and torsion-free (or, equivalently, finitely generated and...
Page 1