Principal factors in a pure cubic field and its unramified cyclic cubic extensions (Q1089044): Difference between revisions

Let m be a positive 3rd power free integer and let \(L={\mathbb{Q}}(^ 3\sqrt{m})\). Denote by \(p_ 1,...,p_ t\) the rational primes which are fully ramified in L. A positive integer \(d=p_ 1^{e_ 1}...p_ t^{e_ t}\) is called a principal factor for L if it is not of the form \(m^{f_ 0}\cdot p_ 1^{f_ 1}...p_ t^{f_ t}\) and if the principal ideal of L generated by d is the 3rd power of a principal ideal of L. The author describes conditions in terms of units and genus theory which are equivalent to the existence of a principal factor \(\equiv 1 mod 9\). These are partly analoguous to the real quadratic case.