Let K be a quadratic number field with discriminant D. It's well known that a principal factor of K exists if and only if the fundamental unit of K has norm +1. Also I know that a principal factor of K, say t, is a divisor of D. But it's a question for me:" how I can find an explicit method to find of form of t"??

  • 1
    $\begingroup$ Maybe you could remind us what a "principal factor" is. $\endgroup$ – Gerry Myerson Oct 15 '17 at 11:06
  • $\begingroup$ @GerryMyerson Yes, of Course! $\endgroup$ – A. Maarefparvar Oct 15 '17 at 11:30
  • 1
    $\begingroup$ @GerryMyerson A principal factor in K=Q(√m), is an integral principal ideal of K which is composed entirely of ramified primes but is not generated by 1 or m^(1/2). $\endgroup$ – A. Maarefparvar Oct 15 '17 at 11:30
  • $\begingroup$ Thanks. But, you know which primes ramify in a quadratic field, right? mathoverflow.net/questions/137449/… or math.stackexchange.com/questions/376590/… $\endgroup$ – Gerry Myerson Oct 15 '17 at 11:43
  • $\begingroup$ You can easily compute them from the fundamental unit. If no unit is known, check which ramified ideals are principal one by one. But this might tirn out to be difficult without knowing the unit group. $\endgroup$ – Franz Lemmermeyer Oct 16 '17 at 21:21

Your Answer

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

Browse other questions tagged or ask your own question.